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-3481884-1307577045/watcher-3481884-1307577045 -o /tmp/evaluation-result-3481884-1307577045/solver-3481884-1307577045 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481884-1307577045.opb -seed 717738632 -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.22 2.03 1.13 3/711 7808
/proc/meminfo: memFree=29163576/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/7808/stat : 7808 (python) R 7806 7808 7156 0 -1 4202496 812 0 0 0 0 0 0 0 22 0 1 0 947935553 15753216 697 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284921780 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7808/statm: 3846 698 334 364 0 333 0
[startup+0.041796 s]
/proc/loadavg: 2.22 2.03 1.13 3/711 7808
/proc/meminfo: memFree=29163576/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/7808/stat : 7808 (python) S 7806 7808 7156 0 -1 4202496 1289 0 0 0 2 0 0 0 17 0 1 0 947935553 19341312 1141 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/7808/statm: 4722 1141 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.100897 s]
/proc/loadavg: 2.22 2.03 1.13 3/711 7808
/proc/meminfo: memFree=29163576/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/7808/stat : 7808 (python) D 7806 7808 7156 0 -1 4202496 2586 0 0 0 4 1 0 0 17 0 1 0 947935553 87408640 2310 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/7808/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.301448 s]
/proc/loadavg: 2.22 2.03 1.13 3/711 7808
/proc/meminfo: memFree=29163576/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/7808/stat : 7808 (python) S 7806 7808 7156 0 -1 4202496 3033 466 1 0 5 1 0 0 18 0 1 0 947935553 98435072 2483 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284925696 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 20
/proc/7808/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.706831 s]
/proc/loadavg: 2.22 2.03 1.13 3/711 7808
/proc/meminfo: memFree=29163576/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=284596 CPUtime=0.39 cores=1,3,5,7
/proc/7808/stat : 7808 (python) R 7806 7808 7156 0 -1 4202496 9632 930 1 0 31 8 0 0 17 0 1 0 947935553 291426304 7494 33554432000 4194304 5683644 140734284322160 18446744073709551615 47464425191217 0 0 16781312 2 0 0 0 17 5 0 0 20
/proc/7808/statm: 71149 7494 1781 364 0 6042 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 284596
[startup+1.50066 s]
/proc/loadavg: 2.22 2.03 1.13 3/712 7813
/proc/meminfo: memFree=29095368/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=295992 CPUtime=1.18 cores=1,3,5,7
/proc/7808/stat : 7808 (python) R 7806 7808 7156 0 -1 4202496 14859 930 1 0 109 9 0 0 18 0 1 0 947935553 303095808 10346 33554432000 4194304 5683644 140734284322160 18446744073709551615 47464258910704 0 0 16781312 33554434 0 0 0 17 5 0 0 20
/proc/7808/statm: 73998 10346 1816 364 0 8891 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 295992
[startup+3.10139 s]
/proc/loadavg: 2.22 2.03 1.13 5/732 7833
/proc/meminfo: memFree=29032368/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=307524 CPUtime=1.35 cores=1,3,5,7
/proc/7808/stat : 7808 (python) S 7806 7808 7156 0 -1 4202496 15459 930 1 0 126 9 0 0 20 0 2 0 947935553 314904576 10720 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 20
/proc/7808/statm: 76881 10720 1870 364 0 11768 0
[pid=7814] ppid=7808 vsize=297280 CPUtime=0 cores=1,3,5,7
/proc/7814/stat : 7814 (python) S 7808 7808 7156 0 -1 4202560 755 0 0 0 0 0 0 0 15 0 1 0 947935721 304414720 9197 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284945935 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/7814/statm: 74320 9197 351 364 0 9207 0
[pid=7816] ppid=7814 vsize=8538468 CPUtime=2.38 cores=1,3,5,7
/proc/7816/stat : 7816 (java) S 7814 7816 7816 0 -1 4202496 43987 0 1 0 231 7 0 0 19 0 19 0 947935721 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7816/statm: 2134617 40297 2246 9 0 2125358 0
[pid=7816/tid=7817] ppid=7814 vsize=8538468 CPUtime=1.4 cores=1,3,5,7
/proc/7816/task/7817/stat : 7817 (java) R 7814 7816 7816 0 -1 4202560 35232 0 1 0 134 6 0 0 20 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 46912505900228 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7816/tid=7818] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7818/stat : 7818 (java) S 7814 7816 7816 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7819] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7819/stat : 7819 (java) S 7814 7816 7816 0 -1 4202560 370 0 0 0 0 0 0 0 16 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7820] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7820/stat : 7820 (java) S 7814 7816 7816 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 3 0 0 0
[pid=7816/tid=7821] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7821/stat : 7821 (java) S 7814 7816 7816 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7822] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7822/stat : 7822 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7823] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7823/stat : 7823 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7824] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7824/stat : 7824 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7825] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7825/stat : 7825 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947935722 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7826] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7826/stat : 7826 (java) S 7814 7816 7816 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 947935723 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 0 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7827] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7827/stat : 7827 (java) S 7814 7816 7816 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 947935724 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7828] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7828/stat : 7828 (java) S 7814 7816 7816 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 947935724 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7829] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7829/stat : 7829 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947935726 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296749489 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7830] ppid=7814 vsize=8538468 CPUtime=0.43 cores=1,3,5,7
/proc/7816/task/7830/stat : 7830 (java) S 7814 7816 7816 0 -1 4202560 2952 0 0 0 43 0 0 0 15 0 19 0 947935726 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 3 0 0 0
[pid=7816/tid=7831] ppid=7814 vsize=8538468 CPUtime=0.5 cores=1,3,5,7
/proc/7816/task/7831/stat : 7831 (java) S 7814 7816 7816 0 -1 4202560 3341 0 0 0 50 0 0 0 15 0 19 0 947935726 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7832] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7832/stat : 7832 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947935726 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7833] ppid=7814 vsize=8538468 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7833/stat : 7833 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947935726 8743391232 40297 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7808/tid=7815] ppid=7806 vsize=307524 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7815/stat : 7815 (python) S 7806 7808 7156 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 2 0 947935721 314904576 10720 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9143272
[startup+6.30086 s]
/proc/loadavg: 2.28 2.04 1.14 3/733 7834
/proc/meminfo: memFree=28844540/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=307524 CPUtime=1.35 cores=1,3,5,7
/proc/7808/stat : 7808 (python) S 7806 7808 7156 0 -1 4202496 15459 930 1 0 126 9 0 0 20 0 2 0 947935553 314904576 10720 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 20
/proc/7808/statm: 76881 10720 1870 364 0 11768 0
[pid=7814] ppid=7808 vsize=297280 CPUtime=0.01 cores=1,3,5,7
/proc/7814/stat : 7814 (python) S 7808 7808 7156 0 -1 4202560 905 0 0 0 0 1 0 0 15 0 1 0 947935721 304414720 9221 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284945935 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/7814/statm: 74320 9221 375 364 0 9207 0
[pid=7816] ppid=7814 vsize=8538700 CPUtime=5.73 cores=1,3,5,7
/proc/7816/stat : 7816 (java) S 7814 7816 7816 0 -1 4202496 63485 0 1 0 563 10 0 0 19 0 19 0 947935721 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7816/statm: 2134675 59126 2258 9 0 2125416 0
[pid=7816/tid=7817] ppid=7814 vsize=8538700 CPUtime=4.51 cores=1,3,5,7
/proc/7816/task/7817/stat : 7817 (java) R 7814 7816 7816 0 -1 4202560 35240 0 1 0 445 6 0 0 19 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 46912505836731 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7816/tid=7818] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7818/stat : 7818 (java) S 7814 7816 7816 0 -1 4202560 305 0 0 0 0 0 0 0 15 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7819] ppid=7814 vsize=8538700 CPUtime=0.01 cores=1,3,5,7
/proc/7816/task/7819/stat : 7819 (java) S 7814 7816 7816 0 -1 4202560 2897 0 0 0 1 0 0 0 15 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7820] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7820/stat : 7820 (java) S 7814 7816 7816 0 -1 4202560 2132 0 0 0 0 0 0 0 15 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7821] ppid=7814 vsize=8538700 CPUtime=0.01 cores=1,3,5,7
/proc/7816/task/7821/stat : 7821 (java) S 7814 7816 7816 0 -1 4202560 2689 0 0 0 1 0 0 0 16 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 3 0 0 0
[pid=7816/tid=7822] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7822/stat : 7822 (java) S 7814 7816 7816 0 -1 4202560 1396 0 0 0 0 0 0 0 15 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7823] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7823/stat : 7823 (java) S 7814 7816 7816 0 -1 4202560 1865 0 0 0 0 0 0 0 16 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7824] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7824/stat : 7824 (java) S 7814 7816 7816 0 -1 4202560 1555 0 0 0 0 0 0 0 15 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7825] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7825/stat : 7825 (java) S 7814 7816 7816 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 947935722 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7826] ppid=7814 vsize=8538700 CPUtime=0.06 cores=1,3,5,7
/proc/7816/task/7826/stat : 7826 (java) S 7814 7816 7816 0 -1 4202560 7667 0 0 0 6 0 0 0 15 0 19 0 947935723 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 0 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7827] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7827/stat : 7827 (java) S 7814 7816 7816 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 947935724 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7828] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7828/stat : 7828 (java) S 7814 7816 7816 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 947935724 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7829] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7829/stat : 7829 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947935726 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296749489 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7830] ppid=7814 vsize=8538700 CPUtime=0.48 cores=1,3,5,7
/proc/7816/task/7830/stat : 7830 (java) S 7814 7816 7816 0 -1 4202560 2962 0 0 0 48 0 0 0 15 0 19 0 947935726 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 3 0 0 0
[pid=7816/tid=7831] ppid=7814 vsize=8538700 CPUtime=0.57 cores=1,3,5,7
/proc/7816/task/7831/stat : 7831 (java) S 7814 7816 7816 0 -1 4202560 3388 0 0 0 57 0 0 0 15 0 19 0 947935726 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7832] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7832/stat : 7832 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947935726 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 1 0 0 0
[pid=7816/tid=7833] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7833/stat : 7833 (java) S 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947935726 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7834] ppid=7814 vsize=8538700 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7834/stat : 7834 (java) S 7814 7816 7816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947935789 8743628800 59126 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 4 0 16800975 18446604468087953280 0 0 -1 3 0 0 0
[pid=7808/tid=7815] ppid=7806 vsize=307524 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7815/stat : 7815 (python) S 7806 7808 7156 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 2 0 947935721 314904576 10720 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9143504
[startup+12.7008 s]
/proc/loadavg: 2.26 2.04 1.15 3/733 7834
/proc/meminfo: memFree=28797208/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=307524 CPUtime=1.35 cores=1,3,5,7
/proc/7808/stat : 7808 (python) S 7806 7808 7156 0 -1 4202496 15459 930 1 0 126 9 0 0 20 0 2 0 947935553 314904576 10720 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 20
/proc/7808/statm: 76881 10720 1870 364 0 11768 0
[pid=7814] ppid=7808 vsize=297280 CPUtime=0.04 cores=1,3,5,7
/proc/7814/stat : 7814 (python) S 7808 7808 7156 0 -1 4202560 909 0 0 0 1 3 0 0 15 0 1 0 947935721 304414720 9221 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284945935 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/7814/statm: 74320 9221 375 364 0 9207 0
[pid=7816] ppid=7814 vsize=8537988 CPUtime=12.23 cores=1,3,5,7
/proc/7816/stat : 7816 (java) S 7814 7816 7816 0 -1 4202496 78907 0 1 0 1211 12 0 0 19 0 19 0 947935721 8742899712 69439 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7816/statm: 2134497 69439 2258 9 0 2125238 0
[pid=7816/tid=7817] ppid=7814 vsize=8537988 CPUtime=10.78 cores=1,3,5,7
/proc/7816/task/7817/stat : 7817 (java) R 7814 7816 7816 0 -1 4202560 35243 0 1 0 1072 6 0 0 25 0 19 0 947935722 8742899712 69439 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 46912505900310 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7816/tid=7818] ppid=7814 vsize=8537988 CPUtime=0.01 cores=1,3,5,7
/proc/7816/task/7818/stat : 7818 (java) S 7814 7816 7816 0 -1 4202560 2256 0 0 0 1 0 0 0 16 0 19 0 947935722 8742899712 69439 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 5 0 0 0
[pid=7816/tid=7819] ppid=7814 vsize=8537988 CPUtime=0.02 cores=1,3,5,7
/proc/7816/task/7819/stat : 7819 (java) S 7814 7816 7816 0 -1 4202560 6703 0 0 0 2 0 0 0 16 0 19 0 947935722 8742899712 69439 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 7 0 0 0
[pid=7816/tid=7820] ppid=7814 vsize=8537988 CPUtime=0.01 cores=1,3,5,7
/proc/7816/task/7820/stat : 7820 (java) S 7814 7816 7816 0 -1 4202560 4007 0 0 0 1 0 0 0 16 0 19 0 947935722 8742899712 69439 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 3 0 0 0
[pid=7816/tid=7821] ppid=7814 vsize=8537988 CPUtime=0.02 cores=1,3,5,7
/proc/7816/task/7821/stat : 7821 (java) S 7814 7816 7816 0 -1 4202560 4720 0 0 0 2 0 0 0 15 0 19 0 947935722 8742899712 69439 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446604468087953280 0 0 -1 3 0 0 0
[pid=7816/tid=7822] ppid=7814 vsize=8537988 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/7854/stat : 7854 (clasp-1.3.7-x86) T 7852 7854 7854 0 -1 4202496 31473 0 0 0 9215 5 0 0 25 0 1 0 947950212 127868928 30939 33554432000 134512640 136139019 4290179184 18446744073709551615 134608192 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/7854/statm: 31218 30939 187 398 0 30818 0
[pid=7852/tid=7861] ppid=7808 vsize=317792 CPUtime=0 cores=1,3,5,7
/proc/7852/task/7861/stat : 7861 (python) S 7808 7808 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947959433 325419008 9257 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604458112623936 0 0 -1 7 0 0 0
[pid=7862] ppid=7808 vsize=328048 CPUtime=0.21 cores=1,3,5,7
/proc/7862/stat : 7862 (python) S 7808 7808 7156 0 -1 4202560 1060 0 0 0 9 12 0 0 15 0 1 0 947959436 335921152 9236 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284945990 0 0 16781312 33554946 5623753486446373675 0 0 17 7 0 0 0
/proc/7862/statm: 82012 9236 378 364 0 16890 0
[pid=7864] ppid=7862 vsize=354860 CPUtime=43.46 cores=1,3,5,7
/proc/7864/stat : 7864 (pbct-0.1.2-linu) R 7862 7864 7864 0 -1 4202496 89896 0 0 0 4274 72 0 0 25 0 1 0 947959436 363376640 87486 33554432000 134512640 136422188 4289023616 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/7864/statm: 88715 87486 236 467 0 88246 0
[pid=7808/tid=7815] ppid=7806 vsize=338292 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7815/stat : 7815 (python) S 7806 7808 7156 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 5 0 947935721 346411008 10739 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 7 0 0 0
[pid=7808/tid=7841] ppid=7806 vsize=338292 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7841/stat : 7841 (python) S 7806 7808 7156 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 5 0 947940439 346411008 10739 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 7 0 0 0
[pid=7808/tid=7853] ppid=7806 vsize=338292 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7853/stat : 7853 (python) S 7806 7808 7156 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 5 0 947950212 346411008 10739 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 1 0 0 0
[pid=7808/tid=7863] ppid=7806 vsize=338292 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7863/stat : 7863 (python) S 7806 7808 7156 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 947959436 346411008 10739 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 285.39
Current children cumulated vsize (KiB) 10661956
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+287.002 s]
/proc/loadavg: 1.94 2.04 1.38 6/770 7978
/proc/meminfo: memFree=27470400/32951124 swapFree=33333036/67111528
[pid=7808] ppid=7806 vsize=348548 CPUtime=1.48 cores=1,3,5,7
/proc/7808/stat : 7808 (python) S 7806 7808 7156 0 -1 4202496 19087 930 1 0 138 10 0 0 19 0 6 0 947935553 356913152 10745 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 20
/proc/7808/statm: 87137 10745 1879 364 0 22012 0
[pid=7814] ppid=7808 vsize=307524 CPUtime=0.52 cores=1,3,5,7
/proc/7814/stat : 7814 (python) S 7808 7808 7156 0 -1 4202560 1125 0 0 0 23 29 0 0 15 0 2 0 947935721 314904576 9258 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7814/statm: 76881 9258 407 364 0 11768 0
[pid=7816] ppid=7814 vsize=8537988 CPUtime=96.44 cores=1,3,5,7
/proc/7816/stat : 7816 (java) T 7814 7816 7816 0 -1 4202496 136568 0 1 0 9623 21 0 0 18 0 19 0 947935721 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7816/statm: 2134497 107596 2258 9 0 2125238 0
[pid=7816/tid=7817] ppid=7814 vsize=8537988 CPUtime=93.2 cores=1,3,5,7
/proc/7816/task/7817/stat : 7817 (java) T 7814 7816 7816 0 -1 4202560 35260 0 1 0 9314 6 0 0 25 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 46912505899660 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7816/tid=7818] ppid=7814 vsize=8537988 CPUtime=0.1 cores=1,3,5,7
/proc/7816/task/7818/stat : 7818 (java) T 7814 7816 7816 0 -1 4202560 6906 0 0 0 9 1 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7816/tid=7819] ppid=7814 vsize=8537988 CPUtime=0.13 cores=1,3,5,7
/proc/7816/task/7819/stat : 7819 (java) T 7814 7816 7816 0 -1 4202560 11657 0 0 0 12 1 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7816/tid=7820] ppid=7814 vsize=8537988 CPUtime=0.14 cores=1,3,5,7
/proc/7816/task/7820/stat : 7820 (java) T 7814 7816 7816 0 -1 4202560 13262 0 0 0 12 2 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7816/tid=7821] ppid=7814 vsize=8537988 CPUtime=0.18 cores=1,3,5,7
/proc/7816/task/7821/stat : 7821 (java) T 7814 7816 7816 0 -1 4202560 13440 0 0 0 16 2 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7816/tid=7822] ppid=7814 vsize=8537988 CPUtime=0.14 cores=1,3,5,7
/proc/7816/task/7822/stat : 7822 (java) T 7814 7816 7816 0 -1 4202560 10460 0 0 0 13 1 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7816/tid=7823] ppid=7814 vsize=8537988 CPUtime=0.16 cores=1,3,5,7
/proc/7816/task/7823/stat : 7823 (java) T 7814 7816 7816 0 -1 4202560 9954 0 0 0 15 1 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7816/tid=7824] ppid=7814 vsize=8537988 CPUtime=0.15 cores=1,3,5,7
/proc/7816/task/7824/stat : 7824 (java) T 7814 7816 7816 0 -1 4202560 11595 0 0 0 13 2 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7816/tid=7825] ppid=7814 vsize=8537988 CPUtime=0.15 cores=1,3,5,7
/proc/7816/task/7825/stat : 7825 (java) T 7814 7816 7816 0 -1 4202560 7349 0 0 0 15 0 0 0 15 0 19 0 947935722 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7816/tid=7826] ppid=7814 vsize=8537988 CPUtime=0.89 cores=1,3,5,7
/proc/7816/task/7826/stat : 7826 (java) T 7814 7816 7816 0 -1 4202560 8943 0 0 0 89 0 0 0 15 0 19 0 947935723 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7816/tid=7827] ppid=7814 vsize=8537988 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7827/stat : 7827 (java) T 7814 7816 7816 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947935724 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7816/tid=7828] ppid=7814 vsize=8537988 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7828/stat : 7828 (java) T 7814 7816 7816 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947935724 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7816/tid=7829] ppid=7814 vsize=8537988 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7829/stat : 7829 (java) T 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947935726 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7816/tid=7830] ppid=7814 vsize=8537988 CPUtime=0.5 cores=1,3,5,7
/proc/7816/task/7830/stat : 7830 (java) T 7814 7816 7816 0 -1 4202560 2962 0 0 0 50 0 0 0 15 0 19 0 947935726 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7816/tid=7831] ppid=7814 vsize=8537988 CPUtime=0.59 cores=1,3,5,7
/proc/7816/task/7831/stat : 7831 (java) T 7814 7816 7816 0 -1 4202560 3395 0 0 0 59 0 0 0 15 0 19 0 947935726 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7816/tid=7832] ppid=7814 vsize=8537988 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7832/stat : 7832 (java) T 7814 7816 7816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947935726 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7816/tid=7833] ppid=7814 vsize=8537988 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7833/stat : 7833 (java) T 7814 7816 7816 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947935726 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7816/tid=7834] ppid=7814 vsize=8537988 CPUtime=0 cores=1,3,5,7
/proc/7816/task/7834/stat : 7834 (java) T 7814 7816 7816 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947935789 8742899712 107596 33554432000 1073741824 1073778376 140736272262320 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7814/tid=7839] ppid=7808 vsize=307524 CPUtime=0 cores=1,3,5,7
/proc/7814/task/7839/stat : 7839 (python) S 7808 7808 7156 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 947940436 314904576 9258 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466967152448 0 0 -1 7 0 0 0
[pid=7840] ppid=7808 vsize=307536 CPUtime=0.33 cores=1,3,5,7
/proc/7840/stat : 7840 (python) S 7808 7808 7156 0 -1 4202560 1137 0 0 0 16 17 0 0 16 0 2 0 947940438 314916864 9247 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/7840/statm: 76884 9247 396 364 0 11768 0
[pid=7842] ppid=7840 vsize=45044 CPUtime=50.32 cores=1,3,5,7
/proc/7842/stat : 7842 (wbo1.4a) T 7840 7842 7842 0 -1 4202496 14424 0 0 0 4976 56 0 0 25 0 1 0 947940439 46125056 10680 33554432000 134512640 135751879 4292552496 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/7842/statm: 11261 10680 146 303 0 10956 0
[pid=7840/tid=7846] ppid=7808 vsize=307536 CPUtime=0 cores=1,3,5,7
/proc/7840/task/7846/stat : 7846 (python) S 7808 7808 7156 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947945472 314916864 9247 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604455743149888 0 0 -1 5 0 0 0
[pid=7852] ppid=7808 vsize=317792 CPUtime=0.45 cores=1,3,5,7
/proc/7852/stat : 7852 (python) S 7808 7808 7156 0 -1 4202560 1191 0 0 0 20 25 0 0 16 0 2 0 947950212 325419008 9257 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7852/statm: 79448 9257 402 364 0 14329 0
[pid=7854] ppid=7852 vsize=124872 CPUtime=92.2 cores=1,3,5,7
/proc/7854/stat : 7854 (clasp-1.3.7-x86) T 7852 7854 7854 0 -1 4202496 31473 0 0 0 9215 5 0 0 25 0 1 0 947950212 127868928 30939 33554432000 134512640 136139019 4290179184 18446744073709551615 134608192 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/7854/statm: 31218 30939 187 398 0 30818 0
[pid=7852/tid=7861] ppid=7808 vsize=317792 CPUtime=0 cores=1,3,5,7
/proc/7852/task/7861/stat : 7861 (python) S 7808 7808 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947959433 325419008 9257 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604458112623936 0 0 -1 7 0 0 0
[pid=7862] ppid=7808 vsize=328048 CPUtime=0.23 cores=1,3,5,7
/proc/7862/stat : 7862 (python) S 7808 7808 7156 0 -1 4202560 1193 0 0 0 10 13 0 0 17 0 2 0 947959436 335921152 9261 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/7862/statm: 82012 9261 402 364 0 16890 0
[pid=7864] ppid=7862 vsize=365336 CPUtime=47.88 cores=1,3,5,7
/proc/7864/stat : 7864 (pbct-0.1.2-linu) T 7862 7864 7864 0 -1 4202496 92524 0 0 0 4708 80 0 0 25 0 1 0 947959436 374104064 90114 33554432000 134512640 136422188 4289023616 18446744073709551615 134865572 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/7864/statm: 91334 90114 236 467 0 90865 0
[pid=7862/tid=7958] ppid=7808 vsize=328048 CPUtime=0 cores=1,3,5,7
/proc/7862/task/7958/stat : 7958 (python) S 7808 7808 7156 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947964225 335921152 9261 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554946 18446604462584135744 0 0 -1 1 0 0 0
[pid=7959] ppid=7808 vsize=338304 CPUtime=0 cores=1,3,5,7
/proc/7959/stat : 7959 (python) S 7808 7808 7156 0 -1 4202560 799 0 0 0 0 0 0 0 19 0 1 0 947964228 346423296 9210 33554432000 4194304 5683644 140734284322160 18446744073709551615 224284945990 0 0 16781312 33554946 1126841574127304704 0 0 17 1 0 0 0
/proc/7959/statm: 84576 9210 348 364 0 19451 0
[pid=7961] ppid=7959 vsize=8534628 CPUtime=0.51 cores=1,3,5,7
/proc/7961/stat : 7961 (java) S 7959 7961 7961 0 -1 4202496 8683 0 1 0 50 1 0 0 20 0 18 0 947964228 8739459072 7927 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7961/statm: 2133657 7928 2197 9 0 2124398 0
[pid=7961/tid=7962] ppid=7959 vsize=8534628 CPUtime=0.3 cores=1,3,5,7
/proc/7961/task/7962/stat : 7962 (java) R 7959 7961 7961 0 -1 4202560 5893 0 1 0 30 0 0 0 18 0 18 0 947964229 8739459072 8282 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7961/tid=7963] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7963/stat : 7963 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947964229 8739459072 8283 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947964229 8739459072 8283 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947964229 8739459072 8284 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7966] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947964229 8739459072 8285 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 7 0 0 0
[pid=7961/tid=7967] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947964229 8739459072 8285 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947964229 8739459072 8286 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 7 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947964229 8739459072 8287 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947964229 8739459072 8287 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 7 0 0 0
[pid=7961/tid=7971] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7961 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947964230 8739459072 8288 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296742400 0 0 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7961 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947964231 8739459072 8289 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7961 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947964231 8739459072 8290 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7974] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7974/stat : 7974 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947964233 8739459072 8290 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296749489 0 4 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7975] ppid=7959 vsize=8534628 CPUtime=0.14 cores=1,3,5,7
/proc/7961/task/7975/stat : 7975 (java) R 7959 7961 7961 0 -1 4202560 914 0 0 0 14 0 0 0 25 0 18 0 947964233 8739459072 8291 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 47482589147769 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7961/tid=7976] ppid=7959 vsize=8534628 CPUtime=0.08 cores=1,3,5,7
/proc/7961/task/7976/stat : 7976 (java) R 7959 7961 7961 0 -1 4202560 835 0 0 0 8 0 0 0 16 0 18 0 947964233 8739459072 8292 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7961/tid=7977] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7977/stat : 7977 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947964233 8739459072 8292 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296741785 0 4 0 16800975 18446604456490421184 0 0 -1 3 0 0 0
[pid=7961/tid=7978] ppid=7959 vsize=8534628 CPUtime=0 cores=1,3,5,7
/proc/7961/task/7978/stat : 7978 (java) S 7959 7961 7961 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947964233 8739459072 8293 33554432000 1073741824 1073778376 140734999997392 18446744073709551615 224296742400 0 4 0 16800975 18446604456490421184 0 0 -1 1 0 0 0
[pid=7808/tid=7815] ppid=7806 vsize=348548 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7815/stat : 7815 (python) S 7806 7808 7156 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 6 0 947935721 356913152 10745 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 7 0 0 0
[pid=7808/tid=7841] ppid=7806 vsize=348548 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7841/stat : 7841 (python) S 7806 7808 7156 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 947940439 356913152 10745 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 7 0 0 0
[pid=7808/tid=7853] ppid=7806 vsize=348548 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7853/stat : 7853 (python) S 7806 7808 7156 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 947950212 356913152 10745 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 1 0 0 0
[pid=7808/tid=7863] ppid=7806 vsize=348548 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7863/stat : 7863 (python) S 7806 7808 7156 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 947959436 356913152 10745 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 1 0 0 0
[pid=7808/tid=7960] ppid=7806 vsize=348548 CPUtime=0 cores=1,3,5,7
/proc/7808/task/7960/stat : 7960 (python) S 7806 7808 7156 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 947964228 356913152 10745 33554432000 4194304 5683644 140734284322160 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298352384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 290.36
Current children cumulated vsize (KiB) 19555620
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 7808 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=387789
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=106983
# CPU time returned by wait4() is 1.49477
# while last known CPU time is 290.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 287.116
CPU time (s): 290.36
CPU user time (s): 287.79
CPU system time (s): 2.57
CPU usage (%): 101.13
Max. virtual memory (cumulated for all children) (KiB): 19555716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.38779
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20019
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= 1012
involuntary context switches= 27
runsolver used 2.02369 second user time and 4.23735 second system time
The end