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-3743924-1338789531/watcher-3743924-1338789531 -o /tmp/evaluation-result-3743924-1338789531/solver-3743924-1338789531 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3743924-1338789531.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.56 2.12 2.03 3/194 9418
/proc/meminfo: memFree=26674628/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/9418/stat : 9418 (java) R 9416 9418 8924 0 -1 4202496 1031 0 0 0 0 0 0 0 20 0 1 0 345079040 23793664 758 33554432000 1073741824 1073778376 140733820370224 140733820359288 139679077368112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 5809 776 572 9 0 128 0
[startup+0.0786889 s]
/proc/loadavg: 2.56 2.12 2.03 3/194 9418
/proc/meminfo: memFree=26674628/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 4129 0 1 0 5 1 0 0 20 0 18 0 345079040 3028844544 5847 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 5847 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.100271 s]
/proc/loadavg: 2.56 2.12 2.03 3/194 9418
/proc/meminfo: memFree=26674628/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 4926 0 1 0 9 1 0 0 20 0 18 0 345079040 3028844544 6625 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 6625 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300196 s]
/proc/loadavg: 2.56 2.12 2.03 3/194 9418
/proc/meminfo: memFree=26674628/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 5913 0 1 0 45 3 0 0 20 0 18 0 345079040 3028844544 21061 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 21061 2234 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700281 s]
/proc/loadavg: 2.56 2.12 2.03 3/194 9418
/proc/meminfo: memFree=26674628/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=1.54 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 13295 0 1 0 148 6 0 0 20 0 18 0 345079040 3028844544 47611 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 47611 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 2957856
[startup+1.50076 s]
/proc/loadavg: 2.56 2.12 2.03 3/212 9436
/proc/meminfo: memFree=26354564/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=2.82 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 13640 0 1 0 258 24 0 0 20 0 18 0 345079040 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 137269 2277 9 0 729885 0
[pid=9418/tid=9420] ppid=9416 vsize=2957856 CPUtime=1.34 cores=1,3,5,7
/proc/9418/task/9420/stat : 9420 (java) R 9416 9418 8924 0 -1 4202560 3234 0 1 0 125 9 0 0 20 0 18 0 345079041 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139679069855384 272889865485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9421] ppid=9416 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/9418/task/9421/stat : 9421 (java) S 9416 9418 8924 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139679053282088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9422] ppid=9416 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/9418/task/9422/stat : 9422 (java) S 9416 9418 8924 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139679052229288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9423] ppid=9416 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9418/task/9423/stat : 9423 (java) S 9416 9418 8924 0 -1 4202560 26 0 0 0 4 2 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139679051177000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9424] ppid=9416 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9418/task/9424/stat : 9424 (java) S 9416 9418 8924 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139679050124200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9425] ppid=9416 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9418/task/9425/stat : 9425 (java) S 9416 9418 8924 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139679049070888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9426] ppid=9416 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/9418/task/9426/stat : 9426 (java) S 9416 9418 8924 0 -1 4202560 22 0 0 0 3 2 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678929905832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9427] ppid=9416 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/9418/task/9427/stat : 9427 (java) S 9416 9418 8924 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678928853544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9428] ppid=9416 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/9418/task/9428/stat : 9428 (java) S 9416 9418 8924 0 -1 4202560 28 0 0 0 5 2 0 0 20 0 18 0 345079042 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678927800744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9429] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9429/stat : 9429 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345079043 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678915603176 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9430] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9430/stat : 9430 (java) S 9416 9418 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345079044 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678914549240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9431] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9431/stat : 9431 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345079044 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678309148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9432] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9432/stat : 9432 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678308096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9433] ppid=9416 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/9418/task/9433/stat : 9433 (java) S 9416 9418 8924 0 -1 4202560 3413 0 0 0 45 0 0 0 20 0 18 0 345079046 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678307043512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9434] ppid=9416 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/9418/task/9434/stat : 9434 (java) S 9416 9418 8924 0 -1 4202560 5619 0 0 0 47 1 0 0 20 0 18 0 345079046 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678305990712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9435] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9435/stat : 9435 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678304938616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9436] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9436/stat : 9436 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 137269 33554432000 1073741824 1073778376 140733820370224 139678303886024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 2957856
[startup+3.10075 s]
/proc/loadavg: 2.56 2.12 2.03 3/212 9436
/proc/meminfo: memFree=25972516/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=5.08 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 13946 0 1 0 462 46 0 0 20 0 18 0 345079040 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 175197 2277 9 0 729885 0
[pid=9418/tid=9420] ppid=9416 vsize=2957856 CPUtime=2.72 cores=1,3,5,7
/proc/9418/task/9420/stat : 9420 (java) R 9416 9418 8924 0 -1 4202560 3235 0 1 0 263 9 0 0 20 0 18 0 345079041 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139679069855192 139678930315737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9421] ppid=9416 vsize=2957856 CPUtime=0.16 cores=1,3,5,7
/proc/9418/task/9421/stat : 9421 (java) S 9416 9418 8924 0 -1 4202560 68 0 0 0 11 5 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139679053282088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9422] ppid=9416 vsize=2957856 CPUtime=0.16 cores=1,3,5,7
/proc/9418/task/9422/stat : 9422 (java) S 9416 9418 8924 0 -1 4202560 62 0 0 0 12 4 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139679052229288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9423] ppid=9416 vsize=2957856 CPUtime=0.17 cores=1,3,5,7
/proc/9418/task/9423/stat : 9423 (java) S 9416 9418 8924 0 -1 4202560 61 0 0 0 13 4 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139679051177000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9424] ppid=9416 vsize=2957856 CPUtime=0.14 cores=1,3,5,7
/proc/9418/task/9424/stat : 9424 (java) S 9416 9418 8924 0 -1 4202560 64 0 0 0 10 4 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139679050124200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9425] ppid=9416 vsize=2957856 CPUtime=0.14 cores=1,3,5,7
/proc/9418/task/9425/stat : 9425 (java) S 9416 9418 8924 0 -1 4202560 59 0 0 0 10 4 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139679049070888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9426] ppid=9416 vsize=2957856 CPUtime=0.15 cores=1,3,5,7
/proc/9418/task/9426/stat : 9426 (java) S 9416 9418 8924 0 -1 4202560 62 0 0 0 11 4 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678929905832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9427] ppid=9416 vsize=2957856 CPUtime=0.16 cores=1,3,5,7
/proc/9418/task/9427/stat : 9427 (java) S 9416 9418 8924 0 -1 4202560 54 0 0 0 12 4 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678928853544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9428] ppid=9416 vsize=2957856 CPUtime=0.18 cores=1,3,5,7
/proc/9418/task/9428/stat : 9428 (java) S 9416 9418 8924 0 -1 4202560 65 0 0 0 13 5 0 0 20 0 18 0 345079042 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678927800744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9429] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9429/stat : 9429 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345079043 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678915603176 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9430] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9430/stat : 9430 (java) S 9416 9418 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345079044 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678914549240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9431] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9431/stat : 9431 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345079044 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678309148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9432] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9432/stat : 9432 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678308096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9433] ppid=9416 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/9418/task/9433/stat : 9433 (java) S 9416 9418 8924 0 -1 4202560 3413 0 0 0 45 0 0 0 20 0 18 0 345079046 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678307043512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9434] ppid=9416 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/9418/task/9434/stat : 9434 (java) S 9416 9418 8924 0 -1 4202560 5619 0 0 0 47 1 0 0 20 0 18 0 345079046 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678305990712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9435] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9435/stat : 9435 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678304938616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9436] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9436/stat : 9436 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 175197 33554432000 1073741824 1073778376 140733820370224 139678303886024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 2957856
[startup+6.30752 s]
/proc/loadavg: 2.52 2.11 2.03 10/212 9436
/proc/meminfo: memFree=25646644/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=11.29 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 15615 0 1 0 1031 98 0 0 20 0 18 0 345079040 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 258723 2277 9 0 729885 0
[pid=9418/tid=9420] ppid=9416 vsize=2957856 CPUtime=4.9 cores=1,3,5,7
/proc/9418/task/9420/stat : 9420 (java) R 9416 9418 8924 0 -1 4202560 3240 0 1 0 480 10 0 0 20 0 18 0 345079041 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139679069847712 139678930316950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9421] ppid=9416 vsize=2957856 CPUtime=0.78 cores=1,3,5,7
/proc/9418/task/9421/stat : 9421 (java) S 9416 9418 8924 0 -1 4202560 184 0 0 0 65 13 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139679053282088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9422] ppid=9416 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/9418/task/9422/stat : 9422 (java) S 9416 9418 8924 0 -1 4202560 368 0 0 0 44 9 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139679052229288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9423] ppid=9416 vsize=2957856 CPUtime=0.66 cores=1,3,5,7
/proc/9418/task/9423/stat : 9423 (java) S 9416 9418 8924 0 -1 4202560 148 0 0 0 56 10 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139679051177000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9424] ppid=9416 vsize=2957856 CPUtime=0.71 cores=1,3,5,7
/proc/9418/task/9424/stat : 9424 (java) S 9416 9418 8924 0 -1 4202560 170 0 0 0 58 13 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139679050124200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9425] ppid=9416 vsize=2957856 CPUtime=0.65 cores=1,3,5,7
/proc/9418/task/9425/stat : 9425 (java) S 9416 9418 8924 0 -1 4202560 142 0 0 0 55 10 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139679049070888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9426] ppid=9416 vsize=2957856 CPUtime=0.82 cores=1,3,5,7
/proc/9418/task/9426/stat : 9426 (java) S 9416 9418 8924 0 -1 4202560 421 0 0 0 69 13 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678929905832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9427] ppid=9416 vsize=2957856 CPUtime=0.59 cores=1,3,5,7
/proc/9418/task/9427/stat : 9427 (java) S 9416 9418 8924 0 -1 4202560 368 0 0 0 50 9 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678928853544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9428] ppid=9416 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/9418/task/9428/stat : 9428 (java) S 9416 9418 8924 0 -1 4202560 358 0 0 0 44 9 0 0 20 0 18 0 345079042 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678927800744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9429] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9429/stat : 9429 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345079043 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678915603176 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9430] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9430/stat : 9430 (java) S 9416 9418 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345079044 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678914549240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9431] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9431/stat : 9431 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345079044 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678309148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9432] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9432/stat : 9432 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678308096912 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9433] ppid=9416 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/9418/task/9433/stat : 9433 (java) S 9416 9418 8924 0 -1 4202560 3413 0 0 0 45 0 0 0 20 0 18 0 345079046 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678307043512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9434] ppid=9416 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/9418/task/9434/stat : 9434 (java) S 9416 9418 8924 0 -1 4202560 5619 0 0 0 47 1 0 0 20 0 18 0 345079046 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678305990712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9435] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9435/stat : 9435 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678304938616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9436] ppid=9416 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9436/stat : 9436 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345079046 3028844544 258723 33554432000 1073741824 1073778376 140733820370224 139678303886024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 2957856
[startup+12.7008 s]
/proc/loadavg: 2.47 2.11 2.03 3/212 9436
/proc/meminfo: memFree=25356168/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=2957856 CPUtime=21.9 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 17659 0 1 0 2052 138 0 0 20 0 18 0 345079040 3028844544 335324 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 739464 335324 2277 9 0 729885 0
[pid=9418/tid=9420] ppid=9416 vsize=2957856 CPUtime=9.82 cores=1,3,5,7
################
# More data... #
################
/proc/9418/task/9428/stat : 9428 (java) S 9416 9418 8924 0 -1 4202560 1129 0 0 0 1363 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678927800744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9429] ppid=9416 vsize=3024420 CPUtime=477.34 cores=1,3,5,7
/proc/9418/task/9429/stat : 9429 (java) R 9416 9418 8924 0 -1 4202560 1152656 0 0 0 47494 240 0 0 20 0 19 0 345079043 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678915603336 139679076364360 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9430] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9430/stat : 9430 (java) S 9416 9418 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678914549240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9431] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9431/stat : 9431 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678309148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9432] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9432/stat : 9432 (java) S 9416 9418 8924 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678308096456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9433] ppid=9416 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/9418/task/9433/stat : 9433 (java) S 9416 9418 8924 0 -1 4202560 3443 0 0 0 72 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678307043512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9434] ppid=9416 vsize=3024420 CPUtime=1.15 cores=1,3,5,7
/proc/9418/task/9434/stat : 9434 (java) S 9416 9418 8924 0 -1 4202560 9499 0 0 0 113 2 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678305990712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9435] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9435/stat : 9435 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678304938616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9436] ppid=9416 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/9418/task/9436/stat : 9436 (java) S 9416 9418 8924 0 -1 4202560 97 0 0 0 45 45 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678303886024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9437] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9437/stat : 9437 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345080683 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678301754792 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 3024420
[startup+1714.2 s]
/proc/loadavg: 2.04 2.01 2.06 3/215 9535
/proc/meminfo: memFree=26105820/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=3024420 CPUtime=1801.28 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 1178763 0 1 0 179591 537 0 0 20 0 19 0 345079040 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 756105 428421 2310 9 0 746526 0
[pid=9418/tid=9420] ppid=9416 vsize=3024420 CPUtime=1201.93 cores=1,3,5,7
/proc/9418/task/9420/stat : 9420 (java) S 9416 9418 8924 0 -1 4202560 3764 0 1 0 120156 37 0 0 20 0 19 0 345079041 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679069855064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9421] ppid=9416 vsize=3024420 CPUtime=14.63 cores=1,3,5,7
/proc/9418/task/9421/stat : 9421 (java) S 9416 9418 8924 0 -1 4202560 1141 0 0 0 1433 30 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679053282088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9422] ppid=9416 vsize=3024420 CPUtime=13.58 cores=1,3,5,7
/proc/9418/task/9422/stat : 9422 (java) S 9416 9418 8924 0 -1 4202560 1092 0 0 0 1333 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679052229288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9423] ppid=9416 vsize=3024420 CPUtime=15.23 cores=1,3,5,7
/proc/9418/task/9423/stat : 9423 (java) S 9416 9418 8924 0 -1 4202560 1092 0 0 0 1494 29 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679051177000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9424] ppid=9416 vsize=3024420 CPUtime=14.03 cores=1,3,5,7
/proc/9418/task/9424/stat : 9424 (java) S 9416 9418 8924 0 -1 4202560 782 0 0 0 1374 29 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679050124200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9425] ppid=9416 vsize=3024420 CPUtime=13.64 cores=1,3,5,7
/proc/9418/task/9425/stat : 9425 (java) S 9416 9418 8924 0 -1 4202560 927 0 0 0 1336 28 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679049070888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9426] ppid=9416 vsize=3024420 CPUtime=14.69 cores=1,3,5,7
/proc/9418/task/9426/stat : 9426 (java) S 9416 9418 8924 0 -1 4202560 868 0 0 0 1438 31 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678929905832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9427] ppid=9416 vsize=3024420 CPUtime=14.1 cores=1,3,5,7
/proc/9418/task/9427/stat : 9427 (java) S 9416 9418 8924 0 -1 4202560 1089 0 0 0 1385 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678928853544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9428] ppid=9416 vsize=3024420 CPUtime=13.88 cores=1,3,5,7
/proc/9418/task/9428/stat : 9428 (java) S 9416 9418 8924 0 -1 4202560 1129 0 0 0 1363 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678927800744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9429] ppid=9416 vsize=3024420 CPUtime=478.13 cores=1,3,5,7
/proc/9418/task/9429/stat : 9429 (java) R 9416 9418 8924 0 -1 4202560 1152656 0 0 0 47573 240 0 0 20 0 19 0 345079043 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678915603336 272886153492 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9430] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9430/stat : 9430 (java) S 9416 9418 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678914549240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9431] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9431/stat : 9431 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678309148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9432] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9432/stat : 9432 (java) S 9416 9418 8924 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678308096456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9433] ppid=9416 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/9418/task/9433/stat : 9433 (java) S 9416 9418 8924 0 -1 4202560 3443 0 0 0 72 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678307043512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9434] ppid=9416 vsize=3024420 CPUtime=1.15 cores=1,3,5,7
/proc/9418/task/9434/stat : 9434 (java) S 9416 9418 8924 0 -1 4202560 9499 0 0 0 113 2 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678305990712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9435] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9435/stat : 9435 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678304938616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9436] ppid=9416 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/9418/task/9436/stat : 9436 (java) S 9416 9418 8924 0 -1 4202560 97 0 0 0 45 45 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678303886024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9437] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9437/stat : 9437 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345080683 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678301754792 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1801.28
Current children cumulated vsize (KiB) 3024420
[startup+1714.4 s]
/proc/loadavg: 2.04 2.01 2.06 3/215 9535
/proc/meminfo: memFree=26105820/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=3024420 CPUtime=1801.48 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 1178763 0 1 0 179611 537 0 0 20 0 19 0 345079040 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 756105 428421 2310 9 0 746526 0
[pid=9418/tid=9420] ppid=9416 vsize=3024420 CPUtime=1201.93 cores=1,3,5,7
/proc/9418/task/9420/stat : 9420 (java) S 9416 9418 8924 0 -1 4202560 3764 0 1 0 120156 37 0 0 20 0 19 0 345079041 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679069855064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9421] ppid=9416 vsize=3024420 CPUtime=14.63 cores=1,3,5,7
/proc/9418/task/9421/stat : 9421 (java) S 9416 9418 8924 0 -1 4202560 1141 0 0 0 1433 30 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679053282088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9422] ppid=9416 vsize=3024420 CPUtime=13.58 cores=1,3,5,7
/proc/9418/task/9422/stat : 9422 (java) S 9416 9418 8924 0 -1 4202560 1092 0 0 0 1333 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679052229288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9423] ppid=9416 vsize=3024420 CPUtime=15.23 cores=1,3,5,7
/proc/9418/task/9423/stat : 9423 (java) S 9416 9418 8924 0 -1 4202560 1092 0 0 0 1494 29 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679051177000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9424] ppid=9416 vsize=3024420 CPUtime=14.03 cores=1,3,5,7
/proc/9418/task/9424/stat : 9424 (java) S 9416 9418 8924 0 -1 4202560 782 0 0 0 1374 29 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679050124200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9425] ppid=9416 vsize=3024420 CPUtime=13.64 cores=1,3,5,7
/proc/9418/task/9425/stat : 9425 (java) S 9416 9418 8924 0 -1 4202560 927 0 0 0 1336 28 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679049070888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9426] ppid=9416 vsize=3024420 CPUtime=14.69 cores=1,3,5,7
/proc/9418/task/9426/stat : 9426 (java) S 9416 9418 8924 0 -1 4202560 868 0 0 0 1438 31 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678929905832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9427] ppid=9416 vsize=3024420 CPUtime=14.1 cores=1,3,5,7
/proc/9418/task/9427/stat : 9427 (java) S 9416 9418 8924 0 -1 4202560 1089 0 0 0 1385 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678928853544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9428] ppid=9416 vsize=3024420 CPUtime=13.88 cores=1,3,5,7
/proc/9418/task/9428/stat : 9428 (java) S 9416 9418 8924 0 -1 4202560 1129 0 0 0 1363 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678927800744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9429] ppid=9416 vsize=3024420 CPUtime=478.33 cores=1,3,5,7
/proc/9418/task/9429/stat : 9429 (java) R 9416 9418 8924 0 -1 4202560 1152656 0 0 0 47593 240 0 0 20 0 19 0 345079043 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678915603336 139679075980689 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9430] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9430/stat : 9430 (java) S 9416 9418 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678914549240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9431] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9431/stat : 9431 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678309148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9432] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9432/stat : 9432 (java) S 9416 9418 8924 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678308096456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9433] ppid=9416 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/9418/task/9433/stat : 9433 (java) S 9416 9418 8924 0 -1 4202560 3443 0 0 0 72 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678307043512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9434] ppid=9416 vsize=3024420 CPUtime=1.15 cores=1,3,5,7
/proc/9418/task/9434/stat : 9434 (java) S 9416 9418 8924 0 -1 4202560 9499 0 0 0 113 2 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678305990712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9435] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9435/stat : 9435 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678304938616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9436] ppid=9416 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/9418/task/9436/stat : 9436 (java) S 9416 9418 8924 0 -1 4202560 97 0 0 0 45 45 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678303886024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9437] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9437/stat : 9437 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345080683 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678301754792 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 3024420
[startup+1714.5 s]
/proc/loadavg: 2.04 2.01 2.06 3/215 9535
/proc/meminfo: memFree=26087388/32873844 swapFree=7112/7112
[pid=9418] ppid=9416 vsize=3024420 CPUtime=1801.59 cores=1,3,5,7
/proc/9418/stat : 9418 (java) S 9416 9418 8924 0 -1 4202496 1178763 0 1 0 179622 537 0 0 20 0 19 0 345079040 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 140733820361360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9418/statm: 756105 428421 2310 9 0 746526 0
[pid=9418/tid=9420] ppid=9416 vsize=3024420 CPUtime=1201.93 cores=1,3,5,7
/proc/9418/task/9420/stat : 9420 (java) S 9416 9418 8924 0 -1 4202560 3764 0 1 0 120156 37 0 0 20 0 19 0 345079041 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679069855064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9421] ppid=9416 vsize=3024420 CPUtime=14.63 cores=1,3,5,7
/proc/9418/task/9421/stat : 9421 (java) S 9416 9418 8924 0 -1 4202560 1141 0 0 0 1433 30 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679053282088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9422] ppid=9416 vsize=3024420 CPUtime=13.58 cores=1,3,5,7
/proc/9418/task/9422/stat : 9422 (java) S 9416 9418 8924 0 -1 4202560 1092 0 0 0 1333 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679052229288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9423] ppid=9416 vsize=3024420 CPUtime=15.23 cores=1,3,5,7
/proc/9418/task/9423/stat : 9423 (java) S 9416 9418 8924 0 -1 4202560 1092 0 0 0 1494 29 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679051177000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9424] ppid=9416 vsize=3024420 CPUtime=14.03 cores=1,3,5,7
/proc/9418/task/9424/stat : 9424 (java) S 9416 9418 8924 0 -1 4202560 782 0 0 0 1374 29 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679050124200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9425] ppid=9416 vsize=3024420 CPUtime=13.64 cores=1,3,5,7
/proc/9418/task/9425/stat : 9425 (java) S 9416 9418 8924 0 -1 4202560 927 0 0 0 1336 28 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139679049070888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9426] ppid=9416 vsize=3024420 CPUtime=14.69 cores=1,3,5,7
/proc/9418/task/9426/stat : 9426 (java) S 9416 9418 8924 0 -1 4202560 868 0 0 0 1438 31 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678929905832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9427] ppid=9416 vsize=3024420 CPUtime=14.1 cores=1,3,5,7
/proc/9418/task/9427/stat : 9427 (java) S 9416 9418 8924 0 -1 4202560 1089 0 0 0 1385 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678928853544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9428] ppid=9416 vsize=3024420 CPUtime=13.88 cores=1,3,5,7
/proc/9418/task/9428/stat : 9428 (java) S 9416 9418 8924 0 -1 4202560 1129 0 0 0 1363 25 0 0 20 0 19 0 345079042 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678927800744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9418/tid=9429] ppid=9416 vsize=3024420 CPUtime=478.44 cores=1,3,5,7
/proc/9418/task/9429/stat : 9429 (java) R 9416 9418 8924 0 -1 4202560 1152656 0 0 0 47604 240 0 0 20 0 19 0 345079043 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678915603336 139679075980689 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9430] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9430/stat : 9430 (java) S 9416 9418 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678914549240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9431] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9431/stat : 9431 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345079044 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678309148424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9432] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9432/stat : 9432 (java) S 9416 9418 8924 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678308096456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9433] ppid=9416 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/9418/task/9433/stat : 9433 (java) S 9416 9418 8924 0 -1 4202560 3443 0 0 0 72 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678307043512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9418/tid=9434] ppid=9416 vsize=3024420 CPUtime=1.15 cores=1,3,5,7
/proc/9418/task/9434/stat : 9434 (java) S 9416 9418 8924 0 -1 4202560 9499 0 0 0 113 2 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678305990712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9435] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9435/stat : 9435 (java) S 9416 9418 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678304938616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9418/tid=9436] ppid=9416 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/9418/task/9436/stat : 9436 (java) S 9416 9418 8924 0 -1 4202560 97 0 0 0 45 45 0 0 20 0 19 0 345079046 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678303886024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9418/tid=9437] ppid=9416 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9418/task/9437/stat : 9437 (java) S 9416 9418 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345080683 3097006080 428421 33554432000 1073741824 1073778376 140733820370224 139678301754792 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9418 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=597635
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=592149
# CPU time returned by wait4() is 1797.19
# while last known CPU time is 1801.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1714.55
CPU time (s): 1801.59
CPU user time (s): 1796.22
CPU system time (s): 5.37
CPU usage (%): 105.077
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 5.59215
maximum resident set size= 1759920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178792
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107740
involuntary context switches= 77378
runsolver used 6.31404 second user time and 15.5506 second system time
The end