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-3481596-1307578442/watcher-3481596-1307578442 -o /tmp/evaluation-result-3481596-1307578442/solver-3481596-1307578442 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481596-1307578442.opb -seed 1351229173 -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.19 2.11 1.84 2/726 19519
/proc/meminfo: memFree=16072872/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 820 0 0 0 0 0 0 0 22 0 1 0 948074736 15749120 704 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/19519/statm: 3845 704 334 364 0 332 0
[startup+0.0630941 s]
/proc/loadavg: 2.19 2.11 1.84 2/726 19519
/proc/meminfo: memFree=16072872/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=29788 CPUtime=0.04 cores=0,2,4,6
/proc/19519/stat : 19519 (python) R 19517 19519 17566 0 -1 4202496 1462 0 0 0 3 1 0 0 22 0 1 0 948074736 30502912 1301 33554432000 4194304 5683644 140737205262208 18446744073709551615 4864861 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/19519/statm: 7447 1301 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
[startup+0.101141 s]
/proc/loadavg: 2.19 2.11 1.84 2/726 19519
/proc/meminfo: memFree=16072872/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 2665 0 0 0 4 2 0 0 18 0 1 0 948074736 87674880 2382 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19519/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.301105 s]
/proc/loadavg: 2.19 2.11 1.84 2/726 19519
/proc/meminfo: memFree=16072872/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 5358 931 1 0 12 5 0 0 17 0 1 0 948074736 126709760 3744 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458061829 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19519/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700995 s]
/proc/loadavg: 2.19 2.11 1.84 2/726 19519
/proc/meminfo: memFree=16072872/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=282400 CPUtime=0.43 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 9201 931 1 0 32 11 0 0 16 0 1 0 948074736 289177600 6937 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458085903 0 0 16781312 2 3614680773082218496 0 0 17 6 0 0 0
/proc/19519/statm: 70600 6937 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282400
[startup+1.50091 s]
/proc/loadavg: 2.19 2.11 1.84 3/728 19525
/proc/meminfo: memFree=16046072/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=298988 CPUtime=1.23 cores=0,2,4,6
/proc/19519/stat : 19519 (python) R 19517 19519 17566 0 -1 4202496 14468 1546 1 0 63 12 42 6 18 0 1 0 948074736 306163712 11026 33554432000 4194304 5683644 140737205262208 18446744073709551615 46981824297326 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19519/statm: 74747 11028 1782 364 0 9640 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 298988
[startup+3.10057 s]
/proc/loadavg: 2.33 2.14 1.86 4/727 19525
/proc/meminfo: memFree=16024752/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=312432 CPUtime=2.3 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 20110 1546 1 0 168 14 42 6 22 0 2 0 948074736 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/19519/statm: 78108 11948 1871 364 0 12995 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 312432
heavy processes:
[startup+6.30101 s]
/proc/loadavg: 2.33 2.14 1.86 3/730 19529
/proc/meminfo: memFree=15761736/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=312432 CPUtime=2.3 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 20110 1546 1 0 168 14 42 6 22 0 2 0 948074736 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/19519/statm: 78108 11948 1871 364 0 12995 0
[pid=19526] ppid=19519 vsize=302188 CPUtime=0.02 cores=0,2,4,6
/proc/19526/stat : 19526 (python) S 19519 19519 17566 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 948074994 309440512 10415 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458085903 0 0 16781312 33554946 11682780850117640452 0 0 17 2 0 0 0
/proc/19526/statm: 75547 10415 342 364 0 10434 0
[pid=19528] ppid=19526 vsize=299124 CPUtime=3.72 cores=0,2,4,6
/proc/19528/stat : 19528 (scip-2.0.1.linu) R 19526 19528 19528 0 -1 4202496 73510 0 0 0 356 16 0 0 25 0 1 0 948074994 306302976 69641 33554432000 4194304 13684479 140733492348208 18446744073709551615 7390878 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19528/statm: 74781 69641 833 2317 0 72459 0
[pid=19519/tid=19527] ppid=19517 vsize=312432 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19527/stat : 19527 (python) S 19517 19519 17566 0 -1 4202560 29 1546 0 0 0 0 42 6 22 0 2 0 948074994 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 913744
[startup+12.7008 s]
/proc/loadavg: 2.28 2.13 1.86 3/730 19529
/proc/meminfo: memFree=15743676/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=312432 CPUtime=2.3 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 20110 1546 1 0 168 14 42 6 22 0 2 0 948074736 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/19519/statm: 78108 11948 1871 364 0 12995 0
[pid=19526] ppid=19519 vsize=302188 CPUtime=0.04 cores=0,2,4,6
/proc/19526/stat : 19526 (python) S 19519 19519 17566 0 -1 4202560 874 0 0 0 2 2 0 0 15 0 1 0 948074994 309440512 10415 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949178 0 0 17 6 0 0 0
/proc/19526/statm: 75547 10415 342 364 0 10434 0
[pid=19528] ppid=19526 vsize=309360 CPUtime=10.12 cores=0,2,4,6
/proc/19528/stat : 19528 (scip-2.0.1.linu) R 19526 19528 19528 0 -1 4202496 76356 0 0 0 995 17 0 0 25 0 1 0 948074994 316784640 72370 33554432000 4194304 13684479 140733492348208 18446744073709551615 7360257 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19528/statm: 77340 72370 807 2317 0 75018 0
[pid=19519/tid=19527] ppid=19517 vsize=312432 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19527/stat : 19527 (python) S 19517 19519 17566 0 -1 4202560 29 1546 0 0 0 0 42 6 22 0 2 0 948074994 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 923980
[startup+25.5005 s]
/proc/loadavg: 2.24 2.13 1.86 3/730 19529
/proc/meminfo: memFree=15738272/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=312432 CPUtime=2.3 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 20110 1546 1 0 168 14 42 6 22 0 2 0 948074736 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/19519/statm: 78108 11948 1871 364 0 12995 0
[pid=19526] ppid=19519 vsize=302188 CPUtime=0.08 cores=0,2,4,6
/proc/19526/stat : 19526 (python) S 19519 19519 17566 0 -1 4202560 879 0 0 0 4 4 0 0 15 0 1 0 948074994 309440512 10415 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949178 0 0 17 6 0 0 0
/proc/19526/statm: 75547 10415 342 364 0 10434 0
[pid=19528] ppid=19526 vsize=309360 CPUtime=22.91 cores=0,2,4,6
/proc/19528/stat : 19528 (scip-2.0.1.linu) R 19526 19528 19528 0 -1 4202496 76535 0 0 0 2274 17 0 0 25 0 1 0 948074994 316784640 72485 33554432000 4194304 13684479 140733492348208 18446744073709551615 7019282 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19528/statm: 77340 72485 784 2317 0 75018 0
[pid=19519/tid=19527] ppid=19517 vsize=312432 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19527/stat : 19527 (python) S 19517 19519 17566 0 -1 4202560 29 1546 0 0 0 0 42 6 22 0 2 0 948074994 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 923980
[startup+51.1007 s]
/proc/loadavg: 2.28 2.15 1.87 3/730 19530
/proc/meminfo: memFree=15731568/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=312432 CPUtime=2.3 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 20110 1546 1 0 168 14 42 6 22 0 2 0 948074736 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/19519/statm: 78108 11948 1871 364 0 12995 0
[pid=19526] ppid=19519 vsize=302188 CPUtime=0.19 cores=0,2,4,6
/proc/19526/stat : 19526 (python) S 19519 19519 17566 0 -1 4202560 899 0 0 0 9 10 0 0 15 0 1 0 948074994 309440512 10415 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949178 0 0 17 6 0 0 0
/proc/19526/statm: 75547 10415 342 364 0 10434 0
[pid=19528] ppid=19526 vsize=316424 CPUtime=48.51 cores=0,2,4,6
/proc/19528/stat : 19528 (scip-2.0.1.linu) R 19526 19528 19528 0 -1 4202496 78465 0 0 0 4832 19 0 0 25 0 1 0 948074994 324018176 74378 33554432000 4194304 13684479 140733492348208 18446744073709551615 7019311 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19528/statm: 79106 74378 747 2317 0 76784 0
[pid=19519/tid=19527] ppid=19517 vsize=312432 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19527/stat : 19527 (python) S 19517 19519 17566 0 -1 4202560 29 1546 0 0 0 0 42 6 22 0 2 0 948074994 319930368 11948 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 931044
[startup+102.32 s]
/proc/loadavg: 2.11 2.12 1.88 3/738 19539
/proc/meminfo: memFree=15403176/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=332944 CPUtime=2.34 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 21917 1546 1 0 172 14 42 6 20 0 4 0 948074736 340934656 11961 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19519/statm: 83236 11961 1876 364 0 18117 0
[pid=19526] ppid=19519 vsize=312432 CPUtime=0.21 cores=0,2,4,6
/proc/19526/stat : 19526 (python) S 19519 19519 17566 0 -1 4202560 1103 0 0 0 10 11 0 0 17 0 2 0 948074994 319930368 10483 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19526/statm: 78108 10483 405 364 0 12995 0
[pid=19528] ppid=19526 vsize=316424 CPUtime=48.72 cores=0,2,4,6
/proc/19528/stat : 19528 (scip-2.0.1.linu) T 19526 19528 19528 0 -1 4202496 78465 0 0 0 4853 19 0 0 25 0 1 0 948074994 324018176 74378 33554432000 4194304 13684479 140733492348208 18446744073709551615 7398130 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/19528/statm: 79106 74378 747 2317 0 76784 0
[pid=19526/tid=19531] ppid=19519 vsize=312432 CPUtime=0 cores=0,2,4,6
/proc/19526/task/19531/stat : 19531 (python) S 19519 19519 17566 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948079867 319930368 10483 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554946 18446604452992161792 0 0 -1 6 0 0 0
[pid=19532] ppid=19519 vsize=312444 CPUtime=0.2 cores=0,2,4,6
/proc/19532/stat : 19532 (python) S 19519 19519 17566 0 -1 4202560 1109 0 0 0 12 8 0 0 16 0 2 0 948079870 319942656 10468 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19532/statm: 78111 10468 390 364 0 12995 0
[pid=19534] ppid=19532 vsize=77444 CPUtime=46.04 cores=0,2,4,6
/proc/19534/stat : 19534 (wbo1.4a) T 19532 19534 19534 0 -1 4202496 20953 0 0 0 4595 9 0 0 25 0 1 0 948079870 79302656 18654 33554432000 134512640 135751879 4287269344 18446744073709551615 135200324 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/19534/statm: 19361 18654 146 303 0 19056 0
[pid=19532/tid=19536] ppid=19519 vsize=312444 CPUtime=0 cores=0,2,4,6
/proc/19532/task/19536/stat : 19536 (python) S 19519 19519 17566 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948084475 319942656 10468 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554946 18446604453861255296 0 0 -1 6 0 0 0
[pid=19537] ppid=19519 vsize=322700 CPUtime=0.01 cores=0,2,4,6
/proc/19537/stat : 19537 (python) S 19519 19519 17566 0 -1 4202560 910 0 0 0 0 1 0 0 15 0 1 0 948084478 330444800 10424 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458085958 0 0 16781312 33554946 5452927351295803650 0 0 17 2 0 0 0
/proc/19537/statm: 80675 10424 343 364 0 15556 0
[pid=19539] ppid=19537 vsize=287208 CPUtime=4.88 cores=0,2,4,6
/proc/19539/stat : 19539 (scip-2.0.1.linu) R 19537 19539 19539 0 -1 4202496 73478 0 0 0 474 14 0 0 25 0 1 0 948084478 294100992 61401 33554432000 4194304 15243407 140735737353792 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19539/statm: 71802 61401 821 2698 0 69097 0
[pid=19519/tid=19527] ppid=19517 vsize=332944 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19527/stat : 19527 (python) S 19517 19519 17566 0 -1 4202560 29 1546 0 0 0 0 42 6 22 0 4 0 948074994 340934656 11961 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 2 0 0 0
[pid=19519/tid=19533] ppid=19517 vsize=332944 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19533/stat : 19533 (python) S 19517 19519 17566 0 -1 4202560 30 1546 0 0 0 0 42 6 20 0 4 0 948079870 340934656 11961 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
[pid=19519/tid=19538] ppid=19517 vsize=332944 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19538/stat : 19538 (python) S 19517 19519 17566 0 -1 4202560 28 1546 0 0 0 0 42 6 20 0 4 0 948084478 340934656 11961 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 1961596
[startup+162.302 s]
/proc/loadavg: 2.04 2.10 1.88 3/760 19563
/proc/meminfo: memFree=14663588/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=343200 CPUtime=2.38 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 22841 1546 1 0 175 15 42 6 20 0 5 0 948074736 351436800 11967 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19519/statm: 85800 11967 1878 364 0 20678 0
[pid=19526] ppid=19519 vsize=312432 CPUtime=0.21 cores=0,2,4,6
/proc/19526/stat : 19526 (python) S 19519 19519 17566 0 -1 4202560 1103 0 0 0 10 11 0 0 17 0 2 0 948074994 319930368 10483 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19526/statm: 78108 10483 405 364 0 12995 0
[pid=19528] ppid=19526 vsize=316424 CPUtime=48.72 cores=0,2,4,6
/proc/19528/stat : 19528 (scip-2.0.1.linu) T 19526 19528 19528 0 -1 4202496 78465 0 0 0 4853 19 0 0 25 0 1 0 948074994 324018176 74378 33554432000 4194304 13684479 140733492348208 18446744073709551615 7398130 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/19528/statm: 79106 74378 747 2317 0 76784 0
################
# More data... #
################
[pid=19519/tid=19533] ppid=19517 vsize=353456 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19533/stat : 19533 (python) S 19517 19519 17566 0 -1 4202560 30 1546 0 0 0 0 42 6 20 0 6 0 948079870 361938944 11973 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
[pid=19519/tid=19538] ppid=19517 vsize=353456 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19538/stat : 19538 (python) S 19517 19519 17566 0 -1 4202560 34 1546 0 0 0 0 42 6 18 0 6 0 948084478 361938944 11973 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
[pid=19519/tid=19543] ppid=19517 vsize=353456 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19543/stat : 19543 (python) S 19517 19519 17566 0 -1 4202560 32 1546 0 0 0 0 42 6 20 0 6 0 948089242 361938944 11973 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 6 0 0 0
[pid=19519/tid=19567] ppid=19517 vsize=353456 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19567/stat : 19567 (python) S 19517 19519 17566 0 -1 4202560 32 1546 0 0 0 0 42 6 20 0 6 0 948094029 361938944 11973 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 346.29
Current children cumulated vsize (KiB) 11314048
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+379.401 s]
/proc/loadavg: 2.06 2.08 1.92 4/785 19593
/proc/meminfo: memFree=14117556/32951124 swapFree=56297244/67111528
[pid=19519] ppid=19517 vsize=363712 CPUtime=2.49 cores=0,2,4,6
/proc/19519/stat : 19519 (python) S 19517 19519 17566 0 -1 4202496 24760 1546 1 0 185 16 42 6 20 0 7 0 948074736 372441088 11979 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19519/statm: 90928 11979 1882 364 0 25800 0
[pid=19526] ppid=19519 vsize=312432 CPUtime=0.42 cores=0,2,4,6
/proc/19526/stat : 19526 (python) S 19519 19519 17566 0 -1 4202560 1125 0 0 0 21 21 0 0 15 0 2 0 948074994 319930368 10484 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19526/statm: 78108 10484 406 364 0 12995 0
[pid=19528] ppid=19526 vsize=331416 CPUtime=93.94 cores=0,2,4,6
/proc/19528/stat : 19528 (scip-2.0.1.linu) T 19526 19528 19528 0 -1 4202496 84815 0 0 0 9371 23 0 0 25 0 1 0 948074994 339369984 77907 33554432000 4194304 13684479 140733492348208 18446744073709551615 7391329 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/19528/statm: 82854 77907 747 2317 0 80532 0
[pid=19526/tid=19531] ppid=19519 vsize=312432 CPUtime=0 cores=0,2,4,6
/proc/19526/task/19531/stat : 19531 (python) S 19519 19519 17566 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 948079867 319930368 10484 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554946 18446604452992161792 0 0 -1 6 0 0 0
[pid=19532] ppid=19519 vsize=312444 CPUtime=0.2 cores=0,2,4,6
/proc/19532/stat : 19532 (python) S 19519 19519 17566 0 -1 4202560 1109 0 0 0 12 8 0 0 16 0 2 0 948079870 319942656 10468 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19532/statm: 78111 10468 390 364 0 12995 0
[pid=19534] ppid=19532 vsize=77444 CPUtime=46.04 cores=0,2,4,6
/proc/19534/stat : 19534 (wbo1.4a) T 19532 19534 19534 0 -1 4202496 20953 0 0 0 4595 9 0 0 25 0 1 0 948079870 79302656 18654 33554432000 134512640 135751879 4287269344 18446744073709551615 135200324 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/19534/statm: 19361 18654 146 303 0 19056 0
[pid=19532/tid=19536] ppid=19519 vsize=312444 CPUtime=0 cores=0,2,4,6
/proc/19532/task/19536/stat : 19536 (python) S 19519 19519 17566 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948084475 319942656 10468 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554946 18446604453861255296 0 0 -1 6 0 0 0
[pid=19537] ppid=19519 vsize=322700 CPUtime=0.43 cores=0,2,4,6
/proc/19537/stat : 19537 (python) S 19519 19519 17566 0 -1 4202560 1150 0 0 0 21 22 0 0 16 0 2 0 948084478 330444800 10472 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19537/statm: 80675 10472 390 364 0 15556 0
[pid=19539] ppid=19537 vsize=301416 CPUtime=92.82 cores=0,2,4,6
/proc/19539/stat : 19539 (scip-2.0.1.linu) T 19537 19539 19539 0 -1 4202496 237673 0 0 0 9238 44 0 0 25 0 1 0 948084478 308649984 62305 33554432000 4194304 15243407 140735737353792 18446744073709551615 7128914 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/19539/statm: 75354 62305 837 2698 0 72649 0
[pid=19537/tid=19541] ppid=19519 vsize=322700 CPUtime=0 cores=0,2,4,6
/proc/19537/task/19541/stat : 19541 (python) S 19519 19519 17566 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 948089239 330444800 10472 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444477684480 0 0 -1 2 0 0 0
[pid=19542] ppid=19519 vsize=332956 CPUtime=0.22 cores=0,2,4,6
/proc/19542/stat : 19542 (python) S 19519 19519 17566 0 -1 4202560 1146 0 0 0 11 11 0 0 17 0 2 0 948089242 340946944 10476 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19542/statm: 83239 10476 390 364 0 18117 0
[pid=19544] ppid=19542 vsize=8561264 CPUtime=50.68 cores=0,2,4,6
/proc/19544/stat : 19544 (java) T 19542 19544 19544 0 -1 4202496 301096 0 1 0 5028 40 0 0 15 0 19 0 948089242 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19544/statm: 2140316 294503 2252 9 0 2131057 0
[pid=19544/tid=19545] ppid=19542 vsize=8561264 CPUtime=47.64 cores=0,2,4,6
/proc/19544/task/19545/stat : 19545 (java) T 19542 19544 19544 0 -1 4202560 233841 0 1 0 4734 30 0 0 25 0 19 0 948089243 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 46912505955914 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19546] ppid=19542 vsize=8561264 CPUtime=0.14 cores=0,2,4,6
/proc/19544/task/19546/stat : 19546 (java) T 19542 19544 19544 0 -1 4202560 10457 0 0 0 13 1 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19547] ppid=19542 vsize=8561264 CPUtime=0.06 cores=0,2,4,6
/proc/19544/task/19547/stat : 19547 (java) T 19542 19544 19544 0 -1 4202560 4248 0 0 0 6 0 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19548] ppid=19542 vsize=8561264 CPUtime=0.05 cores=0,2,4,6
/proc/19544/task/19548/stat : 19548 (java) T 19542 19544 19544 0 -1 4202560 4897 0 0 0 5 0 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19549] ppid=19542 vsize=8561264 CPUtime=0.08 cores=0,2,4,6
/proc/19544/task/19549/stat : 19549 (java) T 19542 19544 19544 0 -1 4202560 5908 0 0 0 8 0 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19544/tid=19550] ppid=19542 vsize=8561264 CPUtime=0.02 cores=0,2,4,6
/proc/19544/task/19550/stat : 19550 (java) T 19542 19544 19544 0 -1 4202560 2050 0 0 0 2 0 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19544/tid=19551] ppid=19542 vsize=8561264 CPUtime=0.06 cores=0,2,4,6
/proc/19544/task/19551/stat : 19551 (java) T 19542 19544 19544 0 -1 4202560 4320 0 0 0 5 1 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19544/tid=19552] ppid=19542 vsize=8561264 CPUtime=0.08 cores=0,2,4,6
/proc/19544/task/19552/stat : 19552 (java) T 19542 19544 19544 0 -1 4202560 6825 0 0 0 8 0 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19553] ppid=19542 vsize=8561264 CPUtime=0.06 cores=0,2,4,6
/proc/19544/task/19553/stat : 19553 (java) T 19542 19544 19544 0 -1 4202560 4352 0 0 0 6 0 0 0 15 0 19 0 948089244 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19544/tid=19554] ppid=19542 vsize=8561264 CPUtime=0 cores=0,2,4,6
/proc/19544/task/19554/stat : 19554 (java) T 19542 19544 19544 0 -1 4202560 964 0 0 0 0 0 0 0 15 0 19 0 948089245 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469882368 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19544/tid=19555] ppid=19542 vsize=8561264 CPUtime=0 cores=0,2,4,6
/proc/19544/task/19555/stat : 19555 (java) T 19542 19544 19544 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948089245 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19556] ppid=19542 vsize=8561264 CPUtime=0 cores=0,2,4,6
/proc/19544/task/19556/stat : 19556 (java) T 19542 19544 19544 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948089245 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19544/tid=19557] ppid=19542 vsize=8561264 CPUtime=0 cores=0,2,4,6
/proc/19544/task/19557/stat : 19557 (java) T 19542 19544 19544 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948089247 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19558] ppid=19542 vsize=8561264 CPUtime=1.23 cores=0,2,4,6
/proc/19544/task/19558/stat : 19558 (java) T 19542 19544 19544 0 -1 4202560 13568 0 0 0 121 2 0 0 15 0 19 0 948089247 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19544/tid=19559] ppid=19542 vsize=8561264 CPUtime=1.15 cores=0,2,4,6
/proc/19544/task/19559/stat : 19559 (java) T 19542 19544 19544 0 -1 4202560 8265 0 0 0 114 1 0 0 15 0 19 0 948089248 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19544/tid=19560] ppid=19542 vsize=8561264 CPUtime=0 cores=0,2,4,6
/proc/19544/task/19560/stat : 19560 (java) T 19542 19544 19544 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948089248 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19544/tid=19561] ppid=19542 vsize=8561264 CPUtime=0 cores=0,2,4,6
/proc/19544/task/19561/stat : 19561 (java) T 19542 19544 19544 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948089248 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19544/tid=19562] ppid=19542 vsize=8561264 CPUtime=0 cores=0,2,4,6
/proc/19544/task/19562/stat : 19562 (java) T 19542 19544 19544 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948089343 8766734336 294503 33554432000 1073741824 1073778376 140735114025824 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19542/tid=19565] ppid=19519 vsize=332956 CPUtime=0 cores=0,2,4,6
/proc/19542/task/19565/stat : 19565 (python) S 19519 19519 17566 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948094026 340946944 10476 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444721690560 0 0 -1 6 0 0 0
[pid=19566] ppid=19519 vsize=343212 CPUtime=0.42 cores=0,2,4,6
/proc/19566/stat : 19566 (python) S 19519 19519 17566 0 -1 4202560 1247 0 0 0 22 20 0 0 17 0 2 0 948094029 351449088 10486 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19566/statm: 85803 10486 396 364 0 20678 0
[pid=19568] ppid=19566 vsize=68700 CPUtime=95.72 cores=0,2,4,6
/proc/19568/stat : 19568 (clasp-1.3.7-x86) T 19566 19568 19568 0 -1 4202496 17749 0 0 0 9570 2 0 0 25 0 1 0 948094030 70348800 16506 33554432000 134512640 136139019 4292564224 18446744073709551615 134832223 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/19568/statm: 17175 16506 189 398 0 16775 0
[pid=19566/tid=19571] ppid=19519 vsize=343212 CPUtime=0 cores=0,2,4,6
/proc/19566/task/19571/stat : 19571 (python) S 19519 19519 17566 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948103607 351449088 10486 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554946 18446604442386919808 0 0 -1 6 0 0 0
[pid=19574] ppid=19519 vsize=353468 CPUtime=0 cores=0,2,4,6
/proc/19574/stat : 19574 (python) S 19519 19519 17566 0 -1 4202560 821 0 0 0 0 0 0 0 18 0 1 0 948112658 361951232 10412 33554432000 4194304 5683644 140737205262208 18446744073709551615 252458085958 0 0 16781312 33554946 7849334934266151170 0 0 17 6 0 0 0
/proc/19574/statm: 88367 10412 319 364 0 23239 0
[pid=19576] ppid=19574 vsize=8533488 CPUtime=0.25 cores=0,2,4,6
/proc/19576/stat : 19576 (java) S 19574 19576 19576 0 -1 4202496 6458 0 1 0 24 1 0 0 20 0 18 0 948112658 8738291712 5911 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19576/statm: 2133372 5911 2173 9 0 2124113 0
[pid=19576/tid=19577] ppid=19574 vsize=8534052 CPUtime=0.19 cores=0,2,4,6
/proc/19576/task/19577/stat : 19577 (java) R 19574 19576 19576 0 -1 4202560 4151 0 1 0 18 1 0 0 18 0 18 0 948112659 8738869248 6130 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19576/tid=19578] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19578/stat : 19578 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948112660 8738869248 6134 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19579] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19579/stat : 19579 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948112660 8738869248 6135 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19580] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19580/stat : 19580 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948112660 8738869248 6135 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19581] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19581/stat : 19581 (java) S 19574 19576 19576 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948112660 8738869248 6136 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19582] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19582/stat : 19582 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112660 8738869248 6136 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19583] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19583/stat : 19583 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112660 8738869248 6136 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19584] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19584/stat : 19584 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112660 8738869248 6136 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19585] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19585/stat : 19585 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112660 8738869248 6136 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19586] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19586/stat : 19586 (java) S 19574 19576 19576 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948112661 8738869248 6137 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469882368 0 0 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19587] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19587/stat : 19587 (java) S 19574 19576 19576 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948112661 8738869248 6137 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19588] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19588/stat : 19588 (java) S 19574 19576 19576 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948112661 8738869248 6137 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19589] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19589/stat : 19589 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112663 8738869248 6137 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469889457 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19590] ppid=19574 vsize=8534052 CPUtime=0.03 cores=0,2,4,6
/proc/19576/task/19590/stat : 19590 (java) R 19574 19576 19576 0 -1 4202560 259 0 0 0 3 0 0 0 25 0 18 0 948112663 8738869248 6137 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19576/tid=19591] ppid=19574 vsize=8534052 CPUtime=0.05 cores=0,2,4,6
/proc/19576/task/19591/stat : 19591 (java) R 19574 19576 19576 0 -1 4202560 872 0 0 0 5 0 0 0 25 0 18 0 948112663 8738869248 6137 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 46989057617199 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19576/tid=19592] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19592/stat : 19592 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112663 8738869248 6137 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469881753 0 4 0 16800975 18446604444477681792 0 0 -1 6 0 0 0
[pid=19576/tid=19593] ppid=19574 vsize=8534052 CPUtime=0 cores=0,2,4,6
/proc/19576/task/19593/stat : 19593 (java) S 19574 19576 19576 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948112663 8738869248 6138 33554432000 1073741824 1073778376 140736473075264 18446744073709551615 252469882368 0 4 0 16800975 18446604444477681792 0 0 -1 0 0 0 0
[pid=19519/tid=19527] ppid=19517 vsize=363712 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19527/stat : 19527 (python) S 19517 19519 17566 0 -1 4202560 34 1546 0 0 0 0 42 6 18 0 7 0 948074994 372441088 11979 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 2 0 0 0
[pid=19519/tid=19533] ppid=19517 vsize=363712 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19533/stat : 19533 (python) S 19517 19519 17566 0 -1 4202560 30 1546 0 0 0 0 42 6 20 0 7 0 948079870 372441088 11979 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
[pid=19519/tid=19538] ppid=19517 vsize=363712 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19538/stat : 19538 (python) S 19517 19519 17566 0 -1 4202560 34 1546 0 0 0 0 42 6 18 0 7 0 948084478 372441088 11979 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
[pid=19519/tid=19543] ppid=19517 vsize=363712 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19543/stat : 19543 (python) S 19517 19519 17566 0 -1 4202560 32 1546 0 0 0 0 42 6 20 0 7 0 948089242 372441088 11979 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 6 0 0 0
[pid=19519/tid=19567] ppid=19517 vsize=363712 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19567/stat : 19567 (python) S 19517 19519 17566 0 -1 4202560 32 1546 0 0 0 0 42 6 20 0 7 0 948094029 372441088 11979 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
[pid=19519/tid=19575] ppid=19517 vsize=363712 CPUtime=0.48 cores=0,2,4,6
/proc/19519/task/19575/stat : 19575 (python) S 19517 19519 17566 0 -1 4202560 30 1546 0 0 0 0 42 6 20 0 7 0 948112658 372441088 11979 33554432000 4194304 5683644 140737205262208 18446744073709551615 252469889457 0 0 16781312 33554434 18446604442386922496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 383.63
Current children cumulated vsize (KiB) 20214652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19519 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=285652
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=232964
# CPU time returned by wait4() is 2.51862
# while last known CPU time is 383.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 379.491
CPU time (s): 383.63
CPU user time (s): 381.4
CPU system time (s): 2.23
CPU usage (%): 101.091
Max. virtual memory (cumulated for all children) (KiB): 20214652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.28565
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26310
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= 27525
involuntary context switches= 36
runsolver used 2.92755 second user time and 5.98209 second system time
The end