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-3481765-1307576900/watcher-3481765-1307576900 -o /tmp/evaluation-result-3481765-1307576900/solver-3481765-1307576900 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481765-1307576900.opb -seed 1746409190 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 1.72 0.88 2/651 31198
/proc/meminfo: memFree=29453164/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/31198/stat : 31198 (python) R 31196 31198 30488 0 -1 4202496 1051 0 0 0 1 0 0 0 20 0 1 0 869288864 16633856 923 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31198/statm: 4061 923 381 364 0 548 0
[startup+0.0557289 s]
/proc/loadavg: 2.07 1.72 0.88 2/651 31198
/proc/meminfo: memFree=29453164/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=29788 CPUtime=0.02 cores=1,3,5,7
/proc/31198/stat : 31198 (python) R 31196 31198 30488 0 -1 4202496 1408 0 0 0 2 0 0 0 20 0 1 0 869288864 30502912 1252 33554432000 4194304 5683644 140737072156416 18446744073709551615 5213632 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31198/statm: 7447 1252 443 364 0 817 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29788
[startup+0.100723 s]
/proc/loadavg: 2.07 1.72 0.88 2/651 31198
/proc/meminfo: memFree=29453164/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=87828 CPUtime=0.05 cores=1,3,5,7
/proc/31198/stat : 31198 (python) R 31196 31198 30488 0 -1 4202496 2691 0 0 0 4 1 0 0 20 0 1 0 869288864 89935872 2407 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272687104 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31198/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87828
[startup+0.300686 s]
/proc/loadavg: 2.07 1.72 0.88 2/651 31198
/proc/meminfo: memFree=29453164/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/31198/stat : 31198 (python) R 31196 31198 30488 0 -1 4202496 5359 926 1 0 11 6 0 0 20 0 1 0 869288864 126713856 3747 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272685061 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/31198/statm: 30936 3747 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700617 s]
/proc/loadavg: 2.07 1.72 0.88 2/651 31198
/proc/meminfo: memFree=29453164/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=284472 CPUtime=0.48 cores=1,3,5,7
/proc/31198/stat : 31198 (python) R 31196 31198 30488 0 -1 4202496 9603 926 1 0 35 13 0 0 19 0 1 0 869288864 291299328 7465 33554432000 4194304 5683644 140737072156416 18446744073709551615 4509097 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/31198/statm: 71118 7465 1815 364 0 6011 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 284472
[startup+1.5005 s]
/proc/loadavg: 1.99 1.71 0.88 4/655 31206
/proc/meminfo: memFree=29393340/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=294996 CPUtime=0.56 cores=1,3,5,7
/proc/31198/stat : 31198 (python) S 31196 31198 30488 0 -1 4202496 10048 926 1 0 43 13 0 0 22 0 2 0 869288864 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31198/statm: 73749 7554 1870 364 0 8636 0
[pid=31204] ppid=31198 vsize=284752 CPUtime=0 cores=1,3,5,7
/proc/31204/stat : 31204 (python) S 31198 31198 30488 0 -1 4202560 765 0 0 0 0 0 0 0 19 0 1 0 869288942 291586048 6032 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272709135 0 0 16781312 33554946 1570818974944297220 0 0 17 3 0 0 0
/proc/31204/statm: 71188 6032 352 364 0 6075 0
[pid=31206] ppid=31204 vsize=56084 CPUtime=0.71 cores=1,3,5,7
/proc/31206/stat : 31206 (scip-2.0.1.linu) R 31204 31206 31206 0 -1 4202496 12260 0 0 0 66 5 0 0 25 0 1 0 869288942 57430016 11609 33554432000 4194304 13684479 140733553557296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31206/statm: 14021 11609 748 2317 0 11699 0
[pid=31198/tid=31205] ppid=31196 vsize=294996 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31205/stat : 31205 (python) S 31196 31198 30488 0 -1 4202560 29 926 0 0 0 0 0 0 22 0 2 0 869288942 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 635832
[startup+3.10018 s]
/proc/loadavg: 1.99 1.71 0.88 4/655 31206
/proc/meminfo: memFree=29375608/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=294996 CPUtime=0.56 cores=1,3,5,7
/proc/31198/stat : 31198 (python) S 31196 31198 30488 0 -1 4202496 10048 926 1 0 43 13 0 0 22 0 2 0 869288864 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31198/statm: 73749 7554 1870 364 0 8636 0
[pid=31204] ppid=31198 vsize=284752 CPUtime=0 cores=1,3,5,7
/proc/31204/stat : 31204 (python) S 31198 31198 30488 0 -1 4202560 765 0 0 0 0 0 0 0 18 0 1 0 869288942 291586048 6032 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272709135 0 0 16781312 33554946 1570818974944297220 0 0 17 3 0 0 0
/proc/31204/statm: 71188 6032 352 364 0 6075 0
[pid=31206] ppid=31204 vsize=56460 CPUtime=2.31 cores=1,3,5,7
/proc/31206/stat : 31206 (scip-2.0.1.linu) R 31204 31206 31206 0 -1 4202496 12340 0 0 0 224 7 0 0 25 0 1 0 869288942 57815040 11689 33554432000 4194304 13684479 140733553557296 18446744073709551615 7390450 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31206/statm: 14115 11689 748 2317 0 11793 0
[pid=31198/tid=31205] ppid=31196 vsize=294996 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31205/stat : 31205 (python) S 31196 31198 30488 0 -1 4202560 29 926 0 0 0 0 0 0 22 0 2 0 869288942 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 636208
[startup+6.30068 s]
/proc/loadavg: 2.07 1.73 0.89 4/655 31206
/proc/meminfo: memFree=29362332/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=294996 CPUtime=0.56 cores=1,3,5,7
/proc/31198/stat : 31198 (python) S 31196 31198 30488 0 -1 4202496 10048 926 1 0 43 13 0 0 22 0 2 0 869288864 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31198/statm: 73749 7554 1870 364 0 8636 0
[pid=31204] ppid=31198 vsize=284752 CPUtime=0.01 cores=1,3,5,7
/proc/31204/stat : 31204 (python) S 31198 31198 30488 0 -1 4202560 909 0 0 0 1 0 0 0 16 0 1 0 869288942 291586048 6062 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272709135 0 0 16781312 33554946 1413437161172107264 0 0 17 3 0 0 0
/proc/31204/statm: 71188 6062 376 364 0 6075 0
[pid=31206] ppid=31204 vsize=57424 CPUtime=5.51 cores=1,3,5,7
/proc/31206/stat : 31206 (scip-2.0.1.linu) R 31204 31206 31206 0 -1 4202496 12712 0 0 0 542 9 0 0 18 0 1 0 869288942 58802176 12061 33554432000 4194304 13684479 140733553557296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31206/statm: 14356 12061 770 2317 0 12034 0
[pid=31198/tid=31205] ppid=31196 vsize=294996 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31205/stat : 31205 (python) S 31196 31198 30488 0 -1 4202560 29 926 0 0 0 0 0 0 22 0 2 0 869288942 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 637172
[startup+12.7005 s]
/proc/loadavg: 2.06 1.73 0.90 4/655 31206
/proc/meminfo: memFree=29320284/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=294996 CPUtime=0.56 cores=1,3,5,7
/proc/31198/stat : 31198 (python) S 31196 31198 30488 0 -1 4202496 10048 926 1 0 43 13 0 0 22 0 2 0 869288864 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31198/statm: 73749 7554 1870 364 0 8636 0
[pid=31204] ppid=31198 vsize=284752 CPUtime=0.04 cores=1,3,5,7
/proc/31204/stat : 31204 (python) S 31198 31198 30488 0 -1 4202560 920 0 0 0 2 2 0 0 15 0 1 0 869288942 291586048 6063 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272709135 0 0 16781312 33554946 5623458817330129643 0 0 17 3 0 0 0
/proc/31204/statm: 71188 6063 376 364 0 6075 0
[pid=31206] ppid=31204 vsize=88144 CPUtime=11.9 cores=1,3,5,7
/proc/31206/stat : 31206 (scip-2.0.1.linu) R 31204 31206 31206 0 -1 4202496 20205 0 0 0 1159 31 0 0 25 0 1 0 869288942 90259456 19500 33554432000 4194304 13684479 140733553557296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31206/statm: 22036 19500 804 2317 0 19714 0
[pid=31198/tid=31205] ppid=31196 vsize=294996 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31205/stat : 31205 (python) S 31196 31198 30488 0 -1 4202560 29 926 0 0 0 0 0 0 22 0 2 0 869288942 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 667892
[startup+25.5012 s]
/proc/loadavg: 2.27 1.79 0.92 3/665 31283
/proc/meminfo: memFree=29107232/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=294996 CPUtime=0.56 cores=1,3,5,7
/proc/31198/stat : 31198 (python) S 31196 31198 30488 0 -1 4202496 10048 926 1 0 43 13 0 0 22 0 2 0 869288864 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31198/statm: 73749 7554 1870 364 0 8636 0
[pid=31204] ppid=31198 vsize=284752 CPUtime=0.12 cores=1,3,5,7
/proc/31204/stat : 31204 (python) S 31198 31198 30488 0 -1 4202560 933 0 0 0 6 6 0 0 16 0 1 0 869288942 291586048 6063 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272709135 0 0 16781312 33554946 2824544886701686784 0 0 17 7 0 0 0
/proc/31204/statm: 71188 6063 376 364 0 6075 0
[pid=31206] ppid=31204 vsize=87236 CPUtime=24.7 cores=1,3,5,7
/proc/31206/stat : 31206 (scip-2.0.1.linu) R 31204 31206 31206 0 -1 4202496 20810 0 0 0 2411 59 0 0 25 0 1 0 869288942 89329664 19405 33554432000 4194304 13684479 140733553557296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31206/statm: 21809 19405 822 2317 0 19487 0
[pid=31198/tid=31205] ppid=31196 vsize=294996 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31205/stat : 31205 (python) S 31196 31198 30488 0 -1 4202560 29 926 0 0 0 0 0 0 22 0 2 0 869288942 302075904 7554 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 666984
[startup+51.1016 s]
/proc/loadavg: 2.16 1.81 0.96 3/687 31306
/proc/meminfo: memFree=28946756/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=305756 CPUtime=0.59 cores=1,3,5,7
/proc/31198/stat : 31198 (python) S 31196 31198 30488 0 -1 4202496 10934 926 1 0 46 13 0 0 20 0 3 0 869288864 313094144 7688 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31198/statm: 76439 7688 1873 364 0 11323 0
[pid=31204] ppid=31198 vsize=294996 CPUtime=0.23 cores=1,3,5,7
/proc/31204/stat : 31204 (python) S 31198 31198 30488 0 -1 4202560 1100 0 0 0 12 11 0 0 16 0 2 0 869288942 302075904 6099 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31204/statm: 73749 6099 407 364 0 8636 0
[pid=31206] ppid=31204 vsize=87236 CPUtime=47.74 cores=1,3,5,7
/proc/31206/stat : 31206 (scip-2.0.1.linu) T 31204 31206 31206 0 -1 4202496 20810 0 0 0 4698 76 0 0 25 0 1 0 869288942 89329664 19405 33554432000 4194304 13684479 140733553557296 18446744073709551615 7390520 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/31206/statm: 21809 19405 822 2317 0 19487 0
[pid=31204/tid=31285] ppid=31198 vsize=294996 CPUtime=0 cores=1,3,5,7
/proc/31204/task/31285/stat : 31285 (python) S 31198 31198 30488 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869293718 302075904 6099 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604455639118016 0 0 -1 7 0 0 0
[pid=31286] ppid=31198 vsize=295512 CPUtime=0 cores=1,3,5,7
/proc/31286/stat : 31286 (python) S 31198 31198 30488 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869293721 302604288 6161 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272709190 0 0 16781312 33554946 3888659099126038792 0 0 17 3 0 0 0
/proc/31286/statm: 73878 6161 349 364 0 8762 0
[pid=31288] ppid=31286 vsize=8538864 CPUtime=3.32 cores=1,3,5,7
/proc/31288/stat : 31288 (java) S 31286 31288 31288 0 -1 4202496 27106 0 1 0 328 4 0 0 21 0 19 0 869293721 8743796736 24842 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/31288/statm: 2134716 24842 2229 9 0 2125457 0
[pid=31288/tid=31289] ppid=31286 vsize=8538864 CPUtime=2.51 cores=1,3,5,7
/proc/31288/task/31289/stat : 31289 (java) R 31286 31288 31288 0 -1 4202560 20663 0 1 0 248 3 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 47850153737043 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31288/tid=31290] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31290/stat : 31290 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 7 0 0 0
[pid=31288/tid=31291] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31291/stat : 31291 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31292] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31292/stat : 31292 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31293] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31293/stat : 31293 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31294] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31294/stat : 31294 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31295] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31295/stat : 31295 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31296] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31296/stat : 31296 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31297] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31297/stat : 31297 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293722 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31298] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31298/stat : 31298 (java) S 31286 31288 31288 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869293723 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284505600 0 0 0 16800975 18446604466681981696 0 0 -1 7 0 0 0
[pid=31288/tid=31299] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31299/stat : 31299 (java) S 31286 31288 31288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869293723 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 7 0 0 0
[pid=31288/tid=31300] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31300/stat : 31300 (java) S 31286 31288 31288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869293723 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 5 0 0 0
[pid=31288/tid=31301] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31301/stat : 31301 (java) S 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293726 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284512689 0 4 0 16800975 18446604466681981696 0 0 -1 7 0 0 0
[pid=31288/tid=31302] ppid=31286 vsize=8538864 CPUtime=0.39 cores=1,3,5,7
/proc/31288/task/31302/stat : 31302 (java) S 31286 31288 31288 0 -1 4202560 2174 0 0 0 39 0 0 0 15 0 19 0 869293726 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 7 0 0 0
[pid=31288/tid=31303] ppid=31286 vsize=8538864 CPUtime=0.4 cores=1,3,5,7
/proc/31288/task/31303/stat : 31303 (java) S 31286 31288 31288 0 -1 4202560 2871 0 0 0 40 0 0 0 24 0 19 0 869293726 8743796736 24843 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446604466681981696 0 0 -1 3 0 0 0
[pid=31288/tid=31304] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=31198/tid=31287] ppid=31196 vsize=326268 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31287/stat : 31287 (python) S 31196 31198 30488 0 -1 4202560 25 926 0 0 0 0 0 0 20 0 5 0 869293721 334098432 7703 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 5 0 0 0
[pid=31198/tid=31314] ppid=31196 vsize=326268 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31314/stat : 31314 (python) S 31196 31198 30488 0 -1 4202560 33 926 0 0 0 0 0 0 20 0 5 0 869298555 334098432 7703 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 5 0 0 0
[pid=31198/tid=31325] ppid=31196 vsize=326268 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31325/stat : 31325 (python) S 31196 31198 30488 0 -1 4202560 33 926 0 0 0 0 0 0 20 0 5 0 869307734 334098432 7703 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.35
Current children cumulated vsize (KiB) 10380404
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+331.102 s]
/proc/loadavg: 1.99 1.95 1.23 4/743 31437
/proc/meminfo: memFree=28033924/32950928 swapFree=43925852/67111528
[pid=31198] ppid=31196 vsize=346780 CPUtime=0.71 cores=1,3,5,7
/proc/31198/stat : 31198 (python) S 31196 31198 30488 0 -1 4202496 14641 926 1 0 57 14 0 0 19 0 7 0 869288864 355102720 7716 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31198/statm: 86695 7716 1881 364 0 21567 0
[pid=31204] ppid=31198 vsize=294996 CPUtime=0.47 cores=1,3,5,7
/proc/31204/stat : 31204 (python) S 31198 31198 30488 0 -1 4202560 1126 0 0 0 22 25 0 0 16 0 2 0 869288942 302075904 6100 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31204/statm: 73749 6100 408 364 0 8636 0
[pid=31206] ppid=31204 vsize=87236 CPUtime=93.01 cores=1,3,5,7
/proc/31206/stat : 31206 (scip-2.0.1.linu) T 31204 31206 31206 0 -1 4202496 20810 0 0 0 9198 103 0 0 25 0 1 0 869288942 89329664 19405 33554432000 4194304 13684479 140733553557296 18446744073709551615 7268178 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/31206/statm: 21809 19405 822 2317 0 19487 0
[pid=31204/tid=31285] ppid=31198 vsize=294996 CPUtime=0 cores=1,3,5,7
/proc/31204/task/31285/stat : 31285 (python) S 31198 31198 30488 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869293718 302075904 6100 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604455639118016 0 0 -1 7 0 0 0
[pid=31286] ppid=31198 vsize=295512 CPUtime=0.26 cores=1,3,5,7
/proc/31286/stat : 31286 (python) S 31198 31198 30488 0 -1 4202560 1101 0 0 0 12 14 0 0 16 0 2 0 869293721 302604288 6216 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/31286/statm: 73878 6216 397 364 0 8762 0
[pid=31288] ppid=31286 vsize=8538864 CPUtime=49.2 cores=1,3,5,7
/proc/31288/stat : 31288 (java) T 31286 31288 31288 0 -1 4202496 42792 0 1 0 4914 6 0 0 18 0 19 0 869293721 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/31288/statm: 2134716 40482 2255 9 0 2125457 0
[pid=31288/tid=31289] ppid=31286 vsize=8538864 CPUtime=47.88 cores=1,3,5,7
/proc/31288/task/31289/stat : 31289 (java) T 31286 31288 31288 0 -1 4202560 20760 0 1 0 4785 3 0 0 25 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 46912505833532 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31290] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31290/stat : 31290 (java) T 31286 31288 31288 0 -1 4202560 1278 0 0 0 0 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31291] ppid=31286 vsize=8538864 CPUtime=0.01 cores=1,3,5,7
/proc/31288/task/31291/stat : 31291 (java) T 31286 31288 31288 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31292] ppid=31286 vsize=8538864 CPUtime=0.01 cores=1,3,5,7
/proc/31288/task/31292/stat : 31292 (java) T 31286 31288 31288 0 -1 4202560 1186 0 0 0 1 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31293] ppid=31286 vsize=8538864 CPUtime=0.01 cores=1,3,5,7
/proc/31288/task/31293/stat : 31293 (java) T 31286 31288 31288 0 -1 4202560 627 0 0 0 1 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31294] ppid=31286 vsize=8538864 CPUtime=0.02 cores=1,3,5,7
/proc/31288/task/31294/stat : 31294 (java) T 31286 31288 31288 0 -1 4202560 1393 0 0 0 2 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31288/tid=31295] ppid=31286 vsize=8538864 CPUtime=0.01 cores=1,3,5,7
/proc/31288/task/31295/stat : 31295 (java) T 31286 31288 31288 0 -1 4202560 432 0 0 0 1 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31296] ppid=31286 vsize=8538864 CPUtime=0.02 cores=1,3,5,7
/proc/31288/task/31296/stat : 31296 (java) T 31286 31288 31288 0 -1 4202560 2704 0 0 0 2 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31297] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31297/stat : 31297 (java) T 31286 31288 31288 0 -1 4202560 530 0 0 0 0 0 0 0 15 0 19 0 869293722 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31298] ppid=31286 vsize=8538864 CPUtime=0.26 cores=1,3,5,7
/proc/31288/task/31298/stat : 31298 (java) T 31286 31288 31288 0 -1 4202560 7406 0 0 0 26 0 0 0 15 0 19 0 869293723 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31288/tid=31299] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31299/stat : 31299 (java) T 31286 31288 31288 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869293723 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31300] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31300/stat : 31300 (java) T 31286 31288 31288 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869293723 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31288/tid=31301] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31301/stat : 31301 (java) T 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293726 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31302] ppid=31286 vsize=8538864 CPUtime=0.44 cores=1,3,5,7
/proc/31288/task/31302/stat : 31302 (java) T 31286 31288 31288 0 -1 4202560 2199 0 0 0 44 0 0 0 15 0 19 0 869293726 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31288/tid=31303] ppid=31286 vsize=8538864 CPUtime=0.45 cores=1,3,5,7
/proc/31288/task/31303/stat : 31303 (java) T 31286 31288 31288 0 -1 4202560 2882 0 0 0 45 0 0 0 15 0 19 0 869293726 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31288/tid=31304] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31304/stat : 31304 (java) T 31286 31288 31288 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293726 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31288/tid=31305] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31305/stat : 31305 (java) T 31286 31288 31288 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869293726 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31288/tid=31306] ppid=31286 vsize=8538864 CPUtime=0 cores=1,3,5,7
/proc/31288/task/31306/stat : 31306 (java) T 31286 31288 31288 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869293767 8743796736 40482 33554432000 1073741824 1073778376 140733247476544 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31286/tid=31312] ppid=31198 vsize=295512 CPUtime=0 cores=1,3,5,7
/proc/31286/task/31312/stat : 31312 (python) S 31198 31198 30488 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869298552 302604288 6216 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604470214800640 0 0 -1 5 0 0 0
[pid=31313] ppid=31198 vsize=305768 CPUtime=0.46 cores=1,3,5,7
/proc/31313/stat : 31313 (python) S 31198 31198 30488 0 -1 4202560 1136 0 0 0 22 24 0 0 17 0 2 0 869298555 313106432 6221 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31313/statm: 76442 6221 397 364 0 11323 0
[pid=31315] ppid=31313 vsize=63624 CPUtime=91.75 cores=1,3,5,7
/proc/31315/stat : 31315 (scip-2.0.1.linu) T 31313 31315 31315 0 -1 4202496 37283 0 0 0 9142 33 0 0 25 0 1 0 869298555 65150976 13394 33554432000 4194304 15243407 140734982749568 18446744073709551615 6958453 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/31315/statm: 15906 13394 928 2698 0 13201 0
[pid=31313/tid=31323] ppid=31198 vsize=305768 CPUtime=0 cores=1,3,5,7
/proc/31313/task/31323/stat : 31323 (python) S 31198 31198 30488 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869307731 313106432 6221 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462203322816 0 0 -1 7 0 0 0
[pid=31324] ppid=31198 vsize=316024 CPUtime=0.33 cores=1,3,5,7
/proc/31324/stat : 31324 (python) S 31198 31198 30488 0 -1 4202560 1172 0 0 0 17 16 0 0 17 0 2 0 869307734 323608576 6226 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31324/statm: 79006 6226 397 364 0 13884 0
[pid=31326] ppid=31324 vsize=152112 CPUtime=48.93 cores=1,3,5,7
/proc/31326/stat : 31326 (wbo1.4a) T 31324 31326 31326 0 -1 4202496 64311 0 0 0 4802 91 0 0 25 0 1 0 869307734 155762688 37566 33554432000 134512640 135751879 4286735136 18446744073709551615 134616514 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/31326/statm: 38028 37566 146 303 0 37723 0
[pid=31324/tid=31328] ppid=31198 vsize=316024 CPUtime=0 cores=1,3,5,7
/proc/31324/task/31328/stat : 31328 (python) S 31198 31198 30488 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869312635 323608576 6226 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604468994026176 0 0 -1 7 0 0 0
[pid=31334] ppid=31198 vsize=326280 CPUtime=0.24 cores=1,3,5,7
/proc/31334/stat : 31334 (python) S 31198 31198 30488 0 -1 4202560 1131 0 0 0 10 14 0 0 16 0 2 0 869317166 334110720 6230 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31334/statm: 81570 6230 397 364 0 16445 0
[pid=31336] ppid=31334 vsize=19156 CPUtime=47.23 cores=1,3,5,7
/proc/31336/stat : 31336 (bsolo_pb10) T 31334 31336 31336 0 -1 4202496 1422450 0 0 0 4580 143 0 0 25 0 1 0 869317166 19615744 1819 33554432000 134512640 137138936 4293614832 18446744073709551615 135358656 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/31336/statm: 4789 1819 288 642 0 4145 0
[pid=31334/tid=31416] ppid=31198 vsize=326280 CPUtime=0 cores=1,3,5,7
/proc/31334/task/31416/stat : 31416 (python) S 31198 31198 30488 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869321898 334110720 6230 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604458703077504 0 0 -1 7 0 0 0
[pid=31417] ppid=31198 vsize=336536 CPUtime=0 cores=1,3,5,7
/proc/31417/stat : 31417 (python) S 31198 31198 30488 0 -1 4202560 907 0 0 0 0 0 0 0 16 0 1 0 869321901 344612864 6187 33554432000 4194304 5683644 140737072156416 18446744073709551615 268272709190 0 0 16781312 33554946 438546947247177728 0 0 17 7 0 0 0
/proc/31417/statm: 84134 6187 356 364 0 19006 0
[pid=31419] ppid=31417 vsize=8539020 CPUtime=1.36 cores=1,3,5,7
/proc/31419/stat : 31419 (java) S 31417 31419 31419 0 -1 4202496 16777 0 1 0 134 2 0 0 21 0 19 0 869321901 8743956480 14221 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31419/statm: 2134755 14221 2226 9 0 2125496 0
[pid=31419/tid=31420] ppid=31417 vsize=8539020 CPUtime=0.76 cores=1,3,5,7
/proc/31419/task/31420/stat : 31420 (java) R 31417 31419 31419 0 -1 4202560 10130 0 1 0 75 1 0 0 19 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 47883140401972 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31419/tid=31421] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31421/stat : 31421 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 1 0 0 0
[pid=31419/tid=31422] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31422/stat : 31422 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31423] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31423/stat : 31423 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31424] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31424/stat : 31424 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31425] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31425/stat : 31425 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31426] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31426/stat : 31426 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31427] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31427/stat : 31427 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31428] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31428/stat : 31428 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869321902 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31429] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31429/stat : 31429 (java) S 31417 31419 31419 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869321903 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284505600 0 0 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31430] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31430/stat : 31430 (java) S 31417 31419 31419 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869321904 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 1 0 0 0
[pid=31419/tid=31431] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31431/stat : 31431 (java) S 31417 31419 31419 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869321904 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 1 0 0 0
[pid=31419/tid=31432] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31432/stat : 31432 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321906 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284512689 0 4 0 16800975 18446604461415115584 0 0 -1 1 0 0 0
[pid=31419/tid=31433] ppid=31417 vsize=8539020 CPUtime=0.29 cores=1,3,5,7
/proc/31419/task/31433/stat : 31433 (java) S 31417 31419 31419 0 -1 4202560 1690 0 0 0 29 0 0 0 25 0 19 0 869321906 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 7 0 0 0
[pid=31419/tid=31434] ppid=31417 vsize=8539020 CPUtime=0.29 cores=1,3,5,7
/proc/31419/task/31434/stat : 31434 (java) S 31417 31419 31419 0 -1 4202560 3557 0 0 0 29 0 0 0 15 0 19 0 869321906 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 3 0 0 0
[pid=31419/tid=31435] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31435/stat : 31435 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321906 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284504985 0 4 0 16800975 18446604461415115584 0 0 -1 1 0 0 0
[pid=31419/tid=31436] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31436/stat : 31436 (java) S 31417 31419 31419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321906 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284505600 0 4 0 16800975 18446604461415115584 0 0 -1 7 0 0 0
[pid=31419/tid=31437] ppid=31417 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/31419/task/31437/stat : 31437 (java) S 31417 31419 31419 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869321946 8743956480 14222 33554432000 1073741824 1073778376 140733335469936 18446744073709551615 268284505600 0 4 0 16800975 18446604461415115584 0 0 -1 1 0 0 0
[pid=31198/tid=31205] ppid=31196 vsize=346780 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31205/stat : 31205 (python) S 31196 31198 30488 0 -1 4202560 35 926 0 0 0 0 0 0 18 0 7 0 869288942 355102720 7716 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
[pid=31198/tid=31287] ppid=31196 vsize=346780 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31287/stat : 31287 (python) S 31196 31198 30488 0 -1 4202560 25 926 0 0 0 0 0 0 20 0 7 0 869293721 355102720 7716 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 5 0 0 0
[pid=31198/tid=31314] ppid=31196 vsize=346780 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31314/stat : 31314 (python) S 31196 31198 30488 0 -1 4202560 33 926 0 0 0 0 0 0 20 0 7 0 869298555 355102720 7716 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 5 0 0 0
[pid=31198/tid=31325] ppid=31196 vsize=346780 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31325/stat : 31325 (python) S 31196 31198 30488 0 -1 4202560 33 926 0 0 0 0 0 0 20 0 7 0 869307734 355102720 7716 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 7 0 0 0
[pid=31198/tid=31335] ppid=31196 vsize=346780 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31335/stat : 31335 (python) S 31196 31198 30488 0 -1 4202560 34 926 0 0 0 0 0 0 20 0 7 0 869317166 355102720 7716 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 5 0 0 0
[pid=31198/tid=31418] ppid=31196 vsize=346780 CPUtime=0 cores=1,3,5,7
/proc/31198/task/31418/stat : 31418 (python) S 31196 31198 30488 0 -1 4202560 32 926 0 0 0 0 0 0 20 0 7 0 869321901 355102720 7716 33554432000 4194304 5683644 140737072156416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996324416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 333.95
Current children cumulated vsize (KiB) 19621908
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 31198 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=576912
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=151976
# CPU time returned by wait4() is 0.728888
# while last known CPU time is 333.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 331.195
CPU time (s): 333.95
CPU user time (s): 329.1
CPU system time (s): 4.85
CPU usage (%): 100.832
Max. virtual memory (cumulated for all children) (KiB): 19621908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.576912
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15570
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= 2573
involuntary context switches= 21
runsolver used 2.50862 second user time and 5.30819 second system time
The end