runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689472-1337882316/watcher-3689472-1337882316 -o /tmp/evaluation-result-3689472-1337882316/solver-3689472-1337882316 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689472-1337882316.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: 3.81 3.91 3.89 4/197 25602
/proc/meminfo: memFree=25468852/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 254360143 24780800 868 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 22434 873 659 9 0 16769 0
[pid=25602/tid=25603] ppid=25600 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) R 25600 25602 21308 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 2 0 254360144 91893760 886 33554432000 1073741824 1073778376 140735902293616 140735902282680 247064249728 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.0453169 s]
/proc/loadavg: 3.81 3.91 3.89 4/197 25602
/proc/meminfo: memFree=25468852/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 3062 0 1 0 2 0 0 0 20 0 13 0 254360143 9446973440 3760 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2306390 3760 1707 9 0 2297091 0
[pid=25602/tid=25603] ppid=25600 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) R 25600 25602 21308 0 -1 4202560 1881 0 1 0 2 0 0 0 20 0 13 0 254360144 9446973440 3760 33554432000 1073741824 1073778376 140735902293616 139878597886192 247067632909 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100286 s]
/proc/loadavg: 3.81 3.91 3.89 4/197 25602
/proc/meminfo: memFree=25468852/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 4368 0 1 0 9 1 0 0 20 0 18 0 254360143 9787813888 6083 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2389603 6083 2109 9 0 2380296 0
[pid=25602/tid=25603] ppid=25600 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) R 25600 25602 21308 0 -1 4202560 2434 0 1 0 7 0 0 0 20 0 18 0 254360144 9787813888 6083 33554432000 1073741824 1073778376 140735902293616 139878597888944 139878605316964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.30027 s]
/proc/loadavg: 3.81 3.91 3.89 4/197 25602
/proc/meminfo: memFree=25468852/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 5303 0 1 0 42 1 0 0 20 0 19 0 254360143 10060460032 8757 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 8757 2227 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2459 0 1 0 25 0 0 0 20 0 19 0 254360144 10060460032 8757 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824668
[startup+0.700283 s]
/proc/loadavg: 3.81 3.91 3.89 4/197 25602
/proc/meminfo: memFree=25468852/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 5303 0 1 0 42 1 0 0 20 0 19 0 254360143 10060460032 8757 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 8757 2227 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2459 0 1 0 25 0 0 0 20 0 19 0 254360144 10060460032 8757 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824668
[startup+1.50072 s]
/proc/loadavg: 3.81 3.91 3.89 3/216 25627
/proc/meminfo: memFree=25438176/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 11076 0 1 0 95 6 0 0 20 0 19 0 254360143 10060460032 14472 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 14472 2237 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2459 0 1 0 25 0 0 0 20 0 19 0 254360144 10060460032 14472 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25605] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14473 33554432000 1073741824 1073778376 140735902293616 139878570343208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25606] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14474 33554432000 1073741824 1073778376 140735902293616 139878569290408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25607] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14474 33554432000 1073741824 1073778376 140735902293616 139878568238120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25608] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14474 33554432000 1073741824 1073778376 140735902293616 139878567185320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25609] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14475 33554432000 1073741824 1073778376 140735902293616 139878566132008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25610] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14475 33554432000 1073741824 1073778376 140735902293616 139878565079208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25611] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14476 33554432000 1073741824 1073778376 140735902293616 139878564026920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25612] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25600 25602 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 14476 33554432000 1073741824 1073778376 140735902293616 139878433597864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25613] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25600 25602 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254360146 10060460032 14476 33554432000 1073741824 1073778376 140735902293616 139877950651112 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25614] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25600 25602 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254360146 10060460032 14476 33554432000 1073741824 1073778376 140735902293616 139877949597176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25615] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25600 25602 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254360146 10060460032 14476 33554432000 1073741824 1073778376 140735902293616 139877948544776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25616] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360149 10060460032 14477 33554432000 1073741824 1073778376 140735902293616 139877947493264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25617] ppid=25600 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) R 25600 25602 21308 0 -1 4202560 5161 0 0 0 31 0 0 0 20 0 19 0 254360149 10060460032 14477 33554432000 1073741824 1073778376 140735902293616 139877946417112 139878604867081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25618] ppid=25600 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/25602/task/25618/stat : 25618 (java) S 25600 25602 21308 0 -1 4202560 2106 0 0 0 18 0 0 0 20 0 19 0 254360149 10060460032 14478 33554432000 1073741824 1073778376 140735902293616 139877945387064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25619] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25619/stat : 25619 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360149 10060460032 14479 33554432000 1073741824 1073778376 140735902293616 139877944334968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25620] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25620/stat : 25620 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360149 10060460032 14479 33554432000 1073741824 1073778376 140735902293616 139877943282376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9824668
[startup+3.1007 s]
/proc/loadavg: 3.81 3.91 3.89 3/216 25633
/proc/meminfo: memFree=25410852/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=1.69 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 13484 0 1 0 157 12 0 0 20 0 19 0 254360143 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 21568 2248 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2460 0 1 0 26 0 0 0 20 0 19 0 254360144 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25605] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878570343208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25606] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878569290408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25607] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878568238120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25608] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878567185320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25609] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878566132008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25610] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878565079208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25611] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878564026920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25612] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25600 25602 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254360145 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139878433597864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25613] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25600 25602 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254360146 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877950651112 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25614] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25600 25602 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254360146 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877949597176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25615] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25600 25602 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254360146 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877948544776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25616] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360149 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877947493264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25617] ppid=25600 vsize=9824668 CPUtime=0.56 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25600 25602 21308 0 -1 4202560 5683 0 0 0 56 0 0 0 20 0 19 0 254360149 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877946439864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25618] ppid=25600 vsize=9824668 CPUtime=0.39 cores=0,2,4,6
/proc/25602/task/25618/stat : 25618 (java) S 25600 25602 21308 0 -1 4202560 3955 0 0 0 39 0 0 0 20 0 19 0 254360149 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877945387064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25619] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25619/stat : 25619 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360149 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877944334968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25620] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25620/stat : 25620 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254360149 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877943282376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25630] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25630/stat : 25630 (java) S 25600 25602 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254360272 10060460032 21568 33554432000 1073741824 1073778376 140735902293616 139877940122920 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9824668
heavy processes:
[startup+6.30086 s]
/proc/loadavg: 3.66 3.88 3.88 10/219 25642
/proc/meminfo: memFree=25125312/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=8.06 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 14201 0 1 0 783 23 0 0 20 0 22 0 254360143 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 92378 2279 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2462 0 1 0 26 0 0 0 20 0 22 0 254360144 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25605] ppid=25600 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25600 25602 21308 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878570343208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25606] ppid=25600 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25600 25602 21308 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878569290408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25607] ppid=25600 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25600 25602 21308 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878568238120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25608] ppid=25600 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25600 25602 21308 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878567185320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25609] ppid=25600 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25600 25602 21308 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878566132008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25610] ppid=25600 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25600 25602 21308 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878565079208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25611] ppid=25600 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25600 25602 21308 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878564026920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25612] ppid=25600 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25600 25602 21308 0 -1 4202560 32 0 0 0 5 2 0 0 20 0 22 0 254360145 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139878433597864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25613] ppid=25600 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25600 25602 21308 0 -1 4202560 234 0 0 0 25 0 0 0 20 0 22 0 254360146 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139877950651112 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25614] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25600 25602 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139877949597176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25615] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25600 25602 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139877948544776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25616] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254360149 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139877947493264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25617] ppid=25600 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25600 25602 21308 0 -1 4202560 5697 0 0 0 80 0 0 0 20 0 22 0 254360149 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139877946439864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25618] ppid=25600 vsize=9824668 CPUtime=0.6 cores=0,2,4,6
/proc/25602/task/25618/stat : 25618 (java) S 25600 25602 21308 0 -1 4202560 4144 0 0 0 60 0 0 0 20 0 22 0 254360149 10060460032 92378 33554432000 1073741824 1073778376 140735902293616 139877945387064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25619] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=25602/tid=25649] ppid=25600 vsize=9824668 CPUtime=693.6 cores=0,2,4,6
/proc/25602/task/25649/stat : 25649 (java) R 25600 25602 21308 0 -1 4202560 70 0 0 0 69348 12 0 0 20 0 22 0 254363521 10060460032 634414 33554432000 1073741824 1073778376 140735902293616 139877939069152 139878445122527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25650] ppid=25600 vsize=9824668 CPUtime=693.53 cores=0,2,4,6
/proc/25602/task/25650/stat : 25650 (java) R 25600 25602 21308 0 -1 4202560 1235 0 0 0 69313 40 0 0 20 0 22 0 254363521 10060460032 634414 33554432000 1073741824 1073778376 140735902293616 139877941172416 139878445391091 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25651] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25651/stat : 25651 (java) S 25600 25602 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254363521 10060460032 634414 33554432000 1073741824 1073778376 140735902293616 139877942228136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1488.28
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.01 3.98 3.91 5/219 25794
/proc/meminfo: memFree=22461236/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=1606.8 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 27194 0 1 0 160550 130 0 0 20 0 22 0 254360143 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 648384 2280 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2510 0 1 0 28 2 0 0 20 0 22 0 254360144 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25605] ppid=25600 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25600 25602 21308 0 -1 4202560 1269 0 0 0 174 6 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878570343208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25606] ppid=25600 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25600 25602 21308 0 -1 4202560 634 0 0 0 168 7 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878569290408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25607] ppid=25600 vsize=9824668 CPUtime=1.79 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25600 25602 21308 0 -1 4202560 496 0 0 0 173 6 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878568238120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25608] ppid=25600 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25600 25602 21308 0 -1 4202560 364 0 0 0 166 6 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878567185320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25609] ppid=25600 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25600 25602 21308 0 -1 4202560 806 0 0 0 168 6 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878566132008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25610] ppid=25600 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25600 25602 21308 0 -1 4202560 557 0 0 0 180 7 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878565079208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25611] ppid=25600 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25600 25602 21308 0 -1 4202560 367 0 0 0 160 5 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878564026920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25612] ppid=25600 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25600 25602 21308 0 -1 4202560 1327 0 0 0 175 8 0 0 20 0 22 0 254360145 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139878433597864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25613] ppid=25600 vsize=9824668 CPUtime=37.63 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25600 25602 21308 0 -1 4202560 1903 0 0 0 3752 11 0 0 20 0 22 0 254360146 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877950651112 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25614] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25600 25602 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877949597176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25615] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25600 25602 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877948544776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25616] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254360149 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877947493264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25617] ppid=25600 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25600 25602 21308 0 -1 4202560 5699 0 0 0 84 0 0 0 20 0 22 0 254360149 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877946439864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25618] ppid=25600 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/25602/task/25618/stat : 25618 (java) S 25600 25602 21308 0 -1 4202560 8215 0 0 0 124 0 0 0 20 0 22 0 254360149 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877945387064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25619] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25619/stat : 25619 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254360149 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877944334968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25620] ppid=25600 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25602/task/25620/stat : 25620 (java) S 25600 25602 21308 0 -1 4202560 47 0 0 0 14 16 0 0 20 0 22 0 254360149 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877943282376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25630] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25630/stat : 25630 (java) S 25600 25602 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254360272 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877940122920 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25649] ppid=25600 vsize=9824668 CPUtime=751.21 cores=0,2,4,6
/proc/25602/task/25649/stat : 25649 (java) R 25600 25602 21308 0 -1 4202560 76 0 0 0 75108 13 0 0 20 0 22 0 254363521 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877939069152 139878445102147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25650] ppid=25600 vsize=9824668 CPUtime=751.12 cores=0,2,4,6
/proc/25602/task/25650/stat : 25650 (java) R 25600 25602 21308 0 -1 4202560 1237 0 0 0 75071 41 0 0 20 0 22 0 254363521 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877941172480 139878445391091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25651] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25651/stat : 25651 (java) S 25600 25602 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254363521 10060460032 648384 33554432000 1073741824 1073778376 140735902293616 139877942228136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1606.8
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.04 4.00 3.91 5/219 25794
/proc/meminfo: memFree=22441436/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=1726.39 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 27350 0 1 0 172505 134 0 0 20 0 22 0 254360143 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 659212 2280 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2511 0 1 0 28 2 0 0 20 0 22 0 254360144 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25605] ppid=25600 vsize=9824668 CPUtime=1.93 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25600 25602 21308 0 -1 4202560 1289 0 0 0 187 6 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878570343208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25606] ppid=25600 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25600 25602 21308 0 -1 4202560 639 0 0 0 177 7 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878569290408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25607] ppid=25600 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25600 25602 21308 0 -1 4202560 516 0 0 0 181 6 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878568238120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25608] ppid=25600 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25600 25602 21308 0 -1 4202560 391 0 0 0 178 6 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878567185320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25609] ppid=25600 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25600 25602 21308 0 -1 4202560 816 0 0 0 179 6 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878566132008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25610] ppid=25600 vsize=9824668 CPUtime=1.98 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25600 25602 21308 0 -1 4202560 581 0 0 0 190 8 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878565079208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25611] ppid=25600 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25600 25602 21308 0 -1 4202560 375 0 0 0 172 6 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878564026920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25612] ppid=25600 vsize=9824668 CPUtime=1.95 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25600 25602 21308 0 -1 4202560 1334 0 0 0 187 8 0 0 20 0 22 0 254360145 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139878433597864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25613] ppid=25600 vsize=9824668 CPUtime=38.45 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25600 25602 21308 0 -1 4202560 1928 0 0 0 3834 11 0 0 20 0 22 0 254360146 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877950651112 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25614] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25600 25602 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877949597176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25615] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25600 25602 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877948544776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25616] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254360149 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877947493264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25617] ppid=25600 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25600 25602 21308 0 -1 4202560 5699 0 0 0 84 0 0 0 20 0 22 0 254360149 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877946439864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25618] ppid=25600 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/25602/task/25618/stat : 25618 (java) S 25600 25602 21308 0 -1 4202560 8215 0 0 0 124 0 0 0 20 0 22 0 254360149 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877945387064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25619] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25619/stat : 25619 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254360149 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877944334968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25620] ppid=25600 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25602/task/25620/stat : 25620 (java) S 25600 25602 21308 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 22 0 254360149 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877943282376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25630] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25630/stat : 25630 (java) S 25600 25602 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254360272 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877940122920 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25649] ppid=25600 vsize=9824668 CPUtime=810.13 cores=0,2,4,6
/proc/25602/task/25649/stat : 25649 (java) R 25600 25602 21308 0 -1 4202560 80 0 0 0 80999 14 0 0 20 0 22 0 254363521 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877939067296 139878445168686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25650] ppid=25600 vsize=9824668 CPUtime=810.06 cores=0,2,4,6
/proc/25602/task/25650/stat : 25650 (java) R 25600 25602 21308 0 -1 4202560 1238 0 0 0 80964 42 0 0 20 0 22 0 254363521 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877941173312 139878445312482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25651] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25651/stat : 25651 (java) S 25600 25602 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254363521 10060460032 659212 33554432000 1073741824 1073778376 140735902293616 139877942228136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.39
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.401 s]
/proc/loadavg: 4.02 4.00 3.91 5/219 25794
/proc/meminfo: memFree=22420584/32873844 swapFree=7100/7100
[pid=25602] ppid=25600 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25600 25602 21308 0 -1 4202496 28002 0 1 0 179867 137 0 0 20 0 22 0 254360143 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 140735902284752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25602/statm: 2456167 668007 2280 9 0 2446860 0
[pid=25602/tid=25603] ppid=25600 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25602/task/25603/stat : 25603 (java) S 25600 25602 21308 0 -1 4202560 2512 0 1 0 28 2 0 0 20 0 22 0 254360144 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878597891064 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25605] ppid=25600 vsize=9824668 CPUtime=2 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25600 25602 21308 0 -1 4202560 1294 0 0 0 194 6 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878570343208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25606] ppid=25600 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25600 25602 21308 0 -1 4202560 658 0 0 0 182 7 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878569290408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25607] ppid=25600 vsize=9824668 CPUtime=1.99 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25600 25602 21308 0 -1 4202560 601 0 0 0 192 7 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878568238120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25608] ppid=25600 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25600 25602 21308 0 -1 4202560 408 0 0 0 186 6 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878567185320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25609] ppid=25600 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25600 25602 21308 0 -1 4202560 860 0 0 0 185 7 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878566132008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25610] ppid=25600 vsize=9824668 CPUtime=2.04 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25600 25602 21308 0 -1 4202560 587 0 0 0 196 8 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878565079208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25611] ppid=25600 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25600 25602 21308 0 -1 4202560 818 0 0 0 178 6 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878564026920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25612] ppid=25600 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25600 25602 21308 0 -1 4202560 1338 0 0 0 194 8 0 0 20 0 22 0 254360145 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139878433597864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25613] ppid=25600 vsize=9824668 CPUtime=39.27 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25600 25602 21308 0 -1 4202560 1950 0 0 0 3915 12 0 0 20 0 22 0 254360146 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877950651112 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25614] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25600 25602 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877949597176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25615] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25600 25602 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254360146 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877948544776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25616] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254360149 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877947493264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25617] ppid=25600 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25600 25602 21308 0 -1 4202560 5699 0 0 0 84 0 0 0 20 0 22 0 254360149 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877946439864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25618] ppid=25600 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/25602/task/25618/stat : 25618 (java) S 25600 25602 21308 0 -1 4202560 8215 0 0 0 124 0 0 0 20 0 22 0 254360149 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877945387064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25619] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25619/stat : 25619 (java) S 25600 25602 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254360149 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877944334968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25620] ppid=25600 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25602/task/25620/stat : 25620 (java) S 25600 25602 21308 0 -1 4202560 53 0 0 0 15 19 0 0 20 0 22 0 254360149 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877943282376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25602/tid=25630] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25630/stat : 25630 (java) S 25600 25602 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254360272 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877940122920 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25602/tid=25649] ppid=25600 vsize=9824668 CPUtime=846.26 cores=0,2,4,6
/proc/25602/task/25649/stat : 25649 (java) R 25600 25602 21308 0 -1 4202560 83 0 0 0 84612 14 0 0 20 0 22 0 254363521 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877939068208 139878445169636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25602/tid=25650] ppid=25600 vsize=9824668 CPUtime=846.2 cores=0,2,4,6
/proc/25602/task/25650/stat : 25650 (java) R 25600 25602 21308 0 -1 4202560 1239 0 0 0 84578 42 0 0 20 0 22 0 254363521 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877941172416 139878445312580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25602/tid=25651] ppid=25600 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25651/stat : 25651 (java) S 25600 25602 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254363521 10060460032 668007 33554432000 1073741824 1073778376 140735902293616 139877942228136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668
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): 919.44
CPU time (s): 1800.61
CPU user time (s): 1798.76
CPU system time (s): 1.85172
CPU usage (%): 195.838
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.85172
maximum resident set size= 3039136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28035
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26564
involuntary context switches= 34642
runsolver used 3.2635 second user time and 8.51171 second system time
The end