runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481708-1307576836/watcher-3481708-1307576836 -o /tmp/evaluation-result-3481708-1307576836/solver-3481708-1307576836 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481708-1307576836.opb -seed 1938912779 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 1.63 0.80 2/467 1632
/proc/meminfo: memFree=24058740/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=15188 CPUtime=0 cores=0,2,4,6
/proc/1632/stat : 1632 (python) R 1630 1632 1406 0 -1 4202496 715 0 0 0 0 0 0 0 25 0 1 0 869281922 15552512 607 33554432000 4194304 5683644 140735374634960 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/1632/statm: 3797 607 319 364 0 284 0
[startup+0.031289 s]
/proc/loadavg: 2.09 1.63 0.80 2/467 1632
/proc/meminfo: memFree=24058740/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/1632/stat : 1632 (python) R 1630 1632 1406 0 -1 4202496 1272 0 0 0 1 0 0 0 25 0 1 0 869281922 19337216 1125 33554432000 4194304 5683644 140735374634960 18446744073709551615 4874173 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/1632/statm: 4721 1126 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.100276 s]
/proc/loadavg: 2.09 1.63 0.80 2/467 1632
/proc/meminfo: memFree=24058740/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=94060 CPUtime=0.05 cores=0,2,4,6
/proc/1632/stat : 1632 (python) R 1630 1632 1406 0 -1 4202496 2942 467 1 0 4 1 0 0 18 0 1 0 869281922 96317440 2478 33554432000 4194304 5683644 140735374634960 18446744073709551615 4510807 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/1632/statm: 23515 2478 788 364 0 1626 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 94060
[startup+0.300242 s]
/proc/loadavg: 2.09 1.63 0.80 2/467 1632
/proc/meminfo: memFree=24058740/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 5358 932 1 0 12 4 0 0 18 0 1 0 869281922 126709760 3746 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516830213 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/1632/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700235 s]
/proc/loadavg: 2.09 1.63 0.80 2/467 1632
/proc/meminfo: memFree=24058740/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=284428 CPUtime=0.46 cores=0,2,4,6
/proc/1632/stat : 1632 (python) R 1630 1632 1406 0 -1 4202496 9589 932 1 0 36 10 0 0 17 0 1 0 869281922 291254272 7451 33554432000 4194304 5683644 140735374634960 18446744073709551615 47549214349880 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/1632/statm: 71107 7451 1815 364 0 6000 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 284428
[startup+1.50101 s]
/proc/loadavg: 2.09 1.63 0.80 3/471 1640
/proc/meminfo: memFree=24008488/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=294696 CPUtime=0.53 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 10004 932 1 0 43 10 0 0 19 0 2 0 869281922 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1632/statm: 73674 7512 1870 364 0 8561 0
[pid=1638] ppid=1632 vsize=284452 CPUtime=0 cores=0,2,4,6
/proc/1638/stat : 1638 (python) S 1632 1632 1406 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 869282000 291278848 5990 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854287 0 0 16781312 33554946 11688585515598053635 0 0 17 2 0 0 0
/proc/1638/statm: 71113 5990 352 364 0 6000 0
[pid=1640] ppid=1638 vsize=52476 CPUtime=0.71 cores=0,2,4,6
/proc/1640/stat : 1640 (scip-2.0.1.linu) R 1638 1640 1640 0 -1 4202496 11570 0 0 0 68 3 0 0 21 0 1 0 869282000 53735424 10755 33554432000 4194304 13684479 140735681517616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1640/statm: 13119 10755 750 2317 0 10797 0
[pid=1632/tid=1639] ppid=1630 vsize=294696 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869282000 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 631624
[startup+3.10076 s]
/proc/loadavg: 2.09 1.63 0.80 3/471 1640
/proc/meminfo: memFree=23992120/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=294696 CPUtime=0.53 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 10004 932 1 0 43 10 0 0 19 0 2 0 869281922 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1632/statm: 73674 7512 1870 364 0 8561 0
[pid=1638] ppid=1632 vsize=284452 CPUtime=0 cores=0,2,4,6
/proc/1638/stat : 1638 (python) S 1632 1632 1406 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869282000 291278848 5990 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854287 0 0 16781312 33554946 11688585515598053635 0 0 17 2 0 0 0
/proc/1638/statm: 71113 5990 352 364 0 6000 0
[pid=1640] ppid=1638 vsize=53976 CPUtime=2.31 cores=0,2,4,6
/proc/1640/stat : 1640 (scip-2.0.1.linu) R 1638 1640 1640 0 -1 4202496 11895 0 0 0 227 4 0 0 25 0 1 0 869282000 55271424 11041 33554432000 4194304 13684479 140735681517616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1640/statm: 13494 11041 749 2317 0 11172 0
[pid=1632/tid=1639] ppid=1630 vsize=294696 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869282000 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 633124
[startup+6.30114 s]
/proc/loadavg: 2.08 1.63 0.81 3/471 1640
/proc/meminfo: memFree=23982332/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=294696 CPUtime=0.53 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 10004 932 1 0 43 10 0 0 19 0 2 0 869281922 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1632/statm: 73674 7512 1870 364 0 8561 0
[pid=1638] ppid=1632 vsize=284452 CPUtime=0.02 cores=0,2,4,6
/proc/1638/stat : 1638 (python) S 1632 1632 1406 0 -1 4202560 898 0 0 0 1 1 0 0 15 0 1 0 869282000 291278848 6014 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854287 0 0 16781312 33554946 3608001390267334656 0 0 17 2 0 0 0
/proc/1638/statm: 71113 6014 376 364 0 6000 0
[pid=1640] ppid=1638 vsize=69484 CPUtime=5.5 cores=0,2,4,6
/proc/1640/stat : 1640 (scip-2.0.1.linu) R 1638 1640 1640 0 -1 4202496 15681 0 0 0 542 8 0 0 18 0 1 0 869282000 71151616 14685 33554432000 4194304 13684479 140735681517616 18446744073709551615 7401094 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1640/statm: 17371 14685 802 2317 0 15049 0
[pid=1632/tid=1639] ppid=1630 vsize=294696 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869282000 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 648632
[startup+12.701 s]
/proc/loadavg: 2.07 1.64 0.81 3/471 1640
/proc/meminfo: memFree=23945516/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=294696 CPUtime=0.53 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 10004 932 1 0 43 10 0 0 19 0 2 0 869281922 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1632/statm: 73674 7512 1870 364 0 8561 0
[pid=1638] ppid=1632 vsize=284452 CPUtime=0.03 cores=0,2,4,6
/proc/1638/stat : 1638 (python) S 1632 1632 1406 0 -1 4202560 905 0 0 0 2 1 0 0 15 0 1 0 869282000 291278848 6014 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854287 0 0 16781312 33554946 1902031416699387904 0 0 17 2 0 0 0
/proc/1638/statm: 71113 6014 376 364 0 6000 0
[pid=1640] ppid=1638 vsize=102656 CPUtime=11.9 cores=0,2,4,6
/proc/1640/stat : 1640 (scip-2.0.1.linu) R 1638 1640 1640 0 -1 4202496 25391 0 0 0 1179 11 0 0 21 0 1 0 869282000 105119744 22533 33554432000 4194304 13684479 140735681517616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1640/statm: 25664 22533 847 2317 0 23342 0
[pid=1632/tid=1639] ppid=1630 vsize=294696 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869282000 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 681804
[startup+25.5007 s]
/proc/loadavg: 2.06 1.66 0.83 3/471 1641
/proc/meminfo: memFree=23898372/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=294696 CPUtime=0.53 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 10004 932 1 0 43 10 0 0 19 0 2 0 869281922 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1632/statm: 73674 7512 1870 364 0 8561 0
[pid=1638] ppid=1632 vsize=284452 CPUtime=0.08 cores=0,2,4,6
/proc/1638/stat : 1638 (python) S 1632 1632 1406 0 -1 4202560 915 0 0 0 4 4 0 0 15 0 1 0 869282000 291278848 6014 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854287 0 0 16781312 33554946 2047240640319717376 0 0 17 2 0 0 0
/proc/1638/statm: 71113 6014 376 364 0 6000 0
[pid=1640] ppid=1638 vsize=152368 CPUtime=24.71 cores=0,2,4,6
/proc/1640/stat : 1640 (scip-2.0.1.linu) R 1638 1640 1640 0 -1 4202496 42742 0 0 0 2451 20 0 0 22 0 1 0 869282000 156024832 34674 33554432000 4194304 13684479 140735681517616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1640/statm: 38092 34674 866 2317 0 35770 0
[pid=1632/tid=1639] ppid=1630 vsize=294696 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869282000 301768704 7512 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 731516
[startup+51.1011 s]
/proc/loadavg: 2.04 1.68 0.86 3/496 1666
/proc/meminfo: memFree=23799784/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=305456 CPUtime=0.56 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 10900 932 1 0 45 11 0 0 20 0 3 0 869281922 312786944 7646 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1632/statm: 76364 7646 1873 364 0 11248 0
[pid=1638] ppid=1632 vsize=294696 CPUtime=0.2 cores=0,2,4,6
/proc/1638/stat : 1638 (python) S 1632 1632 1406 0 -1 4202560 1086 0 0 0 10 10 0 0 17 0 2 0 869282000 301768704 6050 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1638/statm: 73674 6050 407 364 0 8561 0
[pid=1640] ppid=1638 vsize=202672 CPUtime=46.81 cores=0,2,4,6
/proc/1640/stat : 1640 (scip-2.0.1.linu) T 1638 1640 1640 0 -1 4202496 62772 0 0 0 4650 31 0 0 18 0 1 0 869282000 207536128 47090 33554432000 4194304 13684479 140735681517616 18446744073709551615 4939816 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1640/statm: 50668 47090 1689 2317 0 48346 0
[pid=1638/tid=1645] ppid=1632 vsize=294696 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (python) S 1632 1632 1406 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869286683 301768704 6050 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554946 18446604450684064192 0 0 -1 6 0 0 0
[pid=1646] ppid=1632 vsize=295212 CPUtime=0 cores=0,2,4,6
/proc/1646/stat : 1646 (python) S 1632 1632 1406 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 869286686 302297088 6118 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854342 0 0 16781312 33554946 4294934788 0 0 17 0 0 0 0
/proc/1646/statm: 73803 6118 349 364 0 8687 0
[pid=1648] ppid=1646 vsize=8540116 CPUtime=4.13 cores=0,2,4,6
/proc/1648/stat : 1648 (java) S 1646 1648 1648 0 -1 4202496 15657 0 1 0 411 2 0 0 20 0 19 0 869286686 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1648/statm: 2135029 13160 2253 9 0 2125770 0
[pid=1648/tid=1649] ppid=1646 vsize=8540116 CPUtime=3.42 cores=0,2,4,6
/proc/1648/task/1649/stat : 1649 (java) R 1646 1648 1648 0 -1 4202560 8091 0 1 0 341 1 0 0 25 0 19 0 869286687 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 46912505702816 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1648/tid=1650] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1650/stat : 1650 (java) S 1646 1648 1648 0 -1 4202560 237 0 0 0 0 0 0 0 17 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 4 0 0 0
[pid=1648/tid=1651] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1651/stat : 1651 (java) S 1646 1648 1648 0 -1 4202560 241 0 0 0 0 0 0 0 17 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 0 0 0 0
[pid=1648/tid=1652] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1652/stat : 1652 (java) S 1646 1648 1648 0 -1 4202560 78 0 0 0 0 0 0 0 17 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 6 0 0 0
[pid=1648/tid=1653] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1653/stat : 1653 (java) S 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 4 0 0 0
[pid=1648/tid=1654] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1654/stat : 1654 (java) S 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 0 0 0 0
[pid=1648/tid=1655] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1655/stat : 1655 (java) S 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 6 0 0 0
[pid=1648/tid=1656] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1656/stat : 1656 (java) S 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 4 0 0 0
[pid=1648/tid=1657] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1657/stat : 1657 (java) S 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869286688 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 4 0 0 0
[pid=1648/tid=1658] ppid=1646 vsize=8540116 CPUtime=0.01 cores=0,2,4,6
/proc/1648/task/1658/stat : 1658 (java) S 1646 1648 1648 0 -1 4202560 555 0 0 0 1 0 0 0 15 0 19 0 869286689 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650752 0 0 0 16800975 18446604453635613888 0 0 -1 2 0 0 0
[pid=1648/tid=1659] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1659/stat : 1659 (java) S 1646 1648 1648 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869286689 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 0 0 0 0
[pid=1648/tid=1660] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1660/stat : 1660 (java) S 1646 1648 1648 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869286689 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 0 0 0 0
[pid=1648/tid=1661] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1661/stat : 1661 (java) S 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869286691 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528657841 0 4 0 16800975 18446604453635613888 0 0 -1 2 0 0 0
[pid=1648/tid=1662] ppid=1646 vsize=8540116 CPUtime=0.29 cores=0,2,4,6
/proc/1648/task/1662/stat : 1662 (java) S 1646 1648 1648 0 -1 4202560 1357 0 0 0 29 0 0 0 17 0 19 0 869286691 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 0 0 0 0
[pid=1648/tid=1663] ppid=1646 vsize=8540116 CPUtime=0.36 cores=0,2,4,6
/proc/1648/task/1663/stat : 1663 (java) S 1646 1648 1648 0 -1 4202560 3701 0 0 0 36 0 0 0 15 0 19 0 869286691 8745078784 13160 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446604453635613888 0 0 -1 2 0 0 0
[pid=1648/tid=1664] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=1670/tid=1675] ppid=1632 vsize=305468 CPUtime=0 cores=0,2,4,6
/proc/1670/task/1675/stat : 1675 (python) S 1632 1632 1406 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869296282 312799232 6171 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554946 18446604447364327424 0 0 -1 2 0 0 0
[pid=1676] ppid=1632 vsize=315724 CPUtime=0.1 cores=0,2,4,6
/proc/1676/stat : 1676 (python) S 1632 1632 1406 0 -1 4202560 957 0 0 0 7 3 0 0 15 0 1 0 869296284 323301376 6150 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854342 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/1676/statm: 78931 6150 373 364 0 13809 0
[pid=1678] ppid=1676 vsize=56484 CPUtime=18.67 cores=0,2,4,6
/proc/1678/stat : 1678 (wbo1.4a) R 1676 1678 1678 0 -1 4202496 21809 0 0 0 1839 28 0 0 25 0 1 0 869296285 57839616 13657 33554432000 134512640 135751879 4289639152 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/1678/statm: 14121 13657 146 303 0 13816 0
[pid=1632/tid=1639] ppid=1630 vsize=325968 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 5 0 869282000 333791232 7658 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
[pid=1632/tid=1647] ppid=1630 vsize=325968 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1647/stat : 1647 (python) S 1630 1632 1406 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 869286686 333791232 7658 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
[pid=1632/tid=1671] ppid=1630 vsize=325968 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1671/stat : 1671 (python) S 1630 1632 1406 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 869291559 333791232 7658 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
[pid=1632/tid=1677] ppid=1630 vsize=325968 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1677/stat : 1677 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 5 0 869296285 333791232 7658 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 163.52
Current children cumulated vsize (KiB) 10458976
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+192.401 s]
/proc/loadavg: 2.00 1.80 1.01 6/548 1722
/proc/meminfo: memFree=23111216/32951124 swapFree=43359760/67111528
[pid=1632] ppid=1630 vsize=336480 CPUtime=0.64 cores=0,2,4,6
/proc/1632/stat : 1632 (python) S 1630 1632 1406 0 -1 4202496 13641 932 1 0 53 11 0 0 20 0 6 0 869281922 344555520 7728 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1632/statm: 84120 7728 1879 364 0 18995 0
[pid=1638] ppid=1632 vsize=294696 CPUtime=0.2 cores=0,2,4,6
/proc/1638/stat : 1638 (python) S 1632 1632 1406 0 -1 4202560 1086 0 0 0 10 10 0 0 17 0 2 0 869282000 301768704 6050 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1638/statm: 73674 6050 407 364 0 8561 0
[pid=1640] ppid=1638 vsize=202672 CPUtime=46.81 cores=0,2,4,6
/proc/1640/stat : 1640 (scip-2.0.1.linu) T 1638 1640 1640 0 -1 4202496 62772 0 0 0 4650 31 0 0 18 0 1 0 869282000 207536128 47090 33554432000 4194304 13684479 140735681517616 18446744073709551615 4939816 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1640/statm: 50668 47090 1689 2317 0 48346 0
[pid=1638/tid=1645] ppid=1632 vsize=294696 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (python) S 1632 1632 1406 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869286683 301768704 6050 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554946 18446604450684064192 0 0 -1 6 0 0 0
[pid=1646] ppid=1632 vsize=295212 CPUtime=0.19 cores=0,2,4,6
/proc/1646/stat : 1646 (python) S 1632 1632 1406 0 -1 4202560 1159 0 0 0 11 8 0 0 16 0 2 0 869286686 302297088 6173 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1646/statm: 73803 6173 403 364 0 8687 0
[pid=1648] ppid=1646 vsize=8540116 CPUtime=49.52 cores=0,2,4,6
/proc/1648/stat : 1648 (java) T 1646 1648 1648 0 -1 4202496 17809 0 1 0 4949 3 0 0 18 0 19 0 869286686 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1648/statm: 2135029 14607 2253 9 0 2125770 0
[pid=1648/tid=1649] ppid=1646 vsize=8540116 CPUtime=48.44 cores=0,2,4,6
/proc/1648/task/1649/stat : 1649 (java) T 1646 1648 1648 0 -1 4202560 8103 0 1 0 4843 1 0 0 25 0 19 0 869286687 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 46912505730654 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1648/tid=1650] ppid=1646 vsize=8540116 CPUtime=0.03 cores=0,2,4,6
/proc/1648/task/1650/stat : 1650 (java) T 1646 1648 1648 0 -1 4202560 237 0 0 0 3 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1651] ppid=1646 vsize=8540116 CPUtime=0.04 cores=0,2,4,6
/proc/1648/task/1651/stat : 1651 (java) T 1646 1648 1648 0 -1 4202560 247 0 0 0 4 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1652] ppid=1646 vsize=8540116 CPUtime=0.01 cores=0,2,4,6
/proc/1648/task/1652/stat : 1652 (java) T 1646 1648 1648 0 -1 4202560 222 0 0 0 1 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1648/tid=1653] ppid=1646 vsize=8540116 CPUtime=0.01 cores=0,2,4,6
/proc/1648/task/1653/stat : 1653 (java) T 1646 1648 1648 0 -1 4202560 6 0 0 0 1 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1654] ppid=1646 vsize=8540116 CPUtime=0.01 cores=0,2,4,6
/proc/1648/task/1654/stat : 1654 (java) T 1646 1648 1648 0 -1 4202560 80 0 0 0 1 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1648/tid=1655] ppid=1646 vsize=8540116 CPUtime=0.02 cores=0,2,4,6
/proc/1648/task/1655/stat : 1655 (java) T 1646 1648 1648 0 -1 4202560 36 0 0 0 2 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1656] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1656/stat : 1656 (java) T 1646 1648 1648 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1648/tid=1657] ppid=1646 vsize=8540116 CPUtime=0.01 cores=0,2,4,6
/proc/1648/task/1657/stat : 1657 (java) T 1646 1648 1648 0 -1 4202560 139 0 0 0 1 0 0 0 15 0 19 0 869286688 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1658] ppid=1646 vsize=8540116 CPUtime=0.13 cores=0,2,4,6
/proc/1648/task/1658/stat : 1658 (java) T 1646 1648 1648 0 -1 4202560 1439 0 0 0 13 0 0 0 15 0 19 0 869286689 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1648/tid=1659] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1659/stat : 1659 (java) T 1646 1648 1648 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869286689 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1660] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1660/stat : 1660 (java) T 1646 1648 1648 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869286689 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1661] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1661/stat : 1661 (java) T 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869286691 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1648/tid=1662] ppid=1646 vsize=8540116 CPUtime=0.31 cores=0,2,4,6
/proc/1648/task/1662/stat : 1662 (java) T 1646 1648 1648 0 -1 4202560 1358 0 0 0 31 0 0 0 15 0 19 0 869286691 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1663] ppid=1646 vsize=8540116 CPUtime=0.44 cores=0,2,4,6
/proc/1648/task/1663/stat : 1663 (java) T 1646 1648 1648 0 -1 4202560 4543 0 0 0 44 0 0 0 15 0 19 0 869286691 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1648/tid=1664] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1664/stat : 1664 (java) T 1646 1648 1648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869286691 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1648/tid=1665] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1665/stat : 1665 (java) T 1646 1648 1648 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869286691 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1648/tid=1666] ppid=1646 vsize=8540116 CPUtime=0 cores=0,2,4,6
/proc/1648/task/1666/stat : 1666 (java) T 1646 1648 1648 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869286726 8745078784 14607 33554432000 1073741824 1073778376 140734525733392 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1646/tid=1669] ppid=1632 vsize=295212 CPUtime=0 cores=0,2,4,6
/proc/1646/task/1669/stat : 1669 (python) S 1632 1632 1406 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869291556 302297088 6173 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554946 18446604449132069952 0 0 -1 6 0 0 0
[pid=1670] ppid=1632 vsize=305468 CPUtime=0.19 cores=0,2,4,6
/proc/1670/stat : 1670 (python) S 1632 1632 1406 0 -1 4202560 1118 0 0 0 9 10 0 0 16 0 2 0 869291559 312799232 6171 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/1670/statm: 76367 6171 397 364 0 11248 0
[pid=1672] ppid=1670 vsize=122636 CPUtime=47.22 cores=0,2,4,6
/proc/1672/stat : 1672 (scip-2.0.1.linu) T 1670 1672 1672 0 -1 4202496 36268 0 0 0 4703 19 0 0 18 0 1 0 869291559 125579264 27379 33554432000 4194304 15243407 140736656788736 18446744073709551615 4960864 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/1672/statm: 30659 27379 904 2698 0 27954 0
[pid=1670/tid=1675] ppid=1632 vsize=305468 CPUtime=0 cores=0,2,4,6
/proc/1670/task/1675/stat : 1675 (python) S 1632 1632 1406 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869296282 312799232 6171 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554946 18446604447364327424 0 0 -1 2 0 0 0
[pid=1676] ppid=1632 vsize=315724 CPUtime=0.23 cores=0,2,4,6
/proc/1676/stat : 1676 (python) S 1632 1632 1406 0 -1 4202560 1139 0 0 0 14 9 0 0 17 0 2 0 869296284 323301376 6175 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1676/statm: 78931 6175 397 364 0 13809 0
[pid=1678] ppid=1676 vsize=63908 CPUtime=48.16 cores=0,2,4,6
/proc/1678/stat : 1678 (wbo1.4a) T 1676 1678 1678 0 -1 4202496 23851 0 0 0 4779 37 0 0 25 0 1 0 869296285 65441792 15548 33554432000 134512640 135751879 4289639152 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/1678/statm: 15977 15548 146 303 0 15672 0
[pid=1676/tid=1701] ppid=1632 vsize=315724 CPUtime=0 cores=0,2,4,6
/proc/1676/task/1701/stat : 1701 (python) S 1632 1632 1406 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869301101 323301376 6175 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554946 18446604440655504320 0 0 -1 6 0 0 0
[pid=1702] ppid=1632 vsize=326236 CPUtime=0 cores=0,2,4,6
/proc/1702/stat : 1702 (python) S 1632 1632 1406 0 -1 4202560 794 0 0 0 0 0 0 0 16 0 1 0 869301104 334065664 6194 33554432000 4194304 5683644 140735374634960 18446744073709551615 246516854342 0 0 16781312 33554946 4153961793095467008 0 0 17 4 0 0 0
/proc/1702/statm: 81559 6194 349 364 0 16434 0
[pid=1704] ppid=1702 vsize=8540940 CPUtime=1.2 cores=0,2,4,6
/proc/1704/stat : 1704 (java) S 1702 1704 1704 0 -1 4202496 16895 0 1 0 117 3 0 0 20 0 19 0 869301104 8745922560 13711 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1704/statm: 2135235 13712 2223 9 0 2125976 0
[pid=1704/tid=1705] ppid=1702 vsize=8540940 CPUtime=0.59 cores=0,2,4,6
/proc/1704/task/1705/stat : 1705 (java) R 1702 1704 1704 0 -1 4202560 9860 0 1 0 57 2 0 0 25 0 19 0 869301105 8745922560 13901 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 46912505781122 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1704/tid=1706] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1706/stat : 1706 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869301105 8745922560 13902 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1707] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1707/stat : 1707 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869301105 8745922560 13902 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1708] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1708/stat : 1708 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869301105 8745922560 13903 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1709] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1709/stat : 1709 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301105 8745922560 13903 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 2 0 0 0
[pid=1704/tid=1710] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1710/stat : 1710 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301105 8745922560 13904 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 2 0 0 0
[pid=1704/tid=1711] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1711/stat : 1711 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301105 8745922560 13905 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 2 0 0 0
[pid=1704/tid=1712] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1712/stat : 1712 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301105 8745922560 13905 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 2 0 0 0
[pid=1704/tid=1713] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1713/stat : 1713 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301105 8745922560 13906 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 2 0 0 0
[pid=1704/tid=1714] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1714/stat : 1714 (java) S 1702 1704 1704 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869301106 8745922560 13906 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650752 0 0 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1715] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1715/stat : 1715 (java) S 1702 1704 1704 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869301107 8745922560 13907 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1716] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1716/stat : 1716 (java) S 1702 1704 1704 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869301107 8745922560 13908 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1717] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1717/stat : 1717 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301109 8745922560 13908 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528657841 0 4 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1718] ppid=1702 vsize=8540940 CPUtime=0.3 cores=0,2,4,6
/proc/1704/task/1718/stat : 1718 (java) R 1702 1704 1704 0 -1 4202560 2363 0 0 0 30 0 0 0 15 0 19 0 869301109 8745922560 13909 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 47068521096518 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1704/tid=1719] ppid=1702 vsize=8540940 CPUtime=0.31 cores=0,2,4,6
/proc/1704/task/1719/stat : 1719 (java) R 1702 1704 1704 0 -1 4202560 3462 0 0 0 31 0 0 0 25 0 19 0 869301109 8745922560 13910 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 47068524208392 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1704/tid=1720] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1720/stat : 1720 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301109 8745922560 13910 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650137 0 4 0 16800975 18446604440655503424 0 0 -1 6 0 0 0
[pid=1704/tid=1721] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1721/stat : 1721 (java) S 1702 1704 1704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869301109 8745922560 13911 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650752 0 4 0 16800975 18446604440655503424 0 0 -1 2 0 0 0
[pid=1704/tid=1722] ppid=1702 vsize=8540940 CPUtime=0 cores=0,2,4,6
/proc/1704/task/1722/stat : 1722 (java) S 1702 1704 1704 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869301144 8745922560 13911 33554432000 1073741824 1073778376 140736159330816 18446744073709551615 246528650752 0 4 0 16800975 18446604440655503424 0 0 -1 2 0 0 0
[pid=1632/tid=1639] ppid=1630 vsize=336480 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 6 0 869282000 344555520 7728 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
[pid=1632/tid=1647] ppid=1630 vsize=336480 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1647/stat : 1647 (python) S 1630 1632 1406 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 869286686 344555520 7728 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
[pid=1632/tid=1671] ppid=1630 vsize=336480 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1671/stat : 1671 (python) S 1630 1632 1406 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 6 0 869291559 344555520 7728 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 0 0 0 0
[pid=1632/tid=1677] ppid=1630 vsize=336480 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1677/stat : 1677 (python) S 1630 1632 1406 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 6 0 869296285 344555520 7728 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 4 0 0 0
[pid=1632/tid=1703] ppid=1630 vsize=336480 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1703/stat : 1703 (python) S 1630 1632 1406 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 6 0 869301104 344555520 7728 33554432000 4194304 5683644 140735374634960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604451364303872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 194.36
Current children cumulated vsize (KiB) 19344088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1632 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=534918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 0.657899
# while last known CPU time is 194.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 192.478
CPU time (s): 194.36
CPU user time (s): 192.95
CPU system time (s): 1.41
CPU usage (%): 100.978
Max. virtual memory (cumulated for all children) (KiB): 19344088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.534918
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14575
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2584
involuntary context switches= 15
runsolver used 1.17282 second user time and 1.9697 second system time
The end