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-3481885-1307577079/watcher-3481885-1307577079 -o /tmp/evaluation-result-3481885-1307577079/solver-3481885-1307577079 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481885-1307577079.opb -seed 2112531274 -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: 1.94 1.79 1.00 3/479 17215
/proc/meminfo: memFree=25518632/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (python) S 17213 17215 16077 0 -1 4202496 927 0 0 0 0 0 0 0 20 0 1 0 947938551 16158720 807 33554432000 4194304 5683644 140735028082480 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/17215/statm: 3945 807 356 364 0 432 0
[startup+0.051973 s]
/proc/loadavg: 1.94 1.79 1.00 3/479 17215
/proc/meminfo: memFree=25518632/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=29792 CPUtime=0.03 cores=1,3,5,7
/proc/17215/stat : 17215 (python) R 17213 17215 16077 0 -1 4202496 1456 0 0 0 2 1 0 0 20 0 1 0 947938551 30507008 1297 33554432000 4194304 5683644 140735028082480 18446744073709551615 260020393984 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17215/statm: 7448 1297 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.100926 s]
/proc/loadavg: 1.94 1.79 1.00 3/479 17215
/proc/meminfo: memFree=25518632/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/17215/stat : 17215 (python) R 17213 17215 16077 0 -1 4202496 3168 929 1 0 4 2 0 0 18 0 1 0 947938551 98435072 2483 33554432000 4194304 5683644 140735028082480 18446744073709551615 5168736 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17215/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300939 s]
/proc/loadavg: 1.94 1.79 1.00 3/479 17215
/proc/meminfo: memFree=25518632/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=177824 CPUtime=0.21 cores=1,3,5,7
/proc/17215/stat : 17215 (python) R 17213 17215 16077 0 -1 4202496 6262 929 1 0 15 6 0 0 17 0 1 0 947938551 182091776 4570 33554432000 4194304 5683644 140735028082480 18446744073709551615 260015472650 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17215/statm: 44998 4573 1240 364 0 3568 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 177824
[startup+0.700852 s]
/proc/loadavg: 1.94 1.79 1.00 3/479 17215
/proc/meminfo: memFree=25518632/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=286940 CPUtime=0.57 cores=1,3,5,7
/proc/17215/stat : 17215 (python) R 17213 17215 16077 0 -1 4202496 10820 929 1 0 47 10 0 0 17 0 1 0 947938551 293826560 8082 33554432000 4194304 5683644 140735028082480 18446744073709551615 4623653 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/17215/statm: 71735 8082 1816 364 0 6628 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 286940
[startup+1.50071 s]
/proc/loadavg: 1.94 1.79 1.00 4/500 17240
/proc/meminfo: memFree=25475864/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=298144 CPUtime=0.72 cores=1,3,5,7
/proc/17215/stat : 17215 (python) S 17213 17215 16077 0 -1 4202496 11336 929 1 0 62 10 0 0 19 0 2 0 947938551 305299456 8374 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17215/statm: 74536 8374 1870 364 0 9423 0
[pid=17221] ppid=17215 vsize=287900 CPUtime=0 cores=1,3,5,7
/proc/17221/stat : 17221 (python) S 17215 17215 16077 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 947938636 294809600 6852 33554432000 4194304 5683644 140735028082480 18446744073709551615 260020416015 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/17221/statm: 71975 6852 352 364 0 6862 0
[pid=17223] ppid=17221 vsize=8539348 CPUtime=1.32 cores=1,3,5,7
/proc/17223/stat : 17223 (java) S 17221 17223 17223 0 -1 4202496 22939 0 1 0 129 3 0 0 17 0 19 0 947938637 8744292352 19754 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17223/statm: 2134837 19754 2224 9 0 2125578 0
[pid=17223/tid=17224] ppid=17221 vsize=8539348 CPUtime=0.62 cores=1,3,5,7
/proc/17223/task/17224/stat : 17224 (java) R 17221 17223 17223 0 -1 4202560 15811 0 1 0 61 1 0 0 19 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 46912505570014 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17223/tid=17225] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17225/stat : 17225 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17226] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17226/stat : 17226 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17227] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17227/stat : 17227 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 3 0 0 0
[pid=17223/tid=17228] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17228/stat : 17228 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17229] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17229/stat : 17229 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17230] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17230/stat : 17230 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17231] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17231/stat : 17231 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17232] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17232/stat : 17232 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947938638 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17233] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17233/stat : 17233 (java) S 17221 17223 17223 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 947938639 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 0 0 16800975 18446604459355639936 0 0 -1 7 0 0 0
[pid=17223/tid=17234] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17234/stat : 17234 (java) S 17221 17223 17223 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 947938640 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17235] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17235/stat : 17235 (java) S 17221 17223 17223 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 947938640 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17236] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17236/stat : 17236 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947938642 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032219569 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17237] ppid=17221 vsize=8539348 CPUtime=0.35 cores=1,3,5,7
/proc/17223/task/17237/stat : 17237 (java) S 17221 17223 17223 0 -1 4202560 3608 0 0 0 35 0 0 0 16 0 19 0 947938642 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17238] ppid=17221 vsize=8539348 CPUtime=0.32 cores=1,3,5,7
/proc/17223/task/17238/stat : 17238 (java) S 17221 17223 17223 0 -1 4202560 2135 0 0 0 32 0 0 0 25 0 19 0 947938642 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 3 0 0 0
[pid=17223/tid=17239] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17239/stat : 17239 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947938642 8744292352 19755 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17240] ppid=17221 vsize=8539348 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17240/stat : 17240 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947938642 8744292352 19756 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 4 0 16800975 18446604459355639936 0 0 -1 3 0 0 0
[pid=17215/tid=17222] ppid=17213 vsize=298144 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17222/stat : 17222 (python) S 17213 17215 16077 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947938637 305299456 8374 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9125392
[startup+3.10142 s]
/proc/loadavg: 1.94 1.79 1.00 3/501 17241
/proc/meminfo: memFree=25405052/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=298144 CPUtime=0.72 cores=1,3,5,7
/proc/17215/stat : 17215 (python) S 17213 17215 16077 0 -1 4202496 11336 929 1 0 62 10 0 0 19 0 2 0 947938551 305299456 8374 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17215/statm: 74536 8374 1870 364 0 9423 0
[pid=17221] ppid=17215 vsize=287900 CPUtime=0 cores=1,3,5,7
/proc/17221/stat : 17221 (python) S 17215 17215 16077 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 947938636 294809600 6852 33554432000 4194304 5683644 140735028082480 18446744073709551615 260020416015 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/17221/statm: 71975 6852 352 364 0 6862 0
[pid=17223] ppid=17221 vsize=8539780 CPUtime=3.14 cores=1,3,5,7
/proc/17223/stat : 17223 (java) S 17221 17223 17223 0 -1 4202496 35400 0 1 0 310 4 0 0 17 0 19 0 947938637 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17223/statm: 2134945 31421 2257 9 0 2125686 0
[pid=17223/tid=17224] ppid=17221 vsize=8539780 CPUtime=2.19 cores=1,3,5,7
/proc/17223/task/17224/stat : 17224 (java) R 17221 17223 17223 0 -1 4202560 18649 0 1 0 217 2 0 0 21 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 46912505775159 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17223/tid=17225] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17225/stat : 17225 (java) S 17221 17223 17223 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17226] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17226/stat : 17226 (java) S 17221 17223 17223 0 -1 4202560 893 0 0 0 0 0 0 0 16 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17227] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17227/stat : 17227 (java) S 17221 17223 17223 0 -1 4202560 992 0 0 0 0 0 0 0 16 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 3 0 0 0
[pid=17223/tid=17228] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17228/stat : 17228 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17229] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17229/stat : 17229 (java) S 17221 17223 17223 0 -1 4202560 581 0 0 0 0 0 0 0 16 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17230] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17230/stat : 17230 (java) S 17221 17223 17223 0 -1 4202560 869 0 0 0 0 0 0 0 18 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17231] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17231/stat : 17231 (java) S 17221 17223 17223 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17232] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17232/stat : 17232 (java) S 17221 17223 17223 0 -1 4202560 833 0 0 0 0 0 0 0 16 0 19 0 947938638 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17233] ppid=17221 vsize=8539780 CPUtime=0.02 cores=1,3,5,7
/proc/17223/task/17233/stat : 17233 (java) S 17221 17223 17223 0 -1 4202560 3387 0 0 0 2 0 0 0 15 0 19 0 947938639 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 0 0 16800975 18446604459355639936 0 0 -1 7 0 0 0
[pid=17223/tid=17234] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17234/stat : 17234 (java) S 17221 17223 17223 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947938640 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17235] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17235/stat : 17235 (java) S 17221 17223 17223 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947938640 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17236] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17236/stat : 17236 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947938642 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032219569 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17237] ppid=17221 vsize=8539780 CPUtime=0.48 cores=1,3,5,7
/proc/17223/task/17237/stat : 17237 (java) S 17221 17223 17223 0 -1 4202560 4421 0 0 0 48 0 0 0 15 0 19 0 947938642 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17223/tid=17238] ppid=17221 vsize=8539780 CPUtime=0.4 cores=1,3,5,7
/proc/17223/task/17238/stat : 17238 (java) S 17221 17223 17223 0 -1 4202560 2249 0 0 0 40 0 0 0 15 0 19 0 947938642 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 3 0 0 0
[pid=17223/tid=17239] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17239/stat : 17239 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947938642 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17240] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17240/stat : 17240 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947938642 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 4 0 16800975 18446604459355639936 0 0 -1 7 0 0 0
[pid=17223/tid=17241] ppid=17221 vsize=8539780 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17241/stat : 17241 (java) S 17221 17223 17223 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947938684 8744734720 31421 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 4 0 16800975 18446604459355639936 0 0 -1 1 0 0 0
[pid=17215/tid=17222] ppid=17213 vsize=298144 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17222/stat : 17222 (python) S 17213 17215 16077 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947938637 305299456 8374 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9125824
[startup+6.30083 s]
/proc/loadavg: 1.95 1.79 1.01 3/501 17241
/proc/meminfo: memFree=25351452/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=298144 CPUtime=0.72 cores=1,3,5,7
/proc/17215/stat : 17215 (python) S 17213 17215 16077 0 -1 4202496 11336 929 1 0 62 10 0 0 19 0 2 0 947938551 305299456 8374 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17215/statm: 74536 8374 1870 364 0 9423 0
[pid=17221] ppid=17215 vsize=287900 CPUtime=0.01 cores=1,3,5,7
/proc/17221/stat : 17221 (python) S 17215 17215 16077 0 -1 4202560 889 0 0 0 1 0 0 0 15 0 1 0 947938636 294809600 6876 33554432000 4194304 5683644 140735028082480 18446744073709551615 260020416015 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/17221/statm: 71975 6876 376 364 0 6862 0
[pid=17223] ppid=17221 vsize=8538188 CPUtime=6.38 cores=1,3,5,7
/proc/17223/stat : 17223 (java) S 17221 17223 17223 0 -1 4202496 39998 0 1 0 634 4 0 0 17 0 19 0 947938637 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17223/statm: 2134547 35167 2257 9 0 2125288 0
[pid=17223/tid=17224] ppid=17221 vsize=8538188 CPUtime=5.33 cores=1,3,5,7
/proc/17223/task/17224/stat : 17224 (java) R 17221 17223 17223 0 -1 4202560 18650 0 1 0 531 2 0 0 25 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 46912506017587 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17223/tid=17225] ppid=17221 vsize=8538188 CPUtime=0.01 cores=1,3,5,7
/proc/17223/task/17225/stat : 17225 (java) S 17221 17223 17223 0 -1 4202560 1799 0 0 0 1 0 0 0 16 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 3 0 0 0
[pid=17223/tid=17226] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17226/stat : 17226 (java) S 17221 17223 17223 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17227] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17227/stat : 17227 (java) S 17221 17223 17223 0 -1 4202560 992 0 0 0 0 0 0 0 15 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17228] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17228/stat : 17228 (java) S 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 7 0 0 0
[pid=17223/tid=17229] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17229/stat : 17229 (java) S 17221 17223 17223 0 -1 4202560 581 0 0 0 0 0 0 0 15 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17230] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17230/stat : 17230 (java) S 17221 17223 17223 0 -1 4202560 1539 0 0 0 0 0 0 0 15 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17231] ppid=17221 vsize=8538188 CPUtime=0.01 cores=1,3,5,7
/proc/17223/task/17231/stat : 17231 (java) S 17221 17223 17223 0 -1 4202560 1266 0 0 0 1 0 0 0 16 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 5 0 0 0
[pid=17223/tid=17232] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17232/stat : 17232 (java) S 17221 17223 17223 0 -1 4202560 1277 0 0 0 0 0 0 0 16 0 19 0 947938638 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446604459355639936 0 0 -1 3 0 0 0
[pid=17223/tid=17233] ppid=17221 vsize=8538188 CPUtime=0.06 cores=1,3,5,7
/proc/17223/task/17233/stat : 17233 (java) S 17221 17223 17223 0 -1 4202560 4795 0 0 0 6 0 0 0 15 0 19 0 947938639 8743104512 35167 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 0 0 16800975 18446604459355639936 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=17365/tid=17377] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17377/stat : 17377 (java) S 17363 17365 17365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947966663 8741912576 17182 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17378] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17378/stat : 17378 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966665 8741912576 17185 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032219569 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17379] ppid=17363 vsize=8537024 CPUtime=0.2 cores=1,3,5,7
/proc/17365/task/17379/stat : 17379 (java) R 17363 17365 17365 0 -1 4202560 2170 0 0 0 20 0 0 0 25 0 18 0 947966665 8741912576 17188 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 47434856392502 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17365/tid=17380] ppid=17363 vsize=8537024 CPUtime=0.18 cores=1,3,5,7
/proc/17365/task/17380/stat : 17380 (java) R 17363 17365 17365 0 -1 4202560 2380 0 0 0 18 0 0 0 25 0 18 0 947966665 8741912576 17191 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 47434850483642 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17365/tid=17381] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17381/stat : 17381 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966665 8741912576 17194 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17382] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17382/stat : 17382 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947966665 8741912576 17196 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032212480 0 4 0 16800975 18446604463323229248 0 0 -1 3 0 0 0
[pid=17215/tid=17222] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17222/stat : 17222 (python) S 17213 17215 16077 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 6 0 947938637 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 3 0 0 0
[pid=17215/tid=17246] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17246/stat : 17246 (python) S 17213 17215 16077 0 -1 4202560 25 929 0 0 0 0 0 0 20 0 6 0 947943452 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 7 0 0 0
[pid=17215/tid=17256] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17256/stat : 17256 (python) S 17213 17215 16077 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 947952709 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 5 0 0 0
[pid=17215/tid=17265] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17265/stat : 17265 (python) S 17213 17215 16077 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 947957524 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 1 0 0 0
[pid=17215/tid=17364] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17364/stat : 17364 (python) S 17213 17215 16077 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 947966660 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 283.88
Current children cumulated vsize (KiB) 19182260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+281.501 s]
/proc/loadavg: 2.10 1.96 1.27 7/534 17382
/proc/meminfo: memFree=24289176/32951124 swapFree=67056304/67111528
[pid=17215] ppid=17213 vsize=339168 CPUtime=0.84 cores=1,3,5,7
/proc/17215/stat : 17215 (python) S 17213 17215 16077 0 -1 4202496 15053 929 1 0 73 11 0 0 20 0 6 0 947938551 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17215/statm: 84792 8399 1879 364 0 19667 0
[pid=17221] ppid=17215 vsize=298144 CPUtime=0.29 cores=1,3,5,7
/proc/17221/stat : 17221 (python) S 17215 17215 16077 0 -1 4202560 1095 0 0 0 15 14 0 0 15 0 2 0 947938636 305299456 6913 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17221/statm: 74536 6913 408 364 0 9423 0
[pid=17223] ppid=17221 vsize=8538188 CPUtime=91.71 cores=1,3,5,7
/proc/17223/stat : 17223 (java) T 17221 17223 17223 0 -1 4202496 72022 0 1 0 9162 9 0 0 15 0 19 0 947938637 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17223/statm: 2134547 65930 2257 9 0 2125288 0
[pid=17223/tid=17224] ppid=17221 vsize=8538188 CPUtime=89.31 cores=1,3,5,7
/proc/17223/task/17224/stat : 17224 (java) T 17221 17223 17223 0 -1 4202560 19009 0 1 0 8929 2 0 0 25 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17223/tid=17225] ppid=17221 vsize=8538188 CPUtime=0.07 cores=1,3,5,7
/proc/17223/task/17225/stat : 17225 (java) T 17221 17223 17223 0 -1 4202560 2529 0 0 0 7 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 47986320738479 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17223/tid=17226] ppid=17221 vsize=8538188 CPUtime=0.04 cores=1,3,5,7
/proc/17223/task/17226/stat : 17226 (java) T 17221 17223 17223 0 -1 4202560 2788 0 0 0 4 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260020349239 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17223/tid=17227] ppid=17221 vsize=8538188 CPUtime=0.08 cores=1,3,5,7
/proc/17223/task/17227/stat : 17227 (java) T 17221 17223 17223 0 -1 4202560 3311 0 0 0 8 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 47986324608162 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17223/tid=17228] ppid=17221 vsize=8538188 CPUtime=0.09 cores=1,3,5,7
/proc/17223/task/17228/stat : 17228 (java) T 17221 17223 17223 0 -1 4202560 5913 0 0 0 9 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17223/tid=17229] ppid=17221 vsize=8538188 CPUtime=0.08 cores=1,3,5,7
/proc/17223/task/17229/stat : 17229 (java) T 17221 17223 17223 0 -1 4202560 4791 0 0 0 8 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17223/tid=17230] ppid=17221 vsize=8538188 CPUtime=0.09 cores=1,3,5,7
/proc/17223/task/17230/stat : 17230 (java) T 17221 17223 17223 0 -1 4202560 6198 0 0 0 9 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17223/tid=17231] ppid=17221 vsize=8538188 CPUtime=0.04 cores=1,3,5,7
/proc/17223/task/17231/stat : 17231 (java) T 17221 17223 17223 0 -1 4202560 4183 0 0 0 4 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17223/tid=17232] ppid=17221 vsize=8538188 CPUtime=0.07 cores=1,3,5,7
/proc/17223/task/17232/stat : 17232 (java) T 17221 17223 17223 0 -1 4202560 5082 0 0 0 7 0 0 0 15 0 19 0 947938638 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17223/tid=17233] ppid=17221 vsize=8538188 CPUtime=0.76 cores=1,3,5,7
/proc/17223/task/17233/stat : 17233 (java) T 17221 17223 17223 0 -1 4202560 9905 0 0 0 76 0 0 0 15 0 19 0 947938639 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17223/tid=17234] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17234/stat : 17234 (java) T 17221 17223 17223 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947938640 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17223/tid=17235] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17235/stat : 17235 (java) T 17221 17223 17223 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947938640 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17223/tid=17236] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17236/stat : 17236 (java) T 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947938642 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17223/tid=17237] ppid=17221 vsize=8538188 CPUtime=0.52 cores=1,3,5,7
/proc/17223/task/17237/stat : 17237 (java) T 17221 17223 17223 0 -1 4202560 4675 0 0 0 52 0 0 0 15 0 19 0 947938642 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17223/tid=17238] ppid=17221 vsize=8538188 CPUtime=0.41 cores=1,3,5,7
/proc/17223/task/17238/stat : 17238 (java) T 17221 17223 17223 0 -1 4202560 2250 0 0 0 41 0 0 0 15 0 19 0 947938642 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17223/tid=17239] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17239/stat : 17239 (java) T 17221 17223 17223 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947938642 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17223/tid=17240] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17240/stat : 17240 (java) T 17221 17223 17223 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947938642 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17223/tid=17241] ppid=17221 vsize=8538188 CPUtime=0 cores=1,3,5,7
/proc/17223/task/17241/stat : 17241 (java) T 17221 17223 17223 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947938684 8743104512 65930 33554432000 1073741824 1073778376 140734769629760 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17221/tid=17244] ppid=17215 vsize=298144 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17244/stat : 17244 (python) S 17215 17215 16077 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947943449 305299456 6913 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554946 18446604467875934528 0 0 -1 3 0 0 0
[pid=17245] ppid=17215 vsize=298156 CPUtime=0.16 cores=1,3,5,7
/proc/17245/stat : 17245 (python) S 17215 17215 16077 0 -1 4202560 1198 0 0 0 7 9 0 0 16 0 2 0 947943452 305311744 6908 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17245/statm: 74539 6908 403 364 0 9423 0
[pid=17247] ppid=17245 vsize=92888 CPUtime=50.25 cores=1,3,5,7
/proc/17247/stat : 17247 (wbo1.4a) T 17245 17247 17247 0 -1 4202496 23942 0 0 0 4947 78 0 0 25 0 1 0 947943452 95117312 22738 33554432000 134512640 135751879 4287494784 18446744073709551615 134616520 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17247/statm: 23222 22738 146 303 0 22917 0
[pid=17245/tid=17252] ppid=17215 vsize=298156 CPUtime=0 cores=1,3,5,7
/proc/17245/task/17252/stat : 17252 (python) S 17215 17215 16077 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947948478 305311744 6908 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554946 18446604458945696192 0 0 -1 7 0 0 0
[pid=17255] ppid=17215 vsize=308412 CPUtime=0.14 cores=1,3,5,7
/proc/17255/stat : 17255 (python) S 17215 17215 16077 0 -1 4202560 1112 0 0 0 6 8 0 0 16 0 2 0 947952709 315813888 6906 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17255/statm: 77103 6906 397 364 0 11984 0
[pid=17257] ppid=17255 vsize=97760 CPUtime=48.12 cores=1,3,5,7
/proc/17257/stat : 17257 (pbct-0.1.2-linu) T 17255 17257 17257 0 -1 4202496 24926 0 0 0 4661 151 0 0 25 0 1 0 947952709 100106240 23709 33554432000 134512640 136422188 4290753696 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/17257/statm: 24440 23709 236 467 0 23971 0
[pid=17255/tid=17263] ppid=17215 vsize=308412 CPUtime=0 cores=1,3,5,7
/proc/17255/task/17263/stat : 17263 (python) S 17215 17215 16077 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947957522 315813888 6906 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554946 18446604467411460288 0 0 -1 1 0 0 0
[pid=17264] ppid=17215 vsize=318668 CPUtime=0.26 cores=1,3,5,7
/proc/17264/stat : 17264 (python) S 17215 17215 16077 0 -1 4202560 1145 0 0 0 13 13 0 0 16 0 2 0 947957524 326316032 6910 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17264/statm: 79667 6910 397 364 0 14545 0
[pid=17266] ppid=17264 vsize=24928 CPUtime=91.3 cores=1,3,5,7
/proc/17266/stat : 17266 (clasp-1.3.7-x86) T 17264 17266 17266 0 -1 4202496 6317 0 0 0 9130 0 0 0 25 0 1 0 947957525 25526272 5994 33554432000 134512640 136139019 4290303968 18446744073709551615 134875018 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/17266/statm: 6232 5994 187 398 0 5832 0
[pid=17264/tid=17362] ppid=17215 vsize=318668 CPUtime=0 cores=1,3,5,7
/proc/17264/task/17362/stat : 17362 (python) S 17215 17215 16077 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947966658 326316032 6910 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554946 18446604471164544320 0 0 -1 7 0 0 0
[pid=17363] ppid=17215 vsize=328924 CPUtime=0 cores=1,3,5,7
/proc/17363/stat : 17363 (python) S 17215 17215 16077 0 -1 4202560 812 0 0 0 0 0 0 0 19 0 1 0 947966660 336818176 6865 33554432000 4194304 5683644 140735028082480 18446744073709551615 260020416070 0 0 16781312 33554946 1852285434734837760 0 0 17 1 0 0 0
/proc/17363/statm: 82231 6865 349 364 0 17106 0
[pid=17365] ppid=17363 vsize=8537024 CPUtime=0.81 cores=1,3,5,7
/proc/17365/stat : 17365 (java) S 17363 17365 17365 0 -1 4202496 19021 0 1 0 80 1 0 0 20 0 18 0 947966660 8741912576 16950 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17365/statm: 2134256 16953 2204 9 0 2124997 0
[pid=17365/tid=17366] ppid=17363 vsize=8537024 CPUtime=0.42 cores=1,3,5,7
/proc/17365/task/17366/stat : 17366 (java) R 17363 17365 17365 0 -1 4202560 13279 0 1 0 41 1 0 0 18 0 18 0 947966661 8741912576 17153 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 46912505631050 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17365/tid=17367] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17367/stat : 17367 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947966662 8741912576 17155 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17368] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17368/stat : 17368 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947966662 8741912576 17158 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17369] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17369/stat : 17369 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947966662 8741912576 17161 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17370] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17370/stat : 17370 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966662 8741912576 17164 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17371] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17371/stat : 17371 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966662 8741912576 17166 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17372] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17372/stat : 17372 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966662 8741912576 17169 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17373] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17373/stat : 17373 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966662 8741912576 17171 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17374] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17374/stat : 17374 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966662 8741912576 17174 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17375] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17375/stat : 17375 (java) S 17363 17365 17365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947966663 8741912576 17177 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032212480 0 0 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17376] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17376/stat : 17376 (java) S 17363 17365 17365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947966663 8741912576 17179 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17377] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17377/stat : 17377 (java) S 17363 17365 17365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947966663 8741912576 17182 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17378] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17378/stat : 17378 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966665 8741912576 17185 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032219569 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17379] ppid=17363 vsize=8537024 CPUtime=0.2 cores=1,3,5,7
/proc/17365/task/17379/stat : 17379 (java) R 17363 17365 17365 0 -1 4202560 2170 0 0 0 20 0 0 0 25 0 18 0 947966665 8741912576 17188 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 47434856392502 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17365/tid=17380] ppid=17363 vsize=8537024 CPUtime=0.18 cores=1,3,5,7
/proc/17365/task/17380/stat : 17380 (java) R 17363 17365 17365 0 -1 4202560 2380 0 0 0 18 0 0 0 25 0 18 0 947966665 8741912576 17191 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 47434850483642 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17365/tid=17381] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17381/stat : 17381 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947966665 8741912576 17194 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032211865 0 4 0 16800975 18446604463323229248 0 0 -1 5 0 0 0
[pid=17365/tid=17382] ppid=17363 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17382/stat : 17382 (java) S 17363 17365 17365 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947966665 8741912576 17196 33554432000 1073741824 1073778376 140736495673632 18446744073709551615 260032212480 0 4 0 16800975 18446604463323229248 0 0 -1 3 0 0 0
[pid=17215/tid=17222] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17222/stat : 17222 (python) S 17213 17215 16077 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 6 0 947938637 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 3 0 0 0
[pid=17215/tid=17246] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17246/stat : 17246 (python) S 17213 17215 16077 0 -1 4202560 25 929 0 0 0 0 0 0 20 0 6 0 947943452 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 7 0 0 0
[pid=17215/tid=17256] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17256/stat : 17256 (python) S 17213 17215 16077 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 947952709 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 5 0 0 0
[pid=17215/tid=17265] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17265/stat : 17265 (python) S 17213 17215 16077 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 947957524 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 1 0 0 0
[pid=17215/tid=17364] ppid=17213 vsize=339168 CPUtime=0 cores=1,3,5,7
/proc/17215/task/17364/stat : 17364 (python) S 17213 17215 16077 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 947966660 347308032 8399 33554432000 4194304 5683644 140735028082480 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455561860928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 283.88
Current children cumulated vsize (KiB) 19182260
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17215 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=738887
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117982
# CPU time returned by wait4() is 0.856869
# while last known CPU time is 283.88
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 281.572
CPU time (s): 283.88
CPU user time (s): 280.94
CPU system time (s): 2.94
CPU usage (%): 100.82
Max. virtual memory (cumulated for all children) (KiB): 19182260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.738887
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15984
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= 1008
involuntary context switches= 18
runsolver used 1.14783 second user time and 2.37764 second system time
The end