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-3688612-1337878599/watcher-3688612-1337878599 -o /tmp/evaluation-result-3688612-1337878599/solver-3688612-1337878599 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688612-1337878599.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.50 3.68 3.75 3/197 24745
/proc/meminfo: memFree=28557768/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 1249 0 0 0 0 0 0 0 20 0 2 0 253988520 98635776 959 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 24081 960 728 9 0 16771 0
[pid=24745/tid=24746] ppid=24743 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24745 21308 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 2 0 253988521 98570240 967 33554432000 1073741824 1073778376 140733654463312 139979949489704 139979951662096 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.0150569 s]
/proc/loadavg: 3.50 3.68 3.75 3/197 24745
/proc/meminfo: memFree=28557768/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 2360 0 1 0 0 0 0 0 20 0 10 0 253988520 9233014784 3060 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2254154 3068 1195 9 0 2244855 0
[pid=24745/tid=24746] ppid=24743 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24745 21308 0 -1 4202560 1214 0 1 0 0 0 0 0 20 0 10 0 253988521 9233014784 3070 33554432000 1073741824 1073778376 140733654463312 139979949490880 139979939558506 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100226 s]
/proc/loadavg: 3.50 3.68 3.75 3/197 24745
/proc/meminfo: memFree=28557768/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 4476 0 1 0 10 1 0 0 20 0 18 0 253988520 9787813888 6149 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2389603 6149 2142 9 0 2380296 0
[pid=24745/tid=24746] ppid=24743 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24745 21308 0 -1 4202560 2425 0 1 0 8 0 0 0 20 0 18 0 253988521 9787813888 6149 33554432000 1073741824 1073778376 140733654463312 139979949478184 139979953134193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300188 s]
/proc/loadavg: 3.50 3.68 3.75 3/197 24745
/proc/meminfo: memFree=28557768/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9558412 CPUtime=0.52 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 6752 0 1 0 50 2 0 0 20 0 18 0 253988520 9787813888 9064 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2389603 9064 2229 9 0 2380296 0
[pid=24745/tid=24746] ppid=24743 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24745 21308 0 -1 4202560 2439 0 1 0 27 1 0 0 20 0 18 0 253988521 9787813888 9064 33554432000 1073741824 1073778376 140733654463312 139979949478184 139979779022511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412
[startup+0.700207 s]
/proc/loadavg: 3.50 3.68 3.75 3/197 24745
/proc/meminfo: memFree=28557768/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9558412 CPUtime=1.7 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 27575 0 1 0 165 5 0 0 20 0 18 0 253988520 9787813888 32602 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2389603 32602 2244 9 0 2380296 0
[pid=24745/tid=24746] ppid=24743 vsize=9558412 CPUtime=0.68 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24745 21308 0 -1 4202560 2466 0 1 0 66 2 0 0 20 0 18 0 253988521 9787813888 32602 33554432000 1073741824 1073778376 140733654463312 139979949485856 139979778971832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9558412
[startup+1.50066 s]
/proc/loadavg: 3.50 3.68 3.75 6/215 24763
/proc/meminfo: memFree=28313648/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9824668 CPUtime=3.65 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 30972 0 1 0 349 16 0 0 20 0 19 0 253988520 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2456167 66966 2266 9 0 2446860 0
[pid=24745/tid=24746] ppid=24743 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24745 21308 0 -1 4202560 2515 0 1 0 99 3 0 0 20 0 19 0 253988521 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979949495288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 21308 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253988521 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979910986664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 21308 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 253988521 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979909934120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 21308 0 -1 4202560 13 0 0 0 1 1 0 0 20 0 19 0 253988522 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979908881064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 21308 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 19 0 253988522 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979907828520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 21308 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 253988522 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979906775464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 21308 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 253988522 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979905722920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24754] ppid=24743 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24745 21308 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253988522 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979904669864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24755] ppid=24743 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24745 21308 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253988522 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979903617320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24756] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24745 21308 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 253988523 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979773680488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24757] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24745 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253988523 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979772626808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24758] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24745 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253988523 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979771573640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24759] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253988525 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979770522384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24760] ppid=24743 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) S 24743 24745 21308 0 -1 4202560 16741 0 0 0 97 3 0 0 20 0 19 0 253988525 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979769469240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24761] ppid=24743 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) S 24743 24745 21308 0 -1 4202560 10288 0 0 0 93 2 0 0 20 0 19 0 253988525 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979768416696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24762] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253988525 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979767363832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24763] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253988525 10060460032 66966 33554432000 1073741824 1073778376 140733654463312 139979766311496 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9824668
[startup+3.10072 s]
/proc/loadavg: 3.50 3.68 3.75 4/216 24770
/proc/meminfo: memFree=28141220/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9824668 CPUtime=6.67 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 31114 0 1 0 648 19 0 0 20 0 22 0 253988520 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2456167 67078 2274 9 0 2446860 0
[pid=24745/tid=24746] ppid=24743 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24745 21308 0 -1 4202560 2524 0 1 0 100 3 0 0 20 0 22 0 253988521 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979949495288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 21308 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253988521 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979910986664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 21308 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 253988521 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979909934120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 21308 0 -1 4202560 13 0 0 0 1 1 0 0 20 0 22 0 253988522 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979908881064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 21308 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 22 0 253988522 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979907828520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 21308 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253988522 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979906775464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 21308 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 253988522 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979905722920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24754] ppid=24743 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24745 21308 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253988522 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979904669864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24755] ppid=24743 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24745 21308 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253988522 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979903617320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24756] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24745 21308 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979773680488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24757] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24745 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979772626808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24758] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24745 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979771573640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24759] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979770522384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24760] ppid=24743 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) S 24743 24745 21308 0 -1 4202560 16799 0 0 0 134 3 0 0 20 0 22 0 253988525 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979769469240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24761] ppid=24743 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) S 24743 24745 21308 0 -1 4202560 10292 0 0 0 128 2 0 0 20 0 22 0 253988525 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979768416696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24762] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979767363832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24763] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139979766311496 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24767] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24767/stat : 24767 (java) S 24743 24745 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253988636 10060460032 67078 33554432000 1073741824 1073778376 140733654463312 139978620261800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9824668
[startup+6.30077 s]
/proc/loadavg: 3.54 3.68 3.75 5/219 24773
/proc/meminfo: memFree=28087708/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9824668 CPUtime=12.63 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 31600 0 1 0 1237 26 0 0 20 0 22 0 253988520 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2456167 99159 2278 9 0 2446860 0
[pid=24745/tid=24746] ppid=24743 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24745 21308 0 -1 4202560 2526 0 1 0 100 3 0 0 20 0 22 0 253988521 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979949495288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 21308 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 253988521 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979910986664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 21308 0 -1 4202560 139 0 0 0 3 2 0 0 20 0 22 0 253988521 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979909934120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 21308 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 22 0 253988522 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979908881064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 21308 0 -1 4202560 41 0 0 0 5 3 0 0 20 0 22 0 253988522 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979907828520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 21308 0 -1 4202560 75 0 0 0 2 2 0 0 20 0 22 0 253988522 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979906775464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 21308 0 -1 4202560 131 0 0 0 4 2 0 0 20 0 22 0 253988522 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979905722920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24754] ppid=24743 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24745 21308 0 -1 4202560 104 0 0 0 2 1 0 0 20 0 22 0 253988522 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979904669864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24755] ppid=24743 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24745 21308 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 253988522 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979903617320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24756] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24745 21308 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979773680488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24757] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24745 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979772626808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24758] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24745 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979771573640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24759] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979770522384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24760] ppid=24743 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) S 24743 24745 21308 0 -1 4202560 16802 0 0 0 145 3 0 0 20 0 22 0 253988525 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979769469240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24761] ppid=24743 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) S 24743 24745 21308 0 -1 4202560 10292 0 0 0 131 2 0 0 20 0 22 0 253988525 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979768416696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24762] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 99159 33554432000 1073741824 1073778376 140733654463312 139979767363832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
[pid=24745/tid=24814] ppid=24743 vsize=9824668 CPUtime=162.7 cores=0,2,4,6
/proc/24745/task/24814/stat : 24814 (java) R 24743 24745 21308 0 -1 4202560 3 0 0 0 16268 2 0 0 20 0 22 0 254047311 10060460032 996779 33554432000 1073741824 1073778376 140733654463312 139979765256928 139979780223090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24815] ppid=24743 vsize=9824668 CPUtime=162.7 cores=0,2,4,6
/proc/24745/task/24815/stat : 24815 (java) R 24743 24745 21308 0 -1 4202560 13 0 0 0 16268 2 0 0 20 0 22 0 254047311 10060460032 996779 33554432000 1073741824 1073778376 140733654463312 139979764201872 139979780301689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24816] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24816/stat : 24816 (java) S 24743 24745 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254047312 10060460032 996779 33554432000 1073741824 1073778376 140733654463312 139978620261544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1508.12
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.04 3.96 3.86 5/220 24819
/proc/meminfo: memFree=22078180/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9824668 CPUtime=1626.46 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 48642 0 1 0 162430 216 0 0 20 0 22 0 253988520 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2456167 1004501 2289 9 0 2446860 0
[pid=24745/tid=24746] ppid=24743 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24745 21308 0 -1 4202560 2538 0 1 0 103 5 0 0 20 0 22 0 253988521 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979949495288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 21308 0 -1 4202560 1110 0 0 0 237 14 0 0 20 0 22 0 253988521 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979910986664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=9824668 CPUtime=2.84 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 21308 0 -1 4202560 2109 0 0 0 271 13 0 0 20 0 22 0 253988521 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979909934120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=9824668 CPUtime=2.42 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 21308 0 -1 4202560 1355 0 0 0 228 14 0 0 20 0 22 0 253988522 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979908881064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 21308 0 -1 4202560 1521 0 0 0 257 19 0 0 20 0 22 0 253988522 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979907828520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 21308 0 -1 4202560 1513 0 0 0 236 15 0 0 20 0 22 0 253988522 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979906775464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 21308 0 -1 4202560 996 0 0 0 243 11 0 0 20 0 22 0 253988522 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979905722920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24754] ppid=24743 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24745 21308 0 -1 4202560 1785 0 0 0 237 13 0 0 20 0 22 0 253988522 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979904669864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24755] ppid=24743 vsize=9824668 CPUtime=2.79 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24745 21308 0 -1 4202560 1168 0 0 0 264 15 0 0 20 0 22 0 253988522 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979903617320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24756] ppid=24743 vsize=9824668 CPUtime=28.04 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24745 21308 0 -1 4202560 4291 0 0 0 2784 20 0 0 20 0 22 0 253988523 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979773680488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24757] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24745 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979772626808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24758] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24745 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979771573640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24759] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979770522384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24760] ppid=24743 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) S 24743 24745 21308 0 -1 4202560 16859 0 0 0 164 3 0 0 20 0 22 0 253988525 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979769469240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24761] ppid=24743 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) S 24743 24745 21308 0 -1 4202560 10308 0 0 0 168 2 0 0 20 0 22 0 253988525 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979768416696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24762] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979767363832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24763] ppid=24743 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) S 24743 24745 21308 0 -1 4202560 47 0 0 0 13 19 0 0 20 0 22 0 253988525 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979766311496 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24773] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24773/stat : 24773 (java) S 24743 24745 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253988733 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139978621314728 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24814] ppid=24743 vsize=9824668 CPUtime=220.04 cores=0,2,4,6
/proc/24745/task/24814/stat : 24814 (java) R 24743 24745 21308 0 -1 4202560 3 0 0 0 22001 3 0 0 20 0 22 0 254047311 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979765256928 139979779816965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24815] ppid=24743 vsize=9824668 CPUtime=220.03 cores=0,2,4,6
/proc/24745/task/24815/stat : 24815 (java) R 24743 24745 21308 0 -1 4202560 15 0 0 0 22000 3 0 0 20 0 22 0 254047311 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139979764201872 139979780031915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24816] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24816/stat : 24816 (java) S 24743 24745 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254047312 10060460032 1004501 33554432000 1073741824 1073778376 140733654463312 139978620261544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1626.46
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.09 3.99 3.87 5/219 24820
/proc/meminfo: memFree=21952516/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9824668 CPUtime=1746.86 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 48705 0 1 0 174468 218 0 0 20 0 22 0 253988520 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2456167 1004543 2289 9 0 2446860 0
[pid=24745/tid=24746] ppid=24743 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24745 21308 0 -1 4202560 2538 0 1 0 103 5 0 0 20 0 22 0 253988521 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979949495288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=9824668 CPUtime=2.66 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 21308 0 -1 4202560 1120 0 0 0 252 14 0 0 20 0 22 0 253988521 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979910986664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 21308 0 -1 4202560 2112 0 0 0 284 13 0 0 20 0 22 0 253988521 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979909934120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=9824668 CPUtime=2.48 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 21308 0 -1 4202560 1362 0 0 0 234 14 0 0 20 0 22 0 253988522 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979908881064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 21308 0 -1 4202560 1525 0 0 0 268 19 0 0 20 0 22 0 253988522 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979907828520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=9824668 CPUtime=2.58 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 21308 0 -1 4202560 1515 0 0 0 243 15 0 0 20 0 22 0 253988522 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979906775464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=9824668 CPUtime=2.64 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 21308 0 -1 4202560 998 0 0 0 253 11 0 0 20 0 22 0 253988522 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979905722920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24754] ppid=24743 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24745 21308 0 -1 4202560 1789 0 0 0 252 13 0 0 20 0 22 0 253988522 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979904669864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24755] ppid=24743 vsize=9824668 CPUtime=2.86 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24745 21308 0 -1 4202560 1173 0 0 0 271 15 0 0 20 0 22 0 253988522 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979903617320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24756] ppid=24743 vsize=9824668 CPUtime=28.04 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24745 21308 0 -1 4202560 4308 0 0 0 2784 20 0 0 20 0 22 0 253988523 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979773680488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24757] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24745 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979772626808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24758] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24745 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979771573640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24759] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979770522384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24760] ppid=24743 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) S 24743 24745 21308 0 -1 4202560 16859 0 0 0 164 3 0 0 20 0 22 0 253988525 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979769469240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24761] ppid=24743 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) S 24743 24745 21308 0 -1 4202560 10308 0 0 0 168 2 0 0 20 0 22 0 253988525 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979768416696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24762] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979767363832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24763] ppid=24743 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) S 24743 24745 21308 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 253988525 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979766311496 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24773] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24773/stat : 24773 (java) S 24743 24745 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253988733 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139978621314728 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24814] ppid=24743 vsize=9824668 CPUtime=279.82 cores=0,2,4,6
/proc/24745/task/24814/stat : 24814 (java) R 24743 24745 21308 0 -1 4202560 5 0 0 0 27978 4 0 0 20 0 22 0 254047311 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979765255984 139979780078552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24815] ppid=24743 vsize=9824668 CPUtime=279.79 cores=0,2,4,6
/proc/24745/task/24815/stat : 24815 (java) R 24743 24745 21308 0 -1 4202560 18 0 0 0 27975 4 0 0 20 0 22 0 254047311 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139979764202096 139979780301606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24816] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24816/stat : 24816 (java) S 24743 24745 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254047312 10060460032 1004543 33554432000 1073741824 1073778376 140733654463312 139978620261544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1746.86
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+910.001 s]
/proc/loadavg: 3.73 3.91 3.84 5/219 24924
/proc/meminfo: memFree=24021428/32873844 swapFree=7100/7100
[pid=24745] ppid=24743 vsize=9824668 CPUtime=1800.07 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24745 21308 0 -1 4202496 48762 0 1 0 179788 219 0 0 20 0 22 0 253988520 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 140733654454448 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24745/statm: 2456167 1006115 2289 9 0 2446860 0
[pid=24745/tid=24746] ppid=24743 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24745 21308 0 -1 4202560 2538 0 1 0 103 5 0 0 20 0 22 0 253988521 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979949495288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=9824668 CPUtime=2.7 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 21308 0 -1 4202560 1125 0 0 0 256 14 0 0 20 0 22 0 253988521 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979910986664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=9824668 CPUtime=3.01 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 21308 0 -1 4202560 2113 0 0 0 288 13 0 0 20 0 22 0 253988521 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979909934120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=9824668 CPUtime=2.52 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 21308 0 -1 4202560 1364 0 0 0 238 14 0 0 20 0 22 0 253988522 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979908881064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 21308 0 -1 4202560 1525 0 0 0 271 19 0 0 20 0 22 0 253988522 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979907828520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=9824668 CPUtime=2.66 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 21308 0 -1 4202560 1529 0 0 0 251 15 0 0 20 0 22 0 253988522 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979906775464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 21308 0 -1 4202560 999 0 0 0 256 11 0 0 20 0 22 0 253988522 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979905722920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24754] ppid=24743 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24745 21308 0 -1 4202560 1792 0 0 0 258 13 0 0 20 0 22 0 253988522 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979904669864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24755] ppid=24743 vsize=9824668 CPUtime=2.93 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24745 21308 0 -1 4202560 1184 0 0 0 278 15 0 0 20 0 22 0 253988522 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979903617320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24756] ppid=24743 vsize=9824668 CPUtime=30.4 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24745 21308 0 -1 4202560 4324 0 0 0 3019 21 0 0 20 0 22 0 253988523 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979773680488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24757] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24745 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979772626808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24758] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24745 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253988523 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979771573640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24759] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979770522384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24760] ppid=24743 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) S 24743 24745 21308 0 -1 4202560 16859 0 0 0 164 3 0 0 20 0 22 0 253988525 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979769469240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24761] ppid=24743 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) S 24743 24745 21308 0 -1 4202560 10308 0 0 0 168 2 0 0 20 0 22 0 253988525 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979768416696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24762] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) S 24743 24745 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988525 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979767363832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24745/tid=24763] ppid=24743 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) S 24743 24745 21308 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 253988525 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979766311496 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24773] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24773/stat : 24773 (java) S 24743 24745 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253988733 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139978621314728 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24745/tid=24814] ppid=24743 vsize=9824668 CPUtime=305.06 cores=0,2,4,6
/proc/24745/task/24814/stat : 24814 (java) R 24743 24745 21308 0 -1 4202560 7 0 0 0 30502 4 0 0 20 0 22 0 254047311 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979765256928 139979780084316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24745/tid=24815] ppid=24743 vsize=9824668 CPUtime=305.03 cores=0,2,4,6
/proc/24745/task/24815/stat : 24815 (java) R 24743 24745 21308 0 -1 4202560 18 0 0 0 30499 4 0 0 20 0 22 0 254047311 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139979764201984 139979780350805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24745/tid=24816] ppid=24743 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24816/stat : 24816 (java) S 24743 24745 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254047312 10060460032 1006115 33554432000 1073741824 1073778376 140733654463312 139978620261544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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): 910.04
CPU time (s): 1800.5
CPU user time (s): 1797.94
CPU system time (s): 2.56061
CPU usage (%): 197.848
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.94
system time used= 2.56061
maximum resident set size= 4024576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48794
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24269
involuntary context switches= 27303
runsolver used 3.48147 second user time and 8.17276 second system time
The end