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-3481644-1307577656/watcher-3481644-1307577656 -o /tmp/evaluation-result-3481644-1307577656/solver-3481644-1307577656 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481644-1307577656.opb -seed 1119865551 -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.10 2.05 1.55 3/709 3347
/proc/meminfo: memFree=21383168/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/3347/stat : 3347 (python) R 3344 3347 2544 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 1 0 869364387 15753216 675 33554432000 4194304 5683644 140735044397008 18446744073709551615 251813934061 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3347/statm: 3846 678 322 364 0 333 0
[startup+0.0363259 s]
/proc/loadavg: 2.10 2.05 1.55 3/709 3347
/proc/meminfo: memFree=21383168/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=16816 CPUtime=0.01 cores=0,2,4,6
/proc/3347/stat : 3347 (python) R 3344 3347 2544 0 -1 4202496 1227 0 0 0 1 0 0 0 20 0 1 0 869364387 17219584 1084 33554432000 4194304 5683644 140735044397008 18446744073709551615 4870042 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3347/statm: 4204 1085 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
[startup+0.100305 s]
/proc/loadavg: 2.10 2.05 1.55 3/709 3347
/proc/meminfo: memFree=21383168/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 2664 0 0 0 5 1 0 0 20 0 1 0 869364387 87674880 2382 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/3347/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300264 s]
/proc/loadavg: 2.10 2.05 1.55 3/709 3347
/proc/meminfo: memFree=21383168/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 5358 933 1 0 13 5 0 0 17 0 1 0 869364387 126709760 3744 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814236165 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/3347/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700196 s]
/proc/loadavg: 2.10 2.05 1.55 3/709 3347
/proc/meminfo: memFree=21383168/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=287868 CPUtime=0.45 cores=0,2,4,6
/proc/3347/stat : 3347 (python) R 3344 3347 2544 0 -1 4202496 10377 933 1 0 34 11 0 0 16 0 1 0 869364387 294776832 8238 33554432000 4194304 5683644 140735044397008 18446744073709551615 4960866 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3347/statm: 71967 8238 1781 364 0 6860 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 287868
[startup+1.50113 s]
/proc/loadavg: 2.10 2.05 1.55 3/710 3352
/proc/meminfo: memFree=21344960/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=311544 CPUtime=1.26 cores=0,2,4,6
/proc/3347/stat : 3347 (python) R 3344 3347 2544 0 -1 4202496 21410 933 1 0 113 13 0 0 16 0 1 0 869364387 319021056 14192 33554432000 4194304 5683644 140735044397008 18446744073709551615 251813936615 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/3347/statm: 77886 14192 1815 364 0 12779 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 311544
[startup+3.10074 s]
/proc/loadavg: 2.10 2.05 1.55 3/710 3352
/proc/meminfo: memFree=21329076/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=324956 CPUtime=2.62 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 22504 933 1 0 249 13 0 0 20 0 2 0 869364387 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3347/statm: 81239 15058 1862 364 0 16126 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 324956
[startup+6.30125 s]
/proc/loadavg: 2.25 2.08 1.56 3/713 3364
/proc/meminfo: memFree=21036864/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=324956 CPUtime=2.62 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 22504 933 1 0 249 13 0 0 20 0 2 0 869364387 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3347/statm: 81239 15058 1862 364 0 16126 0
[pid=3353] ppid=3347 vsize=314712 CPUtime=0.02 cores=0,2,4,6
/proc/3353/stat : 3353 (python) S 3347 3347 2544 0 -1 4202560 987 0 0 0 1 1 0 0 15 0 1 0 869364674 322265088 13577 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814260239 0 0 16781312 33554946 1808181639637893120 0 0 17 4 0 0 0
/proc/3353/statm: 78678 13577 379 364 0 13565 0
[pid=3355] ppid=3353 vsize=369540 CPUtime=3.4 cores=0,2,4,6
/proc/3355/stat : 3355 (scip-2.0.1.linu) R 3353 3355 3355 0 -1 4202496 92380 0 0 0 302 38 0 0 25 0 1 0 869364674 378408960 86371 33554432000 4194304 13684479 140737129916928 18446744073709551615 7154426 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/3355/statm: 92385 86371 922 2317 0 90063 0
[pid=3347/tid=3354] ppid=3344 vsize=324956 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3354/stat : 3354 (python) S 3344 3347 2544 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 2 0 869364674 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 1009208
[startup+12.7012 s]
/proc/loadavg: 2.23 2.08 1.56 3/713 3364
/proc/meminfo: memFree=20963604/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=324956 CPUtime=2.62 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 22504 933 1 0 249 13 0 0 20 0 2 0 869364387 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3347/statm: 81239 15058 1862 364 0 16126 0
[pid=3353] ppid=3347 vsize=314712 CPUtime=0.04 cores=0,2,4,6
/proc/3353/stat : 3353 (python) S 3347 3347 2544 0 -1 4202560 998 0 0 0 2 2 0 0 15 0 1 0 869364674 322265088 13578 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814260239 0 0 16781312 33554946 72262103200705389 0 0 17 2 0 0 0
/proc/3353/statm: 78678 13578 380 364 0 13565 0
[pid=3355] ppid=3353 vsize=393196 CPUtime=9.8 cores=0,2,4,6
/proc/3355/stat : 3355 (scip-2.0.1.linu) R 3353 3355 3355 0 -1 4202496 96709 0 0 0 939 41 0 0 25 0 1 0 869364674 402632704 90654 33554432000 4194304 13684479 140737129916928 18446744073709551615 11828535 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3355/statm: 98299 90654 931 2317 0 95977 0
[pid=3347/tid=3354] ppid=3344 vsize=324956 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3354/stat : 3354 (python) S 3344 3347 2544 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 2 0 869364674 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 1032864
[startup+25.5011 s]
/proc/loadavg: 2.18 2.07 1.57 3/713 3365
/proc/meminfo: memFree=20902220/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=324956 CPUtime=2.62 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 22504 933 1 0 249 13 0 0 20 0 2 0 869364387 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3347/statm: 81239 15058 1862 364 0 16126 0
[pid=3353] ppid=3347 vsize=314712 CPUtime=0.09 cores=0,2,4,6
/proc/3353/stat : 3353 (python) S 3347 3347 2544 0 -1 4202560 1001 0 0 0 5 4 0 0 15 0 1 0 869364674 322265088 13578 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814260239 0 0 16781312 33554946 72556772316949357 0 0 17 6 0 0 0
/proc/3353/statm: 78678 13578 380 364 0 13565 0
[pid=3355] ppid=3353 vsize=437440 CPUtime=22.6 cores=0,2,4,6
/proc/3355/stat : 3355 (scip-2.0.1.linu) R 3353 3355 3355 0 -1 4202496 112576 0 0 0 2211 49 0 0 25 0 1 0 869364674 447938560 106197 33554432000 4194304 13684479 140737129916928 18446744073709551615 11828564 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3355/statm: 109360 106197 842 2317 0 107038 0
[pid=3347/tid=3354] ppid=3344 vsize=324956 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3354/stat : 3354 (python) S 3344 3347 2544 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 2 0 869364674 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 1077108
[startup+51.1008 s]
/proc/loadavg: 2.25 2.10 1.59 3/713 3365
/proc/meminfo: memFree=20902940/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=324956 CPUtime=2.62 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 22504 933 1 0 249 13 0 0 20 0 2 0 869364387 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3347/statm: 81239 15058 1862 364 0 16126 0
[pid=3353] ppid=3347 vsize=314712 CPUtime=0.23 cores=0,2,4,6
/proc/3353/stat : 3353 (python) S 3347 3347 2544 0 -1 4202560 1013 0 0 0 13 10 0 0 15 0 1 0 869364674 322265088 13578 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814260239 0 0 16781312 33554946 72556772316949357 0 0 17 6 0 0 0
/proc/3353/statm: 78678 13578 380 364 0 13565 0
[pid=3355] ppid=3353 vsize=437440 CPUtime=48.2 cores=0,2,4,6
/proc/3355/stat : 3355 (scip-2.0.1.linu) R 3353 3355 3355 0 -1 4202496 112594 0 0 0 4762 58 0 0 25 0 1 0 869364674 447938560 106212 33554432000 4194304 13684479 140737129916928 18446744073709551615 7095830 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3355/statm: 109360 106212 839 2317 0 107038 0
[pid=3347/tid=3354] ppid=3344 vsize=324956 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3354/stat : 3354 (python) S 3344 3347 2544 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 2 0 869364674 332754944 15058 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1077108
[startup+102.301 s]
/proc/loadavg: 2.26 2.11 1.62 3/740 3397
/proc/meminfo: memFree=20637244/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=345468 CPUtime=2.67 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 24183 933 1 0 254 13 0 0 20 0 4 0 869364387 353759232 15081 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3347/statm: 86367 15081 1875 364 0 21248 0
[pid=3353] ppid=3347 vsize=324956 CPUtime=0.27 cores=0,2,4,6
/proc/3353/stat : 3353 (python) S 3347 3347 2544 0 -1 4202560 1145 0 0 0 15 12 0 0 17 0 2 0 869364674 332754944 13614 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3353/statm: 81239 13614 411 364 0 16126 0
[pid=3355] ppid=3353 vsize=437440 CPUtime=50.69 cores=0,2,4,6
/proc/3355/stat : 3355 (scip-2.0.1.linu) T 3353 3355 3355 0 -1 4202496 112594 0 0 0 5009 60 0 0 25 0 1 0 869364674 447938560 106212 33554432000 4194304 13684479 140737129916928 18446744073709551615 11824637 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/3355/statm: 109360 106212 839 2317 0 107038 0
[pid=3353/tid=3367] ppid=3347 vsize=324956 CPUtime=0 cores=0,2,4,6
/proc/3353/task/3367/stat : 3367 (python) S 3347 3347 2544 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869369747 332754944 13614 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554946 18446604447788804928 0 0 -1 6 0 0 0
[pid=3369] ppid=3347 vsize=324968 CPUtime=0.23 cores=0,2,4,6
/proc/3369/stat : 3369 (python) S 3347 3347 2544 0 -1 4202560 1113 0 0 0 13 10 0 0 17 0 2 0 869369749 332767232 13600 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3369/statm: 81242 13600 396 364 0 16126 0
[pid=3371] ppid=3369 vsize=8539956 CPUtime=47.58 cores=0,2,4,6
/proc/3371/stat : 3371 (java) T 3369 3371 3371 0 -1 4202496 57548 0 1 0 4750 8 0 0 18 0 19 0 869369750 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3371/statm: 2134989 53156 2258 9 0 2125730 0
[pid=3371/tid=3372] ppid=3369 vsize=8539956 CPUtime=45.77 cores=0,2,4,6
/proc/3371/task/3372/stat : 3372 (java) T 3369 3371 3371 0 -1 4202560 35287 0 1 0 4572 5 0 0 25 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 46912506121535 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3373] ppid=3369 vsize=8539956 CPUtime=0.03 cores=0,2,4,6
/proc/3371/task/3373/stat : 3373 (java) T 3369 3371 3371 0 -1 4202560 2665 0 0 0 3 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=8539956 CPUtime=0.02 cores=0,2,4,6
/proc/3371/task/3374/stat : 3374 (java) T 3369 3371 3371 0 -1 4202560 1706 0 0 0 2 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=8539956 CPUtime=0.02 cores=0,2,4,6
/proc/3371/task/3375/stat : 3375 (java) T 3369 3371 3371 0 -1 4202560 2113 0 0 0 2 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=8539956 CPUtime=0.01 cores=0,2,4,6
/proc/3371/task/3376/stat : 3376 (java) T 3369 3371 3371 0 -1 4202560 707 0 0 0 1 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=8539956 CPUtime=0.01 cores=0,2,4,6
/proc/3371/task/3378/stat : 3378 (java) T 3369 3371 3371 0 -1 4202560 818 0 0 0 1 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3379/stat : 3379 (java) T 3369 3371 3371 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=8539956 CPUtime=0.01 cores=0,2,4,6
/proc/3371/task/3380/stat : 3380 (java) T 3369 3371 3371 0 -1 4202560 1053 0 0 0 1 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3381/stat : 3381 (java) T 3369 3371 3371 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=8539956 CPUtime=0.23 cores=0,2,4,6
/proc/3371/task/3382/stat : 3382 (java) T 3369 3371 3371 0 -1 4202560 4269 0 0 0 23 0 0 0 15 0 19 0 869369753 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3383/stat : 3383 (java) T 3369 3371 3371 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869369753 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3384/stat : 3384 (java) T 3369 3371 3371 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869369753 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3385/stat : 3385 (java) T 3369 3371 3371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=8539956 CPUtime=0.71 cores=0,2,4,6
/proc/3371/task/3386/stat : 3386 (java) T 3369 3371 3371 0 -1 4202560 2741 0 0 0 71 0 0 0 15 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=8539956 CPUtime=0.67 cores=0,2,4,6
/proc/3371/task/3387/stat : 3387 (java) T 3369 3371 3371 0 -1 4202560 4693 0 0 0 67 0 0 0 15 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/3397/stat : 3397 (wbo1.4a) T 3395 3397 3397 0 -1 4202496 14289 0 0 0 4583 8 0 0 25 0 1 0 869374367 38043648 8526 33554432000 134512640 135751879 4289450192 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/3397/statm: 9288 8526 146 303 0 8983 0
[pid=3395/tid=3399] ppid=3347 vsize=335224 CPUtime=0 cores=0,2,4,6
/proc/3395/task/3399/stat : 3399 (python) S 3347 3347 2544 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869378964 343269376 13605 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554946 18446604446443324672 0 0 -1 6 0 0 0
[pid=3400] ppid=3347 vsize=345480 CPUtime=0.07 cores=0,2,4,6
/proc/3400/stat : 3400 (python) S 3347 3347 2544 0 -1 4202560 955 0 0 0 3 4 0 0 15 0 1 0 869378967 353771520 13586 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814260294 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/3400/statm: 86370 13586 372 364 0 21248 0
[pid=3402] ppid=3400 vsize=471260 CPUtime=16.49 cores=0,2,4,6
/proc/3402/stat : 3402 (scip-2.0.1.linu) R 3400 3402 3402 0 -1 4202496 112481 0 0 0 1613 36 0 0 25 0 1 0 869378967 482570240 108261 33554432000 4194304 15243407 140735767882256 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3402/statm: 117815 108261 879 2698 0 115110 0
[pid=3347/tid=3354] ppid=3344 vsize=355724 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3354/stat : 3354 (python) S 3344 3347 2544 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 5 0 869364674 364261376 15088 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
[pid=3347/tid=3370] ppid=3344 vsize=355724 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3370/stat : 3370 (python) S 3344 3347 2544 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 5 0 869369750 364261376 15088 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
[pid=3347/tid=3396] ppid=3344 vsize=355724 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3396/stat : 3396 (python) S 3344 3347 2544 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 5 0 869374367 364261376 15088 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 0 0 0 0
[pid=3347/tid=3401] ppid=3344 vsize=355724 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3401/stat : 3401 (python) S 3344 3347 2544 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 869378967 364261376 15088 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 164.2
Current children cumulated vsize (KiB) 11172160
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+197.201 s]
/proc/loadavg: 2.12 2.09 1.66 7/750 3534
/proc/meminfo: memFree=20003296/32950928 swapFree=41528364/67111528
[pid=3347] ppid=3344 vsize=365980 CPUtime=2.74 cores=0,2,4,6
/proc/3347/stat : 3347 (python) S 3344 3347 2544 0 -1 4202496 26076 933 1 0 260 14 0 0 20 0 6 0 869364387 374763520 15095 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3347/statm: 91495 15095 1879 364 0 26370 0
[pid=3353] ppid=3347 vsize=324956 CPUtime=0.27 cores=0,2,4,6
/proc/3353/stat : 3353 (python) S 3347 3347 2544 0 -1 4202560 1145 0 0 0 15 12 0 0 17 0 2 0 869364674 332754944 13614 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3353/statm: 81239 13614 411 364 0 16126 0
[pid=3355] ppid=3353 vsize=437440 CPUtime=50.69 cores=0,2,4,6
/proc/3355/stat : 3355 (scip-2.0.1.linu) T 3353 3355 3355 0 -1 4202496 112594 0 0 0 5009 60 0 0 25 0 1 0 869364674 447938560 106212 33554432000 4194304 13684479 140737129916928 18446744073709551615 11824637 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/3355/statm: 109360 106212 839 2317 0 107038 0
[pid=3353/tid=3367] ppid=3347 vsize=324956 CPUtime=0 cores=0,2,4,6
/proc/3353/task/3367/stat : 3367 (python) S 3347 3347 2544 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869369747 332754944 13614 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554946 18446604447788804928 0 0 -1 6 0 0 0
[pid=3369] ppid=3347 vsize=324968 CPUtime=0.23 cores=0,2,4,6
/proc/3369/stat : 3369 (python) S 3347 3347 2544 0 -1 4202560 1113 0 0 0 13 10 0 0 17 0 2 0 869369749 332767232 13600 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3369/statm: 81242 13600 396 364 0 16126 0
[pid=3371] ppid=3369 vsize=8539956 CPUtime=47.58 cores=0,2,4,6
/proc/3371/stat : 3371 (java) T 3369 3371 3371 0 -1 4202496 57548 0 1 0 4750 8 0 0 18 0 19 0 869369750 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3371/statm: 2134989 53156 2258 9 0 2125730 0
[pid=3371/tid=3372] ppid=3369 vsize=8539956 CPUtime=45.77 cores=0,2,4,6
/proc/3371/task/3372/stat : 3372 (java) T 3369 3371 3371 0 -1 4202560 35287 0 1 0 4572 5 0 0 25 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 46912506121535 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3373] ppid=3369 vsize=8539956 CPUtime=0.03 cores=0,2,4,6
/proc/3371/task/3373/stat : 3373 (java) T 3369 3371 3371 0 -1 4202560 2665 0 0 0 3 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=8539956 CPUtime=0.02 cores=0,2,4,6
/proc/3371/task/3374/stat : 3374 (java) T 3369 3371 3371 0 -1 4202560 1706 0 0 0 2 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=8539956 CPUtime=0.02 cores=0,2,4,6
/proc/3371/task/3375/stat : 3375 (java) T 3369 3371 3371 0 -1 4202560 2113 0 0 0 2 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=8539956 CPUtime=0.01 cores=0,2,4,6
/proc/3371/task/3376/stat : 3376 (java) T 3369 3371 3371 0 -1 4202560 707 0 0 0 1 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=8539956 CPUtime=0.01 cores=0,2,4,6
/proc/3371/task/3378/stat : 3378 (java) T 3369 3371 3371 0 -1 4202560 818 0 0 0 1 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3379/stat : 3379 (java) T 3369 3371 3371 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=8539956 CPUtime=0.01 cores=0,2,4,6
/proc/3371/task/3380/stat : 3380 (java) T 3369 3371 3371 0 -1 4202560 1053 0 0 0 1 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3381/stat : 3381 (java) T 3369 3371 3371 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 869369751 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=8539956 CPUtime=0.23 cores=0,2,4,6
/proc/3371/task/3382/stat : 3382 (java) T 3369 3371 3371 0 -1 4202560 4269 0 0 0 23 0 0 0 15 0 19 0 869369753 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3383/stat : 3383 (java) T 3369 3371 3371 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869369753 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3384/stat : 3384 (java) T 3369 3371 3371 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869369753 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3385/stat : 3385 (java) T 3369 3371 3371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=8539956 CPUtime=0.71 cores=0,2,4,6
/proc/3371/task/3386/stat : 3386 (java) T 3369 3371 3371 0 -1 4202560 2741 0 0 0 71 0 0 0 15 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=8539956 CPUtime=0.67 cores=0,2,4,6
/proc/3371/task/3387/stat : 3387 (java) T 3369 3371 3371 0 -1 4202560 4693 0 0 0 67 0 0 0 15 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3388/stat : 3388 (java) T 3369 3371 3371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3389/stat : 3389 (java) T 3369 3371 3371 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869369755 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3371/tid=3390] ppid=3369 vsize=8539956 CPUtime=0 cores=0,2,4,6
/proc/3371/task/3390/stat : 3390 (java) T 3369 3371 3371 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869369865 8744914944 53156 33554432000 1073741824 1073778376 140735758031936 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3369/tid=3394] ppid=3347 vsize=324968 CPUtime=0 cores=0,2,4,6
/proc/3369/task/3394/stat : 3394 (python) S 3347 3347 2544 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869374364 332767232 13600 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554946 18446604445404468480 0 0 -1 6 0 0 0
[pid=3395] ppid=3347 vsize=335224 CPUtime=0.25 cores=0,2,4,6
/proc/3395/stat : 3395 (python) S 3347 3347 2544 0 -1 4202560 1104 0 0 0 13 12 0 0 17 0 2 0 869374367 343269376 13605 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3395/statm: 83806 13605 396 364 0 18687 0
[pid=3397] ppid=3395 vsize=37152 CPUtime=45.91 cores=0,2,4,6
/proc/3397/stat : 3397 (wbo1.4a) T 3395 3397 3397 0 -1 4202496 14289 0 0 0 4583 8 0 0 25 0 1 0 869374367 38043648 8526 33554432000 134512640 135751879 4289450192 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/3397/statm: 9288 8526 146 303 0 8983 0
[pid=3395/tid=3399] ppid=3347 vsize=335224 CPUtime=0 cores=0,2,4,6
/proc/3395/task/3399/stat : 3399 (python) S 3347 3347 2544 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869378964 343269376 13605 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554946 18446604446443324672 0 0 -1 6 0 0 0
[pid=3400] ppid=3347 vsize=345480 CPUtime=0.26 cores=0,2,4,6
/proc/3400/stat : 3400 (python) S 3347 3347 2544 0 -1 4202560 1135 0 0 0 14 12 0 0 17 0 2 0 869378967 353771520 13611 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3400/statm: 86370 13611 396 364 0 21248 0
[pid=3402] ppid=3400 vsize=516312 CPUtime=50.96 cores=0,2,4,6
/proc/3402/stat : 3402 (scip-2.0.1.linu) T 3400 3402 3402 0 -1 4202496 140312 0 0 0 5027 69 0 0 25 0 1 0 869378967 528703488 113286 33554432000 4194304 15243407 140735767882256 18446744073709551615 8112752 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/3402/statm: 129078 113286 944 2698 0 126373 0
[pid=3400/tid=3508] ppid=3347 vsize=345480 CPUtime=0 cores=0,2,4,6
/proc/3400/task/3508/stat : 3508 (python) S 3347 3347 2544 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869384065 353771520 13611 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554946 18446604447788802240 0 0 -1 4 0 0 0
[pid=3509] ppid=3347 vsize=355736 CPUtime=0 cores=0,2,4,6
/proc/3509/stat : 3509 (python) S 3347 3347 2544 0 -1 4202560 801 0 0 0 0 0 0 0 19 0 1 0 869384068 364273664 13560 33554432000 4194304 5683644 140735044397008 18446744073709551615 251814260294 0 0 16781312 33554946 1369530685462675456 0 0 17 0 0 0 0
/proc/3509/statm: 88934 13560 348 364 0 23809 0
[pid=3511] ppid=3509 vsize=8538060 CPUtime=0.77 cores=0,2,4,6
/proc/3511/stat : 3511 (java) S 3509 3511 3511 0 -1 4202496 17943 0 1 0 75 2 0 0 20 0 18 0 869384068 8742973440 16114 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3511/statm: 2134515 16116 2205 9 0 2125256 0
[pid=3511/tid=3512] ppid=3509 vsize=8538060 CPUtime=0.42 cores=0,2,4,6
/proc/3511/task/3512/stat : 3512 (java) R 3509 3511 3511 0 -1 4202560 13771 0 1 0 41 1 0 0 25 0 18 0 869384069 8742973440 17399 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 46912505581677 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3511/tid=3513] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3513/stat : 3513 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869384069 8742973440 17399 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3514/stat : 3514 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869384069 8742973440 17402 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3521] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3521/stat : 3521 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869384069 8742973440 17404 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3522/stat : 3522 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869384069 8742973440 17406 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3523/stat : 3523 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869384069 8742973440 17409 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3524/stat : 3524 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869384069 8742973440 17411 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=3511/tid=3525] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3525/stat : 3525 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869384069 8742973440 17413 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3526/stat : 3526 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869384069 8742973440 17416 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3527/stat : 3527 (java) S 3509 3511 3511 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869384070 8742973440 17418 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3528/stat : 3528 (java) S 3509 3511 3511 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869384071 8742973440 17420 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3529/stat : 3529 (java) S 3509 3511 3511 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869384071 8742973440 17423 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3530/stat : 3530 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869384073 8742973440 17425 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3531] ppid=3509 vsize=8538060 CPUtime=0.15 cores=0,2,4,6
/proc/3511/task/3531/stat : 3531 (java) R 3509 3511 3511 0 -1 4202560 1436 0 0 0 15 0 0 0 25 0 18 0 869384073 8742973440 17427 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 47455687784619 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3511/tid=3532] ppid=3509 vsize=8538060 CPUtime=0.21 cores=0,2,4,6
/proc/3511/task/3532/stat : 3532 (java) R 3509 3511 3511 0 -1 4202560 2634 0 0 0 21 0 0 0 17 0 18 0 869384073 8742973440 17429 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 47455687561533 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3511/tid=3533] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3533/stat : 3533 (java) S 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869384073 8742973440 17432 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=3511/tid=3534] ppid=3509 vsize=8538060 CPUtime=0 cores=0,2,4,6
/proc/3511/task/3534/stat : 3534 (java) R 3509 3511 3511 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 869384073 8742973440 17434 33554432000 1073741824 1073778376 140736638898496 18446744073709551615 251826056704 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3347/tid=3354] ppid=3344 vsize=365980 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3354/stat : 3354 (python) S 3344 3347 2544 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 6 0 869364674 374763520 15095 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
[pid=3347/tid=3370] ppid=3344 vsize=365980 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3370/stat : 3370 (python) S 3344 3347 2544 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 6 0 869369750 374763520 15095 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 6 0 0 0
[pid=3347/tid=3396] ppid=3344 vsize=365980 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3396/stat : 3396 (python) S 3344 3347 2544 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 6 0 869374367 374763520 15095 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 0 0 0 0
[pid=3347/tid=3401] ppid=3344 vsize=365980 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3401/stat : 3401 (python) S 3344 3347 2544 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 6 0 869378967 374763520 15095 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 0 0 0 0
[pid=3347/tid=3510] ppid=3344 vsize=365980 CPUtime=0 cores=0,2,4,6
/proc/3347/task/3510/stat : 3510 (python) S 3344 3347 2544 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 6 0 869384068 374763520 15095 33554432000 4194304 5683644 140735044397008 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448689565760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 199.66
Current children cumulated vsize (KiB) 20121264
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 3347 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=605603
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=146977
# CPU time returned by wait4() is 2.75258
# while last known CPU time is 199.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 197.291
CPU time (s): 199.66
CPU user time (s): 197.59
CPU system time (s): 2.07
CPU usage (%): 101.201
Max. virtual memory (cumulated for all children) (KiB): 20121264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6056
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27011
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= 2856
involuntary context switches= 24
runsolver used 1.51777 second user time and 2.85757 second system time
The end