runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand56.cudf.user-upgrades.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/user-upgrades/rand56.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand56.cudf.user-upgrades.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.15 1.10 5/35 22696 /proc/meminfo: memFree=298656/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2564 CPUtime=0 /proc/22695/stat : 22695 (p2cudf) R 22694 22694 1511 34817 1511 4202496 345 0 0 0 0 0 0 0 25 0 1 0 4656891 2625536 271 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/22695/statm: 641 271 231 194 0 28 0 [pid=22696] ppid=22695 vsize=2564 CPUtime=0 /proc/22696/stat : 22696 (p2cudf) R 22695 22694 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4656891 2625536 40 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/22696/statm: 641 40 0 194 0 28 0 [startup+0.177581 s] /proc/loadavg: 1.00 1.15 1.10 5/35 22696 /proc/meminfo: memFree=298656/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+0.209233 s] /proc/loadavg: 1.00 1.15 1.10 5/35 22696 /proc/meminfo: memFree=298656/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+0.309269 s] /proc/loadavg: 1.00 1.15 1.10 5/35 22696 /proc/meminfo: memFree=298656/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+0.709377 s] /proc/loadavg: 1.00 1.15 1.10 5/35 22696 /proc/meminfo: memFree=298656/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+1.50959 s] /proc/loadavg: 1.00 1.15 1.10 4/45 22717 /proc/meminfo: memFree=260748/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 [pid=22708] ppid=22695 vsize=878672 CPUtime=1.44 /proc/22708/stat : 22708 (java) S 22695 22694 1511 34817 1511 4202496 20870 0 1 0 141 3 0 0 25 0 10 0 4656894 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22708/statm: 219668 17978 1724 10 0 216759 0 [pid=22708/tid=22709] ppid=22695 vsize=878672 CPUtime=0.75 /proc/22708/task/22709/stat : 22709 (java) R 22695 22694 1511 34817 1511 4202560 11014 0 1 0 73 2 0 0 25 0 10 0 4656895 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4149236970 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22708/tid=22710] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22710/stat : 22710 (java) S 22695 22694 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 4656897 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22711] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22711/stat : 22711 (java) S 22695 22694 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4656898 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22712] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22712/stat : 22712 (java) S 22695 22694 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4656898 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22713] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22713/stat : 22713 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4656901 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22714] ppid=22695 vsize=878672 CPUtime=0.55 /proc/22708/task/22714/stat : 22714 (java) R 22695 22694 1511 34817 1511 4202560 7675 0 0 0 54 1 0 0 22 0 10 0 4656901 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4149997227 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22708/tid=22715] ppid=22695 vsize=878672 CPUtime=0.13 /proc/22708/task/22715/stat : 22715 (java) S 22695 22694 1511 34817 1511 4202560 1101 0 0 0 13 0 0 0 20 0 10 0 4656901 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22716] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22716/stat : 22716 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4656901 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22717] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22717/stat : 22717 (java) S 22695 22694 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4656901 899760128 17978 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 883812 [startup+3.11002 s] /proc/loadavg: 1.00 1.15 1.10 2/45 22717 /proc/meminfo: memFree=129060/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 [pid=22708] ppid=22695 vsize=878672 CPUtime=3.03 /proc/22708/stat : 22708 (java) S 22695 22694 1511 34817 1511 4202496 70656 0 1 0 272 31 0 0 25 0 10 0 4656894 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22708/statm: 219668 67584 1743 10 0 216759 0 [pid=22708/tid=22709] ppid=22695 vsize=878672 CPUtime=1.85 /proc/22708/task/22709/stat : 22709 (java) R 22695 22694 1511 34817 1511 4202560 50091 0 1 0 161 24 0 0 25 0 10 0 4656895 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4095126596 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22708/tid=22710] ppid=22695 vsize=878672 CPUtime=0.21 /proc/22708/task/22710/stat : 22710 (java) S 22695 22694 1511 34817 1511 4202560 10471 0 0 0 17 4 0 0 16 0 10 0 4656897 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22711] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22711/stat : 22711 (java) S 22695 22694 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 4656898 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22712] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22712/stat : 22712 (java) S 22695 22694 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4656898 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22713] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22713/stat : 22713 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4656901 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22714] ppid=22695 vsize=878672 CPUtime=0.82 /proc/22708/task/22714/stat : 22714 (java) S 22695 22694 1511 34817 1511 4202560 7918 0 0 0 80 2 0 0 15 0 10 0 4656901 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22715] ppid=22695 vsize=878672 CPUtime=0.13 /proc/22708/task/22715/stat : 22715 (java) S 22695 22694 1511 34817 1511 4202560 1101 0 0 0 13 0 0 0 20 0 10 0 4656901 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22716] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22716/stat : 22716 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4656901 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22717] ppid=22695 vsize=878672 CPUtime=0 /proc/22708/task/22717/stat : 22717 (java) S 22695 22694 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4656901 899760128 67584 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 883812 [startup+6.31101 s] /proc/loadavg: 1.08 1.17 1.11 2/46 22718 /proc/meminfo: memFree=6432/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 [pid=22708] ppid=22695 vsize=878996 CPUtime=6.24 /proc/22708/stat : 22708 (java) S 22695 22694 1511 34817 1511 4202496 86456 0 1 0 580 44 0 0 25 0 11 0 4656894 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22708/statm: 219749 82830 1778 10 0 216840 0 [pid=22708/tid=22709] ppid=22695 vsize=878996 CPUtime=3.17 /proc/22708/task/22709/stat : 22709 (java) R 22695 22694 1511 34817 1511 4202560 50283 0 1 0 293 24 0 0 25 0 11 0 4656895 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22708/tid=22710] ppid=22695 vsize=878996 CPUtime=0.6 /proc/22708/task/22710/stat : 22710 (java) S 22695 22694 1511 34817 1511 4202560 25328 0 0 0 47 13 0 0 16 0 11 0 4656897 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22711] ppid=22695 vsize=878996 CPUtime=0 /proc/22708/task/22711/stat : 22711 (java) S 22695 22694 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4656898 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22712] ppid=22695 vsize=878996 CPUtime=0 /proc/22708/task/22712/stat : 22712 (java) S 22695 22694 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4656898 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22713] ppid=22695 vsize=878996 CPUtime=0 /proc/22708/task/22713/stat : 22713 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22714] ppid=22695 vsize=878996 CPUtime=2.31 /proc/22708/task/22714/stat : 22714 (java) S 22695 22694 1511 34817 1511 4202560 8665 0 0 0 225 6 0 0 15 0 11 0 4656901 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22715] ppid=22695 vsize=878996 CPUtime=0.13 /proc/22708/task/22715/stat : 22715 (java) S 22695 22694 1511 34817 1511 4202560 1101 0 0 0 13 0 0 0 20 0 11 0 4656901 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22716] ppid=22695 vsize=878996 CPUtime=0 /proc/22708/task/22716/stat : 22716 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22717] ppid=22695 vsize=878996 CPUtime=0 /proc/22708/task/22717/stat : 22717 (java) S 22695 22694 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4656901 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22718] ppid=22695 vsize=878996 CPUtime=0 /proc/22708/task/22718/stat : 22718 (java) S 22695 22694 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4657410 900091904 82830 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 884136 [startup+12.7064 s] /proc/loadavg: 1.08 1.16 1.11 3/46 22718 /proc/meminfo: memFree=6224/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 [pid=22708] ppid=22695 vsize=879320 CPUtime=12.47 /proc/22708/stat : 22708 (java) S 22695 22694 1511 34817 1511 4202496 92718 0 1 0 1200 47 0 0 25 0 11 0 4656894 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22708/statm: 219830 89092 1789 10 0 216921 0 [pid=22708/tid=22709] ppid=22695 vsize=879320 CPUtime=8.67 /proc/22708/task/22709/stat : 22709 (java) S 22695 22694 1511 34817 1511 4202560 50294 0 1 0 842 25 0 0 25 0 11 0 4656895 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22710] ppid=22695 vsize=879320 CPUtime=0.92 /proc/22708/task/22710/stat : 22710 (java) S 22695 22694 1511 34817 1511 4202560 31522 0 0 0 77 15 0 0 16 0 11 0 4656897 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22711] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22711/stat : 22711 (java) S 22695 22694 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22712] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22712/stat : 22712 (java) S 22695 22694 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22713] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22713/stat : 22713 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22714] ppid=22695 vsize=879320 CPUtime=2.73 /proc/22708/task/22714/stat : 22714 (java) S 22695 22694 1511 34817 1511 4202560 8717 0 0 0 266 7 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22715] ppid=22695 vsize=879320 CPUtime=0.13 /proc/22708/task/22715/stat : 22715 (java) S 22695 22694 1511 34817 1511 4202560 1101 0 0 0 13 0 0 0 20 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22716] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22716/stat : 22716 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22717] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22717/stat : 22717 (java) S 22695 22694 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 884460 Solver just ended. Dumping a history of the last processes samples [startup+12.8064 s] /proc/loadavg: 1.08 1.16 1.11 3/46 22718 /proc/meminfo: memFree=6224/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 [pid=22708] ppid=22695 vsize=879320 CPUtime=12.47 /proc/22708/stat : 22708 (java) S 22695 22694 1511 34817 1511 4202496 92718 0 1 0 1200 47 0 0 25 0 11 0 4656894 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22708/statm: 219830 89092 1789 10 0 216921 0 [pid=22708/tid=22709] ppid=22695 vsize=879320 CPUtime=8.67 /proc/22708/task/22709/stat : 22709 (java) S 22695 22694 1511 34817 1511 4202560 50294 0 1 0 842 25 0 0 25 0 11 0 4656895 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22710] ppid=22695 vsize=879320 CPUtime=0.92 /proc/22708/task/22710/stat : 22710 (java) S 22695 22694 1511 34817 1511 4202560 31522 0 0 0 77 15 0 0 16 0 11 0 4656897 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22711] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22711/stat : 22711 (java) S 22695 22694 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22712] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22712/stat : 22712 (java) S 22695 22694 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22713] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22713/stat : 22713 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22714] ppid=22695 vsize=879320 CPUtime=2.73 /proc/22708/task/22714/stat : 22714 (java) S 22695 22694 1511 34817 1511 4202560 8717 0 0 0 266 7 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22715] ppid=22695 vsize=879320 CPUtime=0.13 /proc/22708/task/22715/stat : 22715 (java) S 22695 22694 1511 34817 1511 4202560 1101 0 0 0 13 0 0 0 20 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22716] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22716/stat : 22716 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22717] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22717/stat : 22717 (java) S 22695 22694 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 884460 [startup+13.0064 s] /proc/loadavg: 1.08 1.16 1.11 3/46 22718 /proc/meminfo: memFree=6224/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 [pid=22708] ppid=22695 vsize=879320 CPUtime=12.47 /proc/22708/stat : 22708 (java) S 22695 22694 1511 34817 1511 4202496 92718 0 1 0 1200 47 0 0 25 0 11 0 4656894 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22708/statm: 219830 89092 1789 10 0 216921 0 [pid=22708/tid=22709] ppid=22695 vsize=879320 CPUtime=8.67 /proc/22708/task/22709/stat : 22709 (java) S 22695 22694 1511 34817 1511 4202560 50294 0 1 0 842 25 0 0 25 0 11 0 4656895 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22710] ppid=22695 vsize=879320 CPUtime=0.92 /proc/22708/task/22710/stat : 22710 (java) S 22695 22694 1511 34817 1511 4202560 31522 0 0 0 77 15 0 0 16 0 11 0 4656897 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22711] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22711/stat : 22711 (java) S 22695 22694 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22712] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22712/stat : 22712 (java) S 22695 22694 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22713] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22713/stat : 22713 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22714] ppid=22695 vsize=879320 CPUtime=2.73 /proc/22708/task/22714/stat : 22714 (java) S 22695 22694 1511 34817 1511 4202560 8717 0 0 0 266 7 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22715] ppid=22695 vsize=879320 CPUtime=0.13 /proc/22708/task/22715/stat : 22715 (java) S 22695 22694 1511 34817 1511 4202560 1101 0 0 0 13 0 0 0 20 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22716] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22716/stat : 22716 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22717] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22717/stat : 22717 (java) S 22695 22694 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 884460 [startup+13.1064 s] /proc/loadavg: 1.08 1.16 1.11 3/46 22718 /proc/meminfo: memFree=6224/1048576 swapFree=0/0 [pid=22694] ppid=22693 vsize=2572 CPUtime=0 /proc/22694/stat : 22694 (p2cudf-trendy-1) S 22693 22694 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4656890 2633728 270 1283457024 134512640 135304128 4287447808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22694/statm: 643 270 230 194 0 30 0 [pid=22695] ppid=22694 vsize=2568 CPUtime=0.03 /proc/22695/stat : 22695 (p2cudf) S 22694 22694 1511 34817 1511 4202496 391 3019 0 1 0 0 0 3 25 0 1 0 4656891 2629632 280 1283457024 134512640 135304128 4294887936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22695/statm: 642 280 239 194 0 29 0 [pid=22708] ppid=22695 vsize=879320 CPUtime=12.49 /proc/22708/stat : 22708 (java) S 22695 22694 1511 34817 1511 4202496 92718 0 1 0 1202 47 0 0 25 0 11 0 4656894 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22708/statm: 219830 89092 1789 10 0 216921 0 [pid=22708/tid=22709] ppid=22695 vsize=879320 CPUtime=8.67 /proc/22708/task/22709/stat : 22709 (java) S 22695 22694 1511 34817 1511 4202560 50294 0 1 0 842 25 0 0 25 0 11 0 4656895 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22710] ppid=22695 vsize=879320 CPUtime=0.92 /proc/22708/task/22710/stat : 22710 (java) S 22695 22694 1511 34817 1511 4202560 31522 0 0 0 77 15 0 0 16 0 11 0 4656897 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22711] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22711/stat : 22711 (java) S 22695 22694 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22712] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22712/stat : 22712 (java) S 22695 22694 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4656898 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22713] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22713/stat : 22713 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22714] ppid=22695 vsize=879320 CPUtime=2.73 /proc/22708/task/22714/stat : 22714 (java) S 22695 22694 1511 34817 1511 4202560 8717 0 0 0 266 7 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22715] ppid=22695 vsize=879320 CPUtime=0.13 /proc/22708/task/22715/stat : 22715 (java) S 22695 22694 1511 34817 1511 4202560 1101 0 0 0 13 0 0 0 20 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22716] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22716/stat : 22716 (java) S 22695 22694 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 [pid=22708/tid=22717] ppid=22695 vsize=879320 CPUtime=0 /proc/22708/task/22717/stat : 22717 (java) S 22695 22694 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4656901 900423680 89092 1283457024 134512640 134550932 4291759520 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 884460 Child status: 0 Real time (s): 13.1757 CPU time (s): 12.5848 CPU user time (s): 12.0568 CPU system time (s): 0.528033 CPU usage (%): 95.5153 Max. virtual memory (cumulated for all children) (KiB): 884560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.0568 system time used= 0.528033 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96528 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1070 involuntary context switches= 1169 runsolver used 0 second user time and 0 second system time The end