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-3481590-1307578407/watcher-3481590-1307578407 -o /tmp/evaluation-result-3481590-1307578407/solver-3481590-1307578407 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481590-1307578407.opb -seed 202694231 -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: 1.98 2.12 1.86 3/737 16409
/proc/meminfo: memFree=18810876/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 820 0 0 0 0 0 0 0 22 0 1 0 869438961 15749120 704 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/16409/statm: 3845 704 334 364 0 332 0
[startup+0.036723 s]
/proc/loadavg: 1.98 2.12 1.86 3/737 16409
/proc/meminfo: memFree=18810876/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 1236 0 0 0 1 0 0 0 22 0 1 0 869438961 19341312 1092 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335890432 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/16409/statm: 4723 1094 421 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100683 s]
/proc/loadavg: 1.98 2.12 1.86 3/737 16409
/proc/meminfo: memFree=18810876/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/16409/stat : 16409 (python) R 16407 16409 14938 0 -1 4202496 2666 0 0 0 5 1 0 0 18 0 1 0 869438961 87674880 2382 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335888229 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16409/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300685 s]
/proc/loadavg: 1.98 2.12 1.86 3/737 16409
/proc/meminfo: memFree=18810876/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=123740 CPUtime=0.19 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 5358 931 1 0 13 6 0 0 17 0 1 0 869438961 126709760 3744 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/16409/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123740
[startup+0.700607 s]
/proc/loadavg: 1.98 2.12 1.86 3/737 16409
/proc/meminfo: memFree=18810876/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=282404 CPUtime=0.45 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 9206 931 1 0 32 13 0 0 16 0 1 0 869438961 289181696 6938 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335912463 0 0 16781312 2 4294934786 0 0 17 4 0 0 0
/proc/16409/statm: 70601 6938 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 282404
[startup+1.50047 s]
/proc/loadavg: 1.98 2.12 1.86 3/738 16415
/proc/meminfo: memFree=18779312/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=291456 CPUtime=1.29 cores=0,2,4,6
/proc/16409/stat : 16409 (python) R 16407 16409 14938 0 -1 4202496 14491 1430 1 0 92 15 22 0 18 0 1 0 869438961 298450944 9213 33554432000 4194304 5683644 140733353890512 18446744073709551615 232339301045 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/16409/statm: 72864 9213 1817 364 0 7757 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 291456
[startup+3.28912 s]
/proc/loadavg: 1.98 2.12 1.86 3/738 16415
/proc/meminfo: memFree=18779312/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=302368 CPUtime=1.38 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 15318 1430 1 0 101 15 22 0 20 0 2 0 869438961 309624832 9432 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16409/statm: 75592 9432 1871 364 0 10479 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 302368
heavy processes:
[startup+6.30064 s]
/proc/loadavg: 2.22 2.17 1.88 3/741 16419
/proc/meminfo: memFree=18624408/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=302368 CPUtime=1.38 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 15318 1430 1 0 101 15 22 0 20 0 2 0 869438961 309624832 9432 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16409/statm: 75592 9432 1871 364 0 10479 0
[pid=16416] ppid=16409 vsize=292124 CPUtime=0.01 cores=0,2,4,6
/proc/16416/stat : 16416 (python) S 16409 16409 14938 0 -1 4202560 874 0 0 0 0 1 0 0 15 0 1 0 869439121 299134976 7899 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335912463 0 0 16781312 33554946 3904794157385744641 0 0 17 4 0 0 0
/proc/16416/statm: 73031 7899 342 364 0 7918 0
[pid=16418] ppid=16416 vsize=167608 CPUtime=4.68 cores=0,2,4,6
/proc/16418/stat : 16418 (scip-2.0.1.linu) R 16416 16418 16418 0 -1 4202496 40065 0 0 0 456 12 0 0 25 0 1 0 869439121 171630592 37930 33554432000 4194304 13684479 140733686013472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16418/statm: 41902 37930 729 2317 0 39580 0
[pid=16409/tid=16417] ppid=16407 vsize=302368 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16417/stat : 16417 (python) S 16407 16409 14938 0 -1 4202560 27 1430 0 0 0 0 22 0 20 0 2 0 869439121 309624832 9432 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 762100
[startup+12.7005 s]
/proc/loadavg: 2.37 2.20 1.89 3/741 16419
/proc/meminfo: memFree=18619056/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=302368 CPUtime=1.38 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 15318 1430 1 0 101 15 22 0 20 0 2 0 869438961 309624832 9432 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16409/statm: 75592 9432 1871 364 0 10479 0
[pid=16416] ppid=16409 vsize=292124 CPUtime=0.04 cores=0,2,4,6
/proc/16416/stat : 16416 (python) S 16409 16409 14938 0 -1 4202560 881 0 0 0 2 2 0 0 15 0 1 0 869439121 299134976 7899 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335912463 0 0 16781312 33554946 72409437758827288 0 0 17 4 0 0 0
/proc/16416/statm: 73031 7899 342 364 0 7918 0
[pid=16418] ppid=16416 vsize=167608 CPUtime=11.08 cores=0,2,4,6
/proc/16418/stat : 16418 (scip-2.0.1.linu) R 16416 16418 16418 0 -1 4202496 40078 0 0 0 1095 13 0 0 25 0 1 0 869439121 171630592 37943 33554432000 4194304 13684479 140733686013472 18446744073709551615 7354556 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16418/statm: 41902 37943 729 2317 0 39580 0
[pid=16409/tid=16417] ppid=16407 vsize=302368 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16417/stat : 16417 (python) S 16407 16409 14938 0 -1 4202560 27 1430 0 0 0 0 22 0 20 0 2 0 869439121 309624832 9432 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 762100
[startup+25.5012 s]
/proc/loadavg: 2.28 2.19 1.89 3/741 16419
/proc/meminfo: memFree=18608368/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=302368 CPUtime=1.38 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 15318 1430 1 0 101 15 22 0 20 0 2 0 869438961 309624832 9432 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16409/statm: 75592 9432 1871 364 0 10479 0
[pid=16416] ppid=16409 vsize=292124 CPUtime=0.09 cores=0,2,4,6
/proc/16416/stat : 16416 (python) S 16409 16409 14938 0 -1 4202560 888 0 0 0 5 4 0 0 15 0 1 0 869439121 299134976 7899 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335912463 0 0 16781312 33554946 72409437758827288 0 0 17 4 0 0 0
/proc/16416/statm: 73031 7899 342 364 0 7918 0
[pid=16418] ppid=16416 vsize=177840 CPUtime=23.87 cores=0,2,4,6
/proc/16418/stat : 16418 (scip-2.0.1.linu) R 16416 16418 16418 0 -1 4202496 42786 0 0 0 2373 14 0 0 25 0 1 0 869439121 182108160 40651 33554432000 4194304 13684479 140733686013472 18446744073709551615 7019326 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/16418/statm: 44460 40651 733 2317 0 42138 0
[pid=16409/tid=16417] ppid=16407 vsize=302368 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16417/stat : 16417 (python) S 16407 16409 14938 0 -1 4202560 27 1430 0 0 0 0 22 0 20 0 2 0 869439121 309624832 9432 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 772332
[startup+51.1196 s]
/proc/loadavg: 2.19 2.17 1.89 3/745 16424
/proc/meminfo: memFree=18540168/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=312624 CPUtime=1.4 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 16181 1430 1 0 103 15 22 0 20 0 3 0 869438961 320126976 9439 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16409/statm: 78156 9439 1874 364 0 13040 0
[pid=16416] ppid=16409 vsize=302368 CPUtime=0.2 cores=0,2,4,6
/proc/16416/stat : 16416 (python) S 16409 16409 14938 0 -1 4202560 1095 0 0 0 10 10 0 0 16 0 2 0 869439121 309624832 7967 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16416/statm: 75592 7967 405 364 0 10479 0
[pid=16418] ppid=16416 vsize=175312 CPUtime=48.74 cores=0,2,4,6
/proc/16418/stat : 16418 (scip-2.0.1.linu) T 16416 16418 16418 0 -1 4202496 51584 0 0 0 4857 17 0 0 25 0 1 0 869439121 179519488 39982 33554432000 4194304 13684479 140733686013472 18446744073709551615 7430428 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/16418/statm: 43828 39982 733 2317 0 41506 0
[pid=16416/tid=16421] ppid=16409 vsize=302368 CPUtime=0 cores=0,2,4,6
/proc/16416/task/16421/stat : 16421 (python) S 16409 16409 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869444002 309624832 7967 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442171686976 0 0 -1 0 0 0 0
[pid=16422] ppid=16409 vsize=302380 CPUtime=0 cores=0,2,4,6
/proc/16422/stat : 16422 (python) S 16409 16409 14938 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 869444004 309637120 7880 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335912518 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/16422/statm: 75595 7880 319 364 0 10479 0
[pid=16424] ppid=16422 vsize=95460 CPUtime=0.67 cores=0,2,4,6
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 22021 0 0 0 58 9 0 0 22 0 1 0 869444005 97751040 21270 33554432000 4194304 15243407 140736026859808 18446744073709551615 6711570 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16424/statm: 23865 21271 722 2698 0 21160 0
[pid=16409/tid=16417] ppid=16407 vsize=312624 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16417/stat : 16417 (python) S 16407 16409 14938 0 -1 4202560 27 1430 0 0 0 0 22 0 20 0 3 0 869439121 320126976 9439 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
[pid=16409/tid=16423] ppid=16407 vsize=312624 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16423/stat : 16423 (python) S 16407 16409 14938 0 -1 4202560 30 1430 0 0 0 0 22 0 20 0 3 0 869444004 320126976 9439 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 1188144
[startup+102.301 s]
/proc/loadavg: 2.12 2.16 1.91 3/749 16429
/proc/meminfo: memFree=18441408/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=322880 CPUtime=1.44 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 17047 1430 1 0 106 16 22 0 20 0 4 0 869438961 330629120 9445 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16409/statm: 80720 9445 1876 364 0 15601 0
[pid=16416] ppid=16409 vsize=302368 CPUtime=0.2 cores=0,2,4,6
/proc/16416/stat : 16416 (python) S 16409 16409 14938 0 -1 4202560 1095 0 0 0 10 10 0 0 16 0 2 0 869439121 309624832 7967 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16416/statm: 75592 7967 405 364 0 10479 0
[pid=16418] ppid=16416 vsize=175312 CPUtime=48.74 cores=0,2,4,6
/proc/16418/stat : 16418 (scip-2.0.1.linu) T 16416 16418 16418 0 -1 4202496 51584 0 0 0 4857 17 0 0 25 0 1 0 869439121 179519488 39982 33554432000 4194304 13684479 140733686013472 18446744073709551615 7430428 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/16418/statm: 43828 39982 733 2317 0 41506 0
[pid=16416/tid=16421] ppid=16409 vsize=302368 CPUtime=0 cores=0,2,4,6
/proc/16416/task/16421/stat : 16421 (python) S 16409 16409 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869444002 309624832 7967 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442171686976 0 0 -1 0 0 0 0
[pid=16422] ppid=16409 vsize=302380 CPUtime=0.2 cores=0,2,4,6
/proc/16422/stat : 16422 (python) S 16409 16409 14938 0 -1 4202560 1173 0 0 0 10 10 0 0 16 0 2 0 869444004 309637120 7958 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16422/statm: 75595 7958 396 364 0 10479 0
[pid=16424] ppid=16422 vsize=166304 CPUtime=48.83 cores=0,2,4,6
/proc/16424/stat : 16424 (scip-2.0.1.linu) T 16422 16424 16424 0 -1 4202496 121584 0 0 0 4856 27 0 0 25 0 1 0 869444005 170295296 33209 33554432000 4194304 15243407 140736026859808 18446744073709551615 8115265 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16424/statm: 41576 33209 838 2698 0 38871 0
[pid=16422/tid=16426] ppid=16409 vsize=302380 CPUtime=0 cores=0,2,4,6
/proc/16422/task/16426/stat : 16426 (python) S 16409 16409 14938 0 -1 4202560 113 0 0 0 0 0 0 0 16 0 2 0 869448889 309637120 7958 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453865503488 0 0 -1 6 0 0 0
[pid=16427] ppid=16409 vsize=312636 CPUtime=0 cores=0,2,4,6
/proc/16427/stat : 16427 (python) S 16409 16409 14938 0 -1 4202560 885 0 0 0 0 0 0 0 16 0 1 0 869448892 320139264 7891 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335912518 0 0 16781312 33554946 929325313903558656 0 0 17 0 0 0 0
/proc/16427/statm: 78159 7891 326 364 0 13040 0
[pid=16429] ppid=16427 vsize=18340 CPUtime=2.98 cores=0,2,4,6
/proc/16429/stat : 16429 (wbo1.4a) R 16427 16429 16429 0 -1 4202496 5247 0 0 0 296 2 0 0 25 0 1 0 869448892 18780160 4084 33554432000 134512640 135751879 4288500016 18446744073709551615 134606453 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/16429/statm: 4585 4084 146 303 0 4280 0
[pid=16409/tid=16417] ppid=16407 vsize=322880 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16417/stat : 16417 (python) S 16407 16409 14938 0 -1 4202560 27 1430 0 0 0 0 22 0 20 0 4 0 869439121 330629120 9445 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
[pid=16409/tid=16423] ppid=16407 vsize=322880 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16423/stat : 16423 (python) S 16407 16409 14938 0 -1 4202560 30 1430 0 0 0 0 22 0 20 0 4 0 869444004 330629120 9445 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 0 0 0 0
[pid=16409/tid=16428] ppid=16407 vsize=322880 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16428/stat : 16428 (python) S 16407 16409 14938 0 -1 4202560 30 1430 0 0 0 0 22 0 20 0 4 0 869448892 330629120 9445 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 1600220
[startup+162.302 s]
/proc/loadavg: 2.18 2.16 1.92 3/771 16453
################
# More data... #
################
[pid=16409/tid=16423] ppid=16407 vsize=343392 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16423/stat : 16423 (python) S 16407 16409 14938 0 -1 4202560 36 1430 0 0 0 0 22 0 18 0 6 0 869444004 351633408 9457 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 0 0 0 0
[pid=16409/tid=16428] ppid=16407 vsize=343392 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16428/stat : 16428 (python) S 16407 16409 14938 0 -1 4202560 30 1430 0 0 0 0 22 0 20 0 6 0 869448892 351633408 9457 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 0 0 0 0
[pid=16409/tid=16433] ppid=16407 vsize=343392 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16433/stat : 16433 (python) S 16407 16409 14938 0 -1 4202560 29 1430 0 0 0 0 22 0 20 0 6 0 869453731 351633408 9457 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
[pid=16409/tid=16461] ppid=16407 vsize=343392 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16461/stat : 16461 (python) S 16407 16409 14938 0 -1 4202560 32 1430 0 0 0 0 22 0 20 0 6 0 869462884 351633408 9457 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 345.49
Current children cumulated vsize (KiB) 11001656
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+378.801 s]
/proc/loadavg: 2.08 2.09 1.93 7/782 16647
/proc/meminfo: memFree=16887708/32951124 swapFree=57654872/67111528
[pid=16409] ppid=16407 vsize=353648 CPUtime=1.56 cores=0,2,4,6
/proc/16409/stat : 16409 (python) S 16407 16409 14938 0 -1 4202496 19881 1430 1 0 118 16 22 0 19 0 7 0 869438961 362135552 9463 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16409/statm: 88412 9463 1882 364 0 23284 0
[pid=16416] ppid=16409 vsize=302368 CPUtime=0.43 cores=0,2,4,6
/proc/16416/stat : 16416 (python) S 16409 16409 14938 0 -1 4202560 1123 0 0 0 21 22 0 0 15 0 2 0 869439121 309624832 7968 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16416/statm: 75592 7968 406 364 0 10479 0
[pid=16418] ppid=16416 vsize=262240 CPUtime=94.74 cores=0,2,4,6
/proc/16418/stat : 16418 (scip-2.0.1.linu) T 16416 16418 16418 0 -1 4202496 79258 0 0 0 9444 30 0 0 25 0 1 0 869439121 268533760 63017 33554432000 4194304 13684479 140733686013472 18446744073709551615 7390750 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/16418/statm: 65560 63017 823 2317 0 63238 0
[pid=16416/tid=16421] ppid=16409 vsize=302368 CPUtime=0 cores=0,2,4,6
/proc/16416/task/16421/stat : 16421 (python) S 16409 16409 14938 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869444002 309624832 7968 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442171686976 0 0 -1 0 0 0 0
[pid=16422] ppid=16409 vsize=302380 CPUtime=0.42 cores=0,2,4,6
/proc/16422/stat : 16422 (python) S 16409 16409 14938 0 -1 4202560 1212 0 0 0 19 23 0 0 16 0 2 0 869444004 309637120 7958 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/16422/statm: 75595 7958 396 364 0 10479 0
[pid=16424] ppid=16422 vsize=166804 CPUtime=94.96 cores=0,2,4,6
/proc/16424/stat : 16424 (scip-2.0.1.linu) T 16422 16424 16424 0 -1 4202496 205918 0 0 0 9454 42 0 0 25 0 1 0 869444005 170807296 33453 33554432000 4194304 15243407 140736026859808 18446744073709551615 7436014 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/16424/statm: 41701 33453 838 2698 0 38996 0
[pid=16422/tid=16426] ppid=16409 vsize=302380 CPUtime=0 cores=0,2,4,6
/proc/16422/task/16426/stat : 16426 (python) S 16409 16409 14938 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 2 0 869448889 309637120 7958 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453865503488 0 0 -1 6 0 0 0
[pid=16427] ppid=16409 vsize=312636 CPUtime=0.25 cores=0,2,4,6
/proc/16427/stat : 16427 (python) S 16409 16409 14938 0 -1 4202560 1205 0 0 0 13 12 0 0 16 0 2 0 869448892 320139264 7962 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16427/statm: 78159 7962 396 364 0 13040 0
[pid=16429] ppid=16427 vsize=82056 CPUtime=48.3 cores=0,2,4,6
/proc/16429/stat : 16429 (wbo1.4a) T 16427 16429 16429 0 -1 4202496 21157 0 0 0 4814 16 0 0 25 0 1 0 869448892 84025344 19994 33554432000 134512640 135751879 4288500016 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/16429/statm: 20514 19994 146 303 0 20209 0
[pid=16427/tid=16431] ppid=16409 vsize=312636 CPUtime=0 cores=0,2,4,6
/proc/16427/task/16431/stat : 16431 (python) S 16409 16409 14938 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869453728 320139264 7962 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604449691123904 0 0 -1 0 0 0 0
[pid=16432] ppid=16409 vsize=322892 CPUtime=0.21 cores=0,2,4,6
/proc/16432/stat : 16432 (python) S 16409 16409 14938 0 -1 4202560 1144 0 0 0 11 10 0 0 16 0 2 0 869453731 330641408 7960 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16432/statm: 80723 7960 390 364 0 15601 0
[pid=16434] ppid=16432 vsize=8545520 CPUtime=47.54 cores=0,2,4,6
/proc/16434/stat : 16434 (java) T 16432 16434 16434 0 -1 4202496 286952 0 1 0 4719 35 0 0 18 0 19 0 869453731 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16434/statm: 2136380 284393 2250 9 0 2127121 0
[pid=16434/tid=16435] ppid=16432 vsize=8545520 CPUtime=45.21 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (java) T 16432 16434 16434 0 -1 4202560 239077 0 1 0 4493 28 0 0 25 0 19 0 869453732 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 46912506029289 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16434/tid=16436] ppid=16432 vsize=8545520 CPUtime=0.05 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (java) T 16432 16434 16434 0 -1 4202560 4365 0 0 0 5 0 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16434/tid=16437] ppid=16432 vsize=8545520 CPUtime=0.06 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (java) T 16432 16434 16434 0 -1 4202560 5765 0 0 0 6 0 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16434/tid=16438] ppid=16432 vsize=8545520 CPUtime=0.05 cores=0,2,4,6
/proc/16434/task/16438/stat : 16438 (java) T 16432 16434 16434 0 -1 4202560 5198 0 0 0 5 0 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16434/tid=16439] ppid=16432 vsize=8545520 CPUtime=0.05 cores=0,2,4,6
/proc/16434/task/16439/stat : 16439 (java) T 16432 16434 16434 0 -1 4202560 4855 0 0 0 5 0 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16434/tid=16440] ppid=16432 vsize=8545520 CPUtime=0.06 cores=0,2,4,6
/proc/16434/task/16440/stat : 16440 (java) T 16432 16434 16434 0 -1 4202560 5425 0 0 0 5 1 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16434/tid=16441] ppid=16432 vsize=8545520 CPUtime=0.07 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (java) T 16432 16434 16434 0 -1 4202560 5578 0 0 0 7 0 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16434/tid=16442] ppid=16432 vsize=8545520 CPUtime=0.01 cores=0,2,4,6
/proc/16434/task/16442/stat : 16442 (java) T 16432 16434 16434 0 -1 4202560 1522 0 0 0 1 0 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16434/tid=16443] ppid=16432 vsize=8545520 CPUtime=0.04 cores=0,2,4,6
/proc/16434/task/16443/stat : 16443 (java) T 16432 16434 16434 0 -1 4202560 4019 0 0 0 4 0 0 0 15 0 19 0 869453733 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16434/tid=16444] ppid=16432 vsize=8545520 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16444/stat : 16444 (java) T 16432 16434 16434 0 -1 4202560 953 0 0 0 0 0 0 0 15 0 19 0 869453734 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16434/tid=16445] ppid=16432 vsize=8545520 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16445/stat : 16445 (java) T 16432 16434 16434 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869453734 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16434/tid=16446] ppid=16432 vsize=8545520 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16446/stat : 16446 (java) T 16432 16434 16434 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869453734 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16434/tid=16447] ppid=16432 vsize=8545520 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16447/stat : 16447 (java) T 16432 16434 16434 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869453737 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16434/tid=16448] ppid=16432 vsize=8545520 CPUtime=0.75 cores=0,2,4,6
/proc/16434/task/16448/stat : 16448 (java) T 16432 16434 16434 0 -1 4202560 3081 0 0 0 75 0 0 0 15 0 19 0 869453737 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16434/tid=16449] ppid=16432 vsize=8545520 CPUtime=1.06 cores=0,2,4,6
/proc/16434/task/16449/stat : 16449 (java) T 16432 16434 16434 0 -1 4202560 5717 0 0 0 106 0 0 0 15 0 19 0 869453737 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16434/tid=16450] ppid=16432 vsize=8545520 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16450/stat : 16450 (java) T 16432 16434 16434 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869453737 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16434/tid=16451] ppid=16432 vsize=8545520 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16451/stat : 16451 (java) T 16432 16434 16434 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869453737 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16434/tid=16452] ppid=16432 vsize=8545520 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16452/stat : 16452 (java) T 16432 16434 16434 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869453800 8750612480 284393 33554432000 1073741824 1073778376 140734874985680 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16432/tid=16454] ppid=16409 vsize=322892 CPUtime=0 cores=0,2,4,6
/proc/16432/task/16454/stat : 16454 (python) S 16409 16409 14938 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869458279 330641408 7960 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453925847168 0 0 -1 6 0 0 0
[pid=16460] ppid=16409 vsize=333148 CPUtime=0.4 cores=0,2,4,6
/proc/16460/stat : 16460 (python) S 16409 16409 14938 0 -1 4202560 1181 0 0 0 18 22 0 0 16 0 2 0 869462884 341143552 7964 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16460/statm: 83287 7964 390 364 0 18162 0
[pid=16462] ppid=16460 vsize=28624 CPUtime=92.85 cores=0,2,4,6
/proc/16462/stat : 16462 (clasp-1.3.7-x86) T 16460 16462 16462 0 -1 4202496 7511 0 0 0 9285 0 0 0 25 0 1 0 869462885 29310976 6921 33554432000 134512640 136139019 4293548192 18446744073709551615 134626724 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/16462/statm: 7156 6921 189 398 0 6756 0
[pid=16460/tid=16466] ppid=16409 vsize=333148 CPUtime=0 cores=0,2,4,6
/proc/16460/task/16466/stat : 16466 (python) S 16409 16409 14938 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869472171 341143552 7964 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554946 18446604449102373312 0 0 -1 4 0 0 0
[pid=16628] ppid=16409 vsize=343404 CPUtime=0 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16409 16409 14938 0 -1 4202560 796 0 0 0 0 0 0 0 19 0 1 0 869476797 351645696 7896 33554432000 4194304 5683644 140733353890512 18446744073709551615 232335912518 0 0 16781312 33554946 4239526376379514880 0 0 17 6 0 0 0
/proc/16628/statm: 85851 7896 319 364 0 20723 0
[pid=16630] ppid=16628 vsize=8609968 CPUtime=0.93 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16628 16630 16630 0 -1 4202496 18559 0 1 0 89 4 0 0 18 0 18 0 869476797 8816607232 16182 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16630/statm: 2152492 16182 2216 9 0 2143233 0
[pid=16630/tid=16631] ppid=16628 vsize=8609968 CPUtime=0.45 cores=0,2,4,6
/proc/16630/task/16631/stat : 16631 (java) R 16628 16630 16630 0 -1 4202560 9023 0 1 0 43 2 0 0 18 0 18 0 869476798 8816607232 16445 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16630/tid=16632] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869476799 8816607232 16445 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16633] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869476799 8816607232 16445 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16634] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869476799 8816607232 16446 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16635] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869476799 8816607232 16446 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16636] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869476799 8816607232 16446 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16637] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869476799 8816607232 16447 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16638] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869476799 8816607232 16447 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16639] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869476799 8816607232 16447 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16640] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16628 16630 16630 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 869476800 8816607232 16448 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708928 0 0 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16641] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) S 16628 16630 16630 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 869476800 8816607232 16448 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16642] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16628 16630 16630 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 869476800 8816607232 16448 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 4 0 0 0
[pid=16630/tid=16643] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869476802 8816607232 16449 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347716017 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16644] ppid=16628 vsize=8609968 CPUtime=0.23 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) R 16628 16630 16630 0 -1 4202560 4757 0 0 0 22 1 0 0 18 0 18 0 869476802 8816607232 16449 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 47018350930921 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16630/tid=16645] ppid=16628 vsize=8609968 CPUtime=0.25 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) R 16628 16630 16630 0 -1 4202560 3654 0 0 0 25 0 0 0 18 0 18 0 869476802 8816607232 16449 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 47018351045224 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16630/tid=16646] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16646/stat : 16646 (java) S 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869476802 8816607232 16450 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708313 0 4 0 16800975 18446604451238845184 0 0 -1 6 0 0 0
[pid=16630/tid=16647] ppid=16628 vsize=8609968 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16647/stat : 16647 (java) R 16628 16630 16630 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869476802 8816607232 16450 33554432000 1073741824 1073778376 140735733990304 18446744073709551615 232347708928 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16409/tid=16417] ppid=16407 vsize=353648 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16417/stat : 16417 (python) S 16407 16409 14938 0 -1 4202560 32 1430 0 0 0 0 22 0 18 0 7 0 869439121 362135552 9463 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
[pid=16409/tid=16423] ppid=16407 vsize=353648 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16423/stat : 16423 (python) S 16407 16409 14938 0 -1 4202560 36 1430 0 0 0 0 22 0 18 0 7 0 869444004 362135552 9463 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 0 0 0 0
[pid=16409/tid=16428] ppid=16407 vsize=353648 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16428/stat : 16428 (python) S 16407 16409 14938 0 -1 4202560 30 1430 0 0 0 0 22 0 20 0 7 0 869448892 362135552 9463 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 0 0 0 0
[pid=16409/tid=16433] ppid=16407 vsize=353648 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16433/stat : 16433 (python) S 16407 16409 14938 0 -1 4202560 29 1430 0 0 0 0 22 0 20 0 7 0 869453731 362135552 9463 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 6 0 0 0
[pid=16409/tid=16461] ppid=16407 vsize=353648 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16461/stat : 16461 (python) S 16407 16409 14938 0 -1 4202560 32 1430 0 0 0 0 22 0 20 0 7 0 869462884 362135552 9463 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 4 0 0 0
[pid=16409/tid=16629] ppid=16407 vsize=353648 CPUtime=0.22 cores=0,2,4,6
/proc/16409/task/16629/stat : 16629 (python) S 16407 16409 14938 0 -1 4202560 28 1430 0 0 0 0 22 0 20 0 7 0 869476797 362135552 9463 33554432000 4194304 5683644 140733353890512 18446744073709551615 232347716017 0 0 16781312 33554434 18446604449919297728 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 382.59
Current children cumulated vsize (KiB) 19965688
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 16409 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=407785
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=173973
# CPU time returned by wait4() is 1.58176
# while last known CPU time is 382.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 378.889
CPU time (s): 382.59
CPU user time (s): 380.27
CPU system time (s): 2.32
CPU usage (%): 100.977
Max. virtual memory (cumulated for all children) (KiB): 19965688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40779
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21314
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= 14464
involuntary context switches= 33
runsolver used 2.87356 second user time and 5.72013 second system time
The end