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-3481705-1307576784/watcher-3481705-1307576784 -o /tmp/evaluation-result-3481705-1307576784/solver-3481705-1307576784 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481705-1307576784.opb -seed 1910217087 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.33 1.65 0.76 3/585 15337
/proc/meminfo: memFree=20312464/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 1 0 947909241 15749120 696 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/15337/statm: 3845 696 334 364 0 332 0
[startup+0.121229 s]
/proc/loadavg: 2.33 1.65 0.76 3/585 15337
/proc/meminfo: memFree=20312464/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/15337/stat : 15337 (python) R 15335 15337 14716 0 -1 4202496 3170 931 1 0 6 2 0 0 18 0 1 0 947909241 98430976 2483 33554432000 4194304 5683644 140733870057776 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15337/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.202302 s]
/proc/loadavg: 2.33 1.65 0.76 3/585 15337
/proc/meminfo: memFree=20312464/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=120684 CPUtime=0.13 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 5118 931 1 0 10 3 0 0 17 0 1 0 947909241 123580416 3532 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15337/statm: 30171 3532 925 364 0 2620 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 120684
[startup+0.301238 s]
/proc/loadavg: 2.33 1.65 0.76 3/585 15337
/proc/meminfo: memFree=20312464/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 5358 931 1 0 12 6 0 0 17 0 1 0 947909241 126709760 3744 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988588549 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15337/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.707176 s]
/proc/loadavg: 2.33 1.65 0.76 3/585 15337
/proc/meminfo: memFree=20312464/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=283952 CPUtime=0.46 cores=0,2,4,6
/proc/15337/stat : 15337 (python) R 15335 15337 14716 0 -1 4202496 9438 931 1 0 35 11 0 0 16 0 1 0 947909241 290766848 7299 33554432000 4194304 5683644 140733870057776 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15337/statm: 70988 7299 1781 364 0 5881 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283952
[startup+1.50093 s]
/proc/loadavg: 2.33 1.65 0.76 3/589 15345
/proc/meminfo: memFree=20262956/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=294808 CPUtime=0.57 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 10034 931 1 0 46 11 0 0 18 0 2 0 947909241 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15337/statm: 73702 7537 1870 364 0 8589 0
[pid=15343] ppid=15337 vsize=284564 CPUtime=0 cores=0,2,4,6
/proc/15343/stat : 15343 (python) S 15337 15337 14716 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 947909323 291393536 6015 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988612623 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/15343/statm: 71141 6015 352 364 0 6028 0
[pid=15345] ppid=15343 vsize=52344 CPUtime=0.67 cores=0,2,4,6
/proc/15345/stat : 15345 (scip-2.0.1.linu) R 15343 15345 15345 0 -1 4202496 11519 0 0 0 59 8 0 0 21 0 1 0 947909323 53600256 10680 33554432000 4194304 13684479 140737403642064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15345/statm: 13086 10680 745 2317 0 10764 0
[pid=15337/tid=15344] ppid=15335 vsize=294808 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15344/stat : 15344 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 947909323 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 631716
[startup+3.10077 s]
/proc/loadavg: 2.54 1.70 0.78 3/589 15345
/proc/meminfo: memFree=20246452/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=294808 CPUtime=0.57 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 10034 931 1 0 46 11 0 0 18 0 2 0 947909241 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15337/statm: 73702 7537 1870 364 0 8589 0
[pid=15343] ppid=15337 vsize=284564 CPUtime=0 cores=0,2,4,6
/proc/15343/stat : 15343 (python) S 15337 15337 14716 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 947909323 291393536 6015 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988612623 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/15343/statm: 71141 6015 352 364 0 6028 0
[pid=15345] ppid=15343 vsize=53480 CPUtime=2.27 cores=0,2,4,6
/proc/15345/stat : 15345 (scip-2.0.1.linu) R 15343 15345 15345 0 -1 4202496 11878 0 0 0 216 11 0 0 25 0 1 0 947909323 54763520 11032 33554432000 4194304 13684479 140737403642064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15345/statm: 13370 11032 749 2317 0 11048 0
[pid=15337/tid=15344] ppid=15335 vsize=294808 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15344/stat : 15344 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 947909323 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 632852
[startup+6.32015 s]
/proc/loadavg: 2.54 1.70 0.78 3/589 15345
/proc/meminfo: memFree=20233068/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=294808 CPUtime=0.57 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 10034 931 1 0 46 11 0 0 18 0 2 0 947909241 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15337/statm: 73702 7537 1870 364 0 8589 0
[pid=15343] ppid=15337 vsize=284564 CPUtime=0.02 cores=0,2,4,6
/proc/15343/stat : 15343 (python) S 15337 15337 14716 0 -1 4202560 900 0 0 0 1 1 0 0 15 0 1 0 947909323 291393536 6039 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988612623 0 0 16781312 33554946 1973354012983951360 0 0 17 0 0 0 0
/proc/15343/statm: 71141 6039 376 364 0 6028 0
[pid=15345] ppid=15343 vsize=64764 CPUtime=5.49 cores=0,2,4,6
/proc/15345/stat : 15345 (scip-2.0.1.linu) R 15343 15345 15345 0 -1 4202496 14620 0 0 0 535 14 0 0 25 0 1 0 947909323 66318336 13687 33554432000 4194304 13684479 140737403642064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15345/statm: 16191 13687 797 2317 0 13869 0
[pid=15337/tid=15344] ppid=15335 vsize=294808 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15344/stat : 15344 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 947909323 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 644136
[startup+12.701 s]
/proc/loadavg: 2.50 1.71 0.79 3/593 15349
/proc/meminfo: memFree=20180620/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=294808 CPUtime=0.57 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 10034 931 1 0 46 11 0 0 18 0 2 0 947909241 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15337/statm: 73702 7537 1870 364 0 8589 0
[pid=15343] ppid=15337 vsize=284564 CPUtime=0.04 cores=0,2,4,6
/proc/15343/stat : 15343 (python) S 15337 15337 14716 0 -1 4202560 905 0 0 0 2 2 0 0 15 0 1 0 947909323 291393536 6039 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988612623 0 0 16781312 33554946 3123983353674465280 0 0 17 0 0 0 0
/proc/15343/statm: 71141 6039 376 364 0 6028 0
[pid=15345] ppid=15343 vsize=115208 CPUtime=11.87 cores=0,2,4,6
/proc/15345/stat : 15345 (scip-2.0.1.linu) R 15343 15345 15345 0 -1 4202496 28978 0 0 0 1169 18 0 0 25 0 1 0 947909323 117972992 25782 33554432000 4194304 13684479 140737403642064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15345/statm: 28802 25782 796 2317 0 26480 0
[pid=15337/tid=15344] ppid=15335 vsize=294808 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15344/stat : 15344 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 947909323 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 694580
[startup+25.5008 s]
/proc/loadavg: 2.39 1.72 0.81 3/593 15350
/proc/meminfo: memFree=20116612/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=294808 CPUtime=0.57 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 10034 931 1 0 46 11 0 0 18 0 2 0 947909241 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15337/statm: 73702 7537 1870 364 0 8589 0
[pid=15343] ppid=15337 vsize=284564 CPUtime=0.11 cores=0,2,4,6
/proc/15343/stat : 15343 (python) S 15337 15337 14716 0 -1 4202560 915 0 0 0 5 6 0 0 15 0 1 0 947909323 291393536 6039 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988612623 0 0 16781312 33554946 988565643198464000 0 0 17 0 0 0 0
/proc/15343/statm: 71141 6039 376 364 0 6028 0
[pid=15345] ppid=15343 vsize=164940 CPUtime=24.66 cores=0,2,4,6
/proc/15345/stat : 15345 (scip-2.0.1.linu) R 15343 15345 15345 0 -1 4202496 46286 0 0 0 2440 26 0 0 25 0 1 0 947909323 168898560 37734 33554432000 4194304 13684479 140737403642064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15345/statm: 41235 37734 1074 2317 0 38913 0
[pid=15337/tid=15344] ppid=15335 vsize=294808 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15344/stat : 15344 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 947909323 301883392 7537 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 744312
[startup+51.1012 s]
/proc/loadavg: 2.32 1.76 0.84 3/615 15372
/proc/meminfo: memFree=20006716/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=305568 CPUtime=0.59 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 10915 931 1 0 48 11 0 0 20 0 3 0 947909241 312901632 7670 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15337/statm: 76392 7670 1873 364 0 11276 0
[pid=15343] ppid=15337 vsize=294808 CPUtime=0.24 cores=0,2,4,6
/proc/15343/stat : 15343 (python) S 15337 15337 14716 0 -1 4202560 1084 0 0 0 11 13 0 0 16 0 2 0 947909323 301883392 6075 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15343/statm: 73702 6075 407 364 0 8589 0
[pid=15345] ppid=15343 vsize=197116 CPUtime=47.6 cores=0,2,4,6
/proc/15345/stat : 15345 (scip-2.0.1.linu) T 15343 15345 15345 0 -1 4202496 65029 0 0 0 4717 43 0 0 19 0 1 0 947909323 201846784 44869 33554432000 4194304 13684479 140737403642064 18446744073709551615 7390803 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/15345/statm: 49279 44869 975 2317 0 46957 0
[pid=15343/tid=15351] ppid=15337 vsize=294808 CPUtime=0 cores=0,2,4,6
/proc/15343/task/15351/stat : 15351 (python) S 15337 15337 14716 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947914084 301883392 6075 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604441837926592 0 0 -1 6 0 0 0
[pid=15352] ppid=15337 vsize=295324 CPUtime=0 cores=0,2,4,6
/proc/15352/stat : 15352 (python) S 15337 15337 14716 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 947914087 302411776 6142 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988612678 0 0 16781312 33554946 4269217210418855936 0 0 17 0 0 0 0
/proc/15352/statm: 73831 6142 349 364 0 8715 0
[pid=15354] ppid=15352 vsize=8537920 CPUtime=3.2 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15352 15354 15354 0 -1 4202496 14120 0 1 0 318 2 0 0 20 0 19 0 947914087 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15354/statm: 2134480 11807 2223 9 0 2125221 0
[pid=15354/tid=15355] ppid=15352 vsize=8537920 CPUtime=2.61 cores=0,2,4,6
/proc/15354/task/15355/stat : 15355 (java) R 15352 15354 15354 0 -1 4202560 7979 0 1 0 260 1 0 0 25 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 46912505792260 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15354/tid=15356] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15356/stat : 15356 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15357] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15357/stat : 15357 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15358] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15359] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15359/stat : 15359 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15360] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15360/stat : 15360 (java) S 15352 15354 15354 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15361] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15361/stat : 15361 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15362] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15362/stat : 15362 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15363] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15363/stat : 15363 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914088 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15364] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15352 15354 15354 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 947914089 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000409088 0 0 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15365] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15352 15354 15354 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947914090 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15366] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15352 15354 15354 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947914090 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15367] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914092 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000416177 0 4 0 16800975 18446604447527372032 0 0 -1 6 0 0 0
[pid=15354/tid=15368] ppid=15352 vsize=8537920 CPUtime=0.32 cores=0,2,4,6
/proc/15354/task/15368/stat : 15368 (java) S 15352 15354 15354 0 -1 4202560 3131 0 0 0 32 0 0 0 15 0 19 0 947914092 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 0 0 0 0
[pid=15354/tid=15369] ppid=15352 vsize=8537920 CPUtime=0.25 cores=0,2,4,6
/proc/15354/task/15369/stat : 15369 (java) S 15352 15354 15354 0 -1 4202560 1610 0 0 0 25 0 0 0 15 0 19 0 947914092 8742830080 11807 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446604447527372032 0 0 -1 2 0 0 0
[pid=15354/tid=15370] ppid=15352 vsize=8537920 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=15615/tid=15629] ppid=15613 vsize=8540560 CPUtime=0.35 cores=0,2,4,6
/proc/15615/task/15629/stat : 15629 (java) S 15613 15615 15615 0 -1 4202560 3431 0 0 0 35 0 0 0 25 0 19 0 947928161 8745533440 21108 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 0 0 0 0
[pid=15615/tid=15630] ppid=15613 vsize=8540560 CPUtime=0.39 cores=0,2,4,6
/proc/15615/task/15630/stat : 15630 (java) S 15613 15615 15615 0 -1 4202560 2318 0 0 0 39 0 0 0 16 0 19 0 947928161 8745533440 21109 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 4 0 0 0
[pid=15615/tid=15631] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15631/stat : 15631 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928161 8745533440 21111 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15632] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15632/stat : 15632 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947928161 8745533440 21112 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000409088 0 4 0 16800975 18446604442256350080 0 0 -1 4 0 0 0
[pid=15615/tid=15633] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15633/stat : 15633 (java) S 15613 15615 15615 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947928197 8745533440 21113 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000409088 0 4 0 16800975 18446604442256350080 0 0 -1 4 0 0 0
[pid=15337/tid=15344] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15344/stat : 15344 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 6 0 947909323 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
[pid=15337/tid=15353] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15353/stat : 15353 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 947914087 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
[pid=15337/tid=15488] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15488/stat : 15488 (python) S 15335 15337 14716 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 947918703 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
[pid=15337/tid=15605] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15605/stat : 15605 (python) S 15335 15337 14716 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 947923385 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 6 0 0 0
[pid=15337/tid=15614] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15614/stat : 15614 (python) S 15335 15337 14716 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 947928155 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 192.01
Current children cumulated vsize (KiB) 19390344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+189.902 s]
/proc/loadavg: 2.18 1.90 1.02 4/662 15633
/proc/meminfo: memFree=19492060/32950940 swapFree=67111360/67111528
[pid=15337] ppid=15335 vsize=336336 CPUtime=0.68 cores=0,2,4,6
/proc/15337/stat : 15337 (python) S 15335 15337 14716 0 -1 4202496 13750 931 1 0 56 12 0 0 20 0 6 0 947909241 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15337/statm: 84084 7692 1879 364 0 18959 0
[pid=15343] ppid=15337 vsize=294808 CPUtime=0.24 cores=0,2,4,6
/proc/15343/stat : 15343 (python) S 15337 15337 14716 0 -1 4202560 1084 0 0 0 11 13 0 0 16 0 2 0 947909323 301883392 6075 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15343/statm: 73702 6075 407 364 0 8589 0
[pid=15345] ppid=15343 vsize=197116 CPUtime=47.6 cores=0,2,4,6
/proc/15345/stat : 15345 (scip-2.0.1.linu) T 15343 15345 15345 0 -1 4202496 65029 0 0 0 4717 43 0 0 19 0 1 0 947909323 201846784 44869 33554432000 4194304 13684479 140737403642064 18446744073709551615 7390803 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/15345/statm: 49279 44869 975 2317 0 46957 0
[pid=15343/tid=15351] ppid=15337 vsize=294808 CPUtime=0 cores=0,2,4,6
/proc/15343/task/15351/stat : 15351 (python) S 15337 15337 14716 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947914084 301883392 6075 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604441837926592 0 0 -1 6 0 0 0
[pid=15352] ppid=15337 vsize=360860 CPUtime=0.2 cores=0,2,4,6
/proc/15352/stat : 15352 (python) S 15337 15337 14716 0 -1 4202560 1162 0 0 0 11 9 0 0 16 0 2 0 947914087 369520640 6201 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15352/statm: 90215 6201 403 364 0 25099 0
[pid=15354] ppid=15352 vsize=8536840 CPUtime=46.85 cores=0,2,4,6
/proc/15354/stat : 15354 (java) T 15352 15354 15354 0 -1 4202496 16482 0 1 0 4681 4 0 0 18 0 19 0 947914087 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15354/statm: 2134210 13847 2253 9 0 2124951 0
[pid=15354/tid=15355] ppid=15352 vsize=8536840 CPUtime=45.95 cores=0,2,4,6
/proc/15354/task/15355/stat : 15355 (java) T 15352 15354 15354 0 -1 4202560 8025 0 1 0 4593 2 0 0 25 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 46912505366522 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15354/tid=15356] ppid=15352 vsize=8536840 CPUtime=0.01 cores=0,2,4,6
/proc/15354/task/15356/stat : 15356 (java) T 15352 15354 15354 0 -1 4202560 606 0 0 0 1 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15357] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15357/stat : 15357 (java) T 15352 15354 15354 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15354/tid=15358] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) T 15352 15354 15354 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15354/tid=15359] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15359/stat : 15359 (java) T 15352 15354 15354 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15354/tid=15360] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15360/stat : 15360 (java) T 15352 15354 15354 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15361] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15361/stat : 15361 (java) T 15352 15354 15354 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15362] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15362/stat : 15362 (java) T 15352 15354 15354 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15363] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15363/stat : 15363 (java) T 15352 15354 15354 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 19 0 947914088 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15364] ppid=15352 vsize=8536840 CPUtime=0.09 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) T 15352 15354 15354 0 -1 4202560 1328 0 0 0 9 0 0 0 15 0 19 0 947914089 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15354/tid=15365] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) T 15352 15354 15354 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947914090 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15354/tid=15366] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) T 15352 15354 15354 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947914090 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15354/tid=15367] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) T 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947914092 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15368] ppid=15352 vsize=8536840 CPUtime=0.35 cores=0,2,4,6
/proc/15354/task/15368/stat : 15368 (java) T 15352 15354 15354 0 -1 4202560 3142 0 0 0 35 0 0 0 15 0 19 0 947914092 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15354/tid=15369] ppid=15352 vsize=8536840 CPUtime=0.38 cores=0,2,4,6
/proc/15354/task/15369/stat : 15369 (java) T 15352 15354 15354 0 -1 4202560 1643 0 0 0 38 0 0 0 15 0 19 0 947914092 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15354/tid=15370] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15370/stat : 15370 (java) T 15352 15354 15354 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947914092 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15371] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15371/stat : 15371 (java) T 15352 15354 15354 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947914092 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15354/tid=15372] ppid=15352 vsize=8536840 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) T 15352 15354 15354 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947914127 8741724160 13847 33554432000 1073741824 1073778376 140735374688800 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15352/tid=15486] ppid=15337 vsize=360860 CPUtime=0 cores=0,2,4,6
/proc/15352/task/15486/stat : 15486 (python) S 15337 15337 14716 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947918700 369520640 6201 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450348030656 0 0 -1 6 0 0 0
[pid=15487] ppid=15337 vsize=305580 CPUtime=0.26 cores=0,2,4,6
/proc/15487/stat : 15487 (python) S 15337 15337 14716 0 -1 4202560 1176 0 0 0 13 13 0 0 16 0 2 0 947918702 312913920 6203 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/15487/statm: 76395 6203 403 364 0 11276 0
[pid=15489] ppid=15487 vsize=127364 CPUtime=46.74 cores=0,2,4,6
/proc/15489/stat : 15489 (scip-2.0.1.linu) T 15487 15489 15489 0 -1 4202496 39493 0 0 0 4646 28 0 0 25 0 1 0 947918703 130420736 28397 33554432000 4194304 15243407 140733643198928 18446744073709551615 8136104 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/15489/statm: 31841 28397 891 2698 0 29136 0
[pid=15487/tid=15603] ppid=15337 vsize=305580 CPUtime=0 cores=0,2,4,6
/proc/15487/task/15603/stat : 15603 (python) S 15337 15337 14716 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947923382 312913920 6203 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604442459053120 0 0 -1 0 0 0 0
[pid=15604] ppid=15337 vsize=315836 CPUtime=0.26 cores=0,2,4,6
/proc/15604/stat : 15604 (python) S 15337 15337 14716 0 -1 4202560 1138 0 0 0 13 13 0 0 16 0 2 0 947923385 323416064 6203 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15604/statm: 78959 6203 397 364 0 13837 0
[pid=15606] ppid=15604 vsize=48952 CPUtime=47.66 cores=0,2,4,6
/proc/15606/stat : 15606 (wbo1.4a) T 15604 15606 15606 0 -1 4202496 19640 0 0 0 4731 35 0 0 25 0 1 0 947923385 50126848 11798 33554432000 134512640 135751879 4289969264 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/15606/statm: 12238 11798 146 303 0 11933 0
[pid=15604/tid=15612] ppid=15337 vsize=315836 CPUtime=0 cores=0,2,4,6
/proc/15604/task/15612/stat : 15612 (python) S 15337 15337 14716 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947928152 323416064 6203 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604443680989568 0 0 -1 2 0 0 0
[pid=15613] ppid=15337 vsize=326092 CPUtime=0 cores=0,2,4,6
/proc/15613/stat : 15613 (python) S 15337 15337 14716 0 -1 4202560 814 0 0 0 0 0 0 0 16 0 1 0 947928155 333918208 6158 33554432000 4194304 5683644 140733870057776 18446744073709551615 215988612678 0 0 16781312 33554946 2995100258523938816 0 0 17 6 0 0 0
/proc/15613/statm: 81523 6158 349 364 0 16398 0
[pid=15615] ppid=15613 vsize=8540560 CPUtime=1.52 cores=0,2,4,6
/proc/15615/stat : 15615 (java) S 15613 15615 15615 0 -1 4202496 23572 0 1 0 150 2 0 0 20 0 19 0 947928155 8745533440 20470 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15615/statm: 2135140 20472 2224 9 0 2125881 0
[pid=15615/tid=15616] ppid=15613 vsize=8540560 CPUtime=0.76 cores=0,2,4,6
/proc/15615/task/15616/stat : 15616 (java) R 15613 15615 15615 0 -1 4202560 17050 0 1 0 75 1 0 0 25 0 19 0 947928156 8745533440 21090 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 46912505851472 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15615/tid=15617] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15617/stat : 15617 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947928157 8745533440 21092 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15618] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15618/stat : 15618 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947928157 8745533440 21093 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15619] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15619/stat : 15619 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947928157 8745533440 21095 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15620] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15620/stat : 15620 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928157 8745533440 21096 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 2 0 0 0
[pid=15615/tid=15621] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15621/stat : 15621 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928157 8745533440 21098 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 2 0 0 0
[pid=15615/tid=15622] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15622/stat : 15622 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928157 8745533440 21099 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 2 0 0 0
[pid=15615/tid=15623] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15623/stat : 15623 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928157 8745533440 21100 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 2 0 0 0
[pid=15615/tid=15624] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15624/stat : 15624 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928157 8745533440 21102 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 2 0 0 0
[pid=15615/tid=15625] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15625/stat : 15625 (java) S 15613 15615 15615 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947928158 8745533440 21103 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000409088 0 0 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15626] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15626/stat : 15626 (java) S 15613 15615 15615 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947928159 8745533440 21104 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15627] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15627/stat : 15627 (java) S 15613 15615 15615 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 947928159 8745533440 21105 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 2 0 0 0
[pid=15615/tid=15628] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15628/stat : 15628 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928161 8745533440 21107 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000416177 0 4 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15629] ppid=15613 vsize=8540560 CPUtime=0.35 cores=0,2,4,6
/proc/15615/task/15629/stat : 15629 (java) S 15613 15615 15615 0 -1 4202560 3431 0 0 0 35 0 0 0 25 0 19 0 947928161 8745533440 21108 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 0 0 0 0
[pid=15615/tid=15630] ppid=15613 vsize=8540560 CPUtime=0.39 cores=0,2,4,6
/proc/15615/task/15630/stat : 15630 (java) S 15613 15615 15615 0 -1 4202560 2318 0 0 0 39 0 0 0 16 0 19 0 947928161 8745533440 21109 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 4 0 0 0
[pid=15615/tid=15631] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15631/stat : 15631 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928161 8745533440 21111 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000408473 0 4 0 16800975 18446604442256350080 0 0 -1 6 0 0 0
[pid=15615/tid=15632] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15632/stat : 15632 (java) S 15613 15615 15615 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947928161 8745533440 21112 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000409088 0 4 0 16800975 18446604442256350080 0 0 -1 4 0 0 0
[pid=15615/tid=15633] ppid=15613 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/15615/task/15633/stat : 15633 (java) S 15613 15615 15615 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947928197 8745533440 21113 33554432000 1073741824 1073778376 140733488104720 18446744073709551615 216000409088 0 4 0 16800975 18446604442256350080 0 0 -1 4 0 0 0
[pid=15337/tid=15344] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15344/stat : 15344 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 6 0 947909323 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
[pid=15337/tid=15353] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15353/stat : 15353 (python) S 15335 15337 14716 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 947914087 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
[pid=15337/tid=15488] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15488/stat : 15488 (python) S 15335 15337 14716 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 947918703 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 0 0 0 0
[pid=15337/tid=15605] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15605/stat : 15605 (python) S 15335 15337 14716 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 947923385 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 6 0 0 0
[pid=15337/tid=15614] ppid=15335 vsize=336336 CPUtime=0 cores=0,2,4,6
/proc/15337/task/15614/stat : 15614 (python) S 15335 15337 14716 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 947928155 344408064 7692 33554432000 4194304 5683644 140733870057776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604443680990464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 192.01
Current children cumulated vsize (KiB) 19390344
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15337 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=568913
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=130980
# CPU time returned by wait4() is 0.699893
# while last known CPU time is 192.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 189.986
CPU time (s): 192.01
CPU user time (s): 190.29
CPU system time (s): 1.72
CPU usage (%): 101.066
Max. virtual memory (cumulated for all children) (KiB): 19390344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.568913
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14684
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= 2837
involuntary context switches= 26
runsolver used 1.25381 second user time and 2.53661 second system time
The end