runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3482900-1307741612/watcher-3482900-1307741612 -o /tmp/evaluation-result-3482900-1307741612/solver-3482900-1307741612 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482900-1307741612.opb -seed 54357158 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.52 0.11 0.04 2/173 31049
/proc/meminfo: memFree=31538636/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 1 0 885761077 15753216 675 33554432000 4194304 5683644 140733622850880 18446744073709551615 208079926253 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31049/statm: 3846 675 322 364 0 333 0
[startup+0.040691 s]
/proc/loadavg: 0.52 0.11 0.04 2/173 31049
/proc/meminfo: memFree=31538636/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 1287 0 0 0 2 0 0 0 20 0 1 0 885761077 19345408 1138 33554432000 4194304 5683644 140733622850880 18446744073709551615 4876484 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31049/statm: 4723 1138 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.100662 s]
/proc/loadavg: 0.52 0.11 0.04 2/173 31049
/proc/meminfo: memFree=31538636/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=92004 CPUtime=0.07 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 2752 0 1 0 5 2 0 0 17 0 1 0 885761077 94212096 2461 33554432000 4194304 5683644 140733622850880 18446744073709551615 208080230400 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31049/statm: 23001 2461 782 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92004
[startup+0.300641 s]
/proc/loadavg: 0.52 0.11 0.04 2/173 31049
/proc/meminfo: memFree=31538636/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=168312 CPUtime=0.22 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 5976 928 1 0 16 6 0 0 17 0 1 0 885761077 172351488 4292 33554432000 4194304 5683644 140733622850880 18446744073709551615 4539721 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31049/statm: 42078 4292 1200 364 0 3295 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 168312
[startup+0.700453 s]
/proc/loadavg: 0.52 0.11 0.04 2/173 31049
/proc/meminfo: memFree=31538636/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=297700 CPUtime=0.59 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 12854 928 1 0 48 11 0 0 17 0 1 0 885761077 304844800 10715 33554432000 4194304 5683644 140733622850880 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31049/statm: 74425 10715 1781 364 0 9318 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 297700
[startup+1.5003 s]
/proc/loadavg: 0.52 0.11 0.04 5/199 31088
/proc/meminfo: memFree=31303984/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=325100 CPUtime=1.4 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 19528 928 1 0 128 12 0 0 18 0 1 0 885761077 332902400 17389 33554432000 4194304 5683644 140733622850880 18446744073709551615 208079893189 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31049/statm: 81275 17389 1781 364 0 16168 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 325100
[startup+3.10099 s]
/proc/loadavg: 0.52 0.11 0.04 3/199 31088
/proc/meminfo: memFree=31275948/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=343308 CPUtime=2.99 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 35211 928 1 0 285 14 0 0 20 0 1 0 885761077 351547392 22173 33554432000 4194304 5683644 140733622850880 18446744073709551615 47322037253201 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/31049/statm: 85827 22173 1815 364 0 20720 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 343308
[startup+6.30046 s]
/proc/loadavg: 0.64 0.14 0.05 3/202 31091
/proc/meminfo: memFree=31245152/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=358880 CPUtime=4.78 cores=0,2,4,6
/proc/31049/stat : 31049 (python) S 31047 31049 30781 0 -1 4202496 36823 928 1 0 464 14 0 0 20 0 2 0 885761077 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31049/statm: 89720 23560 1872 364 0 24607 0
[pid=31089] ppid=31049 vsize=348636 CPUtime=0 cores=0,2,4,6
/proc/31089/stat : 31089 (python) S 31049 31049 30781 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 885761566 357003264 22035 33554432000 4194304 5683644 140733622850880 18446744073709551615 208080252431 0 0 16781312 33554946 3704559895828201730 0 0 17 0 0 0 0
/proc/31089/statm: 87159 22035 351 364 0 22046 0
[pid=31091] ppid=31089 vsize=26916 CPUtime=1.4 cores=0,2,4,6
/proc/31091/stat : 31091 (wbo1.4b-fixed) R 31089 31091 31091 0 -1 4202496 8917 0 0 0 135 5 0 0 25 0 1 0 885761566 27561984 6109 33554432000 134512640 135752315 4289669120 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/31091/statm: 6729 6109 146 303 0 6424 0
[pid=31049/tid=31090] ppid=31047 vsize=358880 CPUtime=0 cores=0,2,4,6
/proc/31049/task/31090/stat : 31090 (python) S 31047 31049 30781 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 885761566 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 734432
[startup+12.7012 s]
/proc/loadavg: 0.74 0.18 0.06 3/202 31091
/proc/meminfo: memFree=31238348/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=358880 CPUtime=4.78 cores=0,2,4,6
/proc/31049/stat : 31049 (python) S 31047 31049 30781 0 -1 4202496 36823 928 1 0 464 14 0 0 20 0 2 0 885761077 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31049/statm: 89720 23560 1872 364 0 24607 0
[pid=31089] ppid=31049 vsize=348636 CPUtime=0 cores=0,2,4,6
/proc/31089/stat : 31089 (python) S 31049 31049 30781 0 -1 4202560 890 0 0 0 0 0 0 0 15 0 1 0 885761566 357003264 22059 33554432000 4194304 5683644 140733622850880 18446744073709551615 208080252431 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/31089/statm: 87159 22059 375 364 0 22046 0
[pid=31091] ppid=31089 vsize=31784 CPUtime=7.8 cores=0,2,4,6
/proc/31091/stat : 31091 (wbo1.4b-fixed) R 31089 31091 31091 0 -1 4202496 10154 0 0 0 750 30 0 0 25 0 1 0 885761566 32546816 7346 33554432000 134512640 135752315 4289669120 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/31091/statm: 7946 7346 146 303 0 7641 0
[pid=31049/tid=31090] ppid=31047 vsize=358880 CPUtime=0 cores=0,2,4,6
/proc/31049/task/31090/stat : 31090 (python) S 31047 31049 30781 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 885761566 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 739300
[startup+25.5008 s]
/proc/loadavg: 0.94 0.25 0.08 2/175 31117
/proc/meminfo: memFree=31425200/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=358880 CPUtime=4.78 cores=0,2,4,6
/proc/31049/stat : 31049 (python) S 31047 31049 30781 0 -1 4202496 36823 928 1 0 464 14 0 0 20 0 2 0 885761077 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31049/statm: 89720 23560 1872 364 0 24607 0
[pid=31089] ppid=31049 vsize=348636 CPUtime=0.02 cores=0,2,4,6
/proc/31089/stat : 31089 (python) S 31049 31049 30781 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 885761566 357003264 22059 33554432000 4194304 5683644 140733622850880 18446744073709551615 208080252431 0 0 16781312 33554946 72114768642583306 0 0 17 0 0 0 0
/proc/31089/statm: 87159 22059 375 364 0 22046 0
[pid=31091] ppid=31089 vsize=40324 CPUtime=20.6 cores=0,2,4,6
/proc/31091/stat : 31091 (wbo1.4b-fixed) R 31089 31091 31091 0 -1 4202496 12244 0 0 0 2001 59 0 0 25 0 1 0 885761566 41291776 9436 33554432000 134512640 135752315 4289669120 18446744073709551615 134611378 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/31091/statm: 10081 9436 146 303 0 9776 0
[pid=31049/tid=31090] ppid=31047 vsize=358880 CPUtime=0 cores=0,2,4,6
/proc/31049/task/31090/stat : 31090 (python) S 31047 31049 30781 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 885761566 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 747840
[startup+51.101 s]
/proc/loadavg: 0.96 0.31 0.10 2/175 31118
/proc/meminfo: memFree=31407564/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=358880 CPUtime=4.78 cores=0,2,4,6
/proc/31049/stat : 31049 (python) S 31047 31049 30781 0 -1 4202496 36823 928 1 0 464 14 0 0 20 0 2 0 885761077 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31049/statm: 89720 23560 1872 364 0 24607 0
[pid=31089] ppid=31049 vsize=348636 CPUtime=0.06 cores=0,2,4,6
/proc/31089/stat : 31089 (python) S 31049 31049 30781 0 -1 4202560 998 0 0 0 4 2 0 0 15 0 1 0 885761566 357003264 22064 33554432000 4194304 5683644 140733622850880 18446744073709551615 208080252431 0 0 16781312 33554946 72114768642583306 0 0 17 0 0 0 0
/proc/31089/statm: 87159 22064 380 364 0 22046 0
[pid=31091] ppid=31089 vsize=59696 CPUtime=46.2 cores=0,2,4,6
/proc/31091/stat : 31091 (wbo1.4b-fixed) R 31089 31091 31091 0 -1 4202496 17049 0 0 0 4538 82 0 0 25 0 1 0 885761566 61128704 14241 33554432000 134512640 135752315 4289669120 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/31091/statm: 14924 14241 146 303 0 14619 0
[pid=31049/tid=31090] ppid=31047 vsize=358880 CPUtime=0 cores=0,2,4,6
/proc/31049/task/31090/stat : 31090 (python) S 31047 31049 30781 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 885761566 367493120 23560 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 767212
[startup+102.301 s]
/proc/loadavg: 0.98 0.41 0.15 2/179 31123
/proc/meminfo: memFree=30527000/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=369136 CPUtime=4.8 cores=0,2,4,6
/proc/31049/stat : 31049 (python) S 31047 31049 30781 0 -1 4202496 37736 928 1 0 466 14 0 0 20 0 3 0 885761077 377995264 23567 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31049/statm: 92284 23567 1875 364 0 27168 0
[pid=31089] ppid=31049 vsize=358880 CPUtime=0.07 cores=0,2,4,6
/proc/31089/stat : 31089 (python) S 31049 31049 30781 0 -1 4202560 1133 0 0 0 4 3 0 0 16 0 2 0 885761566 367493120 22100 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/31089/statm: 89720 22100 411 364 0 24607 0
[pid=31091] ppid=31089 vsize=63128 CPUtime=50.14 cores=0,2,4,6
/proc/31091/stat : 31091 (wbo1.4b-fixed) T 31089 31091 31091 0 -1 4202496 17906 0 0 0 4928 86 0 0 25 0 1 0 885761566 64643072 15098 33554432000 134512640 135752315 4289669120 18446744073709551615 134605105 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/31091/statm: 15782 15098 146 303 0 15477 0
[pid=31089/tid=31119] ppid=31049 vsize=358880 CPUtime=0 cores=0,2,4,6
/proc/31089/task/31119/stat : 31119 (python) S 31049 31049 30781 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 885766580 367493120 22100 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604444843733376 0 0 -1 0 0 0 0
[pid=31120] ppid=31049 vsize=358892 CPUtime=0.05 cores=0,2,4,6
/proc/31120/stat : 31120 (python) S 31049 31049 30781 0 -1 4202560 936 0 0 0 2 3 0 0 18 0 1 0 885766583 367505408 22060 33554432000 4194304 5683644 140733622850880 18446744073709551615 208080252486 0 0 16781312 33554946 72556772316949258 0 0 17 6 0 0 0
/proc/31120/statm: 89723 22060 372 364 0 24607 0
[pid=31122] ppid=31120 vsize=900488 CPUtime=47.22 cores=0,2,4,6
/proc/31122/stat : 31122 (pbct-0.1.2-linu) R 31120 31122 31122 0 -1 4202496 238008 0 0 0 4660 62 0 0 25 0 1 0 885766583 922099712 217623 33554432000 134512640 136422188 4289091632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/31122/statm: 225122 217623 215 467 0 224653 0
[pid=31049/tid=31090] ppid=31047 vsize=369136 CPUtime=0 cores=0,2,4,6
/proc/31049/task/31090/stat : 31090 (python) S 31047 31049 30781 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 3 0 885761566 377995264 23567 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
[pid=31049/tid=31121] ppid=31047 vsize=369136 CPUtime=0 cores=0,2,4,6
/proc/31049/task/31121/stat : 31121 (python) S 31047 31049 30781 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 885766583 377995264 23567 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2050524
[startup+162.301 s]
/proc/loadavg: 0.99 0.52 0.20 2/184 31130
/proc/meminfo: memFree=30456724/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=379396 CPUtime=12.61 cores=0,2,4,6
/proc/31049/stat : 31049 (python) R 31047 31049 30781 0 -1 4202496 39211 928 1 0 1245 16 0 0 25 0 4 0 885761077 388501504 23574 33554432000 4194304 5683644 140733622850880 18446744073709551615 4563015 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31049/statm: 94849 23574 1877 364 0 29730 0
[pid=31089] ppid=31049 vsize=358880 CPUtime=0.07 cores=0,2,4,6
/proc/31089/stat : 31089 (python) S 31049 31049 30781 0 -1 4202560 1133 0 0 0 4 3 0 0 16 0 2 0 885761566 367493120 22100 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/31089/statm: 89720 22100 411 364 0 24607 0
[pid=31091] ppid=31089 vsize=63128 CPUtime=50.14 cores=0,2,4,6
/proc/31091/stat : 31091 (wbo1.4b-fixed) T 31089 31091 31091 0 -1 4202496 17906 0 0 0 4928 86 0 0 25 0 1 0 885761566 64643072 15098 33554432000 134512640 135752315 4289669120 18446744073709551615 134605105 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/31091/statm: 15782 15098 146 303 0 15477 0
[pid=31089/tid=31119] ppid=31049 vsize=358880 CPUtime=0 cores=0,2,4,6
/proc/31089/task/31119/stat : 31119 (python) S 31049 31049 30781 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 885766580 367493120 22100 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604444843733376 0 0 -1 0 0 0 0
[pid=31120] ppid=31049 vsize=358892 CPUtime=0.05 cores=0,2,4,6
/proc/31120/stat : 31120 (python) S 31049 31049 30781 0 -1 4202560 1096 0 0 0 2 3 0 0 19 0 2 0 885766583 367505408 22085 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31120/statm: 89723 22085 396 364 0 24607 0
[pid=31122] ppid=31120 vsize=900488 CPUtime=48.86 cores=0,2,4,6
/proc/31122/stat : 31122 (pbct-0.1.2-linu) T 31120 31122 31122 0 -1 4202496 238008 0 0 0 4822 64 0 0 25 0 1 0 885766583 922099712 217623 33554432000 134512640 136422188 4289091632 18446744073709551615 135020953 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/31122/statm: 225122 217623 215 467 0 224653 0
[pid=31120/tid=31125] ppid=31049 vsize=358892 CPUtime=0 cores=0,2,4,6
/proc/31120/task/31125/stat : 31125 (python) S 31049 31049 30781 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 885771470 367505408 22085 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453842937664 0 0 -1 6 0 0 0
[pid=31126] ppid=31049 vsize=369148 CPUtime=0.07 cores=0,2,4,6
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+371.302 s]
/proc/loadavg: 1.23 1.11 0.52 2/235 31192
/proc/meminfo: memFree=23119668/32950928 swapFree=67055948/67111528
[pid=31049] ppid=31047 vsize=430672 CPUtime=31.61 cores=0,2,4,6
/proc/31049/stat : 31049 (python) S 31047 31049 30781 0 -1 4202496 43243 1056487 1 0 2058 21 438 644 20 0 9 0 885761077 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31049/statm: 107668 23603 1887 364 0 42534 0
[pid=31089] ppid=31049 vsize=358880 CPUtime=0.07 cores=0,2,4,6
/proc/31089/stat : 31089 (python) S 31049 31049 30781 0 -1 4202560 1133 0 0 0 4 3 0 0 16 0 2 0 885761566 367493120 22100 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/31089/statm: 89720 22100 411 364 0 24607 0
[pid=31091] ppid=31089 vsize=63128 CPUtime=50.14 cores=0,2,4,6
/proc/31091/stat : 31091 (wbo1.4b-fixed) T 31089 31091 31091 0 -1 4202496 17906 0 0 0 4928 86 0 0 25 0 1 0 885761566 64643072 15098 33554432000 134512640 135752315 4289669120 18446744073709551615 134605105 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/31091/statm: 15782 15098 146 303 0 15477 0
[pid=31089/tid=31119] ppid=31049 vsize=358880 CPUtime=0 cores=0,2,4,6
/proc/31089/task/31119/stat : 31119 (python) S 31049 31049 30781 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 885766580 367493120 22100 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604444843733376 0 0 -1 0 0 0 0
[pid=31120] ppid=31049 vsize=358892 CPUtime=0.05 cores=0,2,4,6
/proc/31120/stat : 31120 (python) S 31049 31049 30781 0 -1 4202560 1096 0 0 0 2 3 0 0 19 0 2 0 885766583 367505408 22085 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31120/statm: 89723 22085 396 364 0 24607 0
[pid=31122] ppid=31120 vsize=900488 CPUtime=48.86 cores=0,2,4,6
/proc/31122/stat : 31122 (pbct-0.1.2-linu) T 31120 31122 31122 0 -1 4202496 238008 0 0 0 4822 64 0 0 25 0 1 0 885766583 922099712 217623 33554432000 134512640 136422188 4289091632 18446744073709551615 135020953 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/31122/statm: 225122 217623 215 467 0 224653 0
[pid=31120/tid=31125] ppid=31049 vsize=358892 CPUtime=0 cores=0,2,4,6
/proc/31120/task/31125/stat : 31125 (python) S 31049 31049 30781 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 885771470 367505408 22085 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453842937664 0 0 -1 6 0 0 0
[pid=31126] ppid=31049 vsize=369148 CPUtime=0.07 cores=0,2,4,6
/proc/31126/stat : 31126 (python) S 31049 31049 30781 0 -1 4202560 1102 0 0 0 3 4 0 0 16 0 2 0 885771473 378007552 22089 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/31126/statm: 92287 22089 396 364 0 27168 0
[pid=31128] ppid=31126 vsize=59684 CPUtime=50.54 cores=0,2,4,6
/proc/31128/stat : 31128 (wbo1.4a) T 31126 31128 31128 0 -1 4202496 17058 0 0 0 4972 82 0 0 25 0 1 0 885771474 61116416 14249 33554432000 134512640 135751879 4287610144 18446744073709551615 134616371 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/31128/statm: 14921 14249 143 303 0 14616 0
[pid=31126/tid=31130] ppid=31049 vsize=369148 CPUtime=0 cores=0,2,4,6
/proc/31126/task/31130/stat : 31130 (python) S 31049 31049 30781 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 885776529 378007552 22089 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453985334208 0 0 -1 0 0 0 0
[pid=31136] ppid=31049 vsize=389660 CPUtime=0.13 cores=0,2,4,6
/proc/31136/stat : 31136 (python) S 31049 31049 30781 0 -1 4202560 1136 0 0 0 7 6 0 0 18 0 2 0 885779195 399011840 22097 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/31136/statm: 97415 22097 396 364 0 32290 0
[pid=31138] ppid=31136 vsize=51216 CPUtime=94.11 cores=0,2,4,6
/proc/31138/stat : 31138 (clasp-1.3.7-x86) T 31136 31138 31138 0 -1 4202496 13415 0 0 0 9409 2 0 0 25 0 1 0 885779195 52445184 12210 33554432000 134512640 136139019 4288523872 18446744073709551615 134875024 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/31138/statm: 12804 12210 184 398 0 12404 0
[pid=31136/tid=31140] ppid=31049 vsize=389660 CPUtime=0 cores=0,2,4,6
/proc/31136/task/31140/stat : 31140 (python) S 31049 31049 30781 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 885784001 399011840 22097 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453655422144 0 0 -1 2 0 0 0
[pid=31141] ppid=31049 vsize=399916 CPUtime=0.07 cores=0,2,4,6
/proc/31141/stat : 31141 (python) S 31049 31049 30781 0 -1 4202560 1151 0 0 0 4 3 0 0 16 0 2 0 885784004 409513984 22101 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/31141/statm: 99979 22101 396 364 0 34851 0
[pid=31143] ppid=31141 vsize=85576 CPUtime=48.31 cores=0,2,4,6
/proc/31143/stat : 31143 (bsolo_pb10) T 31141 31143 31143 0 -1 4202496 25007 0 0 0 4766 65 0 0 25 0 1 0 885784004 87629824 18927 33554432000 134512640 137138936 4289808320 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/31143/statm: 21394 18927 192 642 0 20750 0
[pid=31141/tid=31147] ppid=31049 vsize=399916 CPUtime=0 cores=0,2,4,6
/proc/31141/task/31147/stat : 31147 (python) S 31049 31049 30781 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 885788839 409513984 22101 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453876357952 0 0 -1 0 0 0 0
[pid=31149] ppid=31049 vsize=410172 CPUtime=0.06 cores=0,2,4,6
/proc/31149/stat : 31149 (python) S 31049 31049 30781 0 -1 4202560 1172 0 0 0 3 3 0 0 16 0 2 0 885793450 420016128 22105 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31149/statm: 102543 22105 396 364 0 37412 0
[pid=31151] ppid=31149 vsize=8543872 CPUtime=49.05 cores=0,2,4,6
/proc/31151/stat : 31151 (java) T 31149 31151 31151 0 -1 4202496 704438 0 1 0 4825 80 0 0 18 0 19 0 885793450 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31151/statm: 2135968 693648 2260 9 0 2126709 0
[pid=31151/tid=31152] ppid=31149 vsize=8543872 CPUtime=45.95 cores=0,2,4,6
/proc/31151/task/31152/stat : 31152 (java) T 31149 31151 31151 0 -1 4202560 641221 0 1 0 4523 72 0 0 25 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 46912505781977 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31151/tid=31153] ppid=31149 vsize=8543872 CPUtime=0.05 cores=0,2,4,6
/proc/31151/task/31153/stat : 31153 (java) T 31149 31151 31151 0 -1 4202560 3522 0 0 0 5 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31151/tid=31154] ppid=31149 vsize=8543872 CPUtime=0.07 cores=0,2,4,6
/proc/31151/task/31154/stat : 31154 (java) T 31149 31151 31151 0 -1 4202560 4751 0 0 0 7 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31151/tid=31155] ppid=31149 vsize=8543872 CPUtime=0.09 cores=0,2,4,6
/proc/31151/task/31155/stat : 31155 (java) T 31149 31151 31151 0 -1 4202560 6551 0 0 0 9 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31151/tid=31156] ppid=31149 vsize=8543872 CPUtime=0.07 cores=0,2,4,6
/proc/31151/task/31156/stat : 31156 (java) T 31149 31151 31151 0 -1 4202560 5142 0 0 0 7 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31151/tid=31157] ppid=31149 vsize=8543872 CPUtime=0.07 cores=0,2,4,6
/proc/31151/task/31157/stat : 31157 (java) T 31149 31151 31151 0 -1 4202560 4771 0 0 0 7 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31151/tid=31158] ppid=31149 vsize=8543872 CPUtime=0.06 cores=0,2,4,6
/proc/31151/task/31158/stat : 31158 (java) T 31149 31151 31151 0 -1 4202560 4333 0 0 0 6 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31151/tid=31159] ppid=31149 vsize=8543872 CPUtime=0.03 cores=0,2,4,6
/proc/31151/task/31159/stat : 31159 (java) T 31149 31151 31151 0 -1 4202560 2423 0 0 0 3 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31151/tid=31160] ppid=31149 vsize=8543872 CPUtime=0.05 cores=0,2,4,6
/proc/31151/task/31160/stat : 31160 (java) T 31149 31151 31151 0 -1 4202560 4368 0 0 0 5 0 0 0 15 0 19 0 885793452 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31151/tid=31161] ppid=31149 vsize=8543872 CPUtime=0.56 cores=0,2,4,6
/proc/31151/task/31161/stat : 31161 (java) T 31149 31151 31151 0 -1 4202560 12304 0 0 0 55 1 0 0 15 0 19 0 885793453 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31151/tid=31162] ppid=31149 vsize=8543872 CPUtime=0 cores=0,2,4,6
/proc/31151/task/31162/stat : 31162 (java) T 31149 31151 31151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 885793454 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31151/tid=31163] ppid=31149 vsize=8543872 CPUtime=0 cores=0,2,4,6
/proc/31151/task/31163/stat : 31163 (java) T 31149 31151 31151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 885793454 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31151/tid=31164] ppid=31149 vsize=8543872 CPUtime=0 cores=0,2,4,6
/proc/31151/task/31164/stat : 31164 (java) T 31149 31151 31151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 885793456 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31151/tid=31165] ppid=31149 vsize=8543872 CPUtime=1.1 cores=0,2,4,6
/proc/31151/task/31165/stat : 31165 (java) T 31149 31151 31151 0 -1 4202560 9552 0 0 0 109 1 0 0 15 0 19 0 885793456 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31151/tid=31166] ppid=31149 vsize=8543872 CPUtime=0.83 cores=0,2,4,6
/proc/31151/task/31166/stat : 31166 (java) T 31149 31151 31151 0 -1 4202560 4104 0 0 0 83 0 0 0 15 0 19 0 885793456 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31151/tid=31167] ppid=31149 vsize=8543872 CPUtime=0 cores=0,2,4,6
/proc/31151/task/31167/stat : 31167 (java) T 31149 31151 31151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 885793456 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31151/tid=31168] ppid=31149 vsize=8543872 CPUtime=0 cores=0,2,4,6
/proc/31151/task/31168/stat : 31168 (java) T 31149 31151 31151 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 885793456 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31151/tid=31169] ppid=31149 vsize=8543872 CPUtime=0 cores=0,2,4,6
/proc/31151/task/31169/stat : 31169 (java) T 31149 31151 31151 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 885793628 8748924928 693648 33554432000 1073741824 1073778376 140737151951488 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31149/tid=31172] ppid=31049 vsize=410172 CPUtime=0 cores=0,2,4,6
/proc/31149/task/31172/stat : 31172 (python) S 31049 31049 30781 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 885798124 420016128 22105 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453857219584 0 0 -1 6 0 0 0
[pid=31173] ppid=31049 vsize=420428 CPUtime=0 cores=0,2,4,6
/proc/31173/stat : 31173 (python) S 31049 31049 30781 0 -1 4202560 849 0 0 0 0 0 0 0 19 0 1 0 885798126 430518272 22060 33554432000 4194304 5683644 140733622850880 18446744073709551615 208080252486 0 0 16781312 33554946 992584744745041920 0 0 17 0 0 0 0
/proc/31173/statm: 105107 22060 348 364 0 39973 0
[pid=31175] ppid=31173 vsize=8539980 CPUtime=1.31 cores=0,2,4,6
/proc/31175/stat : 31175 (java) S 31173 31175 31175 0 -1 4202496 42910 0 1 0 125 6 0 0 21 0 18 0 885798127 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31175/statm: 2134995 41172 2223 9 0 2125736 0
[pid=31175/tid=31176] ppid=31173 vsize=8539980 CPUtime=0.79 cores=0,2,4,6
/proc/31175/task/31176/stat : 31176 (java) R 31173 31175 31175 0 -1 4202560 35205 0 1 0 75 4 0 0 18 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 46912505504048 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31175/tid=31177] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31177/stat : 31177 (java) S 31173 31175 31175 0 -1 4202560 459 0 0 0 0 0 0 0 18 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 4 0 0 0
[pid=31175/tid=31178] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31178/stat : 31178 (java) S 31173 31175 31175 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 0 0 0 0
[pid=31175/tid=31179] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31179/stat : 31179 (java) S 31173 31175 31175 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 0 0 0 0
[pid=31175/tid=31180] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31180/stat : 31180 (java) S 31173 31175 31175 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 6 0 0 0
[pid=31175/tid=31181] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31181/stat : 31181 (java) S 31173 31175 31175 0 -1 4202560 252 0 0 0 0 0 0 0 19 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 6 0 0 0
[pid=31175/tid=31182] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31182/stat : 31182 (java) S 31173 31175 31175 0 -1 4202560 245 0 0 0 0 0 0 0 19 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 0 0 0 0
[pid=31175/tid=31183] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31183/stat : 31183 (java) S 31173 31175 31175 0 -1 4202560 346 0 0 0 0 0 0 0 19 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 4 0 0 0
[pid=31175/tid=31184] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31184/stat : 31184 (java) S 31173 31175 31175 0 -1 4202560 244 0 0 0 0 0 0 0 18 0 18 0 885798128 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 0 0 0 0
[pid=31175/tid=31185] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31185/stat : 31185 (java) S 31173 31175 31175 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 18 0 885798129 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048896 0 0 0 16800975 18446604453876356160 0 0 -1 4 0 0 0
[pid=31175/tid=31186] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31186/stat : 31186 (java) S 31173 31175 31175 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 885798130 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 4 0 0 0
[pid=31175/tid=31187] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31187/stat : 31187 (java) S 31173 31175 31175 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 885798130 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 6 0 0 0
[pid=31175/tid=31188] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31188/stat : 31188 (java) S 31173 31175 31175 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 885798132 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092055985 0 4 0 16800975 18446604453876356160 0 0 -1 2 0 0 0
[pid=31175/tid=31189] ppid=31173 vsize=8539980 CPUtime=0.21 cores=0,2,4,6
/proc/31175/task/31189/stat : 31189 (java) S 31173 31175 31175 0 -1 4202560 2475 0 0 0 21 0 0 0 25 0 18 0 885798132 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 6 0 0 0
[pid=31175/tid=31190] ppid=31173 vsize=8539980 CPUtime=0.26 cores=0,2,4,6
/proc/31175/task/31190/stat : 31190 (java) S 31173 31175 31175 0 -1 4202560 2225 0 0 0 26 0 0 0 25 0 18 0 885798132 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 4 0 0 0
[pid=31175/tid=31191] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31191/stat : 31191 (java) S 31173 31175 31175 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 885798132 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048281 0 4 0 16800975 18446604453876356160 0 0 -1 2 0 0 0
[pid=31175/tid=31192] ppid=31173 vsize=8539980 CPUtime=0 cores=0,2,4,6
/proc/31175/task/31192/stat : 31192 (java) S 31173 31175 31175 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 885798132 8744939520 41172 33554432000 1073741824 1073778376 140735569854336 18446744073709551615 208092048896 0 4 0 16800975 18446604453876356160 0 0 -1 4 0 0 0
[pid=31049/tid=31090] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31090/stat : 31090 (python) S 31047 31049 30781 0 -1 4202560 25 1056487 0 0 0 0 438 644 20 0 9 0 885761566 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
[pid=31049/tid=31121] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31121/stat : 31121 (python) S 31047 31049 30781 0 -1 4202560 28 1056487 0 0 0 0 438 644 20 0 9 0 885766583 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
[pid=31049/tid=31127] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31127/stat : 31127 (python) S 31047 31049 30781 0 -1 4202560 30 1056487 0 0 0 0 438 644 20 0 9 0 885771474 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 2 0 0 0
[pid=31049/tid=31132] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31132/stat : 31132 (python) S 31047 31049 30781 0 -1 4202560 33 1056487 0 0 0 0 438 644 25 0 9 0 885778111 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 4 0 0 0
[pid=31049/tid=31137] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31137/stat : 31137 (python) S 31047 31049 30781 0 -1 4202560 34 1056487 0 0 0 0 438 644 18 0 9 0 885779195 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 6 0 0 0
[pid=31049/tid=31142] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31142/stat : 31142 (python) S 31047 31049 30781 0 -1 4202560 28 1056487 0 0 0 0 438 644 20 0 9 0 885784004 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
[pid=31049/tid=31150] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31150/stat : 31150 (python) S 31047 31049 30781 0 -1 4202560 32 1056487 0 0 0 0 438 644 20 0 9 0 885793450 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 0 0 0 0
[pid=31049/tid=31174] ppid=31047 vsize=430672 CPUtime=10.82 cores=0,2,4,6
/proc/31049/task/31174/stat : 31174 (python) S 31047 31049 30781 0 -1 4202560 29 1056487 0 0 0 0 438 644 20 0 9 0 885798127 441008128 23603 33554432000 4194304 5683644 140733622850880 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453655421248 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 374.38
Current children cumulated vsize (KiB) 21381712
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 31049 and gives
# childrusage.ru_utime.tv_sec=24
# childrusage.ru_utime.tv_usec=974203
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=659987
# CPU time returned by wait4() is 31.6342
# while last known CPU time is 374.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 371.372
CPU time (s): 374.38
CPU user time (s): 363.66
CPU system time (s): 10.72
CPU usage (%): 100.81
Max. virtual memory (cumulated for all children) (KiB): 21381712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9742
system time used= 6.65999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1099736
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= 1880
involuntary context switches= 131
runsolver used 0.78488 second user time and 1.66675 second system time
The end