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-3481813-1307577533/watcher-3481813-1307577533 -o /tmp/evaluation-result-3481813-1307577533/solver-3481813-1307577533 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481813-1307577533.opb -seed 1111090234 -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.12 2.08 1.49 2/645 4927
/proc/meminfo: memFree=20933192/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4927/stat : 4927 (python) R 4925 4927 4191 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 869351109 15749120 693 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905730704 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4927/statm: 3845 693 332 364 0 332 0
[startup+0.108778 s]
/proc/loadavg: 2.12 2.08 1.49 2/645 4927
/proc/meminfo: memFree=20933192/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=92000 CPUtime=0.06 cores=0,2,4,6
/proc/4927/stat : 4927 (python) S 4925 4927 4191 0 -1 4202496 2751 0 1 0 5 1 0 0 17 0 1 0 869351109 94208000 2461 33554432000 4194304 5683644 140733390834144 18446744073709551615 218900807303 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/4927/statm: 23515 2461 782 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92000
[startup+0.200767 s]
/proc/loadavg: 2.12 2.08 1.49 2/645 4927
/proc/meminfo: memFree=20933192/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=119984 CPUtime=0.12 cores=0,2,4,6
/proc/4927/stat : 4927 (python) R 4925 4927 4191 0 -1 4202496 4929 933 1 0 9 3 0 0 17 0 1 0 869351109 122863616 3351 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905726821 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4927/statm: 29996 3351 919 364 0 2445 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 119984
[startup+0.300785 s]
/proc/loadavg: 2.12 2.08 1.49 2/645 4927
/proc/meminfo: memFree=20933192/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/4927/stat : 4927 (python) R 4925 4927 4191 0 -1 4202496 5358 933 1 0 11 5 0 0 17 0 1 0 869351109 126709760 3744 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905726981 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4927/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700717 s]
/proc/loadavg: 2.12 2.08 1.49 2/645 4927
/proc/meminfo: memFree=20933192/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=290048 CPUtime=0.43 cores=0,2,4,6
/proc/4927/stat : 4927 (python) R 4925 4927 4191 0 -1 4202496 10979 933 1 0 31 12 0 0 16 0 1 0 869351109 297009152 8840 33554432000 4194304 5683644 140733390834144 18446744073709551615 47912494044208 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4927/statm: 72512 8840 1781 364 0 7405 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 290048
[startup+1.50057 s]
/proc/loadavg: 2.12 2.08 1.49 3/646 4932
/proc/meminfo: memFree=20894628/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=307264 CPUtime=1.23 cores=0,2,4,6
/proc/4927/stat : 4927 (python) R 4925 4927 4191 0 -1 4202496 15040 933 1 0 111 12 0 0 16 0 1 0 869351109 314638336 12901 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905391813 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4927/statm: 76816 12901 1781 364 0 11709 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 307264
[startup+3.10025 s]
/proc/loadavg: 2.12 2.08 1.49 3/646 4932
/proc/meminfo: memFree=20871192/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=321116 CPUtime=2.83 cores=0,2,4,6
/proc/4927/stat : 4927 (python) R 4925 4927 4191 0 -1 4202496 27682 933 1 0 269 14 0 0 18 0 1 0 869351109 328822784 16624 33554432000 4194304 5683644 140733390834144 18446744073709551615 4623672 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/4927/statm: 80279 16624 1815 364 0 15172 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 321116
[startup+6.30068 s]
/proc/loadavg: 2.27 2.12 1.50 3/649 4935
/proc/meminfo: memFree=20805988/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=332008 CPUtime=4.26 cores=0,2,4,6
/proc/4927/stat : 4927 (python) S 4925 4927 4191 0 -1 4202496 28132 933 1 0 412 14 0 0 23 0 2 0 869351109 339976192 16843 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4927/statm: 83002 16843 1872 364 0 17889 0
[pid=4933] ppid=4927 vsize=321764 CPUtime=0 cores=0,2,4,6
/proc/4933/stat : 4933 (python) S 4927 4927 4191 0 -1 4202560 738 0 0 0 0 0 0 0 15 0 1 0 869351563 329486336 15318 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905751055 0 0 16781312 33554946 2867160501400338692 0 0 17 2 0 0 0
/proc/4933/statm: 80441 15318 351 364 0 15328 0
[pid=4935] ppid=4933 vsize=61236 CPUtime=1.75 cores=0,2,4,6
/proc/4935/stat : 4935 (wbo1.4a) R 4933 4935 4935 0 -1 4202496 17116 0 0 0 173 2 0 0 19 0 1 0 869351564 62705664 14802 33554432000 134512640 135751879 4293261744 18446744073709551615 134611292 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4935/statm: 15309 14802 145 303 0 15004 0
[pid=4927/tid=4934] ppid=4925 vsize=332008 CPUtime=0 cores=0,2,4,6
/proc/4927/task/4934/stat : 4934 (python) S 4925 4927 4191 0 -1 4202560 26 933 0 0 0 0 0 0 23 0 2 0 869351564 339976192 16843 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554434 18446604452181891008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 715008
[startup+12.7005 s]
/proc/loadavg: 2.25 2.11 1.50 3/653 4939
/proc/meminfo: memFree=20803944/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=332008 CPUtime=4.26 cores=0,2,4,6
/proc/4927/stat : 4927 (python) S 4925 4927 4191 0 -1 4202496 28132 933 1 0 412 14 0 0 23 0 2 0 869351109 339976192 16843 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4927/statm: 83002 16843 1872 364 0 17889 0
[pid=4933] ppid=4927 vsize=321764 CPUtime=0.04 cores=0,2,4,6
/proc/4933/stat : 4933 (python) S 4927 4927 4191 0 -1 4202560 906 0 0 0 2 2 0 0 15 0 1 0 869351563 329486336 15342 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905751055 0 0 16781312 33554946 72262103200705427 0 0 17 2 0 0 0
/proc/4933/statm: 80441 15342 375 364 0 15328 0
[pid=4935] ppid=4933 vsize=61236 CPUtime=8.12 cores=0,2,4,6
/proc/4935/stat : 4935 (wbo1.4a) R 4933 4935 4935 0 -1 4202496 17117 0 0 0 810 2 0 0 25 0 1 0 869351564 62705664 14803 33554432000 134512640 135751879 4293261744 18446744073709551615 134611204 0 0 16781312 3 0 0 0 17 6 0 0 0
/proc/4935/statm: 15309 14803 146 303 0 15004 0
[pid=4927/tid=4934] ppid=4925 vsize=332008 CPUtime=0 cores=0,2,4,6
/proc/4927/task/4934/stat : 4934 (python) S 4925 4927 4191 0 -1 4202560 26 933 0 0 0 0 0 0 23 0 2 0 869351564 339976192 16843 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554434 18446604452181891008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 715008
[startup+25.5012 s]
/proc/loadavg: 2.19 2.11 1.51 3/653 4940
/proc/meminfo: memFree=20802832/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=332008 CPUtime=4.26 cores=0,2,4,6
/proc/4927/stat : 4927 (python) S 4925 4927 4191 0 -1 4202496 28132 933 1 0 412 14 0 0 23 0 2 0 869351109 339976192 16843 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4927/statm: 83002 16843 1872 364 0 17889 0
[pid=4933] ppid=4927 vsize=321764 CPUtime=0.08 cores=0,2,4,6
/proc/4933/stat : 4933 (python) S 4927 4927 4191 0 -1 4202560 911 0 0 0 4 4 0 0 15 0 1 0 869351563 329486336 15342 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905751055 0 0 16781312 33554946 3959377187353657344 0 0 17 2 0 0 0
/proc/4933/statm: 80441 15342 375 364 0 15328 0
[pid=4935] ppid=4933 vsize=61236 CPUtime=20.91 cores=0,2,4,6
/proc/4935/stat : 4935 (wbo1.4a) R 4933 4935 4935 0 -1 4202496 17117 0 0 0 2088 3 0 0 25 0 1 0 869351564 62705664 14803 33554432000 134512640 135751879 4293261744 18446744073709551615 134611173 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/4935/statm: 15309 14803 146 303 0 15004 0
[pid=4927/tid=4934] ppid=4925 vsize=332008 CPUtime=0 cores=0,2,4,6
/proc/4927/task/4934/stat : 4934 (python) S 4925 4927 4191 0 -1 4202560 26 933 0 0 0 0 0 0 23 0 2 0 869351564 339976192 16843 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554434 18446604452181891008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 715008
[startup+51.1006 s]
/proc/loadavg: 2.12 2.10 1.52 3/653 4940
/proc/meminfo: memFree=20801776/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=342264 CPUtime=4.28 cores=0,2,4,6
/proc/4927/stat : 4927 (python) S 4925 4927 4191 0 -1 4202496 29004 933 1 0 414 14 0 0 19 0 3 0 869351109 350478336 16850 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4927/statm: 85566 16850 1875 364 0 20450 0
[pid=4933] ppid=4927 vsize=332008 CPUtime=0.22 cores=0,2,4,6
/proc/4933/stat : 4933 (python) S 4927 4927 4191 0 -1 4202560 1149 0 0 0 12 10 0 0 16 0 2 0 869351563 339976192 15383 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4933/statm: 83002 15383 411 364 0 17889 0
[pid=4935] ppid=4933 vsize=61236 CPUtime=46.22 cores=0,2,4,6
/proc/4935/stat : 4935 (wbo1.4a) T 4933 4935 4935 0 -1 4202496 17117 0 0 0 4617 5 0 0 25 0 1 0 869351564 62705664 14803 33554432000 134512640 135751879 4293261744 18446744073709551615 134518470 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4935/statm: 15309 14803 146 303 0 15004 0
[pid=4927/tid=4934] ppid=4925 vsize=342264 CPUtime=0 cores=0,2,4,6
/proc/4927/task/4934/stat : 4934 (python) S 4925 4927 4191 0 -1 4202560 26 933 0 0 0 0 0 0 23 0 3 0 869351564 350478336 16850 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554434 18446604452181891008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 735508
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+95.7016 s]
/proc/loadavg: 2.11 2.10 1.55 4/696 4985
/proc/meminfo: memFree=17853516/32951124 swapFree=56930356/67111528
[pid=4927] ppid=4925 vsize=352520 CPUtime=4.31 cores=0,2,4,6
/proc/4927/stat : 4927 (python) S 4925 4927 4191 0 -1 4202496 29915 933 1 0 417 14 0 0 20 0 4 0 869351109 360980480 16856 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4927/statm: 88130 16856 1877 364 0 23011 0
[pid=4933] ppid=4927 vsize=332008 CPUtime=0.22 cores=0,2,4,6
/proc/4933/stat : 4933 (python) S 4927 4927 4191 0 -1 4202560 1149 0 0 0 12 10 0 0 16 0 2 0 869351563 339976192 15383 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4933/statm: 83002 15383 411 364 0 17889 0
[pid=4935] ppid=4933 vsize=61236 CPUtime=46.22 cores=0,2,4,6
/proc/4935/stat : 4935 (wbo1.4a) T 4933 4935 4935 0 -1 4202496 17117 0 0 0 4617 5 0 0 25 0 1 0 869351564 62705664 14803 33554432000 134512640 135751879 4293261744 18446744073709551615 134518470 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4935/statm: 15309 14803 146 303 0 15004 0
[pid=4933/tid=4941] ppid=4927 vsize=332008 CPUtime=0 cores=0,2,4,6
/proc/4933/task/4941/stat : 4941 (python) S 4927 4927 4191 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869356192 339976192 15383 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453913051520 0 0 -1 6 0 0 0
[pid=4942] ppid=4927 vsize=332020 CPUtime=0.19 cores=0,2,4,6
/proc/4942/stat : 4942 (python) S 4927 4927 4191 0 -1 4202560 1094 0 0 0 10 9 0 0 16 0 2 0 869356194 339988480 15368 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4942/statm: 83005 15368 396 364 0 17889 0
[pid=4944] ppid=4942 vsize=8543364 CPUtime=46.52 cores=0,2,4,6
/proc/4944/stat : 4944 (java) T 4942 4944 4944 0 -1 4202496 698355 0 1 0 4571 81 0 0 18 0 19 0 869356195 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4944/statm: 2135841 691173 2244 9 0 2126582 0
[pid=4944/tid=4945] ppid=4942 vsize=8543364 CPUtime=43.7 cores=0,2,4,6
/proc/4944/task/4945/stat : 4945 (java) T 4942 4944 4944 0 -1 4202560 624201 0 1 0 4301 69 0 0 25 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 46912505914547 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4944/tid=4946] ppid=4942 vsize=8543364 CPUtime=0.14 cores=0,2,4,6
/proc/4944/task/4946/stat : 4946 (java) T 4942 4944 4944 0 -1 4202560 8724 0 0 0 13 1 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4944/tid=4947] ppid=4942 vsize=8543364 CPUtime=0.09 cores=0,2,4,6
/proc/4944/task/4947/stat : 4947 (java) T 4942 4944 4944 0 -1 4202560 6455 0 0 0 9 0 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4944/tid=4948] ppid=4942 vsize=8543364 CPUtime=0.14 cores=0,2,4,6
/proc/4944/task/4948/stat : 4948 (java) T 4942 4944 4944 0 -1 4202560 8873 0 0 0 14 0 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4944/tid=4949] ppid=4942 vsize=8543364 CPUtime=0.13 cores=0,2,4,6
/proc/4944/task/4949/stat : 4949 (java) T 4942 4944 4944 0 -1 4202560 9060 0 0 0 12 1 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4944/tid=4950] ppid=4942 vsize=8543364 CPUtime=0.16 cores=0,2,4,6
/proc/4944/task/4950/stat : 4950 (java) T 4942 4944 4944 0 -1 4202560 8947 0 0 0 15 1 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4944/tid=4951] ppid=4942 vsize=8543364 CPUtime=0.17 cores=0,2,4,6
/proc/4944/task/4951/stat : 4951 (java) T 4942 4944 4944 0 -1 4202560 9211 0 0 0 16 1 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4944/tid=4952] ppid=4942 vsize=8543364 CPUtime=0.06 cores=0,2,4,6
/proc/4944/task/4952/stat : 4952 (java) T 4942 4944 4944 0 -1 4202560 4492 0 0 0 6 0 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4944/tid=4953] ppid=4942 vsize=8543364 CPUtime=0.09 cores=0,2,4,6
/proc/4944/task/4953/stat : 4953 (java) T 4942 4944 4944 0 -1 4202560 4593 0 0 0 9 0 0 0 15 0 19 0 869356196 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4944/tid=4954] ppid=4942 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/4944/task/4954/stat : 4954 (java) T 4942 4944 4944 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869356197 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4944/tid=4955] ppid=4942 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/4944/task/4955/stat : 4955 (java) T 4942 4944 4944 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869356198 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4944/tid=4956] ppid=4942 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/4944/task/4956/stat : 4956 (java) T 4942 4944 4944 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869356198 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4944/tid=4957] ppid=4942 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/4944/task/4957/stat : 4957 (java) T 4942 4944 4944 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869356200 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4944/tid=4958] ppid=4942 vsize=8543364 CPUtime=0.75 cores=0,2,4,6
/proc/4944/task/4958/stat : 4958 (java) T 4942 4944 4944 0 -1 4202560 6297 0 0 0 75 0 0 0 15 0 19 0 869356200 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4944/tid=4959] ppid=4942 vsize=8543364 CPUtime=0.96 cores=0,2,4,6
/proc/4944/task/4959/stat : 4959 (java) T 4942 4944 4944 0 -1 4202560 4836 0 0 0 96 0 0 0 15 0 19 0 869356200 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4944/tid=4960] ppid=4942 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/4944/task/4960/stat : 4960 (java) T 4942 4944 4944 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869356200 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4944/tid=4961] ppid=4942 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/4944/task/4961/stat : 4961 (java) T 4942 4944 4944 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869356200 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4944/tid=4962] ppid=4942 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/4944/task/4962/stat : 4962 (java) T 4942 4944 4944 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869356379 8748404736 691173 33554432000 1073741824 1073778376 140736720868208 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4942/tid=4965] ppid=4927 vsize=332020 CPUtime=0 cores=0,2,4,6
/proc/4942/task/4965/stat : 4965 (python) S 4927 4927 4191 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869360597 339988480 15368 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554946 18446604446340434112 0 0 -1 6 0 0 0
[pid=4966] ppid=4927 vsize=342276 CPUtime=0 cores=0,2,4,6
/proc/4966/stat : 4966 (python) S 4927 4927 4191 0 -1 4202560 788 0 0 0 0 0 0 0 19 0 1 0 869360600 350490624 15323 33554432000 4194304 5683644 140733390834144 18446744073709551615 218905751110 0 0 16781312 33554946 7054812026555564289 0 0 17 6 0 0 0
/proc/4966/statm: 85569 15323 348 364 0 20450 0
[pid=4968] ppid=4966 vsize=8543684 CPUtime=1.41 cores=0,2,4,6
/proc/4968/stat : 4968 (java) S 4966 4968 4968 0 -1 4202496 49481 0 1 0 133 8 0 0 20 0 18 0 869360600 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4968/statm: 2135921 45945 2221 9 0 2126662 0
[pid=4968/tid=4969] ppid=4966 vsize=8543684 CPUtime=0.8 cores=0,2,4,6
/proc/4968/task/4969/stat : 4969 (java) R 4966 4968 4968 0 -1 4202560 35205 0 1 0 75 5 0 0 18 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 46912505572710 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4968/tid=4970] ppid=4966 vsize=8543684 CPUtime=0.02 cores=0,2,4,6
/proc/4968/task/4970/stat : 4970 (java) S 4966 4968 4968 0 -1 4202560 1558 0 0 0 2 0 0 0 16 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 2 0 0 0
[pid=4968/tid=4971] ppid=4966 vsize=8543684 CPUtime=0.01 cores=0,2,4,6
/proc/4968/task/4971/stat : 4971 (java) S 4966 4968 4968 0 -1 4202560 1396 0 0 0 1 0 0 0 17 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 4 0 0 0
[pid=4968/tid=4972] ppid=4966 vsize=8543684 CPUtime=0.01 cores=0,2,4,6
/proc/4968/task/4972/stat : 4972 (java) S 4966 4968 4968 0 -1 4202560 1262 0 0 0 1 0 0 0 18 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 6 0 0 0
[pid=4968/tid=4973] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4973/stat : 4973 (java) S 4966 4968 4968 0 -1 4202560 272 0 0 0 0 0 0 0 19 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 0 0 0 0
[pid=4968/tid=4974] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4974/stat : 4974 (java) S 4966 4968 4968 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 2 0 0 0
[pid=4968/tid=4975] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4975/stat : 4975 (java) S 4966 4968 4968 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 2 0 0 0
[pid=4968/tid=4976] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4976/stat : 4976 (java) S 4966 4968 4968 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 2 0 0 0
[pid=4968/tid=4977] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4977/stat : 4977 (java) S 4966 4968 4968 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869360601 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 2 0 0 0
[pid=4968/tid=4978] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4978/stat : 4978 (java) S 4966 4968 4968 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 18 0 869360602 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917547520 0 0 0 16800975 18446604440704693504 0 0 -1 6 0 0 0
[pid=4968/tid=4979] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4979/stat : 4979 (java) S 4966 4968 4968 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 869360603 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 0 0 0 0
[pid=4968/tid=4980] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4980/stat : 4980 (java) S 4966 4968 4968 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 869360603 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 6 0 0 0
[pid=4968/tid=4981] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4981/stat : 4981 (java) S 4966 4968 4968 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869360605 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917554609 0 4 0 16800975 18446604440704693504 0 0 -1 2 0 0 0
[pid=4968/tid=4982] ppid=4966 vsize=8543684 CPUtime=0.28 cores=0,2,4,6
/proc/4968/task/4982/stat : 4982 (java) S 4966 4968 4968 0 -1 4202560 4710 0 0 0 28 0 0 0 24 0 18 0 869360605 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 4 0 0 0
[pid=4968/tid=4983] ppid=4966 vsize=8543684 CPUtime=0.26 cores=0,2,4,6
/proc/4968/task/4983/stat : 4983 (java) S 4966 4968 4968 0 -1 4202560 3620 0 0 0 25 1 0 0 17 0 18 0 869360605 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 6 0 0 0
[pid=4968/tid=4984] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4984/stat : 4984 (java) S 4966 4968 4968 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869360605 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917546905 0 4 0 16800975 18446604440704693504 0 0 -1 2 0 0 0
[pid=4968/tid=4985] ppid=4966 vsize=8543684 CPUtime=0 cores=0,2,4,6
/proc/4968/task/4985/stat : 4985 (java) S 4966 4968 4968 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869360605 8748732416 45945 33554432000 1073741824 1073778376 140733374850928 18446744073709551615 218917547520 0 4 0 16800975 18446604440704693504 0 0 -1 4 0 0 0
[pid=4927/tid=4934] ppid=4925 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/4927/task/4934/stat : 4934 (python) S 4925 4927 4191 0 -1 4202560 26 933 0 0 0 0 0 0 23 0 4 0 869351564 360980480 16856 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554434 18446604452181891008 0 0 -1 2 0 0 0
[pid=4927/tid=4943] ppid=4925 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/4927/task/4943/stat : 4943 (python) S 4925 4927 4191 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 4 0 869356195 360980480 16856 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554434 18446604452181891008 0 0 -1 2 0 0 0
[pid=4927/tid=4967] ppid=4925 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/4927/task/4967/stat : 4967 (python) S 4925 4927 4191 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 4 0 869360600 360980480 16856 33554432000 4194304 5683644 140733390834144 18446744073709551615 218917554609 0 0 16781312 33554434 18446604452181891008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.87
Current children cumulated vsize (KiB) 18507108
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 4927 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=172365
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=152976
# CPU time returned by wait4() is 4.32534
# while last known CPU time is 98.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 95.7809
CPU time (s): 98.87
CPU user time (s): 97.6
CPU system time (s): 1.27
CPU usage (%): 103.225
Max. virtual memory (cumulated for all children) (KiB): 18507108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.17237
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30849
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= 2859
involuntary context switches= 28
runsolver used 0.596909 second user time and 1.25781 second system time
The end