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-3688251-1337881004/watcher-3688251-1337881004 -o /tmp/evaluation-result-3688251-1337881004/solver-3688251-1337881004 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688251-1337881004.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.05 2.00 3/196 24377
/proc/meminfo: memFree=28463440/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24377/stat : 24377 (java) D 24375 24377 23031 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254225177 9515008 183 33554432000 1073741824 1073778376 140735274751248 140735274742280 215124623029 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 2323 183 140 9 0 71 0
[startup+0.0875081 s]
/proc/loadavg: 2.02 2.05 2.00 3/196 24377
/proc/meminfo: memFree=28463440/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 3343 0 1 0 6 0 0 0 20 0 18 0 254225177 9787813888 4551 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2389603 4551 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100311 s]
/proc/loadavg: 2.02 2.05 2.00 3/196 24377
/proc/meminfo: memFree=28463440/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 4174 0 1 0 8 1 0 0 20 0 18 0 254225177 9787813888 5370 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2389603 5377 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300268 s]
/proc/loadavg: 2.02 2.05 2.00 3/196 24377
/proc/meminfo: memFree=28463440/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 6710 0 1 0 46 2 0 0 20 0 19 0 254225177 9855975424 7570 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 7570 2209 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624976
[startup+0.700267 s]
/proc/loadavg: 2.02 2.05 2.00 3/196 24377
/proc/meminfo: memFree=28463440/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 7416 0 1 0 96 3 0 0 20 0 19 0 254225177 9855975424 9801 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 9801 2251 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9624976
[startup+1.50077 s]
/proc/loadavg: 2.02 2.05 2.00 3/215 24396
/proc/meminfo: memFree=28430596/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 7461 0 1 0 181 3 0 0 20 0 19 0 254225177 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 10354 2266 9 0 2396937 0
[pid=24377/tid=24379] ppid=24375 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/24377/task/24379/stat : 24379 (java) R 24375 24377 23031 0 -1 4202560 2457 0 1 0 140 0 0 0 20 0 19 0 254225178 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133482979736 140133324500363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24380] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24380/stat : 24380 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133444471720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24381] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24381/stat : 24381 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133443419176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24382] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24382/stat : 24382 (java) S 24375 24377 23031 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133324024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24383] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24383/stat : 24383 (java) S 24375 24377 23031 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133322971944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24384] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24384/stat : 24384 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133321918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24385] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24385/stat : 24385 (java) S 24375 24377 23031 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133320866344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24386] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24386/stat : 24386 (java) S 24375 24377 23031 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133319813288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24387] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24387/stat : 24387 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140133318760744 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24388] ppid=24375 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24377/task/24388/stat : 24388 (java) S 24375 24377 23031 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 254225180 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132836432744 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24389] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24389/stat : 24389 (java) S 24375 24377 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132835379064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24390] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24390/stat : 24390 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132834325896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24391] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24391/stat : 24391 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132833274640 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24392] ppid=24375 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/24377/task/24392/stat : 24392 (java) S 24375 24377 23031 0 -1 4202560 1937 0 0 0 17 0 0 0 20 0 19 0 254225183 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132832221496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24393] ppid=24375 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24377/task/24393/stat : 24393 (java) S 24375 24377 23031 0 -1 4202560 1801 0 0 0 15 0 0 0 20 0 19 0 254225183 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132831168952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24394] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24394/stat : 24394 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132830116088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24395] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24395/stat : 24395 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132829063752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24396] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24396/stat : 24396 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225192 9855975424 10354 33554432000 1073741824 1073778376 140735330595280 140132828010024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9624976
[startup+3.10065 s]
/proc/loadavg: 2.10 2.06 2.01 3/215 24396
/proc/meminfo: memFree=28430100/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=3.45 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 7482 0 1 0 342 3 0 0 20 0 19 0 254225177 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 10371 2266 9 0 2396937 0
[pid=24377/tid=24379] ppid=24375 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/24377/task/24379/stat : 24379 (java) R 24375 24377 23031 0 -1 4202560 2461 0 1 0 295 0 0 0 20 0 19 0 254225178 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133482979736 140133324458756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24380] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24380/stat : 24380 (java) S 24375 24377 23031 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133444471720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24381] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24381/stat : 24381 (java) S 24375 24377 23031 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133443419176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24382] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24382/stat : 24382 (java) S 24375 24377 23031 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133324024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24383] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24383/stat : 24383 (java) S 24375 24377 23031 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133322971944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24384] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24384/stat : 24384 (java) S 24375 24377 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133321918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24385] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24385/stat : 24385 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133320866344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24386] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24386/stat : 24386 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133319813288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24387] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24387/stat : 24387 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140133318760744 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24388] ppid=24375 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/24377/task/24388/stat : 24388 (java) S 24375 24377 23031 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 254225180 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132836432744 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24389] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24389/stat : 24389 (java) S 24375 24377 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132835379064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24390] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24390/stat : 24390 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132834325896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24391] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24391/stat : 24391 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132833274640 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24392] ppid=24375 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/24377/task/24392/stat : 24392 (java) S 24375 24377 23031 0 -1 4202560 1937 0 0 0 17 0 0 0 20 0 19 0 254225183 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132832221496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24393] ppid=24375 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24377/task/24393/stat : 24393 (java) S 24375 24377 23031 0 -1 4202560 1801 0 0 0 15 0 0 0 20 0 19 0 254225183 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132831168952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24394] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24394/stat : 24394 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132830116088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24395] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24395/stat : 24395 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132829063752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24396] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24396/stat : 24396 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225192 9855975424 10371 33554432000 1073741824 1073778376 140735330595280 140132828010024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9624976
[startup+6.30067 s]
/proc/loadavg: 2.10 2.06 2.01 3/215 24396
/proc/meminfo: memFree=28425640/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=6.67 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 7504 0 1 0 664 3 0 0 20 0 19 0 254225177 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 11393 2266 9 0 2396937 0
[pid=24377/tid=24379] ppid=24375 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/24377/task/24379/stat : 24379 (java) R 24375 24377 23031 0 -1 4202560 2466 0 1 0 607 0 0 0 20 0 19 0 254225178 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133482979616 140133324449175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24380] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24380/stat : 24380 (java) S 24375 24377 23031 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133444471720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24381] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24381/stat : 24381 (java) S 24375 24377 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133443419176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24382] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24382/stat : 24382 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133324024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24383] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24383/stat : 24383 (java) S 24375 24377 23031 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133322971944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24384] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24384/stat : 24384 (java) S 24375 24377 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133321918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24385] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24385/stat : 24385 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133320866344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24386] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24386/stat : 24386 (java) S 24375 24377 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133319813288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24387] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24387/stat : 24387 (java) S 24375 24377 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254225179 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140133318760744 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24388] ppid=24375 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24377/task/24388/stat : 24388 (java) S 24375 24377 23031 0 -1 4202560 34 0 0 0 13 0 0 0 20 0 19 0 254225180 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132836432744 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24389] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24389/stat : 24389 (java) S 24375 24377 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132835379064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24390] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24390/stat : 24390 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132834325896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24391] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24391/stat : 24391 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132833274640 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24392] ppid=24375 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/24377/task/24392/stat : 24392 (java) S 24375 24377 23031 0 -1 4202560 1937 0 0 0 17 0 0 0 20 0 19 0 254225183 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132832221496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24393] ppid=24375 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24377/task/24393/stat : 24393 (java) S 24375 24377 23031 0 -1 4202560 1801 0 0 0 15 0 0 0 20 0 19 0 254225183 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132831168952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24394] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24394/stat : 24394 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132830116088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24395] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24395/stat : 24395 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132829063752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24396] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24396/stat : 24396 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225192 9855975424 11393 33554432000 1073741824 1073778376 140735330595280 140132828010024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=24377/tid=24392] ppid=24375 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24377/task/24392/stat : 24392 (java) S 24375 24377 23031 0 -1 4202560 1963 0 0 0 21 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132832221496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24393] ppid=24375 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24377/task/24393/stat : 24393 (java) S 24375 24377 23031 0 -1 4202560 1801 0 0 0 15 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132831168952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24394] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24394/stat : 24394 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132830116088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24395] ppid=24375 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/24377/task/24395/stat : 24395 (java) S 24375 24377 23031 0 -1 4202560 95 0 0 0 31 26 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132829063752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24396] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24396/stat : 24396 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225192 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132828010024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.21
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.91 1.97 1.99 3/215 24665
/proc/meminfo: memFree=28248700/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=1726.28 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 9854 0 1 0 172587 41 0 0 20 0 19 0 254225177 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 38192 2267 9 0 2396937 0
[pid=24377/tid=24379] ppid=24375 vsize=9624976 CPUtime=1710.4 cores=1,3,5,7
/proc/24377/task/24379/stat : 24379 (java) R 24375 24377 23031 0 -1 4202560 2608 0 1 0 171012 28 0 0 20 0 19 0 254225178 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133482979616 140133324468690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24380] ppid=24375 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/24377/task/24380/stat : 24380 (java) S 24375 24377 23031 0 -1 4202560 194 0 0 0 59 0 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133444471720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24381] ppid=24375 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24377/task/24381/stat : 24381 (java) S 24375 24377 23031 0 -1 4202560 281 0 0 0 58 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133443419176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24382] ppid=24375 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/24377/task/24382/stat : 24382 (java) S 24375 24377 23031 0 -1 4202560 266 0 0 0 56 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133324024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24383] ppid=24375 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/24377/task/24383/stat : 24383 (java) S 24375 24377 23031 0 -1 4202560 238 0 0 0 62 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133322971944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24384] ppid=24375 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24377/task/24384/stat : 24384 (java) S 24375 24377 23031 0 -1 4202560 269 0 0 0 58 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133321918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24385] ppid=24375 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/24377/task/24385/stat : 24385 (java) S 24375 24377 23031 0 -1 4202560 269 0 0 0 61 1 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133320866344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24386] ppid=24375 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24377/task/24386/stat : 24386 (java) S 24375 24377 23031 0 -1 4202560 265 0 0 0 59 1 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133319813288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24387] ppid=24375 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/24377/task/24387/stat : 24387 (java) S 24375 24377 23031 0 -1 4202560 268 0 0 0 63 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133318760744 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24388] ppid=24375 vsize=9624976 CPUtime=5.89 cores=1,3,5,7
/proc/24377/task/24388/stat : 24388 (java) S 24375 24377 23031 0 -1 4202560 153 0 0 0 586 3 0 0 20 0 19 0 254225180 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132836432744 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24389] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24389/stat : 24389 (java) S 24375 24377 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132835379064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24390] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24390/stat : 24390 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132834325896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24391] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24391/stat : 24391 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132833274640 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24392] ppid=24375 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24377/task/24392/stat : 24392 (java) S 24375 24377 23031 0 -1 4202560 1963 0 0 0 21 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132832221496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24393] ppid=24375 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24377/task/24393/stat : 24393 (java) S 24375 24377 23031 0 -1 4202560 1801 0 0 0 15 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132831168952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24394] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24394/stat : 24394 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132830116088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24395] ppid=24375 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24377/task/24395/stat : 24395 (java) S 24375 24377 23031 0 -1 4202560 99 0 0 0 33 27 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132829063752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24396] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24396/stat : 24396 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225192 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132828010024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.28
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/215 24665
/proc/meminfo: memFree=28241812/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=1786.33 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 9864 0 1 0 178590 43 0 0 20 0 19 0 254225177 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 38192 2267 9 0 2396937 0
[pid=24377/tid=24379] ppid=24375 vsize=9624976 CPUtime=1770.1 cores=1,3,5,7
/proc/24377/task/24379/stat : 24379 (java) R 24375 24377 23031 0 -1 4202560 2610 0 1 0 176981 29 0 0 20 0 19 0 254225178 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133482979616 140133324458910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24380] ppid=24375 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24377/task/24380/stat : 24380 (java) S 24375 24377 23031 0 -1 4202560 194 0 0 0 60 0 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133444471720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24381] ppid=24375 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/24377/task/24381/stat : 24381 (java) S 24375 24377 23031 0 -1 4202560 281 0 0 0 59 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133443419176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24382] ppid=24375 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/24377/task/24382/stat : 24382 (java) S 24375 24377 23031 0 -1 4202560 266 0 0 0 57 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133324024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24383] ppid=24375 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/24377/task/24383/stat : 24383 (java) S 24375 24377 23031 0 -1 4202560 238 0 0 0 62 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133322971944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24384] ppid=24375 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/24377/task/24384/stat : 24384 (java) S 24375 24377 23031 0 -1 4202560 269 0 0 0 59 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133321918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24385] ppid=24375 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/24377/task/24385/stat : 24385 (java) S 24375 24377 23031 0 -1 4202560 269 0 0 0 61 1 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133320866344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24386] ppid=24375 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/24377/task/24386/stat : 24386 (java) S 24375 24377 23031 0 -1 4202560 265 0 0 0 60 1 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133319813288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24387] ppid=24375 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/24377/task/24387/stat : 24387 (java) S 24375 24377 23031 0 -1 4202560 268 0 0 0 64 2 0 0 20 0 19 0 254225179 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140133318760744 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24388] ppid=24375 vsize=9624976 CPUtime=6.02 cores=1,3,5,7
/proc/24377/task/24388/stat : 24388 (java) S 24375 24377 23031 0 -1 4202560 157 0 0 0 599 3 0 0 20 0 19 0 254225180 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132836432744 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24389] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24389/stat : 24389 (java) S 24375 24377 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132835379064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24390] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24390/stat : 24390 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132834325896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24391] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24391/stat : 24391 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132833274640 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24392] ppid=24375 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24377/task/24392/stat : 24392 (java) S 24375 24377 23031 0 -1 4202560 1963 0 0 0 21 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132832221496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24393] ppid=24375 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24377/task/24393/stat : 24393 (java) S 24375 24377 23031 0 -1 4202560 1801 0 0 0 15 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132831168952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24394] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24394/stat : 24394 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132830116088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24395] ppid=24375 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/24377/task/24395/stat : 24395 (java) S 24375 24377 23031 0 -1 4202560 103 0 0 0 33 29 0 0 20 0 19 0 254225183 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132829063752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24396] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24396/stat : 24396 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225192 9855975424 38192 33554432000 1073741824 1073778376 140735330595280 140132828010024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.33
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796 s]
/proc/loadavg: 2.01 1.99 1.99 3/215 24665
/proc/meminfo: memFree=28240136/32873844 swapFree=7608/7608
[pid=24377] ppid=24375 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/24377/stat : 24377 (java) S 24375 24377 23031 0 -1 4202496 9865 0 1 0 179961 44 0 0 20 0 19 0 254225177 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140735330586416 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24377/statm: 2406244 38704 2267 9 0 2396937 0
[pid=24377/tid=24379] ppid=24375 vsize=9624976 CPUtime=1783.77 cores=1,3,5,7
/proc/24377/task/24379/stat : 24379 (java) R 24375 24377 23031 0 -1 4202560 2611 0 1 0 178347 30 0 0 20 0 19 0 254225178 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133482979616 140133324607156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24380] ppid=24375 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24377/task/24380/stat : 24380 (java) S 24375 24377 23031 0 -1 4202560 194 0 0 0 60 0 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133444471720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24381] ppid=24375 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/24377/task/24381/stat : 24381 (java) S 24375 24377 23031 0 -1 4202560 281 0 0 0 59 2 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133443419176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24382] ppid=24375 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/24377/task/24382/stat : 24382 (java) S 24375 24377 23031 0 -1 4202560 266 0 0 0 57 2 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133324024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24383] ppid=24375 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/24377/task/24383/stat : 24383 (java) S 24375 24377 23031 0 -1 4202560 238 0 0 0 62 2 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133322971944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24384] ppid=24375 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/24377/task/24384/stat : 24384 (java) S 24375 24377 23031 0 -1 4202560 269 0 0 0 59 2 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133321918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24385] ppid=24375 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/24377/task/24385/stat : 24385 (java) S 24375 24377 23031 0 -1 4202560 269 0 0 0 61 1 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133320866344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24386] ppid=24375 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/24377/task/24386/stat : 24386 (java) S 24375 24377 23031 0 -1 4202560 265 0 0 0 60 1 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133319813288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24377/tid=24387] ppid=24375 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/24377/task/24387/stat : 24387 (java) S 24375 24377 23031 0 -1 4202560 268 0 0 0 64 2 0 0 20 0 19 0 254225179 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140133318760744 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24388] ppid=24375 vsize=9624976 CPUtime=6.02 cores=1,3,5,7
/proc/24377/task/24388/stat : 24388 (java) S 24375 24377 23031 0 -1 4202560 157 0 0 0 599 3 0 0 20 0 19 0 254225180 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132836432744 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24389] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24389/stat : 24389 (java) S 24375 24377 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132835379064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24390] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24390/stat : 24390 (java) S 24375 24377 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254225181 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132834325896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24391] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24391/stat : 24391 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132833274640 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24392] ppid=24375 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24377/task/24392/stat : 24392 (java) S 24375 24377 23031 0 -1 4202560 1963 0 0 0 21 0 0 0 20 0 19 0 254225183 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132832221496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24377/tid=24393] ppid=24375 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24377/task/24393/stat : 24393 (java) S 24375 24377 23031 0 -1 4202560 1801 0 0 0 15 0 0 0 20 0 19 0 254225183 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132831168952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24394] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24394/stat : 24394 (java) S 24375 24377 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254225183 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132830116088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24377/tid=24395] ppid=24375 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/24377/task/24395/stat : 24395 (java) S 24375 24377 23031 0 -1 4202560 103 0 0 0 34 29 0 0 20 0 19 0 254225183 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132829063752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24377/tid=24396] ppid=24375 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24377/task/24396/stat : 24396 (java) S 24375 24377 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254225192 9855975424 38704 33554432000 1073741824 1073778376 140735330595280 140132828010024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24377 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=199088
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=883865
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.06
CPU time (s): 1800.05
CPU user time (s): 1799.61
CPU system time (s): 0.44
CPU usage (%): 100.222
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.2
system time used= 0.883865
maximum resident set size= 161116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9910
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41935
involuntary context switches= 23099
runsolver used 6.14107 second user time and 16.1255 second system time
The end