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-3482295-1307578977/watcher-3482295-1307578977 -o /tmp/evaluation-result-3482295-1307578977/solver-3482295-1307578977 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482295-1307578977.opb -seed 515914967 -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.18 2.18 2.00 5/947 9155
/proc/meminfo: memFree=13795472/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/9155/stat : 9155 (python) R 9153 9155 7156 0 -1 4202496 859 0 0 0 0 0 0 0 17 0 1 0 948128403 16154624 740 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284925584 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9155/statm: 3944 740 335 364 0 431 0
[startup+0.040157 s]
/proc/loadavg: 2.18 2.18 2.00 5/947 9155
/proc/meminfo: memFree=13795472/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/9155/stat : 9155 (python) R 9153 9155 7156 0 -1 4202496 1276 0 0 0 1 1 0 0 17 0 1 0 948128403 19341312 1128 33554432000 4194304 5683644 140737137567792 18446744073709551615 4510784 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9155/statm: 4722 1129 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.101172 s]
/proc/loadavg: 2.18 2.18 2.00 5/947 9155
/proc/meminfo: memFree=13795472/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 948128403 87674880 2382 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/9155/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.301126 s]
/proc/loadavg: 2.18 2.18 2.00 5/947 9155
/proc/meminfo: memFree=13795472/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/9155/stat : 9155 (python) R 9153 9155 7156 0 -1 4202496 5358 929 1 0 10 6 0 0 16 0 1 0 948128403 126709760 3744 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284921861 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/9155/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.701082 s]
/proc/loadavg: 2.18 2.18 2.00 5/947 9155
/proc/meminfo: memFree=13795472/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=282920 CPUtime=0.41 cores=1,3,5,7
/proc/9155/stat : 9155 (python) R 9153 9155 7156 0 -1 4202496 9186 929 1 0 27 14 0 0 15 0 1 0 948128403 289710080 7047 33554432000 4194304 5683644 140737137567792 18446744073709551615 47183980021574 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/9155/statm: 70730 7047 1781 364 0 5623 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282920
[startup+1.50088 s]
/proc/loadavg: 2.16 2.18 2.00 3/951 9164
/proc/meminfo: memFree=13741068/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=295852 CPUtime=0.61 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 10350 929 1 0 47 14 0 0 18 0 2 0 948128403 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9155/statm: 73963 7760 1870 364 0 8850 0
[pid=9162] ppid=9155 vsize=285608 CPUtime=0 cores=1,3,5,7
/proc/9162/stat : 9162 (python) S 9155 9155 7156 0 -1 4202560 744 0 0 0 0 0 0 0 16 0 1 0 948128494 292462592 6238 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284945935 0 0 16781312 33554946 15981830632791572744 0 0 17 3 0 0 0
/proc/9162/statm: 71402 6238 352 364 0 6289 0
[pid=9164] ppid=9162 vsize=64520 CPUtime=0.59 cores=1,3,5,7
/proc/9164/stat : 9164 (scip-2.0.1.linu) R 9162 9164 9164 0 -1 4202496 14324 0 0 0 53 6 0 0 20 0 1 0 948128494 66068480 13416 33554432000 4194304 13684479 140734458995488 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9164/statm: 16130 13416 755 2317 0 13808 0
[pid=9155/tid=9163] ppid=9153 vsize=295852 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9163/stat : 9163 (python) S 9153 9155 7156 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 948128494 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 645980
[startup+3.10062 s]
/proc/loadavg: 2.16 2.18 2.00 3/951 9164
/proc/meminfo: memFree=13707768/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=295852 CPUtime=0.61 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 10350 929 1 0 47 14 0 0 18 0 2 0 948128403 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9155/statm: 73963 7760 1870 364 0 8850 0
[pid=9162] ppid=9155 vsize=285608 CPUtime=0 cores=1,3,5,7
/proc/9162/stat : 9162 (python) S 9155 9155 7156 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 948128494 292462592 6238 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284945935 0 0 16781312 33554946 15981830632791572744 0 0 17 3 0 0 0
/proc/9162/statm: 71402 6238 352 364 0 6289 0
[pid=9164] ppid=9162 vsize=66416 CPUtime=2.2 cores=1,3,5,7
/proc/9164/stat : 9164 (scip-2.0.1.linu) R 9162 9164 9164 0 -1 4202496 15090 0 0 0 213 7 0 0 25 0 1 0 948128494 68009984 14112 33554432000 4194304 13684479 140734458995488 18446744073709551615 7390870 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9164/statm: 16604 14112 752 2317 0 14282 0
[pid=9155/tid=9163] ppid=9153 vsize=295852 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9163/stat : 9163 (python) S 9153 9155 7156 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 948128494 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 647876
[startup+6.30108 s]
/proc/loadavg: 2.16 2.18 2.00 4/951 9164
/proc/meminfo: memFree=13709764/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=295852 CPUtime=0.61 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 10350 929 1 0 47 14 0 0 18 0 2 0 948128403 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9155/statm: 73963 7760 1870 364 0 8850 0
[pid=9162] ppid=9155 vsize=285608 CPUtime=0.02 cores=1,3,5,7
/proc/9162/stat : 9162 (python) S 9155 9155 7156 0 -1 4202560 893 0 0 0 0 2 0 0 15 0 1 0 948128494 292462592 6269 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284945935 0 0 16781312 33554946 8872279114904469768 0 0 17 7 0 0 0
/proc/9162/statm: 71402 6269 376 364 0 6289 0
[pid=9164] ppid=9162 vsize=66416 CPUtime=5.39 cores=1,3,5,7
/proc/9164/stat : 9164 (scip-2.0.1.linu) R 9162 9164 9164 0 -1 4202496 15135 0 0 0 530 9 0 0 25 0 1 0 948128494 68009984 14145 33554432000 4194304 13684479 140734458995488 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9164/statm: 16604 14145 748 2317 0 14282 0
[pid=9155/tid=9163] ppid=9153 vsize=295852 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9163/stat : 9163 (python) S 9153 9155 7156 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 948128494 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 647876
[startup+12.701 s]
/proc/loadavg: 2.21 2.19 2.01 4/951 9164
/proc/meminfo: memFree=13707548/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=295852 CPUtime=0.61 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 10350 929 1 0 47 14 0 0 18 0 2 0 948128403 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9155/statm: 73963 7760 1870 364 0 8850 0
[pid=9162] ppid=9155 vsize=285608 CPUtime=0.04 cores=1,3,5,7
/proc/9162/stat : 9162 (python) S 9155 9155 7156 0 -1 4202560 895 0 0 0 1 3 0 0 15 0 1 0 948128494 292462592 6269 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373609 0 0 17 7 0 0 0
/proc/9162/statm: 71402 6269 376 364 0 6289 0
[pid=9164] ppid=9162 vsize=66704 CPUtime=11.79 cores=1,3,5,7
/proc/9164/stat : 9164 (scip-2.0.1.linu) R 9162 9164 9164 0 -1 4202496 16342 0 0 0 1168 11 0 0 25 0 1 0 948128494 68304896 14060 33554432000 4194304 13684479 140734458995488 18446744073709551615 7390848 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9164/statm: 16676 14060 744 2317 0 14354 0
[pid=9155/tid=9163] ppid=9153 vsize=295852 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9163/stat : 9163 (python) S 9153 9155 7156 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 948128494 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 648164
[startup+25.5009 s]
/proc/loadavg: 2.18 2.18 2.00 4/951 9166
/proc/meminfo: memFree=13702468/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=295852 CPUtime=0.61 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 10350 929 1 0 47 14 0 0 18 0 2 0 948128403 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9155/statm: 73963 7760 1870 364 0 8850 0
[pid=9162] ppid=9155 vsize=285608 CPUtime=0.12 cores=1,3,5,7
/proc/9162/stat : 9162 (python) S 9155 9155 7156 0 -1 4202560 901 0 0 0 4 8 0 0 15 0 1 0 948128494 292462592 6270 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373609 0 0 17 7 0 0 0
/proc/9162/statm: 71402 6270 376 364 0 6289 0
[pid=9164] ppid=9162 vsize=72268 CPUtime=24.58 cores=1,3,5,7
/proc/9164/stat : 9164 (scip-2.0.1.linu) R 9162 9164 9164 0 -1 4202496 19462 0 0 0 2443 15 0 0 25 0 1 0 948128494 74002432 15624 33554432000 4194304 13684479 140734458995488 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9164/statm: 18067 15624 745 2317 0 15745 0
[pid=9155/tid=9163] ppid=9153 vsize=295852 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9163/stat : 9163 (python) S 9153 9155 7156 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 948128494 302952448 7760 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 653728
[startup+51.1016 s]
/proc/loadavg: 2.11 2.16 2.00 4/973 9190
/proc/meminfo: memFree=13637888/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=306612 CPUtime=0.64 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 11264 929 1 0 50 14 0 0 20 0 3 0 948128403 313970688 7895 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/9155/statm: 76653 7895 1873 364 0 11537 0
[pid=9162] ppid=9155 vsize=295852 CPUtime=0.25 cores=1,3,5,7
/proc/9162/stat : 9162 (python) S 9155 9155 7156 0 -1 4202560 1075 0 0 0 10 15 0 0 16 0 2 0 948128494 302952448 6306 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9162/statm: 73963 6306 407 364 0 8850 0
[pid=9164] ppid=9162 vsize=80232 CPUtime=48.45 cores=1,3,5,7
/proc/9164/stat : 9164 (scip-2.0.1.linu) T 9162 9164 9164 0 -1 4202496 22855 0 0 0 4826 19 0 0 25 0 1 0 948128494 82157568 17372 33554432000 4194304 13684479 140734458995488 18446744073709551615 7390520 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9164/statm: 20058 17372 745 2317 0 17736 0
[pid=9162/tid=9168] ppid=9155 vsize=295852 CPUtime=0 cores=1,3,5,7
/proc/9162/task/9168/stat : 9168 (python) S 9155 9155 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948133340 302952448 6306 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470803223872 0 0 -1 7 0 0 0
[pid=9169] ppid=9155 vsize=296368 CPUtime=0 cores=1,3,5,7
/proc/9169/stat : 9169 (python) S 9155 9155 7156 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 948133342 303480832 6367 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284945990 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/9169/statm: 74092 6367 349 364 0 8976 0
[pid=9171] ppid=9169 vsize=8539108 CPUtime=2.53 cores=1,3,5,7
/proc/9171/stat : 9171 (java) S 9169 9171 9171 0 -1 4202496 20943 0 1 0 251 2 0 0 21 0 19 0 948133343 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9171/statm: 2134777 16819 2259 9 0 2125518 0
[pid=9171/tid=9172] ppid=9169 vsize=8539108 CPUtime=1.67 cores=1,3,5,7
/proc/9171/task/9172/stat : 9172 (java) R 9169 9171 9171 0 -1 4202560 10740 0 1 0 166 1 0 0 20 0 19 0 948133343 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 46912505815764 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9171/tid=9173] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9173/stat : 9173 (java) S 9169 9171 9171 0 -1 4202560 259 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 3 0 0 0
[pid=9171/tid=9174] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9174/stat : 9174 (java) S 9169 9171 9171 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 7 0 0 0
[pid=9171/tid=9175] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9175/stat : 9175 (java) S 9169 9171 9171 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 7 0 0 0
[pid=9171/tid=9176] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9176/stat : 9176 (java) S 9169 9171 9171 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 7 0 0 0
[pid=9171/tid=9177] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9177/stat : 9177 (java) S 9169 9171 9171 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 7 0 0 0
[pid=9171/tid=9178] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9178/stat : 9178 (java) S 9169 9171 9171 0 -1 4202560 27 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 7 0 0 0
[pid=9171/tid=9179] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9179/stat : 9179 (java) S 9169 9171 9171 0 -1 4202560 218 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 1 0 0 0
[pid=9171/tid=9181] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9181/stat : 9181 (java) S 9169 9171 9171 0 -1 4202560 234 0 0 0 0 0 0 0 18 0 19 0 948133344 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 7 0 0 0
[pid=9171/tid=9182] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9182/stat : 9182 (java) S 9169 9171 9171 0 -1 4202560 740 0 0 0 1 0 0 0 17 0 19 0 948133345 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296742400 0 0 0 16800975 18446604469298355072 0 0 -1 5 0 0 0
[pid=9171/tid=9183] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9183/stat : 9183 (java) S 9169 9171 9171 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948133345 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 3 0 0 0
[pid=9171/tid=9184] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9184/stat : 9184 (java) S 9169 9171 9171 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948133345 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 3 0 0 0
[pid=9171/tid=9185] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9185/stat : 9185 (java) S 9169 9171 9171 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948133347 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296749489 0 4 0 16800975 18446604469298355072 0 0 -1 3 0 0 0
[pid=9171/tid=9186] ppid=9169 vsize=8539108 CPUtime=0.41 cores=1,3,5,7
/proc/9171/task/9186/stat : 9186 (java) S 9169 9171 9171 0 -1 4202560 2580 0 0 0 41 0 0 0 15 0 19 0 948133347 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 5 0 0 0
[pid=9171/tid=9187] ppid=9169 vsize=8539108 CPUtime=0.4 cores=1,3,5,7
/proc/9171/task/9187/stat : 9187 (java) S 9169 9171 9171 0 -1 4202560 4752 0 0 0 40 0 0 0 15 0 19 0 948133347 8744046592 16819 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446604469298355072 0 0 -1 1 0 0 0
[pid=9171/tid=9188] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=9206/tid=9218] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9218/stat : 9218 (java) S 9204 9206 9206 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948147822 8739737600 11861 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9219] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9219/stat : 9219 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147825 8739737600 11861 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296749489 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9220] ppid=9204 vsize=8534900 CPUtime=0.14 cores=1,3,5,7
/proc/9206/task/9220/stat : 9220 (java) R 9204 9206 9206 0 -1 4202560 1625 0 0 0 14 0 0 0 25 0 18 0 948147825 8739737600 11861 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 47026286187521 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9206/tid=9221] ppid=9204 vsize=8534900 CPUtime=0.11 cores=1,3,5,7
/proc/9206/task/9221/stat : 9221 (java) R 9204 9206 9206 0 -1 4202560 483 0 0 0 11 0 0 0 25 0 18 0 948147825 8739737600 11862 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9206/tid=9222] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9222/stat : 9222 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147825 8739737600 11862 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9223] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9223/stat : 9223 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948147825 8739737600 11862 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296742400 0 4 0 16800975 18446604454474738496 0 0 -1 5 0 0 0
[pid=9155/tid=9163] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9163/stat : 9163 (python) S 9153 9155 7156 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 6 0 948128494 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
[pid=9155/tid=9170] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9170/stat : 9170 (python) S 9153 9155 7156 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 948133343 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 1 0 0 0
[pid=9155/tid=9195] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9195/stat : 9195 (python) S 9153 9155 7156 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 948138073 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 1 0 0 0
[pid=9155/tid=9199] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9199/stat : 9199 (python) S 9153 9155 7156 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 948142822 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
[pid=9155/tid=9205] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9205/stat : 9205 (python) S 9153 9155 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 948147819 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.47
Current children cumulated vsize (KiB) 19171236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+194.502 s]
/proc/loadavg: 2.01 2.10 2.00 4/1002 9223
/proc/meminfo: memFree=13431124/32951124 swapFree=33333036/67111528
[pid=9155] ppid=9153 vsize=337380 CPUtime=0.72 cores=1,3,5,7
/proc/9155/stat : 9155 (python) S 9153 9155 7156 0 -1 4202496 14362 929 1 0 57 15 0 0 20 0 6 0 948128403 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/9155/statm: 84345 7915 1879 364 0 19220 0
[pid=9162] ppid=9155 vsize=295852 CPUtime=0.25 cores=1,3,5,7
/proc/9162/stat : 9162 (python) S 9155 9155 7156 0 -1 4202560 1075 0 0 0 10 15 0 0 16 0 2 0 948128494 302952448 6306 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9162/statm: 73963 6306 407 364 0 8850 0
[pid=9164] ppid=9162 vsize=80232 CPUtime=48.45 cores=1,3,5,7
/proc/9164/stat : 9164 (scip-2.0.1.linu) T 9162 9164 9164 0 -1 4202496 22855 0 0 0 4826 19 0 0 25 0 1 0 948128494 82157568 17372 33554432000 4194304 13684479 140734458995488 18446744073709551615 7390520 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9164/statm: 20058 17372 745 2317 0 17736 0
[pid=9162/tid=9168] ppid=9155 vsize=295852 CPUtime=0 cores=1,3,5,7
/proc/9162/task/9168/stat : 9168 (python) S 9155 9155 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948133340 302952448 6306 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470803223872 0 0 -1 7 0 0 0
[pid=9169] ppid=9155 vsize=296368 CPUtime=0.28 cores=1,3,5,7
/proc/9169/stat : 9169 (python) S 9155 9155 7156 0 -1 4202560 1118 0 0 0 12 16 0 0 17 0 2 0 948133342 303480832 6423 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9169/statm: 74092 6423 397 364 0 8976 0
[pid=9171] ppid=9169 vsize=8539108 CPUtime=48.22 cores=1,3,5,7
/proc/9171/stat : 9171 (java) T 9169 9171 9171 0 -1 4202496 22578 0 1 0 4819 3 0 0 18 0 19 0 948133343 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9171/statm: 2134777 18289 2260 9 0 2125518 0
[pid=9171/tid=9172] ppid=9169 vsize=8539108 CPUtime=46.83 cores=1,3,5,7
/proc/9171/task/9172/stat : 9172 (java) T 9169 9171 9171 0 -1 4202560 10762 0 1 0 4682 1 0 0 25 0 19 0 948133343 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 46912505909297 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9171/tid=9173] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9173/stat : 9173 (java) T 9169 9171 9171 0 -1 4202560 263 0 0 0 1 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9171/tid=9174] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9174/stat : 9174 (java) T 9169 9171 9171 0 -1 4202560 259 0 0 0 1 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=9171/tid=9175] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9175/stat : 9175 (java) T 9169 9171 9171 0 -1 4202560 197 0 0 0 1 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=9171/tid=9176] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9176/stat : 9176 (java) T 9169 9171 9171 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=9171/tid=9177] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9177/stat : 9177 (java) T 9169 9171 9171 0 -1 4202560 151 0 0 0 1 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9171/tid=9178] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9178/stat : 9178 (java) T 9169 9171 9171 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9171/tid=9179] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9179/stat : 9179 (java) T 9169 9171 9171 0 -1 4202560 240 0 0 0 1 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9171/tid=9181] ppid=9169 vsize=8539108 CPUtime=0.01 cores=1,3,5,7
/proc/9171/task/9181/stat : 9181 (java) T 9169 9171 9171 0 -1 4202560 246 0 0 0 1 0 0 0 15 0 19 0 948133344 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=9171/tid=9182] ppid=9169 vsize=8539108 CPUtime=0.36 cores=1,3,5,7
/proc/9171/task/9182/stat : 9182 (java) T 9169 9171 9171 0 -1 4202560 1442 0 0 0 36 0 0 0 15 0 19 0 948133345 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9171/tid=9183] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9183/stat : 9183 (java) T 9169 9171 9171 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948133345 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9171/tid=9184] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9184/stat : 9184 (java) T 9169 9171 9171 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 948133345 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9171/tid=9185] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9185/stat : 9185 (java) T 9169 9171 9171 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948133347 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9171/tid=9186] ppid=9169 vsize=8539108 CPUtime=0.43 cores=1,3,5,7
/proc/9171/task/9186/stat : 9186 (java) T 9169 9171 9171 0 -1 4202560 2584 0 0 0 43 0 0 0 15 0 19 0 948133347 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9171/tid=9187] ppid=9169 vsize=8539108 CPUtime=0.45 cores=1,3,5,7
/proc/9171/task/9187/stat : 9187 (java) T 9169 9171 9171 0 -1 4202560 4890 0 0 0 45 0 0 0 15 0 19 0 948133347 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9171/tid=9188] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9188/stat : 9188 (java) T 9169 9171 9171 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948133347 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9171/tid=9189] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9189/stat : 9189 (java) T 9169 9171 9171 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 948133347 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9171/tid=9190] ppid=9169 vsize=8539108 CPUtime=0 cores=1,3,5,7
/proc/9171/task/9190/stat : 9190 (java) T 9169 9171 9171 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948133392 8744046592 18289 33554432000 1073741824 1073778376 140736184304096 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9169/tid=9193] ppid=9155 vsize=296368 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9193/stat : 9193 (python) S 9155 9155 7156 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948138070 303480832 6423 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470983619840 0 0 -1 7 0 0 0
[pid=9194] ppid=9155 vsize=306624 CPUtime=0.26 cores=1,3,5,7
/proc/9194/stat : 9194 (python) S 9155 9155 7156 0 -1 4202560 1347 0 0 0 12 14 0 0 16 0 2 0 948138073 313982976 6437 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9194/statm: 76656 6437 406 364 0 11537 0
[pid=9196] ppid=9194 vsize=73568 CPUtime=47.46 cores=1,3,5,7
/proc/9196/stat : 9196 (scip-2.0.1.linu) T 9194 9196 9196 0 -1 4202496 95928 0 0 0 4726 20 0 0 25 0 1 0 948138073 75333632 14529 33554432000 4194304 15243407 140734328879056 18446744073709551615 7429451 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/9196/statm: 18392 14529 849 2698 0 15687 0
[pid=9194/tid=9197] ppid=9155 vsize=306624 CPUtime=0 cores=1,3,5,7
/proc/9194/task/9197/stat : 9197 (python) S 9155 9155 7156 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 2 0 948142819 313982976 6437 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554946 18446604468709057600 0 0 -1 7 0 0 0
[pid=9198] ppid=9155 vsize=316880 CPUtime=0.29 cores=1,3,5,7
/proc/9198/stat : 9198 (python) S 9155 9155 7156 0 -1 4202560 1158 0 0 0 13 16 0 0 17 0 2 0 948142822 324485120 6433 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9198/statm: 79220 6433 397 364 0 14098 0
[pid=9200] ppid=9198 vsize=63352 CPUtime=49.93 cores=1,3,5,7
/proc/9200/stat : 9200 (wbo1.4a) T 9198 9200 9200 0 -1 4202496 24347 0 0 0 4947 46 0 0 25 0 1 0 948142822 64872448 15344 33554432000 134512640 135751879 4287634064 18446744073709551615 134616808 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/9200/statm: 15838 15344 146 303 0 15533 0
[pid=9198/tid=9203] ppid=9155 vsize=316880 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9203/stat : 9203 (python) S 9155 9155 7156 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948147816 324485120 6433 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470803224768 0 0 -1 7 0 0 0
[pid=9204] ppid=9155 vsize=327136 CPUtime=0 cores=1,3,5,7
/proc/9204/stat : 9204 (python) S 9155 9155 7156 0 -1 4202560 785 0 0 0 0 0 0 0 19 0 1 0 948147819 334987264 6381 33554432000 4194304 5683644 140737137567792 18446744073709551615 224284945990 0 0 16781312 33554946 770177753176604672 0 0 17 7 0 0 0
/proc/9204/statm: 81784 6381 349 364 0 16659 0
[pid=9206] ppid=9204 vsize=8534736 CPUtime=0.61 cores=1,3,5,7
/proc/9206/stat : 9206 (java) S 9204 9206 9206 0 -1 4202496 12393 0 1 0 60 1 0 0 20 0 18 0 948147819 8739569664 11507 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9206/statm: 2133684 11507 2204 9 0 2124425 0
[pid=9206/tid=9207] ppid=9204 vsize=8534900 CPUtime=0.37 cores=1,3,5,7
/proc/9206/task/9207/stat : 9207 (java) R 9204 9206 9206 0 -1 4202560 9340 0 1 0 36 1 0 0 18 0 18 0 948147820 8739737600 11856 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 46912505579588 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9206/tid=9208] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9208/stat : 9208 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948147821 8739737600 11856 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9209] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9209/stat : 9209 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948147821 8739737600 11858 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9210] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9210/stat : 9210 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948147821 8739737600 11859 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9211] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9211/stat : 9211 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147821 8739737600 11859 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 7 0 0 0
[pid=9206/tid=9212] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9212/stat : 9212 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147821 8739737600 11859 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 7 0 0 0
[pid=9206/tid=9213] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9213/stat : 9213 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147821 8739737600 11860 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 7 0 0 0
[pid=9206/tid=9214] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9214/stat : 9214 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147821 8739737600 11860 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 7 0 0 0
[pid=9206/tid=9215] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9215/stat : 9215 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147821 8739737600 11860 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 7 0 0 0
[pid=9206/tid=9216] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9216/stat : 9216 (java) S 9204 9206 9206 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948147822 8739737600 11860 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296742400 0 0 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9217] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9217/stat : 9217 (java) S 9204 9206 9206 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948147822 8739737600 11861 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9218] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9218/stat : 9218 (java) S 9204 9206 9206 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948147822 8739737600 11861 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9219] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9219/stat : 9219 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147825 8739737600 11861 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296749489 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9220] ppid=9204 vsize=8534900 CPUtime=0.14 cores=1,3,5,7
/proc/9206/task/9220/stat : 9220 (java) R 9204 9206 9206 0 -1 4202560 1625 0 0 0 14 0 0 0 25 0 18 0 948147825 8739737600 11861 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 47026286187521 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9206/tid=9221] ppid=9204 vsize=8534900 CPUtime=0.11 cores=1,3,5,7
/proc/9206/task/9221/stat : 9221 (java) R 9204 9206 9206 0 -1 4202560 483 0 0 0 11 0 0 0 25 0 18 0 948147825 8739737600 11862 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9206/tid=9222] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9222/stat : 9222 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948147825 8739737600 11862 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296741785 0 4 0 16800975 18446604454474738496 0 0 -1 3 0 0 0
[pid=9206/tid=9223] ppid=9204 vsize=8534900 CPUtime=0 cores=1,3,5,7
/proc/9206/task/9223/stat : 9223 (java) S 9204 9206 9206 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948147825 8739737600 11862 33554432000 1073741824 1073778376 140734917542400 18446744073709551615 224296742400 0 4 0 16800975 18446604454474738496 0 0 -1 5 0 0 0
[pid=9155/tid=9163] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9163/stat : 9163 (python) S 9153 9155 7156 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 6 0 948128494 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
[pid=9155/tid=9170] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9170/stat : 9170 (python) S 9153 9155 7156 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 948133343 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 1 0 0 0
[pid=9155/tid=9195] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9195/stat : 9195 (python) S 9153 9155 7156 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 948138073 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 1 0 0 0
[pid=9155/tid=9199] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9199/stat : 9199 (python) S 9153 9155 7156 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 948142822 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 7 0 0 0
[pid=9155/tid=9205] ppid=9153 vsize=337380 CPUtime=0 cores=1,3,5,7
/proc/9155/task/9205/stat : 9205 (python) S 9153 9155 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 948147819 345477120 7915 33554432000 4194304 5683644 140737137567792 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454510227584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.47
Current children cumulated vsize (KiB) 19171236
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9155 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=576912
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=156976
# CPU time returned by wait4() is 0.733888
# while last known CPU time is 196.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 194.595
CPU time (s): 196.47
CPU user time (s): 194.82
CPU system time (s): 1.65
CPU usage (%): 100.963
Max. virtual memory (cumulated for all children) (KiB): 19171236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.576912
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15294
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= 2869
involuntary context switches= 18
runsolver used 1.34879 second user time and 3.22151 second system time
The end