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-3456133-1307663479/watcher-3456133-1307663479 -o /tmp/evaluation-result-3456133-1307663479/solver-3456133-1307663479 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456133-1307663479.opb
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: 1.98 2.04 2.01 2/195 13715
/proc/meminfo: memFree=29339700/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (java) R 13713 13715 11688 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 858763238 23580672 692 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254256653800 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13715/statm: 5757 692 509 9 0 124 0
[startup+0.094252 s]
/proc/loadavg: 1.98 2.04 2.01 2/195 13715
/proc/meminfo: memFree=29339700/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10539656 CPUtime=0.1 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 12956 0 1 0 8 2 0 0 25 0 18 0 858763238 10792607744 12653 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2634914 12653 2092 9 0 2625648 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539656
[startup+0.10026 s]
/proc/loadavg: 1.98 2.04 2.01 2/195 13715
/proc/meminfo: memFree=29339700/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10539656 CPUtime=0.1 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 13055 0 1 0 8 2 0 0 25 0 18 0 858763238 10792607744 12752 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2634914 12752 2092 9 0 2625648 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539656
[startup+0.300209 s]
/proc/loadavg: 1.98 2.04 2.01 2/195 13715
/proc/meminfo: memFree=29339700/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10541352 CPUtime=0.44 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 15365 0 1 0 42 2 0 0 25 0 18 0 858763238 10794344448 14738 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2635338 14738 2207 9 0 2626072 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10541352
[startup+0.701155 s]
/proc/loadavg: 1.98 2.04 2.01 2/195 13715
/proc/meminfo: memFree=29339700/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10549944 CPUtime=1.58 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 27018 0 1 0 154 4 0 0 25 0 19 0 858763238 10803142656 23778 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2637486 23778 2238 9 0 2628220 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10549944
[startup+1.50102 s]
/proc/loadavg: 1.98 2.03 2.00 3/214 13734
/proc/meminfo: memFree=29195492/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10550968 CPUtime=2.81 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 79408 0 1 0 271 10 0 0 25 0 19 0 858763238 10804191232 74356 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2637742 74359 2241 9 0 2628476 0
[pid=13715/tid=13717] ppid=13713 vsize=10550968 CPUtime=1.48 cores=0,2,4,6
/proc/13715/task/13717/stat : 13717 (java) R 13713 13715 11688 0 -1 4202560 67261 0 1 0 140 8 0 0 19 0 19 0 858763239 10804191232 74361 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 46912505619569 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13715/tid=13718] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13718/stat : 13718 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74363 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13719] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13719/stat : 13719 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74365 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13720] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13720/stat : 13720 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74367 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13721] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13721/stat : 13721 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74369 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13722] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13722/stat : 13722 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74370 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13723] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13723/stat : 13723 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74372 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13724] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13724/stat : 13724 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74374 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13725] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13725/stat : 13725 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 74375 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13726] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13726/stat : 13726 (java) S 13713 13715 11688 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858763241 10804191232 74377 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 0 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13727] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13727/stat : 13727 (java) S 13713 13715 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858763242 10804191232 74378 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13728] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13728/stat : 13728 (java) S 13713 13715 11688 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858763242 10804191232 74380 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13729] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13729/stat : 13729 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858763244 10804191232 74381 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273440177 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13730] ppid=13713 vsize=10550968 CPUtime=0.64 cores=0,2,4,6
/proc/13715/task/13730/stat : 13730 (java) S 13713 13715 11688 0 -1 4202560 5940 0 0 0 64 0 0 0 16 0 19 0 858763244 10804191232 74382 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13731] ppid=13713 vsize=10550968 CPUtime=0.67 cores=0,2,4,6
/proc/13715/task/13731/stat : 13731 (java) S 13713 13715 11688 0 -1 4202560 5051 0 0 0 66 1 0 0 15 0 19 0 858763244 10804191232 74383 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13732] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13732/stat : 13732 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858763244 10804191232 74384 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13733] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13733/stat : 13733 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858763244 10804191232 74385 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13734] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13734/stat : 13734 (java) S 13713 13715 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858763288 10804191232 74385 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10550968
[startup+3.1007 s]
/proc/loadavg: 1.98 2.03 2.00 3/214 13734
/proc/meminfo: memFree=28896660/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10550968 CPUtime=4.49 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 180240 0 1 0 428 21 0 0 25 0 19 0 858763238 10804191232 175187 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2637742 175188 2243 9 0 2628476 0
[pid=13715/tid=13717] ppid=13713 vsize=10550968 CPUtime=3.08 cores=0,2,4,6
/proc/13715/task/13717/stat : 13717 (java) R 13713 13715 11688 0 -1 4202560 168078 0 1 0 289 19 0 0 22 0 19 0 858763239 10804191232 175188 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 46912505619583 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13715/tid=13718] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13718/stat : 13718 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175189 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13719] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13719/stat : 13719 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175189 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13720] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13720/stat : 13720 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175189 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13721] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13721/stat : 13721 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175190 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13722] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13722/stat : 13722 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175190 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13723] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13723/stat : 13723 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175191 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13724] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13724/stat : 13724 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175191 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13725] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13725/stat : 13725 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10804191232 175191 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13726] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13726/stat : 13726 (java) S 13713 13715 11688 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858763241 10804191232 175192 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 0 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13727] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13727/stat : 13727 (java) S 13713 13715 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858763242 10804191232 175192 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13728] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13728/stat : 13728 (java) S 13713 13715 11688 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858763242 10804191232 175195 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13729] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13729/stat : 13729 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858763244 10804191232 175196 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273440177 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13730] ppid=13713 vsize=10550968 CPUtime=0.69 cores=0,2,4,6
/proc/13715/task/13730/stat : 13730 (java) S 13713 13715 11688 0 -1 4202560 5947 0 0 0 69 0 0 0 15 0 19 0 858763244 10804191232 175196 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13731] ppid=13713 vsize=10550968 CPUtime=0.69 cores=0,2,4,6
/proc/13715/task/13731/stat : 13731 (java) R 13713 13715 11688 0 -1 4202560 5055 0 0 0 68 1 0 0 15 0 19 0 858763244 10804191232 175197 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 47621809197223 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13715/tid=13732] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13732/stat : 13732 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858763244 10804191232 175200 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13733] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13733/stat : 13733 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858763244 10804191232 175200 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13734] ppid=13713 vsize=10550968 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13734/stat : 13734 (java) S 13713 13715 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858763288 10804191232 175203 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10550968
[startup+6.30116 s]
/proc/loadavg: 1.98 2.03 2.00 5/214 13734
/proc/meminfo: memFree=28147936/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10548588 CPUtime=7.83 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 347410 0 1 0 741 42 0 0 25 0 19 0 858763238 10801754112 341774 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2637147 341778 2244 9 0 2627881 0
[pid=13715/tid=13717] ppid=13713 vsize=10548588 CPUtime=6.28 cores=0,2,4,6
/proc/13715/task/13717/stat : 13717 (java) R 13713 13715 11688 0 -1 4202560 335236 0 1 0 589 39 0 0 25 0 19 0 858763239 10801754112 341780 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 46912505901383 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13715/tid=13718] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13718/stat : 13718 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341783 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13719] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13719/stat : 13719 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341785 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13720] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13720/stat : 13720 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341787 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13721] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13721/stat : 13721 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341789 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13722] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13722/stat : 13722 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341791 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13723] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13723/stat : 13723 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341793 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13724] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13724/stat : 13724 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341796 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13725] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13725/stat : 13725 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858763240 10801754112 341798 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13726] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13726/stat : 13726 (java) S 13713 13715 11688 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858763241 10801754112 341801 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 0 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13727] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13727/stat : 13727 (java) S 13713 13715 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858763242 10801754112 341804 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13728] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13728/stat : 13728 (java) S 13713 13715 11688 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858763242 10801754112 341806 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13729] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13729/stat : 13729 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858763244 10801754112 341808 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273440177 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13730] ppid=13713 vsize=10548588 CPUtime=0.77 cores=0,2,4,6
/proc/13715/task/13730/stat : 13730 (java) S 13713 13715 11688 0 -1 4202560 5954 0 0 0 77 0 0 0 15 0 19 0 858763244 10801754112 341810 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13731] ppid=13713 vsize=10548588 CPUtime=0.75 cores=0,2,4,6
/proc/13715/task/13731/stat : 13731 (java) S 13713 13715 11688 0 -1 4202560 5064 0 0 0 74 1 0 0 16 0 19 0 858763244 10801754112 341812 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13732] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13732/stat : 13732 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858763244 10801754112 341814 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13733] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13733/stat : 13733 (java) S 13713 13715 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858763244 10801754112 341816 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13734] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13734/stat : 13734 (java) S 13713 13715 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858763288 10801754112 341818 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 10548588
[startup+12.701 s]
################
# More data... #
################
/proc/13715/task/13727/stat : 13727 (java) S 13713 13715 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13728] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13728/stat : 13728 (java) S 13713 13715 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13729] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13729/stat : 13729 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858763244 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273440177 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13730] ppid=13713 vsize=10548588 CPUtime=1.1 cores=0,2,4,6
/proc/13715/task/13730/stat : 13730 (java) S 13713 13715 11688 0 -1 4202560 10459 0 0 0 109 1 0 0 16 0 19 0 858763244 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13731] ppid=13713 vsize=10548588 CPUtime=0.85 cores=0,2,4,6
/proc/13715/task/13731/stat : 13731 (java) S 13713 13715 11688 0 -1 4202560 5086 0 0 0 84 1 0 0 16 0 19 0 858763244 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13732] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13732/stat : 13732 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858763244 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13733] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13733/stat : 13733 (java) S 13713 13715 11688 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 858763244 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13734] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13734/stat : 13734 (java) S 13713 13715 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858763288 10801754112 970443 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.92
Current children cumulated vsize (KiB) 10548588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13789
/proc/meminfo: memFree=24237860/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10548588 CPUtime=1727.96 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 983331 0 1 0 172669 127 0 0 25 0 19 0 858763238 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2637147 970562 2271 9 0 2627881 0
[pid=13715/tid=13717] ppid=13713 vsize=10548588 CPUtime=1719.96 cores=0,2,4,6
/proc/13715/task/13717/stat : 13717 (java) R 13713 13715 11688 0 -1 4202560 782893 0 1 0 171901 95 0 0 25 0 19 0 858763239 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 46912505800409 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13715/tid=13718] ppid=13713 vsize=10548588 CPUtime=0.58 cores=0,2,4,6
/proc/13715/task/13718/stat : 13718 (java) S 13713 13715 11688 0 -1 4202560 24084 0 0 0 55 3 0 0 15 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13719] ppid=13713 vsize=10548588 CPUtime=0.55 cores=0,2,4,6
/proc/13715/task/13719/stat : 13719 (java) S 13713 13715 11688 0 -1 4202560 17389 0 0 0 53 2 0 0 16 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13720] ppid=13713 vsize=10548588 CPUtime=0.62 cores=0,2,4,6
/proc/13715/task/13720/stat : 13720 (java) S 13713 13715 11688 0 -1 4202560 22183 0 0 0 60 2 0 0 16 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13721] ppid=13713 vsize=10548588 CPUtime=0.63 cores=0,2,4,6
/proc/13715/task/13721/stat : 13721 (java) S 13713 13715 11688 0 -1 4202560 27563 0 0 0 59 4 0 0 16 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13722] ppid=13713 vsize=10548588 CPUtime=0.72 cores=0,2,4,6
/proc/13715/task/13722/stat : 13722 (java) S 13713 13715 11688 0 -1 4202560 23293 0 0 0 69 3 0 0 15 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13723] ppid=13713 vsize=10548588 CPUtime=0.57 cores=0,2,4,6
/proc/13715/task/13723/stat : 13723 (java) S 13713 13715 11688 0 -1 4202560 16678 0 0 0 54 3 0 0 16 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13724] ppid=13713 vsize=10548588 CPUtime=0.62 cores=0,2,4,6
/proc/13715/task/13724/stat : 13724 (java) S 13713 13715 11688 0 -1 4202560 23382 0 0 0 59 3 0 0 15 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13725] ppid=13713 vsize=10548588 CPUtime=0.7 cores=0,2,4,6
/proc/13715/task/13725/stat : 13725 (java) S 13713 13715 11688 0 -1 4202560 27231 0 0 0 66 4 0 0 15 0 19 0 858763240 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13726] ppid=13713 vsize=10548588 CPUtime=0.92 cores=0,2,4,6
/proc/13715/task/13726/stat : 13726 (java) S 13713 13715 11688 0 -1 4202560 1839 0 0 0 92 0 0 0 15 0 19 0 858763241 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 0 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13727] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13727/stat : 13727 (java) S 13713 13715 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13728] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13728/stat : 13728 (java) S 13713 13715 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13729] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13729/stat : 13729 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858763244 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273440177 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13730] ppid=13713 vsize=10548588 CPUtime=1.1 cores=0,2,4,6
/proc/13715/task/13730/stat : 13730 (java) S 13713 13715 11688 0 -1 4202560 10459 0 0 0 109 1 0 0 16 0 19 0 858763244 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13731] ppid=13713 vsize=10548588 CPUtime=0.85 cores=0,2,4,6
/proc/13715/task/13731/stat : 13731 (java) S 13713 13715 11688 0 -1 4202560 5086 0 0 0 84 1 0 0 16 0 19 0 858763244 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13732] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13732/stat : 13732 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858763244 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13733] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13733/stat : 13733 (java) S 13713 13715 11688 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 858763244 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13734] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13734/stat : 13734 (java) S 13713 13715 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858763288 10801754112 970562 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.96
Current children cumulated vsize (KiB) 10548588
[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/190 13817
/proc/meminfo: memFree=28153820/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10548588 CPUtime=1788.04 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 983509 0 1 0 178677 127 0 0 25 0 19 0 858763238 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2637147 970732 2271 9 0 2627881 0
[pid=13715/tid=13717] ppid=13713 vsize=10548588 CPUtime=1779.93 cores=0,2,4,6
/proc/13715/task/13717/stat : 13717 (java) R 13713 13715 11688 0 -1 4202560 782895 0 1 0 177898 95 0 0 25 0 19 0 858763239 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 46912505826413 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13715/tid=13718] ppid=13713 vsize=10548588 CPUtime=0.58 cores=0,2,4,6
/proc/13715/task/13718/stat : 13718 (java) S 13713 13715 11688 0 -1 4202560 24084 0 0 0 55 3 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13719] ppid=13713 vsize=10548588 CPUtime=0.57 cores=0,2,4,6
/proc/13715/task/13719/stat : 13719 (java) S 13713 13715 11688 0 -1 4202560 17419 0 0 0 55 2 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13720] ppid=13713 vsize=10548588 CPUtime=0.64 cores=0,2,4,6
/proc/13715/task/13720/stat : 13720 (java) S 13713 13715 11688 0 -1 4202560 22185 0 0 0 62 2 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13721] ppid=13713 vsize=10548588 CPUtime=0.65 cores=0,2,4,6
/proc/13715/task/13721/stat : 13721 (java) S 13713 13715 11688 0 -1 4202560 27630 0 0 0 61 4 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13722] ppid=13713 vsize=10548588 CPUtime=0.73 cores=0,2,4,6
/proc/13715/task/13722/stat : 13722 (java) S 13713 13715 11688 0 -1 4202560 23307 0 0 0 70 3 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13723] ppid=13713 vsize=10548588 CPUtime=0.59 cores=0,2,4,6
/proc/13715/task/13723/stat : 13723 (java) S 13713 13715 11688 0 -1 4202560 16692 0 0 0 56 3 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13724] ppid=13713 vsize=10548588 CPUtime=0.63 cores=0,2,4,6
/proc/13715/task/13724/stat : 13724 (java) S 13713 13715 11688 0 -1 4202560 23410 0 0 0 60 3 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13725] ppid=13713 vsize=10548588 CPUtime=0.73 cores=0,2,4,6
/proc/13715/task/13725/stat : 13725 (java) S 13713 13715 11688 0 -1 4202560 27246 0 0 0 69 4 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13726] ppid=13713 vsize=10548588 CPUtime=0.92 cores=0,2,4,6
/proc/13715/task/13726/stat : 13726 (java) S 13713 13715 11688 0 -1 4202560 1843 0 0 0 92 0 0 0 15 0 19 0 858763241 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 0 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13727] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13727/stat : 13727 (java) S 13713 13715 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13728] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13728/stat : 13728 (java) S 13713 13715 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13729] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13729/stat : 13729 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273440177 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13730] ppid=13713 vsize=10548588 CPUtime=1.1 cores=0,2,4,6
/proc/13715/task/13730/stat : 13730 (java) S 13713 13715 11688 0 -1 4202560 10459 0 0 0 109 1 0 0 16 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13731] ppid=13713 vsize=10548588 CPUtime=0.85 cores=0,2,4,6
/proc/13715/task/13731/stat : 13731 (java) S 13713 13715 11688 0 -1 4202560 5086 0 0 0 84 1 0 0 16 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13732] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13732/stat : 13732 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13733] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13733/stat : 13733 (java) S 13713 13715 11688 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13734] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13734/stat : 13734 (java) S 13713 13715 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858763288 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.04
Current children cumulated vsize (KiB) 10548588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 1.78 1.95 1.98 2/190 13818
/proc/meminfo: memFree=28154404/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=10548588 CPUtime=1800.05 cores=0,2,4,6
/proc/13715/stat : 13715 (java) S 13713 13715 11688 0 -1 4202496 983511 0 1 0 179878 127 0 0 25 0 19 0 858763238 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13715/statm: 2637147 970732 2271 9 0 2627881 0
[pid=13715/tid=13717] ppid=13713 vsize=10548588 CPUtime=1791.94 cores=0,2,4,6
/proc/13715/task/13717/stat : 13717 (java) R 13713 13715 11688 0 -1 4202560 782895 0 1 0 179099 95 0 0 25 0 19 0 858763239 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 46912505826491 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13715/tid=13718] ppid=13713 vsize=10548588 CPUtime=0.58 cores=0,2,4,6
/proc/13715/task/13718/stat : 13718 (java) S 13713 13715 11688 0 -1 4202560 24084 0 0 0 55 3 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13719] ppid=13713 vsize=10548588 CPUtime=0.57 cores=0,2,4,6
/proc/13715/task/13719/stat : 13719 (java) S 13713 13715 11688 0 -1 4202560 17419 0 0 0 55 2 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13720] ppid=13713 vsize=10548588 CPUtime=0.64 cores=0,2,4,6
/proc/13715/task/13720/stat : 13720 (java) S 13713 13715 11688 0 -1 4202560 22185 0 0 0 62 2 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13721] ppid=13713 vsize=10548588 CPUtime=0.65 cores=0,2,4,6
/proc/13715/task/13721/stat : 13721 (java) S 13713 13715 11688 0 -1 4202560 27630 0 0 0 61 4 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13722] ppid=13713 vsize=10548588 CPUtime=0.73 cores=0,2,4,6
/proc/13715/task/13722/stat : 13722 (java) S 13713 13715 11688 0 -1 4202560 23307 0 0 0 70 3 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13723] ppid=13713 vsize=10548588 CPUtime=0.59 cores=0,2,4,6
/proc/13715/task/13723/stat : 13723 (java) S 13713 13715 11688 0 -1 4202560 16692 0 0 0 56 3 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13724] ppid=13713 vsize=10548588 CPUtime=0.63 cores=0,2,4,6
/proc/13715/task/13724/stat : 13724 (java) S 13713 13715 11688 0 -1 4202560 23410 0 0 0 60 3 0 0 15 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13725] ppid=13713 vsize=10548588 CPUtime=0.73 cores=0,2,4,6
/proc/13715/task/13725/stat : 13725 (java) S 13713 13715 11688 0 -1 4202560 27246 0 0 0 69 4 0 0 16 0 19 0 858763240 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13726] ppid=13713 vsize=10548588 CPUtime=0.92 cores=0,2,4,6
/proc/13715/task/13726/stat : 13726 (java) S 13713 13715 11688 0 -1 4202560 1843 0 0 0 92 0 0 0 15 0 19 0 858763241 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 0 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13727] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13727/stat : 13727 (java) S 13713 13715 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13728] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13728/stat : 13728 (java) S 13713 13715 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858763242 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
[pid=13715/tid=13729] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13729/stat : 13729 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273440177 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13730] ppid=13713 vsize=10548588 CPUtime=1.1 cores=0,2,4,6
/proc/13715/task/13730/stat : 13730 (java) S 13713 13715 11688 0 -1 4202560 10459 0 0 0 109 1 0 0 16 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 2 0 0 0
[pid=13715/tid=13731] ppid=13713 vsize=10548588 CPUtime=0.85 cores=0,2,4,6
/proc/13715/task/13731/stat : 13731 (java) S 13713 13715 11688 0 -1 4202560 5086 0 0 0 84 1 0 0 16 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13732] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13732/stat : 13732 (java) S 13713 13715 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273432473 0 4 0 16800975 18446604440922127040 0 0 -1 4 0 0 0
[pid=13715/tid=13733] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13733/stat : 13733 (java) S 13713 13715 11688 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 858763244 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 0 0 0 0
[pid=13715/tid=13734] ppid=13713 vsize=10548588 CPUtime=0 cores=0,2,4,6
/proc/13715/task/13734/stat : 13734 (java) S 13713 13715 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858763288 10801754112 970732 33554432000 1073741824 1073778376 140733274372080 18446744073709551615 254273433088 0 4 0 16800975 18446604440922127040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10548588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.41 s]
/proc/loadavg: 1.78 1.95 1.98 2/190 13818
/proc/meminfo: memFree=28154404/32951124 swapFree=67057920/67111528
[pid=13715] ppid=13713 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/13715/stat : 13715 (java) Z 13713 13715 11688 0 -1 4203548 983542 0 1 0 179881 136 0 0 17 0 2 0 858763238 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/13715/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.47
CPU time (s): 1800.24
CPU user time (s): 1798.81
CPU system time (s): 1.42578
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 10563168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.42578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 983542
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= 38119
involuntary context switches= 40011
runsolver used 3.3215 second user time and 6.48001 second system time
The end