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-3481530-1307578061/watcher-3481530-1307578061 -o /tmp/evaluation-result-3481530-1307578061/solver-3481530-1307578061 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481530-1307578061.opb -seed 156440586 -budget 1800
running on 4 cores: 1,3,5,7
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.02 2.08 1.73 2/809 32015
/proc/meminfo: memFree=20732916/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/32015/stat : 32015 (python) R 32013 32015 30488 0 -1 4202496 1064 0 0 0 0 0 0 0 23 0 1 0 869404957 16633856 935 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32015/statm: 4061 935 381 364 0 548 0
[startup+0.0811199 s]
/proc/loadavg: 2.02 2.08 1.73 2/809 32015
/proc/meminfo: memFree=20732916/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=50016 CPUtime=0.05 cores=1,3,5,7
/proc/32015/stat : 32015 (python) R 32013 32015 30488 0 -1 4202496 1954 0 0 0 3 2 0 0 17 0 1 0 869404957 51216384 1717 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32015/statm: 12504 1724 476 364 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50016
[startup+0.10112 s]
/proc/loadavg: 2.02 2.08 1.73 2/809 32015
/proc/meminfo: memFree=20732916/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/32015/stat : 32015 (python) R 32013 32015 30488 0 -1 4202496 2665 0 0 0 4 2 0 0 17 0 1 0 869404957 87674880 2382 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272687104 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32015/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.301003 s]
/proc/loadavg: 2.02 2.08 1.73 2/809 32015
/proc/meminfo: memFree=20732916/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=123740 CPUtime=0.18 cores=1,3,5,7
/proc/32015/stat : 32015 (python) R 32013 32015 30488 0 -1 4202496 5358 932 1 0 11 7 0 0 18 0 1 0 869404957 126709760 3744 33554432000 4194304 5683644 140736853248416 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32015/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.701172 s]
/proc/loadavg: 2.02 2.08 1.73 2/809 32015
/proc/meminfo: memFree=20732916/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=282664 CPUtime=0.44 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 9252 932 1 0 29 15 0 0 17 0 1 0 869404957 289447936 6982 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709135 0 0 16781312 2 3684161094684770304 0 0 17 5 0 0 0
/proc/32015/statm: 70666 6982 1777 364 0 5559 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282664
[startup+1.50079 s]
/proc/loadavg: 2.02 2.08 1.73 3/813 32024
/proc/meminfo: memFree=20686872/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=295152 CPUtime=0.66 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 11167 1352 1 0 46 16 3 1 20 0 2 0 869404957 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32015/statm: 73788 7628 1871 364 0 8675 0
[pid=32022] ppid=32015 vsize=284908 CPUtime=0 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869405045 291745792 6072 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709135 0 0 16781312 33554946 2515371846287753216 0 0 17 5 0 0 0
/proc/32022/statm: 71227 6072 319 364 0 6114 0
[pid=32024] ppid=32022 vsize=42252 CPUtime=0.59 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) R 32022 32024 32024 0 -1 4202496 8923 0 0 0 48 11 0 0 22 0 1 0 869405045 43266048 8250 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32024/statm: 10563 8250 755 2317 0 8241 0
[pid=32015/tid=32023] ppid=32013 vsize=295152 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 2 0 869405045 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 622312
[startup+3.1005 s]
/proc/loadavg: 2.02 2.08 1.73 3/813 32024
/proc/meminfo: memFree=20669884/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=295152 CPUtime=0.66 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 11167 1352 1 0 46 16 3 1 20 0 2 0 869404957 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32015/statm: 73788 7628 1871 364 0 8675 0
[pid=32022] ppid=32015 vsize=284908 CPUtime=0.03 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 774 0 0 0 3 0 0 0 15 0 1 0 869405045 291745792 6072 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709135 0 0 16781312 33554946 1053810280938602496 0 0 17 5 0 0 0
/proc/32022/statm: 71227 6072 319 364 0 6114 0
[pid=32024] ppid=32022 vsize=58376 CPUtime=2.17 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) R 32022 32024 32024 0 -1 4202496 13003 0 0 0 199 18 0 0 25 0 1 0 869405045 59777024 12276 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32024/statm: 14594 12276 762 2317 0 12272 0
[pid=32015/tid=32023] ppid=32013 vsize=295152 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 2 0 869405045 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 638436
[startup+6.30093 s]
/proc/loadavg: 2.10 2.10 1.74 3/813 32024
/proc/meminfo: memFree=20654260/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=295152 CPUtime=0.66 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 11167 1352 1 0 46 16 3 1 20 0 2 0 869404957 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32015/statm: 73788 7628 1871 364 0 8675 0
[pid=32022] ppid=32015 vsize=284908 CPUtime=0.07 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 909 0 0 0 6 1 0 0 16 0 1 0 869405045 291745792 6096 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709135 0 0 16781312 33554946 111080309679718400 0 0 17 5 0 0 0
/proc/32022/statm: 71227 6096 343 364 0 6114 0
[pid=32024] ppid=32022 vsize=58272 CPUtime=5.35 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) R 32022 32024 32024 0 -1 4202496 13847 0 0 0 503 32 0 0 25 0 1 0 869405045 59670528 12379 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32024/statm: 14568 12379 781 2317 0 12246 0
[pid=32015/tid=32023] ppid=32013 vsize=295152 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 2 0 869405045 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 638332
[startup+12.7008 s]
/proc/loadavg: 2.09 2.10 1.74 3/813 32024
/proc/meminfo: memFree=20650008/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=295152 CPUtime=0.66 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 11167 1352 1 0 46 16 3 1 20 0 2 0 869404957 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32015/statm: 73788 7628 1871 364 0 8675 0
[pid=32022] ppid=32015 vsize=284908 CPUtime=0.12 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 923 0 0 0 8 4 0 0 15 0 1 0 869405045 291745792 6096 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709135 0 0 16781312 33554946 3460250916102340608 0 0 17 7 0 0 0
/proc/32022/statm: 71227 6096 343 364 0 6114 0
[pid=32024] ppid=32022 vsize=65340 CPUtime=11.74 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) R 32022 32024 32024 0 -1 4202496 19536 0 0 0 1063 111 0 0 20 0 1 0 869405045 66908160 14180 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32024/statm: 16335 14180 807 2317 0 14013 0
[pid=32015/tid=32023] ppid=32013 vsize=295152 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 2 0 869405045 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 645400
[startup+25.5005 s]
/proc/loadavg: 2.21 2.12 1.75 3/813 32024
/proc/meminfo: memFree=20647916/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=295152 CPUtime=0.66 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 11167 1352 1 0 46 16 3 1 20 0 2 0 869404957 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32015/statm: 73788 7628 1871 364 0 8675 0
[pid=32022] ppid=32015 vsize=284908 CPUtime=0.21 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 939 0 0 0 13 8 0 0 15 0 1 0 869405045 291745792 6096 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709135 0 0 16781312 33554946 2595738166228942848 0 0 17 7 0 0 0
/proc/32022/statm: 71227 6096 343 364 0 6114 0
[pid=32024] ppid=32022 vsize=67808 CPUtime=24.54 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) R 32022 32024 32024 0 -1 4202496 25492 0 0 0 2172 282 0 0 19 0 1 0 869405045 69435392 14817 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32024/statm: 16952 14817 807 2317 0 14630 0
[pid=32015/tid=32023] ppid=32013 vsize=295152 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 2 0 869405045 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 647868
[startup+51.1009 s]
/proc/loadavg: 2.14 2.11 1.75 3/813 32025
/proc/meminfo: memFree=20639212/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=295152 CPUtime=0.66 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 11167 1352 1 0 46 16 3 1 20 0 2 0 869404957 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32015/statm: 73788 7628 1871 364 0 8675 0
[pid=32022] ppid=32015 vsize=284908 CPUtime=0.4 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 992 0 0 0 24 16 0 0 15 0 1 0 869405045 291745792 6097 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709135 0 0 16781312 33554946 1102893704068202496 0 0 17 5 0 0 0
/proc/32022/statm: 71227 6097 344 364 0 6114 0
[pid=32024] ppid=32022 vsize=75972 CPUtime=50.15 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) R 32022 32024 32024 0 -1 4202496 38207 0 0 0 4372 643 0 0 25 0 1 0 869405045 77795328 16800 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32024/statm: 18993 16800 807 2317 0 16671 0
[pid=32015/tid=32023] ppid=32013 vsize=295152 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 2 0 869405045 302235648 7628 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 656032
[startup+102.324 s]
/proc/loadavg: 2.06 2.09 1.76 3/817 32030
/proc/meminfo: memFree=20561924/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=305912 CPUtime=0.69 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 12066 1352 1 0 49 16 3 1 20 0 3 0 869404957 313253888 7761 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32015/statm: 76478 7761 1874 364 0 11362 0
[pid=32022] ppid=32015 vsize=295152 CPUtime=0.46 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 1198 0 0 0 27 19 0 0 17 0 2 0 869405045 302235648 6165 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32022/statm: 73788 6165 407 364 0 8675 0
[pid=32024] ppid=32022 vsize=77776 CPUtime=55.98 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) T 32022 32024 32024 0 -1 4202496 38659 0 0 0 4874 724 0 0 25 0 1 0 869405045 79642624 17252 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/32024/statm: 19444 17252 807 2317 0 17122 0
[pid=32022/tid=32026] ppid=32015 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32022/task/32026/stat : 32026 (python) S 32015 32015 30488 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869410650 302235648 6165 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462157134720 0 0 -1 5 0 0 0
[pid=32027] ppid=32015 vsize=295668 CPUtime=0.33 cores=1,3,5,7
/proc/32027/stat : 32027 (python) S 32015 32015 30488 0 -1 4202560 1008 0 0 0 17 16 0 0 16 0 1 0 869410652 302764032 6228 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709190 0 0 16781312 33554946 1944104203366432768 0 0 17 7 0 0 0
/proc/32027/statm: 73917 6228 345 364 0 8801 0
[pid=32029] ppid=32027 vsize=71040 CPUtime=45.36 cores=1,3,5,7
/proc/32029/stat : 32029 (scip-2.0.1.linu) R 32027 32029 32029 0 -1 4202496 29557 0 0 0 4335 201 0 0 25 0 1 0 869410653 72744960 15040 33554432000 4194304 15243407 140735791583440 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32029/statm: 17760 15040 930 2698 0 15055 0
[pid=32015/tid=32023] ppid=32013 vsize=305912 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 3 0 869405045 313253888 7761 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
[pid=32015/tid=32028] ppid=32013 vsize=305912 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32028/stat : 32028 (python) S 32013 32015 30488 0 -1 4202560 27 1352 0 0 0 0 3 1 20 0 3 0 869410653 313253888 7761 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.82
Current children cumulated vsize (KiB) 1045548
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+152.802 s]
/proc/loadavg: 2.02 2.08 1.77 6/860 32075
/proc/meminfo: memFree=20379444/32950928 swapFree=43925852/67111528
[pid=32015] ppid=32013 vsize=326424 CPUtime=0.75 cores=1,3,5,7
/proc/32015/stat : 32015 (python) S 32013 32015 30488 0 -1 4202496 13917 1352 1 0 54 17 3 1 20 0 5 0 869404957 334258176 7773 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32015/statm: 81606 7773 1878 364 0 16484 0
[pid=32022] ppid=32015 vsize=295152 CPUtime=0.46 cores=1,3,5,7
/proc/32022/stat : 32022 (python) S 32015 32015 30488 0 -1 4202560 1198 0 0 0 27 19 0 0 17 0 2 0 869405045 302235648 6165 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32022/statm: 73788 6165 407 364 0 8675 0
[pid=32024] ppid=32022 vsize=77776 CPUtime=55.98 cores=1,3,5,7
/proc/32024/stat : 32024 (scip-2.0.1.linu) T 32022 32024 32024 0 -1 4202496 38659 0 0 0 4874 724 0 0 25 0 1 0 869405045 79642624 17252 33554432000 4194304 13684479 140733493055232 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/32024/statm: 19444 17252 807 2317 0 17122 0
[pid=32022/tid=32026] ppid=32015 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32022/task/32026/stat : 32026 (python) S 32015 32015 30488 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869410650 302235648 6165 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462157134720 0 0 -1 5 0 0 0
[pid=32027] ppid=32015 vsize=295668 CPUtime=0.36 cores=1,3,5,7
/proc/32027/stat : 32027 (python) S 32015 32015 30488 0 -1 4202560 1203 0 0 0 19 17 0 0 17 0 2 0 869410652 302764032 6276 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32027/statm: 73917 6276 392 364 0 8801 0
[pid=32029] ppid=32027 vsize=71184 CPUtime=48.17 cores=1,3,5,7
/proc/32029/stat : 32029 (scip-2.0.1.linu) T 32027 32029 32029 0 -1 4202496 29697 0 0 0 4603 214 0 0 25 0 1 0 869410653 72892416 15180 33554432000 4194304 15243407 140735791583440 18446744073709551615 4436602 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/32029/statm: 17796 15180 930 2698 0 15091 0
[pid=32027/tid=32031] ppid=32015 vsize=295668 CPUtime=0 cores=1,3,5,7
/proc/32027/task/32031/stat : 32031 (python) S 32015 32015 30488 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869415471 302764032 6276 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604468994026176 0 0 -1 7 0 0 0
[pid=32032] ppid=32015 vsize=305924 CPUtime=0.28 cores=1,3,5,7
/proc/32032/stat : 32032 (python) S 32015 32015 30488 0 -1 4202560 1131 0 0 0 13 15 0 0 16 0 2 0 869415474 313266176 6279 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32032/statm: 76481 6279 391 364 0 11362 0
[pid=32034] ppid=32032 vsize=8539872 CPUtime=48.69 cores=1,3,5,7
/proc/32034/stat : 32034 (java) T 32032 32034 32034 0 -1 4202496 71296 0 1 0 4857 12 0 0 18 0 19 0 869415474 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32034/statm: 2134968 33959 2258 9 0 2125709 0
[pid=32034/tid=32035] ppid=32032 vsize=8539872 CPUtime=45.7 cores=1,3,5,7
/proc/32034/task/32035/stat : 32035 (java) T 32032 32034 32034 0 -1 4202560 37515 0 1 0 4565 5 0 0 25 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 46912505777679 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 4
[pid=32034/tid=32036] ppid=32032 vsize=8539872 CPUtime=0.09 cores=1,3,5,7
/proc/32034/task/32036/stat : 32036 (java) T 32032 32034 32034 0 -1 4202560 2662 0 0 0 9 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32034/tid=32037] ppid=32032 vsize=8539872 CPUtime=0.09 cores=1,3,5,7
/proc/32034/task/32037/stat : 32037 (java) T 32032 32034 32034 0 -1 4202560 1869 0 0 0 9 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32034/tid=32038] ppid=32032 vsize=8539872 CPUtime=0.07 cores=1,3,5,7
/proc/32034/task/32038/stat : 32038 (java) T 32032 32034 32034 0 -1 4202560 2038 0 0 0 7 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32034/tid=32039] ppid=32032 vsize=8539872 CPUtime=0.09 cores=1,3,5,7
/proc/32034/task/32039/stat : 32039 (java) T 32032 32034 32034 0 -1 4202560 1502 0 0 0 9 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32040] ppid=32032 vsize=8539872 CPUtime=0.1 cores=1,3,5,7
/proc/32034/task/32040/stat : 32040 (java) T 32032 32034 32034 0 -1 4202560 930 0 0 0 10 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32034/tid=32041] ppid=32032 vsize=8539872 CPUtime=0.09 cores=1,3,5,7
/proc/32034/task/32041/stat : 32041 (java) T 32032 32034 32034 0 -1 4202560 3073 0 0 0 9 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32034/tid=32042] ppid=32032 vsize=8539872 CPUtime=0.09 cores=1,3,5,7
/proc/32034/task/32042/stat : 32042 (java) T 32032 32034 32034 0 -1 4202560 752 0 0 0 9 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32043] ppid=32032 vsize=8539872 CPUtime=0.07 cores=1,3,5,7
/proc/32034/task/32043/stat : 32043 (java) T 32032 32034 32034 0 -1 4202560 1685 0 0 0 7 0 0 0 15 0 19 0 869415475 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32044] ppid=32032 vsize=8539872 CPUtime=0.98 cores=1,3,5,7
/proc/32034/task/32044/stat : 32044 (java) T 32032 32034 32034 0 -1 4202560 4936 0 0 0 97 1 0 0 15 0 19 0 869415476 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32045] ppid=32032 vsize=8539872 CPUtime=0 cores=1,3,5,7
/proc/32034/task/32045/stat : 32045 (java) T 32032 32034 32034 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869415477 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32046] ppid=32032 vsize=8539872 CPUtime=0 cores=1,3,5,7
/proc/32034/task/32046/stat : 32046 (java) T 32032 32034 32034 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869415477 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32047] ppid=32032 vsize=8539872 CPUtime=0 cores=1,3,5,7
/proc/32034/task/32047/stat : 32047 (java) T 32032 32034 32034 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869415479 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32048] ppid=32032 vsize=8539872 CPUtime=0.66 cores=1,3,5,7
/proc/32034/task/32048/stat : 32048 (java) T 32032 32034 32034 0 -1 4202560 4633 0 0 0 66 0 0 0 15 0 19 0 869415479 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32034/tid=32049] ppid=32032 vsize=8539872 CPUtime=0.55 cores=1,3,5,7
/proc/32034/task/32049/stat : 32049 (java) T 32032 32034 32034 0 -1 4202560 8309 0 0 0 54 1 0 0 15 0 19 0 869415479 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32034/tid=32050] ppid=32032 vsize=8539872 CPUtime=0 cores=1,3,5,7
/proc/32034/task/32050/stat : 32050 (java) T 32032 32034 32034 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869415479 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32051] ppid=32032 vsize=8539872 CPUtime=0 cores=1,3,5,7
/proc/32034/task/32051/stat : 32051 (java) T 32032 32034 32034 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869415479 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32034/tid=32052] ppid=32032 vsize=8539872 CPUtime=0 cores=1,3,5,7
/proc/32034/task/32052/stat : 32052 (java) T 32032 32034 32034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869415519 8744828928 33959 33554432000 1073741824 1073778376 140736371838400 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32032/tid=32055] ppid=32015 vsize=305924 CPUtime=0 cores=1,3,5,7
/proc/32032/task/32055/stat : 32055 (python) S 32015 32015 30488 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869420197 313266176 6279 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466681980800 0 0 -1 5 0 0 0
[pid=32056] ppid=32015 vsize=316180 CPUtime=0 cores=1,3,5,7
/proc/32056/stat : 32056 (python) S 32015 32015 30488 0 -1 4202560 783 0 0 0 0 0 0 0 17 0 1 0 869420199 323768320 6211 33554432000 4194304 5683644 140736853248416 18446744073709551615 268272709190 0 0 16781312 33554946 12345024125230612741 0 0 17 1 0 0 0
/proc/32056/statm: 79045 6211 320 364 0 13923 0
[pid=32058] ppid=32056 vsize=8551052 CPUtime=0.8 cores=1,3,5,7
/proc/32058/stat : 32058 (java) S 32056 32058 32058 0 -1 4202496 17220 0 1 0 78 2 0 0 21 0 19 0 869420199 8756277248 14286 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32058/statm: 2137763 14286 2217 9 0 2128504 0
[pid=32058/tid=32059] ppid=32056 vsize=8551052 CPUtime=0.4 cores=1,3,5,7
/proc/32058/task/32059/stat : 32059 (java) R 32056 32058 32058 0 -1 4202560 6340 0 1 0 39 1 0 0 25 0 19 0 869420200 8756277248 14289 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 47655822093139 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32058/tid=32060] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32060/stat : 32060 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869420201 8756277248 14289 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 5 0 0 0
[pid=32058/tid=32061] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32061/stat : 32061 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420201 8756277248 14289 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32062] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32062/stat : 32062 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420201 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32063] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32063/stat : 32063 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420201 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32064] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32064/stat : 32064 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420201 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32065] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32065/stat : 32065 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420201 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32066] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32066/stat : 32066 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420201 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32067] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32067/stat : 32067 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420201 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32068] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32068/stat : 32068 (java) S 32056 32058 32058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869420202 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284505600 0 0 0 16800975 18446604464875231360 0 0 -1 5 0 0 0
[pid=32058/tid=32069] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32069/stat : 32069 (java) S 32056 32058 32058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869420202 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 5 0 0 0
[pid=32058/tid=32070] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32070/stat : 32070 (java) S 32056 32058 32058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869420202 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 5 0 0 0
[pid=32058/tid=32071] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32071/stat : 32071 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420204 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284512689 0 4 0 16800975 18446604464875231360 0 0 -1 5 0 0 0
[pid=32058/tid=32072] ppid=32056 vsize=8551052 CPUtime=0.18 cores=1,3,5,7
/proc/32058/task/32072/stat : 32072 (java) R 32056 32058 32058 0 -1 4202560 3688 0 0 0 18 0 0 0 25 0 19 0 869420204 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 47655821304043 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32058/tid=32073] ppid=32056 vsize=8551052 CPUtime=0.21 cores=1,3,5,7
/proc/32058/task/32073/stat : 32073 (java) R 32056 32058 32058 0 -1 4202560 5803 0 0 0 21 0 0 0 25 0 19 0 869420204 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 47655820787683 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32058/tid=32074] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32074/stat : 32074 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420204 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 18446604464875231360 0 0 -1 5 0 0 0
[pid=32058/tid=32075] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32075/stat : 32075 (java) S 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869420204 8756277248 14290 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284505600 0 4 0 16800975 18446604464875231360 0 0 -1 1 0 0 0
[pid=32058/tid=32076] ppid=32056 vsize=8551052 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32076/stat : 32076 (java) R 32056 32058 32058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420240 8756277248 14291 33554432000 1073741824 1073778376 140735519532464 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32015/tid=32023] ppid=32013 vsize=326424 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32023/stat : 32023 (python) S 32013 32015 30488 0 -1 4202560 29 1352 0 0 0 0 3 1 20 0 5 0 869405045 334258176 7773 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
[pid=32015/tid=32028] ppid=32013 vsize=326424 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32028/stat : 32028 (python) S 32013 32015 30488 0 -1 4202560 27 1352 0 0 0 0 3 1 20 0 5 0 869410653 334258176 7773 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 1 0 0 0
[pid=32015/tid=32033] ppid=32013 vsize=326424 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32033/stat : 32033 (python) S 32013 32015 30488 0 -1 4202560 31 1352 0 0 0 0 3 1 20 0 5 0 869415474 334258176 7773 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 1 0 0 0
[pid=32015/tid=32057] ppid=32013 vsize=326424 CPUtime=0.04 cores=1,3,5,7
/proc/32015/task/32057/stat : 32057 (python) S 32013 32015 30488 0 -1 4202560 23 1352 0 0 0 0 3 1 20 0 5 0 869420199 334258176 7773 33554432000 4194304 5683644 140736853248416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458537066624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 155.49
Current children cumulated vsize (KiB) 18779232
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 32015 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=574912
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=186971
# CPU time returned by wait4() is 0.761883
# while last known CPU time is 155.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 152.889
CPU time (s): 155.49
CPU user time (s): 145.28
CPU system time (s): 10.21
CPU usage (%): 101.701
Max. virtual memory (cumulated for all children) (KiB): 18779232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.574912
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15270
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= 5370
involuntary context switches= 20
runsolver used 1.00885 second user time and 2.32365 second system time
The end