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-3481665-1307577682/watcher-3481665-1307577682 -o /tmp/evaluation-result-3481665-1307577682/solver-3481665-1307577682 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481665-1307577682.opb -seed 1843381376 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 1.52 2/588 31081
/proc/meminfo: memFree=19624084/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/31081/stat : 31081 (python) R 31079 31081 30366 0 -1 4202496 1116 0 0 0 1 0 0 0 25 0 1 0 850183739 16793600 984 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095446885 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31081/statm: 4100 984 408 364 0 587 0
[startup+0.048271 s]
/proc/loadavg: 2.04 2.01 1.52 2/588 31081
/proc/meminfo: memFree=19624084/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=29792 CPUtime=0.02 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 1442 0 0 0 2 0 0 0 25 0 1 0 850183739 30507008 1284 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/31081/statm: 7448 1284 443 364 0 818 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29792
[startup+0.107323 s]
/proc/loadavg: 2.04 2.01 1.52 2/588 31081
/proc/meminfo: memFree=19624084/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/31081/stat : 31081 (python) R 31079 31081 30366 0 -1 4202496 3170 930 1 0 6 1 0 0 18 0 1 0 850183739 98435072 2483 33554432000 4194304 5683644 140735283833056 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/31081/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.30121 s]
/proc/loadavg: 2.04 2.01 1.52 2/588 31081
/proc/meminfo: memFree=19624084/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 6678 930 1 0 17 6 0 0 17 0 1 0 850183739 207867904 4962 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/31081/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.700167 s]
/proc/loadavg: 2.04 2.01 1.52 2/588 31081
/proc/meminfo: memFree=19624084/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=292260 CPUtime=0.61 cores=0,2,4,6
/proc/31081/stat : 31081 (python) R 31079 31081 30366 0 -1 4202496 11475 930 1 0 52 9 0 0 17 0 1 0 850183739 299274240 9336 33554432000 4194304 5683644 140735283833056 18446744073709551615 47259964820165 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/31081/statm: 73065 9338 1781 364 0 7958 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 292260
[startup+1.56501 s]
/proc/loadavg: 2.04 2.01 1.52 2/588 31081
/proc/meminfo: memFree=19624084/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=303340 CPUtime=1.1 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 13707 930 1 0 101 9 0 0 20 0 2 0 850183739 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31081/statm: 75835 9673 1870 364 0 10722 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 303340
[startup+3.10077 s]
/proc/loadavg: 2.12 2.03 1.53 3/592 31089
/proc/meminfo: memFree=19477812/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=303340 CPUtime=1.1 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 13707 930 1 0 101 9 0 0 20 0 2 0 850183739 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31081/statm: 75835 9673 1870 364 0 10722 0
[pid=31087] ppid=31081 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/31087/stat : 31087 (python) S 31081 31081 30366 0 -1 4202560 732 0 0 0 0 0 0 0 15 0 1 0 850183859 300130304 8150 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095471119 0 0 16781312 33554946 4462156049117315332 0 0 17 6 0 0 0
/proc/31087/statm: 73274 8150 351 364 0 8161 0
[pid=31089] ppid=31087 vsize=123700 CPUtime=1.9 cores=0,2,4,6
/proc/31089/stat : 31089 (scip-2.0.1.linu) R 31087 31089 31089 0 -1 4202496 30569 0 0 0 182 8 0 0 25 0 1 0 850183859 126668800 28308 33554432000 4194304 13684479 140736807112624 18446744073709551615 5688624 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31089/statm: 30925 28308 695 2317 0 28603 0
[pid=31081/tid=31088] ppid=31079 vsize=303340 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31088/stat : 31088 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 2 0 850183859 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 720136
[startup+6.30118 s]
/proc/loadavg: 2.19 2.04 1.53 3/592 31089
/proc/meminfo: memFree=19405584/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=303340 CPUtime=1.1 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 13707 930 1 0 101 9 0 0 20 0 2 0 850183739 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31081/statm: 75835 9673 1870 364 0 10722 0
[pid=31087] ppid=31081 vsize=293096 CPUtime=0.02 cores=0,2,4,6
/proc/31087/stat : 31087 (python) S 31081 31081 30366 0 -1 4202560 892 0 0 0 1 1 0 0 15 0 1 0 850183859 300130304 8174 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095471119 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/31087/statm: 73274 8174 375 364 0 8161 0
[pid=31089] ppid=31087 vsize=206100 CPUtime=5.09 cores=0,2,4,6
/proc/31089/stat : 31089 (scip-2.0.1.linu) R 31087 31089 31089 0 -1 4202496 49106 0 0 0 497 12 0 0 19 0 1 0 850183859 211046400 46486 33554432000 4194304 13684479 140736807112624 18446744073709551615 7387926 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31089/statm: 51525 46486 785 2317 0 49203 0
[pid=31081/tid=31088] ppid=31079 vsize=303340 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31088/stat : 31088 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 2 0 850183859 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 802536
[startup+12.701 s]
/proc/loadavg: 2.18 2.04 1.54 3/592 31089
/proc/meminfo: memFree=19378424/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=303340 CPUtime=1.1 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 13707 930 1 0 101 9 0 0 20 0 2 0 850183739 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31081/statm: 75835 9673 1870 364 0 10722 0
[pid=31087] ppid=31081 vsize=293096 CPUtime=0.04 cores=0,2,4,6
/proc/31087/stat : 31087 (python) S 31081 31081 30366 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 850183859 300130304 8174 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095471119 0 0 16781312 33554946 72556772316949243 0 0 17 6 0 0 0
/proc/31087/statm: 73274 8174 375 364 0 8161 0
[pid=31089] ppid=31087 vsize=226272 CPUtime=11.51 cores=0,2,4,6
/proc/31089/stat : 31089 (scip-2.0.1.linu) R 31087 31089 31089 0 -1 4202496 60177 0 0 0 1136 15 0 0 25 0 1 0 850183859 231702528 52680 33554432000 4194304 13684479 140736807112624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31089/statm: 56568 52680 772 2317 0 54246 0
[pid=31081/tid=31088] ppid=31079 vsize=303340 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31088/stat : 31088 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 2 0 850183859 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 822708
[startup+25.5007 s]
/proc/loadavg: 2.15 2.04 1.54 3/596 31093
/proc/meminfo: memFree=19269452/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=303340 CPUtime=1.1 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 13707 930 1 0 101 9 0 0 20 0 2 0 850183739 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31081/statm: 75835 9673 1870 364 0 10722 0
[pid=31087] ppid=31081 vsize=293096 CPUtime=0.1 cores=0,2,4,6
/proc/31087/stat : 31087 (python) S 31081 31081 30366 0 -1 4202560 902 0 0 0 5 5 0 0 15 0 1 0 850183859 300130304 8174 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095471119 0 0 16781312 33554946 72556772316949243 0 0 17 6 0 0 0
/proc/31087/statm: 73274 8174 375 364 0 8161 0
[pid=31089] ppid=31087 vsize=227032 CPUtime=24.3 cores=0,2,4,6
/proc/31089/stat : 31089 (scip-2.0.1.linu) R 31087 31089 31089 0 -1 4202496 61053 0 0 0 2413 17 0 0 25 0 1 0 850183859 232480768 53556 33554432000 4194304 13684479 140736807112624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31089/statm: 56758 53556 784 2317 0 54436 0
[pid=31081/tid=31088] ppid=31079 vsize=303340 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31088/stat : 31088 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 2 0 850183859 310620160 9673 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 823468
[startup+51.101 s]
/proc/loadavg: 2.09 2.03 1.55 3/600 31098
/proc/meminfo: memFree=19128608/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=313596 CPUtime=1.13 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 14597 930 1 0 103 10 0 0 20 0 3 0 850183739 321122304 9680 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31081/statm: 78399 9680 1873 364 0 13283 0
[pid=31087] ppid=31081 vsize=303340 CPUtime=0.21 cores=0,2,4,6
/proc/31087/stat : 31087 (python) S 31081 31081 30366 0 -1 4202560 1070 0 0 0 11 10 0 0 17 0 2 0 850183859 310620160 8210 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31087/statm: 75835 8210 406 364 0 10722 0
[pid=31089] ppid=31087 vsize=227032 CPUtime=45.82 cores=0,2,4,6
/proc/31089/stat : 31089 (scip-2.0.1.linu) T 31087 31089 31089 0 -1 4202496 61053 0 0 0 4564 18 0 0 25 0 1 0 850183859 232480768 53556 33554432000 4194304 13684479 140736807112624 18446744073709551615 7399110 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31089/statm: 56758 53556 784 2317 0 54436 0
[pid=31087/tid=31095] ppid=31081 vsize=303340 CPUtime=0 cores=0,2,4,6
/proc/31087/task/31095/stat : 31095 (python) S 31081 31081 30366 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 850188442 310620160 8210 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453982658752 0 0 -1 6 0 0 0
[pid=31096] ppid=31081 vsize=303352 CPUtime=0.02 cores=0,2,4,6
/proc/31096/stat : 31096 (python) S 31081 31081 30366 0 -1 4202560 917 0 0 0 1 1 0 0 15 0 1 0 850188444 310632448 8175 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095471174 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/31096/statm: 75838 8175 372 364 0 10722 0
[pid=31098] ppid=31096 vsize=161780 CPUtime=4.04 cores=0,2,4,6
/proc/31098/stat : 31098 (scip-2.0.1.linu) R 31096 31098 31098 0 -1 4202496 39969 0 0 0 390 14 0 0 25 0 1 0 850188445 165662720 37536 33554432000 4194304 15243407 140734271494880 18446744073709551615 4773353 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31098/statm: 40445 37536 780 2698 0 37740 0
[pid=31081/tid=31088] ppid=31079 vsize=313596 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31088/stat : 31088 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 3 0 850183859 321122304 9680 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 2 0 0 0
[pid=31081/tid=31097] ppid=31079 vsize=313596 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31097/stat : 31097 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 3 0 850188445 321122304 9680 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 1309100
[startup+102.301 s]
/proc/loadavg: 2.04 2.03 1.57 3/608 31107
/proc/meminfo: memFree=18960668/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=323852 CPUtime=1.16 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 15512 930 1 0 106 10 0 0 20 0 4 0 850183739 331624448 9686 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31081/statm: 80963 9686 1875 364 0 15844 0
[pid=31087] ppid=31081 vsize=303340 CPUtime=0.21 cores=0,2,4,6
/proc/31087/stat : 31087 (python) S 31081 31081 30366 0 -1 4202560 1070 0 0 0 11 10 0 0 17 0 2 0 850183859 310620160 8210 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31087/statm: 75835 8210 406 364 0 10722 0
[pid=31089] ppid=31087 vsize=227032 CPUtime=45.82 cores=0,2,4,6
/proc/31089/stat : 31089 (scip-2.0.1.linu) T 31087 31089 31089 0 -1 4202496 61053 0 0 0 4564 18 0 0 25 0 1 0 850183859 232480768 53556 33554432000 4194304 13684479 140736807112624 18446744073709551615 7399110 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31089/statm: 56758 53556 784 2317 0 54436 0
[pid=31087/tid=31095] ppid=31081 vsize=303340 CPUtime=0 cores=0,2,4,6
/proc/31087/task/31095/stat : 31095 (python) S 31081 31081 30366 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 850188442 310620160 8210 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453982658752 0 0 -1 6 0 0 0
[pid=31096] ppid=31081 vsize=303352 CPUtime=0.22 cores=0,2,4,6
/proc/31096/stat : 31096 (python) S 31081 31081 30366 0 -1 4202560 1109 0 0 0 11 11 0 0 17 0 2 0 850188444 310632448 8200 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31096/statm: 75838 8200 396 364 0 10722 0
[pid=31098] ppid=31096 vsize=220268 CPUtime=46.78 cores=0,2,4,6
/proc/31098/stat : 31098 (scip-2.0.1.linu) T 31096 31098 31098 0 -1 4202496 53588 0 0 0 4648 30 0 0 25 0 1 0 850188445 225554432 49434 33554432000 4194304 15243407 140734271494880 18446744073709551615 8113001 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31098/statm: 55067 49434 910 2698 0 52362 0
[pid=31096/tid=31104] ppid=31081 vsize=303352 CPUtime=0 cores=0,2,4,6
/proc/31096/task/31104/stat : 31104 (python) S 31081 31081 30366 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850193124 310632448 8200 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604444623112320 0 0 -1 6 0 0 0
[pid=31105] ppid=31081 vsize=313608 CPUtime=0.04 cores=0,2,4,6
/proc/31105/stat : 31105 (python) S 31081 31081 30366 0 -1 4202560 927 0 0 0 2 2 0 0 15 0 1 0 850193127 321134592 8179 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095471174 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/31105/statm: 78402 8179 372 364 0 13283 0
[pid=31107] ppid=31105 vsize=36384 CPUtime=8.42 cores=0,2,4,6
/proc/31107/stat : 31107 (wbo1.4a) R 31105 31107 31107 0 -1 4202496 10102 0 0 0 824 18 0 0 25 0 1 0 850193127 37257216 8594 33554432000 134512640 135751879 4294724592 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/31107/statm: 9096 8594 146 303 0 8791 0
[pid=31081/tid=31088] ppid=31079 vsize=323852 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31088/stat : 31088 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 4 0 850183859 331624448 9686 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 2 0 0 0
[pid=31081/tid=31097] ppid=31079 vsize=323852 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31097/stat : 31097 (python) S 31079 31081 30366 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 4 0 850188445 331624448 9686 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=31081/tid=31106] ppid=31079 vsize=344364 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31106/stat : 31106 (python) S 31079 31081 30366 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 850193127 352628736 9698 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
[pid=31081/tid=31599] ppid=31079 vsize=344364 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31599/stat : 31599 (python) S 31079 31081 30366 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 850198210 352628736 9698 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
[pid=31081/tid=31734] ppid=31079 vsize=344364 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31734/stat : 31734 (python) S 31079 31081 30366 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 850203009 352628736 9698 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 345.74
Current children cumulated vsize (KiB) 11154348
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+382.302 s]
/proc/loadavg: 2.02 2.07 1.71 4/670 31923
/proc/meminfo: memFree=15913628/32951124 swapFree=57370024/67111528
[pid=31081] ppid=31079 vsize=354620 CPUtime=1.28 cores=0,2,4,6
/proc/31081/stat : 31081 (python) S 31079 31081 30366 0 -1 4202496 18304 930 1 0 117 11 0 0 20 0 7 0 850183739 363130880 9704 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31081/statm: 88655 9704 1881 364 0 23527 0
[pid=31087] ppid=31081 vsize=303340 CPUtime=0.46 cores=0,2,4,6
/proc/31087/stat : 31087 (python) S 31081 31081 30366 0 -1 4202560 1100 0 0 0 22 24 0 0 15 0 2 0 850183859 310620160 8211 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31087/statm: 75835 8211 407 364 0 10722 0
[pid=31089] ppid=31087 vsize=227032 CPUtime=96.08 cores=0,2,4,6
/proc/31089/stat : 31089 (scip-2.0.1.linu) T 31087 31089 31089 0 -1 4202496 61098 0 0 0 9588 20 0 0 25 0 1 0 850183859 232480768 53601 33554432000 4194304 13684479 140736807112624 18446744073709551615 7390400 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31089/statm: 56758 53601 784 2317 0 54436 0
[pid=31087/tid=31095] ppid=31081 vsize=303340 CPUtime=0 cores=0,2,4,6
/proc/31087/task/31095/stat : 31095 (python) S 31081 31081 30366 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 850188442 310620160 8211 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453982658752 0 0 -1 6 0 0 0
[pid=31096] ppid=31081 vsize=303352 CPUtime=0.44 cores=0,2,4,6
/proc/31096/stat : 31096 (python) S 31081 31081 30366 0 -1 4202560 1144 0 0 0 22 22 0 0 15 0 2 0 850188444 310632448 8200 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31096/statm: 75838 8200 396 364 0 10722 0
[pid=31098] ppid=31096 vsize=231472 CPUtime=91.7 cores=0,2,4,6
/proc/31098/stat : 31098 (scip-2.0.1.linu) T 31096 31098 31098 0 -1 4202496 55103 0 0 0 9134 36 0 0 25 0 1 0 850188445 237027328 50949 33554432000 4194304 15243407 140734271494880 18446744073709551615 4965455 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31098/statm: 57868 50949 910 2698 0 55163 0
[pid=31096/tid=31104] ppid=31081 vsize=303352 CPUtime=0 cores=0,2,4,6
/proc/31096/task/31104/stat : 31104 (python) S 31081 31081 30366 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 850193124 310632448 8200 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604444623112320 0 0 -1 6 0 0 0
[pid=31105] ppid=31081 vsize=313608 CPUtime=0.25 cores=0,2,4,6
/proc/31105/stat : 31105 (python) S 31081 31081 30366 0 -1 4202560 1112 0 0 0 14 11 0 0 16 0 2 0 850193127 321134592 8204 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31105/statm: 78402 8204 396 364 0 13283 0
[pid=31107] ppid=31105 vsize=221536 CPUtime=50.79 cores=0,2,4,6
/proc/31107/stat : 31107 (wbo1.4a) T 31105 31107 31107 0 -1 4202496 56423 0 0 0 5037 42 0 0 25 0 1 0 850193127 226852864 54915 33554432000 134512640 135751879 4294724592 18446744073709551615 134616489 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/31107/statm: 55384 54915 146 303 0 55079 0
[pid=31105/tid=31597] ppid=31081 vsize=313608 CPUtime=0 cores=0,2,4,6
/proc/31105/task/31597/stat : 31597 (python) S 31081 31081 30366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850198207 321134592 8204 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453970342272 0 0 -1 6 0 0 0
[pid=31598] ppid=31081 vsize=323864 CPUtime=0.22 cores=0,2,4,6
/proc/31598/stat : 31598 (python) S 31081 31081 30366 0 -1 4202560 1128 0 0 0 11 11 0 0 17 0 2 0 850198210 331636736 8208 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31598/statm: 80966 8208 396 364 0 15844 0
[pid=31600] ppid=31598 vsize=8547168 CPUtime=49.92 cores=0,2,4,6
/proc/31600/stat : 31600 (java) T 31598 31600 31600 0 -1 4202496 548104 0 1 0 4927 65 0 0 18 0 19 0 850198210 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31600/statm: 2136792 532353 2249 9 0 2127533 0
[pid=31600/tid=31601] ppid=31598 vsize=8547168 CPUtime=47.74 cores=0,2,4,6
/proc/31600/task/31601/stat : 31601 (java) T 31598 31600 31600 0 -1 4202560 505943 0 1 0 4715 59 0 0 25 0 19 0 850198211 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 46912505871175 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31600/tid=31602] ppid=31598 vsize=8547168 CPUtime=0.04 cores=0,2,4,6
/proc/31600/task/31602/stat : 31602 (java) T 31598 31600 31600 0 -1 4202560 2692 0 0 0 4 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31600/tid=31603] ppid=31598 vsize=8547168 CPUtime=0.03 cores=0,2,4,6
/proc/31600/task/31603/stat : 31603 (java) T 31598 31600 31600 0 -1 4202560 2613 0 0 0 3 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31604] ppid=31598 vsize=8547168 CPUtime=0.05 cores=0,2,4,6
/proc/31600/task/31604/stat : 31604 (java) T 31598 31600 31600 0 -1 4202560 4247 0 0 0 5 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31600/tid=31605] ppid=31598 vsize=8547168 CPUtime=0.06 cores=0,2,4,6
/proc/31600/task/31605/stat : 31605 (java) T 31598 31600 31600 0 -1 4202560 5157 0 0 0 6 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31600/tid=31606] ppid=31598 vsize=8547168 CPUtime=0.04 cores=0,2,4,6
/proc/31600/task/31606/stat : 31606 (java) T 31598 31600 31600 0 -1 4202560 3201 0 0 0 4 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31607] ppid=31598 vsize=8547168 CPUtime=0.05 cores=0,2,4,6
/proc/31600/task/31607/stat : 31607 (java) T 31598 31600 31600 0 -1 4202560 3637 0 0 0 5 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31600/tid=31608] ppid=31598 vsize=8547168 CPUtime=0.04 cores=0,2,4,6
/proc/31600/task/31608/stat : 31608 (java) T 31598 31600 31600 0 -1 4202560 2501 0 0 0 4 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31600/tid=31609] ppid=31598 vsize=8547168 CPUtime=0.03 cores=0,2,4,6
/proc/31600/task/31609/stat : 31609 (java) T 31598 31600 31600 0 -1 4202560 2503 0 0 0 3 0 0 0 15 0 19 0 850198212 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31600/tid=31610] ppid=31598 vsize=8547168 CPUtime=0 cores=0,2,4,6
/proc/31600/task/31610/stat : 31610 (java) T 31598 31600 31600 0 -1 4202560 943 0 0 0 0 0 0 0 15 0 19 0 850198213 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31600/tid=31611] ppid=31598 vsize=8547168 CPUtime=0 cores=0,2,4,6
/proc/31600/task/31611/stat : 31611 (java) T 31598 31600 31600 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850198213 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31612] ppid=31598 vsize=8547168 CPUtime=0 cores=0,2,4,6
/proc/31600/task/31612/stat : 31612 (java) T 31598 31600 31600 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 850198213 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31613] ppid=31598 vsize=8547168 CPUtime=0 cores=0,2,4,6
/proc/31600/task/31613/stat : 31613 (java) T 31598 31600 31600 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850198215 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31614] ppid=31598 vsize=8547168 CPUtime=0.98 cores=0,2,4,6
/proc/31600/task/31614/stat : 31614 (java) T 31598 31600 31600 0 -1 4202560 8878 0 0 0 97 1 0 0 15 0 19 0 850198215 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31615] ppid=31598 vsize=8547168 CPUtime=0.76 cores=0,2,4,6
/proc/31600/task/31615/stat : 31615 (java) T 31598 31600 31600 0 -1 4202560 4394 0 0 0 76 0 0 0 15 0 19 0 850198215 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31616] ppid=31598 vsize=8547168 CPUtime=0 cores=0,2,4,6
/proc/31600/task/31616/stat : 31616 (java) T 31598 31600 31600 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850198215 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31600/tid=31617] ppid=31598 vsize=8547168 CPUtime=0 cores=0,2,4,6
/proc/31600/task/31617/stat : 31617 (java) T 31598 31600 31600 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850198215 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31600/tid=31639] ppid=31598 vsize=8547168 CPUtime=0 cores=0,2,4,6
/proc/31600/task/31639/stat : 31639 (java) T 31598 31600 31600 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850198269 8752300032 532353 33554432000 1073741824 1073778376 140736825069040 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31598/tid=31732] ppid=31081 vsize=323864 CPUtime=0 cores=0,2,4,6
/proc/31598/task/31732/stat : 31732 (python) S 31081 31081 30366 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850203006 331636736 8208 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604445458094144 0 0 -1 6 0 0 0
[pid=31733] ppid=31081 vsize=334120 CPUtime=0.43 cores=0,2,4,6
/proc/31733/stat : 31733 (python) S 31081 31081 30366 0 -1 4202560 1208 0 0 0 22 21 0 0 19 0 2 0 850203009 342138880 8218 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31733/statm: 83530 8218 402 364 0 18405 0
[pid=31735] ppid=31733 vsize=15696 CPUtime=93.44 cores=0,2,4,6
/proc/31735/stat : 31735 (clasp-1.3.7-x86) T 31733 31735 31735 0 -1 4202496 4278 0 0 0 9344 0 0 0 25 0 1 0 850203009 16072704 3670 33554432000 134512640 136139019 4288734304 18446744073709551615 134598640 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/31735/statm: 3924 3670 187 398 0 3524 0
[pid=31733/tid=31764] ppid=31081 vsize=334120 CPUtime=0 cores=0,2,4,6
/proc/31733/task/31764/stat : 31764 (python) S 31081 31081 30366 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 850212354 342138880 8218 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453963141504 0 0 -1 4 0 0 0
[pid=31903] ppid=31081 vsize=344376 CPUtime=0 cores=0,2,4,6
/proc/31903/stat : 31903 (python) S 31081 31081 30366 0 -1 4202560 899 0 0 0 0 0 0 0 15 0 1 0 850221878 352641024 8174 33554432000 4194304 5683644 140735283833056 18446744073709551615 228095471174 0 0 16781312 33554946 1273976454924730368 0 0 17 0 0 0 0
/proc/31903/statm: 86094 8174 355 364 0 20966 0
[pid=31905] ppid=31903 vsize=8538080 CPUtime=1.87 cores=0,2,4,6
/proc/31905/stat : 31905 (java) S 31903 31905 31905 0 -1 4202496 35059 0 1 0 182 5 0 0 18 0 19 0 850221878 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31905/statm: 2134520 31287 2229 9 0 2125261 0
[pid=31905/tid=31906] ppid=31903 vsize=8538080 CPUtime=0.94 cores=0,2,4,6
/proc/31905/task/31906/stat : 31906 (java) R 31903 31905 31905 0 -1 4202560 26992 0 1 0 91 3 0 0 19 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 46912505931524 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31905/tid=31907] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31907/stat : 31907 (java) S 31903 31905 31905 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31908] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31908/stat : 31908 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31909] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31909/stat : 31909 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31910] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31910/stat : 31910 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31911] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31911/stat : 31911 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31912] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31912/stat : 31912 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31913] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31913/stat : 31913 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31914] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31914/stat : 31914 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850221879 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31915] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31915/stat : 31915 (java) S 31903 31905 31905 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 850221880 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107267584 0 0 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31916] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31916/stat : 31916 (java) S 31903 31905 31905 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850221881 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=31905/tid=31917] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31917/stat : 31917 (java) S 31903 31905 31905 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850221881 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=31905/tid=31918] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31918/stat : 31918 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850221883 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107274673 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=31905/tid=31919] ppid=31903 vsize=8538080 CPUtime=0.45 cores=0,2,4,6
/proc/31905/task/31919/stat : 31919 (java) R 31903 31905 31905 0 -1 4202560 4482 0 0 0 45 0 0 0 15 0 19 0 850221883 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 47099727635986 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31905/tid=31920] ppid=31903 vsize=8538080 CPUtime=0.46 cores=0,2,4,6
/proc/31905/task/31920/stat : 31920 (java) S 31903 31905 31905 0 -1 4202560 2186 0 0 0 46 0 0 0 24 0 19 0 850221883 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31921] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31921/stat : 31921 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850221883 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=31905/tid=31922] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31922/stat : 31922 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850221883 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107267584 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31905/tid=31923] ppid=31903 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/31905/task/31923/stat : 31923 (java) S 31903 31905 31905 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850221936 8742993920 31287 33554432000 1073741824 1073778376 140736134837520 18446744073709551615 228107267584 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31081/tid=31088] ppid=31079 vsize=354620 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31088/stat : 31088 (python) S 31079 31081 30366 0 -1 4202560 33 930 0 0 0 0 0 0 18 0 7 0 850183859 363130880 9704 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 2 0 0 0
[pid=31081/tid=31097] ppid=31079 vsize=354620 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31097/stat : 31097 (python) S 31079 31081 30366 0 -1 4202560 32 930 0 0 0 0 0 0 18 0 7 0 850188445 363130880 9704 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
[pid=31081/tid=31106] ppid=31079 vsize=354620 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31106/stat : 31106 (python) S 31079 31081 30366 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 7 0 850193127 363130880 9704 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
[pid=31081/tid=31599] ppid=31079 vsize=354620 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31599/stat : 31599 (python) S 31079 31081 30366 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 7 0 850198210 363130880 9704 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
[pid=31081/tid=31734] ppid=31079 vsize=354620 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31734/stat : 31734 (python) S 31079 31081 30366 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 7 0 850203009 363130880 9704 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 6 0 0 0
[pid=31081/tid=31904] ppid=31079 vsize=354620 CPUtime=0 cores=0,2,4,6
/proc/31081/task/31904/stat : 31904 (python) S 31079 31081 30366 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 7 0 850221878 363130880 9704 33554432000 4194304 5683644 140735283833056 18446744073709551615 228107274673 0 0 16781312 33554434 18446604447704060928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 386.88
Current children cumulated vsize (KiB) 20058264
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 31081 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=179820
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120981
# CPU time returned by wait4() is 1.3008
# while last known CPU time is 386.88
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 382.399
CPU time (s): 386.88
CPU user time (s): 384.2
CPU system time (s): 2.68
CPU usage (%): 101.172
Max. virtual memory (cumulated for all children) (KiB): 20058264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17982
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19238
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= 1015
involuntary context switches= 26
runsolver used 3.01854 second user time and 6.09607 second system time
The end