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-3482213-1307578761/watcher-3482213-1307578761 -o /tmp/evaluation-result-3482213-1307578761/solver-3482213-1307578761 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482213-1307578761.opb -seed 459633225 -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: 1.97 2.11 1.91 3/933 32554
/proc/meminfo: memFree=14806032/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/32554/stat : 32554 (python) R 32552 32554 30488 0 -1 4202496 1064 0 0 0 1 0 0 0 20 0 1 0 869475007 16633856 935 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32554/statm: 4061 935 381 364 0 548 0
[startup+0.087211 s]
/proc/loadavg: 1.97 2.11 1.91 3/933 32554
/proc/meminfo: memFree=14806032/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=54504 CPUtime=0.05 cores=1,3,5,7
/proc/32554/stat : 32554 (python) R 32552 32554 30488 0 -1 4202496 2050 0 0 0 4 1 0 0 17 0 1 0 869475007 55812096 1808 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272349893 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32554/statm: 13626 1809 492 364 0 1276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54504
[startup+0.100208 s]
/proc/loadavg: 1.97 2.11 1.91 3/933 32554
/proc/meminfo: memFree=14806032/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/32554/stat : 32554 (python) R 32552 32554 30488 0 -1 4202496 2663 0 0 0 5 1 0 0 17 0 1 0 869475007 87674880 2382 33554432000 4194304 5683644 140737037501472 18446744073709551615 4539741 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32554/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300296 s]
/proc/loadavg: 1.97 2.11 1.91 3/933 32554
/proc/meminfo: memFree=14806032/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/32554/stat : 32554 (python) S 32552 32554 30488 0 -1 4202496 5357 930 1 0 12 4 0 0 16 0 1 0 869475007 126709760 3744 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272685061 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/32554/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700171 s]
/proc/loadavg: 1.97 2.11 1.91 3/933 32554
/proc/meminfo: memFree=14806032/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=290252 CPUtime=0.41 cores=1,3,5,7
/proc/32554/stat : 32554 (python) R 32552 32554 30488 0 -1 4202496 11040 930 1 0 31 10 0 0 15 0 1 0 869475007 297218048 8903 33554432000 4194304 5683644 140737037501472 18446744073709551615 5114052 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32554/statm: 72563 8903 1781 364 0 7456 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 290252
[startup+1.50096 s]
/proc/loadavg: 1.97 2.11 1.91 3/934 32559
/proc/meminfo: memFree=14761500/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=319472 CPUtime=1.2 cores=1,3,5,7
/proc/32554/stat : 32554 (python) R 32552 32554 30488 0 -1 4202496 18165 930 1 0 109 11 0 0 16 0 1 0 869475007 327139328 16028 33554432000 4194304 5683644 140737037501472 18446744073709551615 47366627089811 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32554/statm: 79868 16028 1781 364 0 14761 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 319472
[startup+3.10067 s]
/proc/loadavg: 1.97 2.11 1.91 3/934 32559
/proc/meminfo: memFree=14761500/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=336308 CPUtime=2.81 cores=1,3,5,7
/proc/32554/stat : 32554 (python) R 32552 32554 30488 0 -1 4202496 31396 930 1 0 268 13 0 0 18 0 1 0 869475007 344379392 20425 33554432000 4194304 5683644 140737037501472 18446744073709551615 4662302 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/32554/statm: 84077 20425 1816 364 0 18970 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 336308
[startup+6.30111 s]
/proc/loadavg: 1.97 2.11 1.91 3/937 32562
/proc/meminfo: memFree=14669268/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=350232 CPUtime=4.13 cores=1,3,5,7
/proc/32554/stat : 32554 (python) S 32552 32554 30488 0 -1 4202496 32597 930 1 0 400 13 0 0 23 0 2 0 869475007 358637568 21397 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32554/statm: 87558 21397 1870 364 0 22445 0
[pid=32560] ppid=32554 vsize=339988 CPUtime=0 cores=1,3,5,7
/proc/32560/stat : 32560 (python) S 32554 32554 30488 0 -1 4202560 769 0 0 0 0 0 0 0 16 0 1 0 869475449 348147712 19874 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272709135 0 0 16781312 33554946 4001921905027186688 0 0 17 5 0 0 0
/proc/32560/statm: 84997 19874 351 364 0 19884 0
[pid=32562] ppid=32560 vsize=57584 CPUtime=1.85 cores=1,3,5,7
/proc/32562/stat : 32562 (wbo1.4a) R 32560 32562 32562 0 -1 4202496 23963 0 0 0 183 2 0 0 25 0 1 0 869475450 58966016 13493 33554432000 134512640 135751879 4292866784 18446744073709551615 134637691 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/32562/statm: 14396 13493 145 303 0 14091 0
[pid=32554/tid=32561] ppid=32552 vsize=350232 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32561/stat : 32561 (python) S 32552 32554 30488 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 2 0 869475449 358637568 21397 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 747804
[startup+12.701 s]
/proc/loadavg: 1.97 2.11 1.91 3/938 32564
/proc/meminfo: memFree=14643808/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=350232 CPUtime=4.13 cores=1,3,5,7
/proc/32554/stat : 32554 (python) S 32552 32554 30488 0 -1 4202496 32597 930 1 0 400 13 0 0 23 0 2 0 869475007 358637568 21397 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32554/statm: 87558 21397 1870 364 0 22445 0
[pid=32560] ppid=32554 vsize=339988 CPUtime=0.05 cores=1,3,5,7
/proc/32560/stat : 32560 (python) S 32554 32554 30488 0 -1 4202560 917 0 0 0 2 3 0 0 15 0 1 0 869475449 348147712 19898 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272709135 0 0 16781312 33554946 1239680831828525056 0 0 17 5 0 0 0
/proc/32560/statm: 84997 19898 375 364 0 19884 0
[pid=32562] ppid=32560 vsize=61696 CPUtime=8.24 cores=1,3,5,7
/proc/32562/stat : 32562 (wbo1.4a) R 32560 32562 32562 0 -1 4202496 35008 0 0 0 816 8 0 0 25 0 1 0 869475450 63176704 14465 33554432000 134512640 135751879 4292866784 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/32562/statm: 15424 14465 146 303 0 15119 0
[pid=32554/tid=32561] ppid=32552 vsize=350232 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32561/stat : 32561 (python) S 32552 32554 30488 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 2 0 869475449 358637568 21397 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 751916
[startup+25.5007 s]
/proc/loadavg: 1.98 2.10 1.91 3/938 32564
/proc/meminfo: memFree=14639720/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=350232 CPUtime=4.13 cores=1,3,5,7
/proc/32554/stat : 32554 (python) S 32552 32554 30488 0 -1 4202496 32597 930 1 0 400 13 0 0 23 0 2 0 869475007 358637568 21397 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32554/statm: 87558 21397 1870 364 0 22445 0
[pid=32560] ppid=32554 vsize=339988 CPUtime=0.14 cores=1,3,5,7
/proc/32560/stat : 32560 (python) S 32554 32554 30488 0 -1 4202560 923 0 0 0 6 8 0 0 15 0 1 0 869475449 348147712 19898 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272709135 0 0 16781312 33554946 5623606151888251668 0 0 17 5 0 0 0
/proc/32560/statm: 84997 19898 375 364 0 19884 0
[pid=32562] ppid=32560 vsize=67208 CPUtime=21.02 cores=1,3,5,7
/proc/32562/stat : 32562 (wbo1.4a) R 32560 32562 32562 0 -1 4202496 40226 0 0 0 2086 16 0 0 25 0 1 0 869475450 68820992 15809 33554432000 134512640 135751879 4292866784 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32562/statm: 16802 15809 146 303 0 16497 0
[pid=32554/tid=32561] ppid=32552 vsize=350232 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32561/stat : 32561 (python) S 32552 32554 30488 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 2 0 869475449 358637568 21397 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 757428
[startup+51.1011 s]
/proc/loadavg: 1.99 2.09 1.91 3/938 32565
/proc/meminfo: memFree=14625060/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=360488 CPUtime=4.15 cores=1,3,5,7
/proc/32554/stat : 32554 (python) S 32552 32554 30488 0 -1 4202496 33487 930 1 0 402 13 0 0 20 0 3 0 869475007 369139712 21404 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32554/statm: 90122 21404 1873 364 0 25006 0
[pid=32560] ppid=32554 vsize=350232 CPUtime=0.3 cores=1,3,5,7
/proc/32560/stat : 32560 (python) S 32554 32554 30488 0 -1 4202560 1092 0 0 0 13 17 0 0 17 0 2 0 869475449 358637568 19934 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32560/statm: 87558 19934 406 364 0 22445 0
[pid=32562] ppid=32560 vsize=79904 CPUtime=46.55 cores=1,3,5,7
/proc/32562/stat : 32562 (wbo1.4a) T 32560 32562 32562 0 -1 4202496 46051 0 0 0 4624 31 0 0 25 0 1 0 869475450 81821696 19040 33554432000 134512640 135751879 4292866784 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32562/statm: 19976 19040 146 303 0 19671 0
[pid=32554/tid=32561] ppid=32552 vsize=360488 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32561/stat : 32561 (python) S 32552 32554 30488 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 3 0 869475449 369139712 21404 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 790624
[startup+102.325 s]
/proc/loadavg: 1.99 2.07 1.91 2/950 32619
/proc/meminfo: memFree=13561048/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=370744 CPUtime=4.18 cores=1,3,5,7
/proc/32554/stat : 32554 (python) S 32552 32554 30488 0 -1 4202496 34346 930 1 0 404 14 0 0 20 0 4 0 869475007 379641856 21410 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32554/statm: 92686 21410 1875 364 0 27567 0
[pid=32560] ppid=32554 vsize=350232 CPUtime=0.3 cores=1,3,5,7
/proc/32560/stat : 32560 (python) S 32554 32554 30488 0 -1 4202560 1092 0 0 0 13 17 0 0 17 0 2 0 869475449 358637568 19934 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32560/statm: 87558 19934 406 364 0 22445 0
[pid=32562] ppid=32560 vsize=79904 CPUtime=46.55 cores=1,3,5,7
/proc/32562/stat : 32562 (wbo1.4a) T 32560 32562 32562 0 -1 4202496 46051 0 0 0 4624 31 0 0 25 0 1 0 869475450 81821696 19040 33554432000 134512640 135751879 4292866784 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32562/statm: 19976 19040 146 303 0 19671 0
[pid=32560/tid=32566] ppid=32554 vsize=350232 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (python) S 32554 32554 30488 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869480110 358637568 19934 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554946 18446604455175154688 0 0 -1 5 0 0 0
[pid=32567] ppid=32554 vsize=350244 CPUtime=0.29 cores=1,3,5,7
/proc/32567/stat : 32567 (python) S 32554 32554 30488 0 -1 4202560 1113 0 0 0 13 16 0 0 17 0 2 0 869480113 358649856 19924 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32567/statm: 87561 19924 396 364 0 22445 0
[pid=32569] ppid=32567 vsize=1002056 CPUtime=50.56 cores=1,3,5,7
/proc/32569/stat : 32569 (scip-2.0.1.linu) T 32567 32569 32569 0 -1 4202496 247234 0 0 0 4880 176 0 0 25 0 1 0 869480113 1026105344 243125 33554432000 4194304 13684479 140736974769424 18446744073709551615 4880923 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/32569/statm: 250514 243125 694 2317 0 248192 0
[pid=32567/tid=32579] ppid=32554 vsize=350244 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32579/stat : 32579 (python) S 32554 32554 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869485170 358649856 19924 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466681979008 0 0 -1 7 0 0 0
[pid=32591] ppid=32554 vsize=360500 CPUtime=0 cores=1,3,5,7
/proc/32591/stat : 32591 (python) S 32554 32554 30488 0 -1 4202560 789 0 0 0 0 0 0 0 18 0 1 0 869485173 369152000 19879 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272709190 0 0 16781312 33554946 1892906324887339008 0 0 17 3 0 0 0
/proc/32591/statm: 90125 19879 348 364 0 25006 0
[pid=32593] ppid=32591 vsize=8537556 CPUtime=1.13 cores=1,3,5,7
/proc/32593/stat : 32593 (java) S 32591 32593 32593 0 -1 4202496 38701 0 1 0 108 5 0 0 18 0 18 0 869485173 8742457344 36631 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32593/statm: 2134389 36633 2214 9 0 2125130 0
[pid=32593/tid=32594] ppid=32591 vsize=8537556 CPUtime=0.61 cores=1,3,5,7
/proc/32593/task/32594/stat : 32594 (java) R 32591 32593 32593 0 -1 4202560 32669 0 1 0 56 5 0 0 23 0 18 0 869485174 8742457344 36635 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 46912505551270 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32593/tid=32600] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32600/stat : 32600 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869485174 8742457344 36637 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32601] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32601/stat : 32601 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869485174 8742457344 36640 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32602] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32602/stat : 32602 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869485174 8742457344 36643 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32603] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32603/stat : 32603 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869485174 8742457344 36645 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32604] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32604/stat : 32604 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869485174 8742457344 36647 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32605] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32605/stat : 32605 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869485174 8742457344 36650 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32606] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32606/stat : 32606 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869485174 8742457344 36652 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32607] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32607/stat : 32607 (java) S 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869485174 8742457344 36655 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
[pid=32593/tid=32608] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32608/stat : 32608 (java) S 32591 32593 32593 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869485175 8742457344 36657 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284505600 0 0 0 16800975 18446604466681980800 0 0 -1 5 0 0 0
[pid=32593/tid=32609] ppid=32591 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32609/stat : 32609 (java) S 32591 32593 32593 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869485176 8742457344 36659 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446604466681980800 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=32593/tid=32613] ppid=32591 vsize=8551732 CPUtime=0.8 cores=1,3,5,7
/proc/32593/task/32613/stat : 32613 (java) T 32591 32593 32593 0 -1 4202560 7725 0 0 0 80 0 0 0 15 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32593/tid=32614] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32614/stat : 32614 (java) T 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32593/tid=32615] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32615/stat : 32615 (java) T 32591 32593 32593 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32593/tid=32620] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32620/stat : 32620 (java) T 32591 32593 32593 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869485346 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32591/tid=404] ppid=32554 vsize=360500 CPUtime=0 cores=1,3,5,7
/proc/32591/task/404/stat : 404 (python) S 32554 32554 30488 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869489868 369152000 19928 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462743804096 0 0 -1 5 0 0 0
[pid=32554/tid=32561] ppid=32552 vsize=381000 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32561/stat : 32561 (python) S 32552 32554 30488 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 5 0 869475449 390144000 21416 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 7 0 0 0
[pid=32554/tid=32568] ppid=32552 vsize=381000 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32568/stat : 32568 (python) S 32552 32554 30488 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 869480113 390144000 21416 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 3 0 0 0
[pid=32554/tid=32592] ppid=32552 vsize=381000 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32592/stat : 32592 (python) S 32552 32554 30488 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869485173 390144000 21416 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 3 0 0 0
[pid=32554/tid=407] ppid=32552 vsize=381000 CPUtime=0 cores=1,3,5,7
/proc/32554/task/407/stat : 407 (python) S 32552 32554 30488 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 869489870 390144000 21416 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 225.76
Current children cumulated vsize (KiB) 11495372
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+244.102 s]
/proc/loadavg: 2.12 2.11 1.94 4/1007 469
/proc/meminfo: memFree=9661664/32950928 swapFree=43925852/67111528
[pid=32554] ppid=32552 vsize=391256 CPUtime=4.23 cores=1,3,5,7
/proc/32554/stat : 32554 (python) S 32552 32554 30488 0 -1 4202496 36127 930 1 0 409 14 0 0 20 0 6 0 869475007 400646144 21422 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32554/statm: 97814 21422 1879 364 0 32689 0
[pid=405] ppid=32554 vsize=370756 CPUtime=0.52 cores=1,3,5,7
/proc/405/stat : 405 (python) S 32554 32554 30488 0 -1 4202560 1166 0 0 0 24 28 0 0 17 0 2 0 869489870 379654144 19932 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/405/statm: 92689 19932 396 364 0 27567 0
[pid=408] ppid=405 vsize=48948 CPUtime=94.99 cores=1,3,5,7
/proc/408/stat : 408 (clasp-1.3.7-x86) T 405 408 408 0 -1 4202496 14593 0 0 0 9497 2 0 0 25 0 1 0 869489870 50122752 11986 33554432000 134512640 136139019 4291349952 18446744073709551615 134871039 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/408/statm: 12237 11986 190 398 0 11837 0
[pid=405/tid=440] ppid=32554 vsize=370756 CPUtime=0 cores=1,3,5,7
/proc/405/task/440/stat : 440 (python) S 32554 32554 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869499370 379654144 19932 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554946 18446604458089558464 0 0 -1 7 0 0 0
[pid=441] ppid=32554 vsize=381012 CPUtime=0 cores=1,3,5,7
/proc/441/stat : 441 (python) S 32554 32554 30488 0 -1 4202560 803 0 0 0 0 0 0 0 19 0 1 0 869499373 390156288 19887 33554432000 4194304 5683644 140737037501472 18446744073709551615 268272709190 0 0 16781312 33554946 1801267545450217472 0 0 17 5 0 0 0
/proc/441/statm: 95253 19887 348 364 0 30128 0
[pid=443] ppid=441 vsize=8538280 CPUtime=0.9 cores=1,3,5,7
/proc/443/stat : 443 (java) S 441 443 443 0 -1 4202496 25396 0 1 0 87 3 0 0 20 0 18 0 869499373 8743198720 23672 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/443/statm: 2134570 23673 2213 9 0 2125311 0
[pid=443/tid=444] ppid=441 vsize=8538280 CPUtime=0.47 cores=1,3,5,7
/proc/443/task/444/stat : 444 (java) R 441 443 443 0 -1 4202560 21229 0 1 0 45 2 0 0 25 0 18 0 869499374 8743198720 25188 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 46912505558046 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=443/tid=445] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/445/stat : 445 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869499374 8743198720 25190 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 1 0 0 0
[pid=443/tid=446] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/446/stat : 446 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869499374 8743198720 25192 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 1 0 0 0
[pid=443/tid=447] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/447/stat : 447 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499374 8743198720 25194 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=448] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/448/stat : 448 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499374 8743198720 25196 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=449] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/449/stat : 449 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499374 8743198720 25197 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=450] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/450/stat : 450 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499374 8743198720 25199 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=451] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/451/stat : 451 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499374 8743198720 25201 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=452] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/452/stat : 452 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499374 8743198720 25203 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=453] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/453/stat : 453 (java) S 441 443 443 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869499375 8743198720 25204 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284505600 0 0 0 16800975 18446604459372894144 0 0 -1 1 0 0 0
[pid=443/tid=454] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/454/stat : 454 (java) S 441 443 443 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869499376 8743198720 25206 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 1 0 0 0
[pid=443/tid=455] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/455/stat : 455 (java) S 441 443 443 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 869499376 8743198720 25208 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=456] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/456/stat : 456 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499378 8743198720 25210 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284512689 0 4 0 16800975 18446604459372894144 0 0 -1 1 0 0 0
[pid=443/tid=457] ppid=441 vsize=8538280 CPUtime=0.22 cores=1,3,5,7
/proc/443/task/457/stat : 457 (java) S 441 443 443 0 -1 4202560 1831 0 0 0 22 0 0 0 25 0 18 0 869499378 8743198720 25212 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 7 0 0 0
[pid=443/tid=466] ppid=441 vsize=8538280 CPUtime=0.2 cores=1,3,5,7
/proc/443/task/466/stat : 466 (java) S 441 443 443 0 -1 4202560 2463 0 0 0 20 0 0 0 25 0 18 0 869499378 8743198720 25213 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=443/tid=467] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/467/stat : 467 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869499378 8743198720 25215 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284504985 0 4 0 16800975 18446604459372894144 0 0 -1 1 0 0 0
[pid=443/tid=469] ppid=441 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/443/task/469/stat : 469 (java) S 441 443 443 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869499378 8743198720 25217 33554432000 1073741824 1073778376 140733287966656 18446744073709551615 268284505600 0 4 0 16800975 18446604459372894144 0 0 -1 5 0 0 0
[pid=32560] ppid=32554 vsize=350232 CPUtime=0.3 cores=1,3,5,7
/proc/32560/stat : 32560 (python) S 32554 32554 30488 0 -1 4202560 1092 0 0 0 13 17 0 0 17 0 2 0 869475449 358637568 19934 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32560/statm: 87558 19934 406 364 0 22445 0
[pid=32562] ppid=32560 vsize=79904 CPUtime=46.55 cores=1,3,5,7
/proc/32562/stat : 32562 (wbo1.4a) T 32560 32562 32562 0 -1 4202496 46051 0 0 0 4624 31 0 0 25 0 1 0 869475450 81821696 19040 33554432000 134512640 135751879 4292866784 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32562/statm: 19976 19040 146 303 0 19671 0
[pid=32560/tid=32566] ppid=32554 vsize=350232 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (python) S 32554 32554 30488 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869480110 358637568 19934 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554946 18446604455175154688 0 0 -1 5 0 0 0
[pid=32567] ppid=32554 vsize=350244 CPUtime=0.29 cores=1,3,5,7
/proc/32567/stat : 32567 (python) S 32554 32554 30488 0 -1 4202560 1113 0 0 0 13 16 0 0 17 0 2 0 869480113 358649856 19924 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32567/statm: 87561 19924 396 364 0 22445 0
[pid=32569] ppid=32567 vsize=1002056 CPUtime=50.56 cores=1,3,5,7
/proc/32569/stat : 32569 (scip-2.0.1.linu) T 32567 32569 32569 0 -1 4202496 247234 0 0 0 4880 176 0 0 25 0 1 0 869480113 1026105344 243125 33554432000 4194304 13684479 140736974769424 18446744073709551615 4880923 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/32569/statm: 250514 243125 694 2317 0 248192 0
[pid=32567/tid=32579] ppid=32554 vsize=350244 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32579/stat : 32579 (python) S 32554 32554 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869485170 358649856 19924 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466681979008 0 0 -1 7 0 0 0
[pid=32591] ppid=32554 vsize=360500 CPUtime=0.26 cores=1,3,5,7
/proc/32591/stat : 32591 (python) S 32554 32554 30488 0 -1 4202560 1102 0 0 0 12 14 0 0 17 0 2 0 869485173 369152000 19928 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32591/statm: 90125 19928 396 364 0 25006 0
[pid=32593] ppid=32591 vsize=8551732 CPUtime=49.55 cores=1,3,5,7
/proc/32593/stat : 32593 (java) T 32591 32593 32593 0 -1 4202496 720118 0 1 0 4875 80 0 0 18 0 19 0 869485173 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32593/statm: 2137933 705283 2246 9 0 2128674 0
[pid=32593/tid=32594] ppid=32591 vsize=8551732 CPUtime=46.45 cores=1,3,5,7
/proc/32593/task/32594/stat : 32594 (java) T 32591 32593 32593 0 -1 4202560 631761 0 1 0 4574 71 0 0 25 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 46912505952166 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32593/tid=32600] ppid=32591 vsize=8551732 CPUtime=0.08 cores=1,3,5,7
/proc/32593/task/32600/stat : 32600 (java) T 32591 32593 32593 0 -1 4202560 5620 0 0 0 8 0 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32593/tid=32601] ppid=32591 vsize=8551732 CPUtime=0.13 cores=1,3,5,7
/proc/32593/task/32601/stat : 32601 (java) T 32591 32593 32593 0 -1 4202560 10010 0 0 0 12 1 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32593/tid=32602] ppid=32591 vsize=8551732 CPUtime=0.1 cores=1,3,5,7
/proc/32593/task/32602/stat : 32602 (java) T 32591 32593 32593 0 -1 4202560 8653 0 0 0 10 0 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32593/tid=32603] ppid=32591 vsize=8551732 CPUtime=0.14 cores=1,3,5,7
/proc/32593/task/32603/stat : 32603 (java) T 32591 32593 32593 0 -1 4202560 8974 0 0 0 14 0 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32593/tid=32604] ppid=32591 vsize=8551732 CPUtime=0.19 cores=1,3,5,7
/proc/32593/task/32604/stat : 32604 (java) T 32591 32593 32593 0 -1 4202560 14850 0 0 0 18 1 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32593/tid=32605] ppid=32591 vsize=8551732 CPUtime=0.15 cores=1,3,5,7
/proc/32593/task/32605/stat : 32605 (java) T 32591 32593 32593 0 -1 4202560 8110 0 0 0 14 1 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32593/tid=32606] ppid=32591 vsize=8551732 CPUtime=0.13 cores=1,3,5,7
/proc/32593/task/32606/stat : 32606 (java) T 32591 32593 32593 0 -1 4202560 11204 0 0 0 12 1 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32593/tid=32607] ppid=32591 vsize=8551732 CPUtime=0.08 cores=1,3,5,7
/proc/32593/task/32607/stat : 32607 (java) T 32591 32593 32593 0 -1 4202560 3366 0 0 0 8 0 0 0 15 0 19 0 869485174 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32593/tid=32608] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32608/stat : 32608 (java) T 32591 32593 32593 0 -1 4202560 1273 0 0 0 0 0 0 0 15 0 19 0 869485175 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32593/tid=32609] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32609/stat : 32609 (java) T 32591 32593 32593 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869485176 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32593/tid=32610] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32610/stat : 32610 (java) T 32591 32593 32593 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869485176 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32593/tid=32611] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32611/stat : 32611 (java) T 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32593/tid=32612] ppid=32591 vsize=8551732 CPUtime=1.19 cores=1,3,5,7
/proc/32593/task/32612/stat : 32612 (java) T 32591 32593 32593 0 -1 4202560 7180 0 0 0 118 1 0 0 15 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32593/tid=32613] ppid=32591 vsize=8551732 CPUtime=0.8 cores=1,3,5,7
/proc/32593/task/32613/stat : 32613 (java) T 32591 32593 32593 0 -1 4202560 7725 0 0 0 80 0 0 0 15 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32593/tid=32614] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32614/stat : 32614 (java) T 32591 32593 32593 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32593/tid=32615] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32615/stat : 32615 (java) T 32591 32593 32593 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869485178 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32593/tid=32620] ppid=32591 vsize=8551732 CPUtime=0 cores=1,3,5,7
/proc/32593/task/32620/stat : 32620 (java) T 32591 32593 32593 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869485346 8756973568 705283 33554432000 1073741824 1073778376 140733945788928 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32591/tid=404] ppid=32554 vsize=360500 CPUtime=0 cores=1,3,5,7
/proc/32591/task/404/stat : 404 (python) S 32554 32554 30488 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869489868 369152000 19928 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462743804096 0 0 -1 5 0 0 0
[pid=32554/tid=32561] ppid=32552 vsize=391256 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32561/stat : 32561 (python) S 32552 32554 30488 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 6 0 869475449 400646144 21422 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 7 0 0 0
[pid=32554/tid=32568] ppid=32552 vsize=391256 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32568/stat : 32568 (python) S 32552 32554 30488 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869480113 400646144 21422 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 3 0 0 0
[pid=32554/tid=32592] ppid=32552 vsize=391256 CPUtime=0 cores=1,3,5,7
/proc/32554/task/32592/stat : 32592 (python) S 32552 32554 30488 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 869485173 400646144 21422 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 3 0 0 0
[pid=32554/tid=407] ppid=32552 vsize=391256 CPUtime=0 cores=1,3,5,7
/proc/32554/task/407/stat : 407 (python) S 32552 32554 30488 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869489870 400646144 21422 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 5 0 0 0
[pid=32554/tid=442] ppid=32552 vsize=391256 CPUtime=0 cores=1,3,5,7
/proc/32554/task/442/stat : 442 (python) S 32552 32554 30488 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869499373 400646144 21422 33554432000 4194304 5683644 140737037501472 18446744073709551615 268284512689 0 0 16781312 33554434 18446604463626599360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 248.15
Current children cumulated vsize (KiB) 20424920
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 32554 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=93377
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=152976
# CPU time returned by wait4() is 4.24635
# while last known CPU time is 248.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 244.197
CPU time (s): 248.15
CPU user time (s): 244.34
CPU system time (s): 3.81
CPU usage (%): 101.619
Max. virtual memory (cumulated for all children) (KiB): 20424920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.09338
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37059
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= 2866
involuntary context switches= 27
runsolver used 1.92871 second user time and 3.98239 second system time
The end