runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311724-1304189529/watcher-3311724-1304189529 -o /tmp/evaluation-result-3311724-1304189529/solver-3311724-1304189529 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311724-1304189529.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.09 7.60 7.76 3/178 20657
/proc/meminfo: memFree=30000588/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/20657/stat : 20657 (java) R 20655 20657 20341 0 -1 4202496 1202 0 0 0 0 0 0 0 21 0 1 0 511368221 23580672 688 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254256654225 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20657/statm: 5757 689 515 9 0 124 0
[startup+0.0239829 s]
/proc/loadavg: 6.09 7.60 7.76 3/178 20657
/proc/meminfo: memFree=30000588/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15602060 CPUtime=0.01 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 3393 0 1 0 1 0 0 0 21 0 11 0 511368221 15976509440 2834 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3900515 2834 1625 9 0 3891263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060
[startup+0.101017 s]
/proc/loadavg: 6.09 7.60 7.76 3/178 20657
/proc/meminfo: memFree=30000588/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15676764 CPUtime=0.11 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 5629 0 1 0 10 1 0 0 21 0 18 0 511368221 16053006336 5058 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3919191 5058 2117 9 0 3909910 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676764
[startup+0.300965 s]
/proc/loadavg: 6.09 7.60 7.76 3/178 20657
/proc/meminfo: memFree=30000588/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15682444 CPUtime=0.53 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 15234 0 1 0 50 3 0 0 21 0 18 0 511368221 16058822656 13405 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3920611 13409 2207 9 0 3911330 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15682444
[startup+0.700948 s]
/proc/loadavg: 6.09 7.60 7.76 3/178 20657
/proc/meminfo: memFree=30000588/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15682444 CPUtime=0.92 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 41820 0 1 0 86 6 0 0 21 0 18 0 511368221 16058822656 39989 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3920611 39989 2223 9 0 3911330 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15682444
[startup+1.50079 s]
/proc/loadavg: 6.09 7.60 7.76 4/220 20699
/proc/meminfo: memFree=29683936/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15688912 CPUtime=2.2 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 51612 0 1 0 211 9 0 0 21 0 22 0 511368221 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3922228 47017 2256 9 0 3912947 0
[pid=20657/tid=20667] ppid=20655 vsize=15688912 CPUtime=1.48 cores=0,2,4,6
/proc/20657/task/20667/stat : 20667 (java) R 20655 20657 20341 0 -1 4202560 35638 0 1 0 142 6 0 0 20 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 47153469986772 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20657/tid=20668] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20668/stat : 20668 (java) S 20655 20657 20341 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20669] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20669/stat : 20669 (java) S 20655 20657 20341 0 -1 4202560 23 0 0 0 0 0 0 0 17 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20670] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20670/stat : 20670 (java) S 20655 20657 20341 0 -1 4202560 1233 0 0 0 0 0 0 0 16 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20671] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20671/stat : 20671 (java) S 20655 20657 20341 0 -1 4202560 91 0 0 0 0 0 0 0 17 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20672] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20672/stat : 20672 (java) S 20655 20657 20341 0 -1 4202560 29 0 0 0 0 0 0 0 17 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20673] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20673/stat : 20673 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20674] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20674/stat : 20674 (java) S 20655 20657 20341 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20675] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20675/stat : 20675 (java) S 20655 20657 20341 0 -1 4202560 616 0 0 0 0 0 0 0 17 0 22 0 511368222 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20679] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20679/stat : 20679 (java) S 20655 20657 20341 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 22 0 511368223 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 0 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20680] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20680/stat : 20680 (java) S 20655 20657 20341 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 511368224 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20681] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20681/stat : 20681 (java) S 20655 20657 20341 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 511368224 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20687] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20687/stat : 20687 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273440177 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20688] ppid=20655 vsize=15688912 CPUtime=0.27 cores=0,2,4,6
/proc/20657/task/20688/stat : 20688 (java) R 20655 20657 20341 0 -1 4202560 3171 0 0 0 27 0 0 0 15 0 22 0 511368226 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 47153469533851 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20657/tid=20689] ppid=20655 vsize=15688912 CPUtime=0.41 cores=0,2,4,6
/proc/20657/task/20689/stat : 20689 (java) S 20655 20657 20341 0 -1 4202560 9214 0 0 0 39 2 0 0 15 0 22 0 511368226 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20690] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20690/stat : 20690 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20691] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20691/stat : 20691 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511368226 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20696] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20696/stat : 20696 (java) S 20655 20657 20341 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 511368316 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20697] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20697/stat : 20697 (java) S 20655 20657 20341 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 511368316 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20698] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20698/stat : 20698 (java) S 20655 20657 20341 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 511368316 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20699] ppid=20655 vsize=15688912 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20699/stat : 20699 (java) S 20655 20657 20341 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 511368316 16065445888 47017 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 15688912
[startup+3.10141 s]
/proc/loadavg: 6.09 7.60 7.76 5/220 20699
/proc/meminfo: memFree=29636320/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15686544 CPUtime=5.54 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 70245 0 1 0 542 12 0 0 21 0 22 0 511368221 16063021056 64641 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3921636 64642 2273 9 0 3912355 0
[pid=20657/tid=20667] ppid=20655 vsize=15686544 CPUtime=2.09 cores=0,2,4,6
/proc/20657/task/20667/stat : 20667 (java) S 20655 20657 20341 0 -1 4202560 35689 0 1 0 203 6 0 0 22 0 22 0 511368222 16063021056 64646 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20668] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20668/stat : 20668 (java) S 20655 20657 20341 0 -1 4202560 3980 0 0 0 0 0 0 0 15 0 22 0 511368222 16063021056 64648 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20669] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20669/stat : 20669 (java) S 20655 20657 20341 0 -1 4202560 3763 0 0 0 0 0 0 0 16 0 22 0 511368222 16063021056 64652 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20670] ppid=20655 vsize=15686544 CPUtime=0.01 cores=0,2,4,6
/proc/20657/task/20670/stat : 20670 (java) S 20655 20657 20341 0 -1 4202560 4452 0 0 0 1 0 0 0 15 0 22 0 511368222 16063021056 64653 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20671] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20671/stat : 20671 (java) S 20655 20657 20341 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 22 0 511368222 16063021056 64656 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20672] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20672/stat : 20672 (java) S 20655 20657 20341 0 -1 4202560 2928 0 0 0 0 0 0 0 15 0 22 0 511368222 16063021056 64658 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20673] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20673/stat : 20673 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511368222 16063021056 64660 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20674] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20674/stat : 20674 (java) S 20655 20657 20341 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 511368222 16063021056 64662 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20675] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20675/stat : 20675 (java) S 20655 20657 20341 0 -1 4202560 3315 0 0 0 0 0 0 0 15 0 22 0 511368222 16063021056 64665 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20679] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20679/stat : 20679 (java) S 20655 20657 20341 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 22 0 511368223 16063021056 64668 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 0 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20680] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20680/stat : 20680 (java) S 20655 20657 20341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511368224 16063021056 64671 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20681] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20681/stat : 20681 (java) S 20655 20657 20341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 511368224 16063021056 64673 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20687] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20687/stat : 20687 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16063021056 64677 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273440177 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20688] ppid=20655 vsize=15686544 CPUtime=0.68 cores=0,2,4,6
/proc/20657/task/20688/stat : 20688 (java) R 20655 20657 20341 0 -1 4202560 3519 0 0 0 68 0 0 0 16 0 22 0 511368226 16063021056 64679 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20657/tid=20689] ppid=20655 vsize=15686544 CPUtime=0.83 cores=0,2,4,6
/proc/20657/task/20689/stat : 20689 (java) S 20655 20657 20341 0 -1 4202560 9291 0 0 0 81 2 0 0 15 0 22 0 511368226 16063021056 64680 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20690] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20690/stat : 20690 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16063021056 64683 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20691] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20691/stat : 20691 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511368226 16063021056 64685 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20696] ppid=20655 vsize=15686544 CPUtime=0.21 cores=0,2,4,6
/proc/20657/task/20696/stat : 20696 (java) R 20655 20657 20341 0 -1 4202560 547 0 0 0 21 0 0 0 16 0 22 0 511368316 16063021056 64686 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506147953 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20657/tid=20697] ppid=20655 vsize=15686544 CPUtime=0.21 cores=0,2,4,6
/proc/20657/task/20697/stat : 20697 (java) R 20655 20657 20341 0 -1 4202560 15 0 0 0 21 0 0 0 16 0 22 0 511368316 16063021056 64689 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506165887 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20657/tid=20698] ppid=20655 vsize=15686544 CPUtime=0.51 cores=0,2,4,6
/proc/20657/task/20698/stat : 20698 (java) R 20655 20657 20341 0 -1 4202560 600 0 0 0 51 0 0 0 15 0 22 0 511368316 16063021056 64692 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506072927 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20657/tid=20699] ppid=20655 vsize=15686544 CPUtime=0.87 cores=0,2,4,6
/proc/20657/task/20699/stat : 20699 (java) R 20655 20657 20341 0 -1 4202560 555 0 0 0 87 0 0 0 16 0 22 0 511368316 16063021056 64694 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506023944 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 15686544
[startup+6.30084 s]
/proc/loadavg: 6.24 7.61 7.76 11/220 20699
/proc/meminfo: memFree=28416516/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15686544 CPUtime=18.21 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 249588 0 1 0 1779 42 0 0 21 0 22 0 511368221 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3921636 242775 2283 9 0 3912355 0
[pid=20657/tid=20667] ppid=20655 vsize=15686544 CPUtime=2.09 cores=0,2,4,6
/proc/20657/task/20667/stat : 20667 (java) S 20655 20657 20341 0 -1 4202560 35689 0 1 0 203 6 0 0 22 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20668] ppid=20655 vsize=15686544 CPUtime=0.04 cores=0,2,4,6
/proc/20657/task/20668/stat : 20668 (java) S 20655 20657 20341 0 -1 4202560 12906 0 0 0 2 2 0 0 15 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20669] ppid=20655 vsize=15686544 CPUtime=0.08 cores=0,2,4,6
/proc/20657/task/20669/stat : 20669 (java) S 20655 20657 20341 0 -1 4202560 19889 0 0 0 4 4 0 0 16 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20670] ppid=20655 vsize=15686544 CPUtime=0.03 cores=0,2,4,6
/proc/20657/task/20670/stat : 20670 (java) S 20655 20657 20341 0 -1 4202560 9656 0 0 0 2 1 0 0 15 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20671] ppid=20655 vsize=15686544 CPUtime=0.03 cores=0,2,4,6
/proc/20657/task/20671/stat : 20671 (java) S 20655 20657 20341 0 -1 4202560 9690 0 0 0 2 1 0 0 16 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20672] ppid=20655 vsize=15686544 CPUtime=0.03 cores=0,2,4,6
/proc/20657/task/20672/stat : 20672 (java) S 20655 20657 20341 0 -1 4202560 11019 0 0 0 2 1 0 0 15 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20673] ppid=20655 vsize=15686544 CPUtime=0.05 cores=0,2,4,6
/proc/20657/task/20673/stat : 20673 (java) S 20655 20657 20341 0 -1 4202560 12942 0 0 0 3 2 0 0 16 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20674] ppid=20655 vsize=15686544 CPUtime=0.03 cores=0,2,4,6
/proc/20657/task/20674/stat : 20674 (java) S 20655 20657 20341 0 -1 4202560 12634 0 0 0 2 1 0 0 16 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20675] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20675/stat : 20675 (java) S 20655 20657 20341 0 -1 4202560 3315 0 0 0 0 0 0 0 15 0 22 0 511368222 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20679] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20679/stat : 20679 (java) S 20655 20657 20341 0 -1 4202560 602 0 0 0 0 0 0 0 15 0 22 0 511368223 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 0 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20680] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20680/stat : 20680 (java) S 20655 20657 20341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511368224 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20681] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20681/stat : 20681 (java) S 20655 20657 20341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 511368224 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20687] ppid=20655 vsize=15686544 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20687/stat : 20687 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273440177 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20688] ppid=20655 vsize=15686544 CPUtime=0.74 cores=0,2,4,6
/proc/20657/task/20688/stat : 20688 (java) S 20655 20657 20341 0 -1 4202560 3522 0 0 0 74 0 0 0 15 0 22 0 511368226 16063021056 242775 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=20657/tid=20697] ppid=20655 vsize=15688632 CPUtime=1046.88 cores=0,2,4,6
/proc/20657/task/20697/stat : 20697 (java) R 20655 20657 20341 0 -1 4202560 381450 0 0 0 104635 53 0 0 25 0 22 0 511368316 16065159168 234339 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912505609692 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20657/tid=20698] ppid=20655 vsize=15688632 CPUtime=1047.17 cores=0,2,4,6
/proc/20657/task/20698/stat : 20698 (java) R 20655 20657 20341 0 -1 4202560 395435 0 0 0 104667 50 0 0 25 0 22 0 511368316 16065159168 234339 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506130342 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20657/tid=20699] ppid=20655 vsize=15688632 CPUtime=1047.52 cores=0,2,4,6
/proc/20657/task/20699/stat : 20699 (java) R 20655 20657 20341 0 -1 4202560 383508 0 0 0 104702 50 0 0 25 0 22 0 511368316 16065159168 234339 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506148601 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4223.92
Current children cumulated vsize (KiB) 15688632
[startup+1122.3 s]
/proc/loadavg: 7.98 8.04 7.97 10/220 20737
/proc/meminfo: memFree=28025000/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15688632 CPUtime=4462.89 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 3306458 0 1 0 445675 614 0 0 21 0 22 0 511368221 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3922158 271697 2296 9 0 3912877 0
[pid=20657/tid=20667] ppid=20655 vsize=15688632 CPUtime=2.09 cores=0,2,4,6
/proc/20657/task/20667/stat : 20667 (java) S 20655 20657 20341 0 -1 4202560 35689 0 1 0 203 6 0 0 22 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20668] ppid=20655 vsize=15688632 CPUtime=3.71 cores=0,2,4,6
/proc/20657/task/20668/stat : 20668 (java) S 20655 20657 20341 0 -1 4202560 186437 0 0 0 337 34 0 0 15 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20669] ppid=20655 vsize=15688632 CPUtime=3.83 cores=0,2,4,6
/proc/20657/task/20669/stat : 20669 (java) S 20655 20657 20341 0 -1 4202560 202384 0 0 0 341 42 0 0 16 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20670] ppid=20655 vsize=15688632 CPUtime=3.73 cores=0,2,4,6
/proc/20657/task/20670/stat : 20670 (java) S 20655 20657 20341 0 -1 4202560 208887 0 0 0 335 38 0 0 15 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20671] ppid=20655 vsize=15688632 CPUtime=3.68 cores=0,2,4,6
/proc/20657/task/20671/stat : 20671 (java) S 20655 20657 20341 0 -1 4202560 192078 0 0 0 331 37 0 0 16 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20672] ppid=20655 vsize=15688632 CPUtime=3.9 cores=0,2,4,6
/proc/20657/task/20672/stat : 20672 (java) S 20655 20657 20341 0 -1 4202560 205761 0 0 0 349 41 0 0 15 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20673] ppid=20655 vsize=15688632 CPUtime=3.69 cores=0,2,4,6
/proc/20657/task/20673/stat : 20673 (java) S 20655 20657 20341 0 -1 4202560 200890 0 0 0 333 36 0 0 16 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20674] ppid=20655 vsize=15688632 CPUtime=3.68 cores=0,2,4,6
/proc/20657/task/20674/stat : 20674 (java) S 20655 20657 20341 0 -1 4202560 203709 0 0 0 329 39 0 0 15 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20675] ppid=20655 vsize=15688632 CPUtime=3.75 cores=0,2,4,6
/proc/20657/task/20675/stat : 20675 (java) S 20655 20657 20341 0 -1 4202560 178047 0 0 0 338 37 0 0 16 0 22 0 511368222 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20679] ppid=20655 vsize=15688632 CPUtime=2.54 cores=0,2,4,6
/proc/20657/task/20679/stat : 20679 (java) S 20655 20657 20341 0 -1 4202560 8553 0 0 0 183 71 0 0 16 0 22 0 511368223 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 0 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20680] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20680/stat : 20680 (java) S 20655 20657 20341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511368224 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20681] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20681/stat : 20681 (java) S 20655 20657 20341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 511368224 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20687] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20687/stat : 20687 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273440177 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20688] ppid=20655 vsize=15688632 CPUtime=0.97 cores=0,2,4,6
/proc/20657/task/20688/stat : 20688 (java) S 20655 20657 20341 0 -1 4202560 3902 0 0 0 97 0 0 0 16 0 22 0 511368226 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20689] ppid=20655 vsize=15688632 CPUtime=1.18 cores=0,2,4,6
/proc/20657/task/20689/stat : 20689 (java) S 20655 20657 20341 0 -1 4202560 9337 0 0 0 116 2 0 0 16 0 22 0 511368226 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20690] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20690/stat : 20690 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20691] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20691/stat : 20691 (java) S 20655 20657 20341 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 511368226 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20696] ppid=20655 vsize=15688632 CPUtime=1106.63 cores=0,2,4,6
/proc/20657/task/20696/stat : 20696 (java) R 20655 20657 20341 0 -1 4202560 424574 0 0 0 110603 60 0 0 25 0 22 0 511368316 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506073211 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20657/tid=20697] ppid=20655 vsize=15688632 CPUtime=1106.25 cores=0,2,4,6
/proc/20657/task/20697/stat : 20697 (java) R 20655 20657 20341 0 -1 4202560 407413 0 0 0 110569 56 0 0 25 0 22 0 511368316 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506023941 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20657/tid=20698] ppid=20655 vsize=15688632 CPUtime=1106.21 cores=0,2,4,6
/proc/20657/task/20698/stat : 20698 (java) R 20655 20657 20341 0 -1 4202560 426006 0 0 0 110568 53 0 0 25 0 22 0 511368316 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506146688 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20657/tid=20699] ppid=20655 vsize=15688632 CPUtime=1106.89 cores=0,2,4,6
/proc/20657/task/20699/stat : 20699 (java) R 20655 20657 20341 0 -1 4202560 411340 0 0 0 110635 54 0 0 25 0 22 0 511368316 16065159168 271697 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506208706 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4462.89
Current children cumulated vsize (KiB) 15688632
[startup+1182.3 s]
/proc/loadavg: 8.04 8.05 7.98 10/220 20739
/proc/meminfo: memFree=28164220/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15688632 CPUtime=4701.8 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 3427015 0 1 0 469542 638 0 0 21 0 22 0 511368221 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3922158 245180 2296 9 0 3912877 0
[pid=20657/tid=20667] ppid=20655 vsize=15688632 CPUtime=2.09 cores=0,2,4,6
/proc/20657/task/20667/stat : 20667 (java) S 20655 20657 20341 0 -1 4202560 35689 0 1 0 203 6 0 0 22 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20668] ppid=20655 vsize=15688632 CPUtime=3.93 cores=0,2,4,6
/proc/20657/task/20668/stat : 20668 (java) S 20655 20657 20341 0 -1 4202560 193882 0 0 0 357 36 0 0 16 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20669] ppid=20655 vsize=15688632 CPUtime=4.03 cores=0,2,4,6
/proc/20657/task/20669/stat : 20669 (java) S 20655 20657 20341 0 -1 4202560 207094 0 0 0 360 43 0 0 16 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20670] ppid=20655 vsize=15688632 CPUtime=3.93 cores=0,2,4,6
/proc/20657/task/20670/stat : 20670 (java) S 20655 20657 20341 0 -1 4202560 214747 0 0 0 354 39 0 0 15 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20671] ppid=20655 vsize=15688632 CPUtime=3.89 cores=0,2,4,6
/proc/20657/task/20671/stat : 20671 (java) S 20655 20657 20341 0 -1 4202560 197543 0 0 0 350 39 0 0 15 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20672] ppid=20655 vsize=15688632 CPUtime=4.12 cores=0,2,4,6
/proc/20657/task/20672/stat : 20672 (java) S 20655 20657 20341 0 -1 4202560 212631 0 0 0 370 42 0 0 15 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20673] ppid=20655 vsize=15688632 CPUtime=3.88 cores=0,2,4,6
/proc/20657/task/20673/stat : 20673 (java) S 20655 20657 20341 0 -1 4202560 206705 0 0 0 351 37 0 0 16 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20674] ppid=20655 vsize=15688632 CPUtime=3.85 cores=0,2,4,6
/proc/20657/task/20674/stat : 20674 (java) S 20655 20657 20341 0 -1 4202560 207739 0 0 0 346 39 0 0 16 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20675] ppid=20655 vsize=15688632 CPUtime=3.96 cores=0,2,4,6
/proc/20657/task/20675/stat : 20675 (java) S 20655 20657 20341 0 -1 4202560 184518 0 0 0 358 38 0 0 15 0 22 0 511368222 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20679] ppid=20655 vsize=15688632 CPUtime=2.69 cores=0,2,4,6
/proc/20657/task/20679/stat : 20679 (java) S 20655 20657 20341 0 -1 4202560 8923 0 0 0 193 76 0 0 15 0 22 0 511368223 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 0 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20680] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20680/stat : 20680 (java) S 20655 20657 20341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511368224 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20681] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20681/stat : 20681 (java) S 20655 20657 20341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 511368224 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20687] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20687/stat : 20687 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273440177 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20688] ppid=20655 vsize=15688632 CPUtime=0.97 cores=0,2,4,6
/proc/20657/task/20688/stat : 20688 (java) S 20655 20657 20341 0 -1 4202560 3902 0 0 0 97 0 0 0 16 0 22 0 511368226 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20689] ppid=20655 vsize=15688632 CPUtime=1.18 cores=0,2,4,6
/proc/20657/task/20689/stat : 20689 (java) S 20655 20657 20341 0 -1 4202560 9337 0 0 0 116 2 0 0 16 0 22 0 511368226 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20690] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20690/stat : 20690 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20691] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20691/stat : 20691 (java) S 20655 20657 20341 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 511368226 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20696] ppid=20655 vsize=15688632 CPUtime=1166 cores=0,2,4,6
/proc/20657/task/20696/stat : 20696 (java) R 20655 20657 20341 0 -1 4202560 443201 0 0 0 116538 62 0 0 25 0 22 0 511368316 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 47153469643570 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20657/tid=20697] ppid=20655 vsize=15688632 CPUtime=1165.55 cores=0,2,4,6
/proc/20657/task/20697/stat : 20697 (java) R 20655 20657 20341 0 -1 4202560 426665 0 0 0 116496 59 0 0 25 0 22 0 511368316 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506130128 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20657/tid=20698] ppid=20655 vsize=15688632 CPUtime=1165.42 cores=0,2,4,6
/proc/20657/task/20698/stat : 20698 (java) R 20655 20657 20341 0 -1 4202560 444636 0 0 0 116486 56 0 0 25 0 22 0 511368316 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506148490 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20657/tid=20699] ppid=20655 vsize=15688632 CPUtime=1166.15 cores=0,2,4,6
/proc/20657/task/20699/stat : 20699 (java) R 20655 20657 20341 0 -1 4202560 428350 0 0 0 116559 56 0 0 25 0 22 0 511368316 16065159168 245180 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506073139 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4701.8
Current children cumulated vsize (KiB) 15688632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207 s]
/proc/loadavg: 8.32 8.11 8.00 5/197 20743
/proc/meminfo: memFree=29075420/32951124 swapFree=67111348/67111528
[pid=20657] ppid=20655 vsize=15688632 CPUtime=4800.19 cores=0,2,4,6
/proc/20657/stat : 20657 (java) S 20655 20657 20341 0 -1 4202496 3463065 0 1 0 479374 645 0 0 21 0 22 0 511368221 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20657/statm: 3922158 231699 2296 9 0 3912877 0
[pid=20657/tid=20667] ppid=20655 vsize=15688632 CPUtime=2.09 cores=0,2,4,6
/proc/20657/task/20667/stat : 20667 (java) S 20655 20657 20341 0 -1 4202560 35689 0 1 0 203 6 0 0 22 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20668] ppid=20655 vsize=15688632 CPUtime=4.03 cores=0,2,4,6
/proc/20657/task/20668/stat : 20668 (java) S 20655 20657 20341 0 -1 4202560 196916 0 0 0 367 36 0 0 15 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20669] ppid=20655 vsize=15688632 CPUtime=4.11 cores=0,2,4,6
/proc/20657/task/20669/stat : 20669 (java) S 20655 20657 20341 0 -1 4202560 209749 0 0 0 367 44 0 0 16 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20670] ppid=20655 vsize=15688632 CPUtime=4.02 cores=0,2,4,6
/proc/20657/task/20670/stat : 20670 (java) S 20655 20657 20341 0 -1 4202560 217107 0 0 0 363 39 0 0 15 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20671] ppid=20655 vsize=15688632 CPUtime=3.97 cores=0,2,4,6
/proc/20657/task/20671/stat : 20671 (java) S 20655 20657 20341 0 -1 4202560 200802 0 0 0 357 40 0 0 15 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20672] ppid=20655 vsize=15688632 CPUtime=4.21 cores=0,2,4,6
/proc/20657/task/20672/stat : 20672 (java) S 20655 20657 20341 0 -1 4202560 215638 0 0 0 378 43 0 0 15 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20673] ppid=20655 vsize=15688632 CPUtime=3.96 cores=0,2,4,6
/proc/20657/task/20673/stat : 20673 (java) S 20655 20657 20341 0 -1 4202560 208690 0 0 0 359 37 0 0 15 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20674] ppid=20655 vsize=15688632 CPUtime=3.95 cores=0,2,4,6
/proc/20657/task/20674/stat : 20674 (java) S 20655 20657 20341 0 -1 4202560 210292 0 0 0 355 40 0 0 15 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20675] ppid=20655 vsize=15688632 CPUtime=4.05 cores=0,2,4,6
/proc/20657/task/20675/stat : 20675 (java) S 20655 20657 20341 0 -1 4202560 188108 0 0 0 366 39 0 0 16 0 22 0 511368222 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 0 0 0 0
[pid=20657/tid=20679] ppid=20655 vsize=15688632 CPUtime=2.73 cores=0,2,4,6
/proc/20657/task/20679/stat : 20679 (java) S 20655 20657 20341 0 -1 4202560 9103 0 0 0 196 77 0 0 16 0 22 0 511368223 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 0 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20680] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20680/stat : 20680 (java) S 20655 20657 20341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511368224 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20681] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20681/stat : 20681 (java) S 20655 20657 20341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 511368224 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20687] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20687/stat : 20687 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273440177 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20688] ppid=20655 vsize=15688632 CPUtime=0.97 cores=0,2,4,6
/proc/20657/task/20688/stat : 20688 (java) S 20655 20657 20341 0 -1 4202560 3902 0 0 0 97 0 0 0 16 0 22 0 511368226 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20689] ppid=20655 vsize=15688632 CPUtime=1.18 cores=0,2,4,6
/proc/20657/task/20689/stat : 20689 (java) S 20655 20657 20341 0 -1 4202560 9337 0 0 0 116 2 0 0 16 0 22 0 511368226 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 4 0 0 0
[pid=20657/tid=20690] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20690/stat : 20690 (java) S 20655 20657 20341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511368226 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273432473 0 4 0 16800975 18446604453956682944 0 0 -1 2 0 0 0
[pid=20657/tid=20691] ppid=20655 vsize=15688632 CPUtime=0 cores=0,2,4,6
/proc/20657/task/20691/stat : 20691 (java) S 20655 20657 20341 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 511368226 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 254273433088 0 4 0 16800975 18446604453956682944 0 0 -1 6 0 0 0
[pid=20657/tid=20696] ppid=20655 vsize=15688632 CPUtime=1190.45 cores=0,2,4,6
/proc/20657/task/20696/stat : 20696 (java) R 20655 20657 20341 0 -1 4202560 446272 0 0 0 118982 63 0 0 25 0 22 0 511368316 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912505973802 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20657/tid=20697] ppid=20655 vsize=15688632 CPUtime=1189.99 cores=0,2,4,6
/proc/20657/task/20697/stat : 20697 (java) R 20655 20657 20341 0 -1 4202560 430247 0 0 0 118939 60 0 0 25 0 22 0 511368316 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506148146 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20657/tid=20698] ppid=20655 vsize=15688632 CPUtime=1189.86 cores=0,2,4,6
/proc/20657/task/20698/stat : 20698 (java) R 20655 20657 20341 0 -1 4202560 448381 0 0 0 118930 56 0 0 25 0 22 0 511368316 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506101254 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20657/tid=20699] ppid=20655 vsize=15688632 CPUtime=1190.45 cores=0,2,4,6
/proc/20657/task/20699/stat : 20699 (java) R 20655 20657 20341 0 -1 4202560 431377 0 0 0 118989 56 0 0 25 0 22 0 511368316 16065159168 231699 33554432000 1073741824 1073778376 140735407465936 18446744073709551615 46912506148490 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 15688632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1207.06
CPU time (s): 4800.27
CPU user time (s): 4793.76
CPU system time (s): 6.50101
CPU usage (%): 397.683
Max. virtual memory (cumulated for all children) (KiB): 15690024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.76
system time used= 6.50101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3463091
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= 100222
involuntary context switches= 73452
runsolver used 1.9907 second user time and 4.66229 second system time
The end