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-3482811-1307578226/watcher-3482811-1307578226 -o /tmp/evaluation-result-3482811-1307578226/solver-3482811-1307578226 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482811-1307578226.opb -seed 2115914433 -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.14 2.11 1.75 3/510 31096
/proc/meminfo: memFree=28158268/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 1052 0 0 0 1 0 0 0 20 0 1 0 869425048 16633856 923 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436016896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31096/statm: 4061 923 381 364 0 548 0
[startup+0.099471 s]
/proc/loadavg: 2.14 2.11 1.75 3/510 31096
/proc/meminfo: memFree=28158268/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 3170 931 1 0 5 1 0 0 18 0 1 0 869425048 98435072 2484 33554432000 4194304 5683644 140736406429152 18446744073709551615 5177488 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31096/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.100482 s]
/proc/loadavg: 2.14 2.11 1.75 3/510 31096
/proc/meminfo: memFree=28158268/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 3170 931 1 0 5 1 0 0 18 0 1 0 869425048 98435072 2484 33554432000 4194304 5683644 140736406429152 18446744073709551615 5178104 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31096/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300446 s]
/proc/loadavg: 2.14 2.11 1.75 3/510 31096
/proc/meminfo: memFree=28158268/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=177692 CPUtime=0.21 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 6250 931 1 0 17 4 0 0 17 0 1 0 869425048 181956608 4560 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436015104 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/31096/statm: 44424 4564 1238 364 0 3536 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 177692
[startup+0.700353 s]
/proc/loadavg: 2.14 2.11 1.75 3/510 31096
/proc/meminfo: memFree=28158268/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=295956 CPUtime=0.56 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 12424 931 1 0 49 7 0 0 17 0 1 0 869425048 303058944 10286 33554432000 4194304 5683644 140736406429152 18446744073709551615 212435677893 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31096/statm: 73989 10286 1781 364 0 8882 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 295956
[startup+1.5002 s]
/proc/loadavg: 2.14 2.11 1.75 3/511 31101
/proc/meminfo: memFree=28111504/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=329276 CPUtime=1.36 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 22737 931 1 0 128 8 0 0 18 0 1 0 869425048 337178624 18174 33554432000 4194304 5683644 140736406429152 18446744073709551615 47534541318853 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31096/statm: 82319 18175 1784 364 0 17212 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 329276
[startup+3.1009 s]
/proc/loadavg: 2.13 2.11 1.75 3/515 31105
/proc/meminfo: memFree=28026904/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=326512 CPUtime=2.96 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 27312 931 1 0 288 8 0 0 20 0 1 0 869425048 334348288 17976 33554432000 4194304 5683644 140736406429152 18446744073709551615 47534541416264 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/31096/statm: 81628 17976 1816 364 0 16521 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 326512
[startup+6.3003 s]
/proc/loadavg: 2.13 2.11 1.75 3/518 31108
/proc/meminfo: memFree=27610748/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=339792 CPUtime=3.46 cores=1,3,5,7
/proc/31096/stat : 31096 (python) S 31094 31096 29517 0 -1 4202496 28355 931 1 0 337 9 0 0 24 0 2 0 869425048 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31096/statm: 84948 18789 1872 364 0 19835 0
[pid=31106] ppid=31096 vsize=329548 CPUtime=0 cores=1,3,5,7
/proc/31106/stat : 31106 (python) S 31096 31096 29517 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 869425407 337457152 17264 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436037135 0 0 16781312 33554946 9395024875900338438 0 0 17 5 0 0 0
/proc/31106/statm: 82387 17264 351 364 0 17274 0
[pid=31108] ppid=31106 vsize=18972 CPUtime=2.69 cores=1,3,5,7
/proc/31108/stat : 31108 (clasp-1.3.7-x86) R 31106 31108 31108 0 -1 4202496 6282 0 0 0 269 0 0 0 25 0 1 0 869425408 19427328 4499 33554432000 134512640 136139019 4291869632 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31108/statm: 4743 4499 184 398 0 4343 0
[pid=31096/tid=31107] ppid=31094 vsize=339792 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31107/stat : 31107 (python) S 31094 31096 29517 0 -1 4202560 28 931 0 0 0 0 0 0 24 0 2 0 869425408 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 688312
[startup+12.7011 s]
/proc/loadavg: 2.19 2.12 1.76 3/518 31108
/proc/meminfo: memFree=27512688/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=339792 CPUtime=3.46 cores=1,3,5,7
/proc/31096/stat : 31096 (python) S 31094 31096 29517 0 -1 4202496 28355 931 1 0 337 9 0 0 24 0 2 0 869425048 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31096/statm: 84948 18789 1872 364 0 19835 0
[pid=31106] ppid=31096 vsize=329548 CPUtime=0.03 cores=1,3,5,7
/proc/31106/stat : 31106 (python) S 31096 31096 29517 0 -1 4202560 907 0 0 0 1 2 0 0 18 0 1 0 869425407 337457152 17288 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436037135 0 0 16781312 33554946 5623606151888251707 0 0 17 5 0 0 0
/proc/31106/statm: 82387 17288 375 364 0 17274 0
[pid=31108] ppid=31106 vsize=25712 CPUtime=9.1 cores=1,3,5,7
/proc/31108/stat : 31108 (clasp-1.3.7-x86) R 31106 31108 31108 0 -1 4202496 7951 0 0 0 909 1 0 0 25 0 1 0 869425408 26329088 6168 33554432000 134512640 136139019 4291869632 18446744073709551615 134608372 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31108/statm: 6428 6168 184 398 0 6028 0
[pid=31096/tid=31107] ppid=31094 vsize=339792 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31107/stat : 31107 (python) S 31094 31096 29517 0 -1 4202560 28 931 0 0 0 0 0 0 24 0 2 0 869425408 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 695052
[startup+25.5007 s]
/proc/loadavg: 2.16 2.11 1.76 3/518 31109
/proc/meminfo: memFree=27422792/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=339792 CPUtime=3.46 cores=1,3,5,7
/proc/31096/stat : 31096 (python) S 31094 31096 29517 0 -1 4202496 28355 931 1 0 337 9 0 0 24 0 2 0 869425048 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31096/statm: 84948 18789 1872 364 0 19835 0
[pid=31106] ppid=31096 vsize=329548 CPUtime=0.08 cores=1,3,5,7
/proc/31106/stat : 31106 (python) S 31096 31096 29517 0 -1 4202560 911 0 0 0 4 4 0 0 18 0 1 0 869425407 337457152 17288 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436037135 0 0 16781312 33554946 5623753486446373691 0 0 17 7 0 0 0
/proc/31106/statm: 82387 17288 375 364 0 17274 0
[pid=31108] ppid=31106 vsize=33808 CPUtime=21.9 cores=1,3,5,7
/proc/31108/stat : 31108 (clasp-1.3.7-x86) R 31106 31108 31108 0 -1 4202496 9966 0 0 0 2189 1 0 0 25 0 1 0 869425408 34619392 8183 33554432000 134512640 136139019 4291869632 18446744073709551615 134876511 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31108/statm: 8452 8183 184 398 0 8052 0
[pid=31096/tid=31107] ppid=31094 vsize=339792 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31107/stat : 31107 (python) S 31094 31096 29517 0 -1 4202560 28 931 0 0 0 0 0 0 24 0 2 0 869425408 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 703148
[startup+51.1008 s]
/proc/loadavg: 2.10 2.10 1.77 3/518 31109
/proc/meminfo: memFree=27311148/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=339792 CPUtime=3.46 cores=1,3,5,7
/proc/31096/stat : 31096 (python) S 31094 31096 29517 0 -1 4202496 28355 931 1 0 337 9 0 0 24 0 2 0 869425048 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31096/statm: 84948 18789 1872 364 0 19835 0
[pid=31106] ppid=31096 vsize=329548 CPUtime=0.18 cores=1,3,5,7
/proc/31106/stat : 31106 (python) S 31096 31096 29517 0 -1 4202560 1013 0 0 0 8 10 0 0 18 0 1 0 869425407 337457152 17293 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436037135 0 0 16781312 33554946 5623753486446373691 0 0 17 7 0 0 0
/proc/31106/statm: 82387 17293 380 364 0 17274 0
[pid=31108] ppid=31106 vsize=39532 CPUtime=47.49 cores=1,3,5,7
/proc/31108/stat : 31108 (clasp-1.3.7-x86) R 31106 31108 31108 0 -1 4202496 11393 0 0 0 4748 1 0 0 25 0 1 0 869425408 40480768 9610 33554432000 134512640 136139019 4291869632 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31108/statm: 9883 9610 184 398 0 9483 0
[pid=31096/tid=31107] ppid=31094 vsize=339792 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31107/stat : 31107 (python) S 31094 31096 29517 0 -1 4202560 28 931 0 0 0 0 0 0 24 0 2 0 869425408 347947008 18789 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 708872
[startup+102.301 s]
/proc/loadavg: 2.13 2.11 1.79 3/527 31120
/proc/meminfo: memFree=26307520/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=350052 CPUtime=6.11 cores=1,3,5,7
/proc/31096/stat : 31096 (python) R 31094 31096 29517 0 -1 4202496 29877 931 1 0 601 10 0 0 23 0 3 0 869425048 358453248 18797 33554432000 4194304 5683644 140736406429152 18446744073709551615 47534541439108 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31096/statm: 87513 18797 1875 364 0 22397 0
[pid=31106] ppid=31096 vsize=339792 CPUtime=0.19 cores=1,3,5,7
/proc/31106/stat : 31106 (python) S 31096 31096 29517 0 -1 4202560 1143 0 0 0 8 11 0 0 19 0 2 0 869425407 347947008 17329 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31106/statm: 84948 17329 411 364 0 19835 0
[pid=31108] ppid=31106 vsize=39532 CPUtime=48.2 cores=1,3,5,7
/proc/31108/stat : 31108 (clasp-1.3.7-x86) T 31106 31108 31108 0 -1 4202496 11393 0 0 0 4819 1 0 0 25 0 1 0 869425408 40480768 9610 33554432000 134512640 136139019 4291869632 18446744073709551615 134875605 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/31108/statm: 9883 9610 184 398 0 9483 0
[pid=31106/tid=31111] ppid=31096 vsize=339792 CPUtime=0 cores=1,3,5,7
/proc/31106/task/31111/stat : 31111 (python) S 31096 31096 29517 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869430229 347947008 17329 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604464701199424 0 0 -1 7 0 0 0
[pid=31112] ppid=31096 vsize=339804 CPUtime=0.19 cores=1,3,5,7
/proc/31112/stat : 31112 (python) S 31096 31096 29517 0 -1 4202560 1112 0 0 0 9 10 0 0 16 0 2 0 869430231 347959296 17314 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31112/statm: 84951 17314 396 364 0 19835 0
[pid=31114] ppid=31112 vsize=827964 CPUtime=47.83 cores=1,3,5,7
/proc/31114/stat : 31114 (scip-2.0.1.linu) T 31112 31114 31114 0 -1 4202496 200688 0 0 0 4670 113 0 0 25 0 1 0 869430231 847835136 199965 33554432000 4194304 13684479 140736797544496 18446744073709551615 4880958 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31114/statm: 206991 199965 640 2317 0 204669 0
[pid=31112/tid=31119] ppid=31096 vsize=339804 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31119/stat : 31119 (python) S 31096 31096 29517 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869435016 347959296 17314 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604464860808256 0 0 -1 7 0 0 0
[pid=31096/tid=31107] ppid=31094 vsize=350052 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31107/stat : 31107 (python) S 31094 31096 29517 0 -1 4202560 28 931 0 0 0 0 0 0 24 0 3 0 869425408 358453248 18797 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
[pid=31096/tid=31113] ppid=31094 vsize=350052 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31113/stat : 31113 (python) S 31094 31096 29517 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 869430231 358453248 18797 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.52
Current children cumulated vsize (KiB) 1897144
[startup+162.301 s]
/proc/loadavg: 2.09 2.11 1.81 3/539 31133
/proc/meminfo: memFree=24772072/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=370560 CPUtime=12.84 cores=1,3,5,7
/proc/31096/stat : 31096 (python) S 31094 31096 29517 0 -1 4202496 31139 931 1 0 1272 12 0 0 19 0 5 0 869425048 379453440 18808 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31096/statm: 92640 18808 1879 364 0 27518 0
[pid=31106] ppid=31096 vsize=339792 CPUtime=0.19 cores=1,3,5,7
/proc/31106/stat : 31106 (python) S 31096 31096 29517 0 -1 4202560 1143 0 0 0 8 11 0 0 19 0 2 0 869425407 347947008 17329 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31106/statm: 84948 17329 411 364 0 19835 0
[pid=31108] ppid=31106 vsize=39532 CPUtime=48.2 cores=1,3,5,7
/proc/31108/stat : 31108 (clasp-1.3.7-x86) T 31106 31108 31108 0 -1 4202496 11393 0 0 0 4819 1 0 0 25 0 1 0 869425408 40480768 9610 33554432000 134512640 136139019 4291869632 18446744073709551615 134875605 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/31108/statm: 9883 9610 184 398 0 9483 0
[pid=31106/tid=31111] ppid=31096 vsize=339792 CPUtime=0 cores=1,3,5,7
/proc/31106/task/31111/stat : 31111 (python) S 31096 31096 29517 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869430229 347947008 17329 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604464701199424 0 0 -1 7 0 0 0
[pid=31112] ppid=31096 vsize=339804 CPUtime=0.19 cores=1,3,5,7
/proc/31112/stat : 31112 (python) S 31096 31096 29517 0 -1 4202560 1112 0 0 0 9 10 0 0 16 0 2 0 869430231 347959296 17314 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31112/statm: 84951 17314 396 364 0 19835 0
[pid=31114] ppid=31112 vsize=827964 CPUtime=47.83 cores=1,3,5,7
/proc/31114/stat : 31114 (scip-2.0.1.linu) T 31112 31114 31114 0 -1 4202496 200688 0 0 0 4670 113 0 0 25 0 1 0 869430231 847835136 199965 33554432000 4194304 13684479 140736797544496 18446744073709551615 4880958 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31114/statm: 206991 199965 640 2317 0 204669 0
[pid=31112/tid=31119] ppid=31096 vsize=339804 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/31169/stat : 31169 (bsolo_pb10) T 31167 31169 31169 0 -1 4202496 12884 0 0 0 9391 5 0 0 25 0 1 0 869519656 55382016 10855 33554432000 134512640 137138936 4287060528 18446744073709551615 136520965 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/31169/statm: 13521 10855 184 642 0 12877 0
[pid=31167/tid=31174] ppid=31096 vsize=380828 CPUtime=0 cores=1,3,5,7
/proc/31167/task/31174/stat : 31174 (python) S 31096 31096 29517 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869529053 389967872 17330 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604469673433024 0 0 -1 7 0 0 0
[pid=31214] ppid=31096 vsize=391084 CPUtime=0.05 cores=1,3,5,7
/proc/31214/stat : 31214 (python) S 31096 31096 29517 0 -1 4202560 974 0 0 0 2 3 0 0 15 0 1 0 869583929 400470016 17309 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436037190 0 0 16781312 33554946 5623753486446373691 0 0 17 7 0 0 0
/proc/31214/statm: 97771 17309 372 364 0 32640 0
[pid=31216] ppid=31214 vsize=50272 CPUtime=13.47 cores=1,3,5,7
/proc/31216/stat : 31216 (wbo1.4b-fixed) R 31214 31216 31216 0 -1 4202496 13996 0 0 0 1339 8 0 0 25 0 1 0 869583929 51478528 11819 33554432000 134512640 135752315 4286817520 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/31216/statm: 12568 11819 146 303 0 12263 0
[pid=31096/tid=31107] ppid=31094 vsize=401328 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31107/stat : 31107 (python) S 31094 31096 29517 0 -1 4202560 38 931 0 0 0 0 0 0 15 0 8 0 869425408 410959872 18826 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
[pid=31096/tid=31113] ppid=31094 vsize=401328 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31113/stat : 31113 (python) S 31094 31096 29517 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 8 0 869430231 410959872 18826 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31126] ppid=31094 vsize=401328 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31126/stat : 31126 (python) S 31094 31096 29517 0 -1 4202560 30 931 0 0 0 0 0 0 25 0 8 0 869435949 410959872 18826 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31131] ppid=31094 vsize=401328 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31131/stat : 31131 (python) S 31094 31096 29517 0 -1 4202560 33 931 0 0 0 0 0 0 18 0 8 0 869440758 410959872 18826 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31142] ppid=31094 vsize=401328 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31142/stat : 31142 (python) S 31094 31096 29517 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 8 0 869450174 410959872 18826 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31168] ppid=31094 vsize=401328 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31168/stat : 31168 (python) S 31094 31096 29517 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 8 0 869519656 410959872 18826 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 7 0 0 0
[pid=31096/tid=31215] ppid=31094 vsize=401328 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31215/stat : 31215 (python) S 31094 31096 29517 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869583929 410959872 18826 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1608.86
Current children cumulated vsize (KiB) 7619032
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1636.6 s]
/proc/loadavg: 1.82 2.00 1.97 4/576 31280
/proc/meminfo: memFree=19316652/32951124 swapFree=34789492/67111528
[pid=31096] ppid=31094 vsize=411584 CPUtime=13.02 cores=1,3,5,7
/proc/31096/stat : 31096 (python) S 31094 31096 29517 0 -1 4202496 35072 931 1 0 1289 13 0 0 20 0 9 0 869425048 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31096/statm: 102896 18832 1887 364 0 37762 0
[pid=31106] ppid=31096 vsize=339792 CPUtime=0.98 cores=1,3,5,7
/proc/31106/stat : 31106 (python) S 31096 31096 29517 0 -1 4202560 1209 0 0 0 46 52 0 0 18 0 2 0 869425407 347947008 17330 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31106/statm: 84948 17330 412 364 0 19835 0
[pid=31108] ppid=31106 vsize=77188 CPUtime=233.04 cores=1,3,5,7
/proc/31108/stat : 31108 (clasp-1.3.7-x86) T 31106 31108 31108 0 -1 4202496 20725 0 0 0 23302 2 0 0 25 0 1 0 869425408 79040512 18942 33554432000 134512640 136139019 4291869632 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/31108/statm: 19297 18942 184 398 0 18897 0
[pid=31106/tid=31111] ppid=31096 vsize=339792 CPUtime=0 cores=1,3,5,7
/proc/31106/task/31111/stat : 31111 (python) S 31096 31096 29517 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 2 0 869430229 347947008 17330 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604464701199424 0 0 -1 7 0 0 0
[pid=31112] ppid=31096 vsize=339804 CPUtime=4.53 cores=1,3,5,7
/proc/31112/stat : 31112 (python) S 31096 31096 29517 0 -1 4202560 1196 0 0 0 217 236 0 0 15 0 2 0 869430231 347959296 17314 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31112/statm: 84951 17314 396 364 0 19835 0
[pid=31114] ppid=31112 vsize=3162624 CPUtime=1056.59 cores=1,3,5,7
/proc/31114/stat : 31114 (scip-2.0.1.linu) T 31112 31114 31114 0 -1 4202496 784174 0 0 0 105278 381 0 0 25 0 1 0 869430231 3238526976 780030 33554432000 4194304 13684479 140736797544496 18446744073709551615 4820555 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31114/statm: 790656 780030 660 2317 0 788334 0
[pid=31112/tid=31119] ppid=31096 vsize=339804 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31119/stat : 31119 (python) S 31096 31096 29517 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869435016 347959296 17314 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604464860808256 0 0 -1 7 0 0 0
[pid=31125] ppid=31096 vsize=350060 CPUtime=0.2 cores=1,3,5,7
/proc/31125/stat : 31125 (python) S 31096 31096 29517 0 -1 4202560 1116 0 0 0 10 10 0 0 17 0 2 0 869435949 358461440 17318 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31125/statm: 87515 17318 396 364 0 22396 0
[pid=31127] ppid=31125 vsize=263856 CPUtime=48.05 cores=1,3,5,7
/proc/31127/stat : 31127 (minion) T 31125 31127 31127 0 -1 4202496 71472 0 0 0 4798 7 0 0 25 0 1 0 869435949 270188544 58415 33554432000 134512640 165565024 4287981936 18446744073709551615 142424548 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/31127/statm: 65964 58415 346 7582 0 58379 0
[pid=31125/tid=31129] ppid=31096 vsize=350060 CPUtime=0 cores=1,3,5,7
/proc/31125/task/31129/stat : 31129 (python) S 31096 31096 29517 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869440756 358461440 17318 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604454416744576 0 0 -1 7 0 0 0
[pid=31130] ppid=31096 vsize=360316 CPUtime=0.41 cores=1,3,5,7
/proc/31130/stat : 31130 (python) S 31096 31096 29517 0 -1 4202560 1186 0 0 0 18 23 0 0 16 0 2 0 869440758 368963584 17322 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31130/statm: 90079 17322 396 364 0 24957 0
[pid=31132] ppid=31130 vsize=1011424 CPUtime=93.1 cores=1,3,5,7
/proc/31132/stat : 31132 (scip-2.0.1.linu) T 31130 31132 31132 0 -1 4202496 245717 0 0 0 9188 122 0 0 25 0 1 0 869440759 1035698176 244992 33554432000 4194304 15243407 140733321915008 18446744073709551615 4698702 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/31132/statm: 252856 244992 688 2698 0 250151 0
[pid=31130/tid=31135] ppid=31096 vsize=360316 CPUtime=0 cores=1,3,5,7
/proc/31130/task/31135/stat : 31135 (python) S 31096 31096 29517 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 869445548 368963584 17322 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604470755898496 0 0 -1 7 0 0 0
[pid=31141] ppid=31096 vsize=370572 CPUtime=0.21 cores=1,3,5,7
/proc/31141/stat : 31141 (python) S 31096 31096 29517 0 -1 4202560 1154 0 0 0 9 12 0 0 17 0 2 0 869450174 379465728 17326 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31141/statm: 92643 17326 396 364 0 27518 0
[pid=31143] ppid=31141 vsize=65800 CPUtime=50.86 cores=1,3,5,7
/proc/31143/stat : 31143 (wbo1.4a) T 31141 31143 31143 0 -1 4202496 17853 0 0 0 5051 35 0 0 25 0 1 0 869450175 67379200 15676 33554432000 134512640 135751879 4290347008 18446744073709551615 134611297 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/31143/statm: 16450 15676 143 303 0 16145 0
[pid=31141/tid=31146] ppid=31096 vsize=370572 CPUtime=0 cores=1,3,5,7
/proc/31141/task/31146/stat : 31146 (python) S 31096 31096 29517 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869455262 379465728 17326 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604468154850240 0 0 -1 7 0 0 0
[pid=31167] ppid=31096 vsize=380828 CPUtime=0.39 cores=1,3,5,7
/proc/31167/stat : 31167 (python) S 31096 31096 29517 0 -1 4202560 1169 0 0 0 17 22 0 0 16 0 2 0 869519655 389967872 17330 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31167/statm: 95207 17330 396 364 0 30079 0
[pid=31169] ppid=31167 vsize=54084 CPUtime=93.96 cores=1,3,5,7
/proc/31169/stat : 31169 (bsolo_pb10) T 31167 31169 31169 0 -1 4202496 12884 0 0 0 9391 5 0 0 25 0 1 0 869519656 55382016 10855 33554432000 134512640 137138936 4287060528 18446744073709551615 136520965 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/31169/statm: 13521 10855 184 642 0 12877 0
[pid=31167/tid=31174] ppid=31096 vsize=380828 CPUtime=0 cores=1,3,5,7
/proc/31167/task/31174/stat : 31174 (python) S 31096 31096 29517 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869529053 389967872 17330 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604469673433024 0 0 -1 7 0 0 0
[pid=31214] ppid=31096 vsize=391084 CPUtime=0.2 cores=1,3,5,7
/proc/31214/stat : 31214 (python) S 31096 31096 29517 0 -1 4202560 1147 0 0 0 9 11 0 0 16 0 2 0 869583929 400470016 17334 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31214/statm: 97771 17334 396 364 0 32640 0
[pid=31216] ppid=31214 vsize=77532 CPUtime=46.73 cores=1,3,5,7
/proc/31216/stat : 31216 (wbo1.4b-fixed) T 31214 31216 31216 0 -1 4202496 20753 0 0 0 4641 32 0 0 25 0 1 0 869583929 79392768 18576 33554432000 134512640 135752315 4286817520 18446744073709551615 134615722 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/31216/statm: 19383 18576 146 303 0 19078 0
[pid=31214/tid=31260] ppid=31096 vsize=391084 CPUtime=0 cores=1,3,5,7
/proc/31214/task/31260/stat : 31260 (python) S 31096 31096 29517 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869588603 400470016 17334 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554946 18446604468694282304 0 0 -1 7 0 0 0
[pid=31261] ppid=31096 vsize=401340 CPUtime=0 cores=1,3,5,7
/proc/31261/stat : 31261 (python) S 31096 31096 29517 0 -1 4202560 826 0 0 0 0 0 0 0 19 0 1 0 869588604 410972160 17289 33554432000 4194304 5683644 140736406429152 18446744073709551615 212436037190 0 0 16781312 33554946 628893618563710976 0 0 17 5 0 0 0
/proc/31261/statm: 100335 17289 348 364 0 35201 0
[pid=31263] ppid=31261 vsize=8537288 CPUtime=1.62 cores=1,3,5,7
/proc/31263/stat : 31263 (java) S 31261 31263 31263 0 -1 4202496 48546 0 1 0 155 7 0 0 20 0 18 0 869588604 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/31263/statm: 2134322 45579 2229 9 0 2125063 0
[pid=31263/tid=31264] ppid=31261 vsize=8537288 CPUtime=1.01 cores=1,3,5,7
/proc/31263/task/31264/stat : 31264 (java) R 31261 31263 31263 0 -1 4202560 35221 0 1 0 96 5 0 0 25 0 18 0 869588605 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 46912505522110 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=8537288 CPUtime=0.01 cores=1,3,5,7
/proc/31263/task/31265/stat : 31265 (java) S 31261 31263 31263 0 -1 4202560 1159 0 0 0 1 0 0 0 15 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 7 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=8537288 CPUtime=0.01 cores=1,3,5,7
/proc/31263/task/31266/stat : 31266 (java) S 31261 31263 31263 0 -1 4202560 1268 0 0 0 1 0 0 0 15 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 5 0 0 0
[pid=31263/tid=31267] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31267/stat : 31267 (java) S 31261 31263 31263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 7 0 0 0
[pid=31263/tid=31268] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31268/stat : 31268 (java) S 31261 31263 31263 0 -1 4202560 257 0 0 0 0 0 0 0 16 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 5 0 0 0
[pid=31263/tid=31269] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31269/stat : 31269 (java) S 31261 31263 31263 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 5 0 0 0
[pid=31263/tid=31270] ppid=31261 vsize=8537288 CPUtime=0.02 cores=1,3,5,7
/proc/31263/task/31270/stat : 31270 (java) S 31261 31263 31263 0 -1 4202560 1978 0 0 0 2 0 0 0 16 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 7 0 0 0
[pid=31263/tid=31271] ppid=31261 vsize=8537288 CPUtime=0.02 cores=1,3,5,7
/proc/31263/task/31271/stat : 31271 (java) S 31261 31263 31263 0 -1 4202560 1780 0 0 0 2 0 0 0 16 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 5 0 0 0
[pid=31263/tid=31272] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31272/stat : 31272 (java) S 31261 31263 31263 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869588606 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 5 0 0 0
[pid=31263/tid=31273] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31273/stat : 31273 (java) S 31261 31263 31263 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 18 0 869588607 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447833600 0 0 0 16800975 18446604464806636416 0 0 -1 7 0 0 0
[pid=31263/tid=31274] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31274/stat : 31274 (java) S 31261 31263 31263 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869588607 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 7 0 0 0
[pid=31263/tid=31275] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31275/stat : 31275 (java) S 31261 31263 31263 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869588607 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 7 0 0 0
[pid=31263/tid=31276] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31276/stat : 31276 (java) S 31261 31263 31263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869588609 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447840689 0 4 0 16800975 18446604464806636416 0 0 -1 7 0 0 0
[pid=31263/tid=31277] ppid=31261 vsize=8537288 CPUtime=0.25 cores=1,3,5,7
/proc/31263/task/31277/stat : 31277 (java) S 31261 31263 31263 0 -1 4202560 3392 0 0 0 25 0 0 0 20 0 18 0 869588609 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 5 0 0 0
[pid=31263/tid=31278] ppid=31261 vsize=8537288 CPUtime=0.24 cores=1,3,5,7
/proc/31263/task/31278/stat : 31278 (java) S 31261 31263 31263 0 -1 4202560 2038 0 0 0 24 0 0 0 22 0 18 0 869588609 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 1 0 0 0
[pid=31263/tid=31279] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31279/stat : 31279 (java) S 31261 31263 31263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869588609 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447832985 0 4 0 16800975 18446604464806636416 0 0 -1 5 0 0 0
[pid=31263/tid=31280] ppid=31261 vsize=8537288 CPUtime=0 cores=1,3,5,7
/proc/31263/task/31280/stat : 31280 (java) R 31261 31263 31263 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869588609 8742182912 45579 33554432000 1073741824 1073778376 140733601922272 18446744073709551615 212447833600 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31096/tid=31107] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31107/stat : 31107 (python) S 31094 31096 29517 0 -1 4202560 38 931 0 0 0 0 0 0 15 0 9 0 869425408 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
[pid=31096/tid=31113] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31113/stat : 31113 (python) S 31094 31096 29517 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 9 0 869430231 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31126] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31126/stat : 31126 (python) S 31094 31096 29517 0 -1 4202560 30 931 0 0 0 0 0 0 25 0 9 0 869435949 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31131] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31131/stat : 31131 (python) S 31094 31096 29517 0 -1 4202560 33 931 0 0 0 0 0 0 18 0 9 0 869440758 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31142] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31142/stat : 31142 (python) S 31094 31096 29517 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 9 0 869450174 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31168] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31168/stat : 31168 (python) S 31094 31096 29517 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 9 0 869519656 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 7 0 0 0
[pid=31096/tid=31215] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31215/stat : 31215 (python) S 31094 31096 29517 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 9 0 869583929 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 3 0 0 0
[pid=31096/tid=31262] ppid=31094 vsize=411584 CPUtime=0 cores=1,3,5,7
/proc/31096/task/31262/stat : 31262 (python) S 31094 31096 29517 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 9 0 869588604 421462016 18832 33554432000 4194304 5683644 140736406429152 18446744073709551615 212447840689 0 0 16781312 33554434 18446604462944737408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1643.89
Current children cumulated vsize (KiB) 16595176
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 31096 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=900038
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=135979
# CPU time returned by wait4() is 13.036
# while last known CPU time is 1643.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1636.69
CPU time (s): 1643.89
CPU user time (s): 1634.19
CPU system time (s): 9.7
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 16595176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36008
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= 1033
involuntary context switches= 42
runsolver used 8.99063 second user time and 19.756 second system time
The end