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-3688864-1337880061/watcher-3688864-1337880061 -o /tmp/evaluation-result-3688864-1337880061/solver-3688864-1337880061 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688864-1337880061.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: 3.32 3.58 3.68 2/194 24337
/proc/meminfo: memFree=29228888/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 1218 0 0 0 0 0 0 0 20 0 2 0 254133466 95129600 928 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 23528 932 705 9 0 16769 0
[pid=24337/tid=24338] ppid=24335 vsize=94176 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) R 24335 24337 21597 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 2 0 254133466 96436224 939 33554432000 1073741824 1073778376 140734957890912 140093818498600 219504799015 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.070419 s]
/proc/loadavg: 3.32 3.58 3.68 2/194 24337
/proc/meminfo: memFree=29228888/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 3416 0 1 0 5 1 0 0 20 0 18 0 254133466 9787813888 4624 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2389603 4625 1772 9 0 2380296 0
[pid=24337/tid=24338] ppid=24335 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) R 24335 24337 21597 0 -1 4202560 2206 0 1 0 4 1 0 0 20 0 18 0 254133466 9787813888 4625 33554432000 1073741824 1073778376 140734957890912 140093818505888 140093826267987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100237 s]
/proc/loadavg: 3.32 3.58 3.68 2/194 24337
/proc/meminfo: memFree=29228888/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 4466 0 1 0 10 1 0 0 20 0 18 0 254133466 9787813888 6134 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2389603 6134 2142 9 0 2380296 0
[pid=24337/tid=24338] ppid=24335 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) R 24335 24337 21597 0 -1 4202560 2432 0 1 0 6 2 0 0 20 0 18 0 254133466 9787813888 6134 33554432000 1073741824 1073778376 140734957890912 140093818503928 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300198 s]
/proc/loadavg: 3.32 3.58 3.68 2/194 24337
/proc/meminfo: memFree=29228888/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 5456 0 1 0 47 2 0 0 20 0 18 0 254133466 9787813888 8760 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2389603 8760 2217 9 0 2380296 0
[pid=24337/tid=24338] ppid=24335 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) R 24335 24337 21597 0 -1 4202560 2447 0 1 0 26 2 0 0 20 0 18 0 254133466 9787813888 8760 33554432000 1073741824 1073778376 140734957890912 140093818503928 140093662756791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412
[startup+0.700335 s]
/proc/loadavg: 3.32 3.58 3.68 2/194 24337
/proc/meminfo: memFree=29228888/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 13650 0 1 0 139 6 0 0 20 0 19 0 254133466 10060460032 33007 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2456167 33007 2250 9 0 2446860 0
[pid=24337/tid=24338] ppid=24335 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) S 24335 24337 21597 0 -1 4202560 2496 0 1 0 52 2 0 0 20 0 19 0 254133466 10060460032 33007 33554432000 1073741824 1073778376 140734957890912 140093818504184 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9824668
[startup+1.50069 s]
/proc/loadavg: 3.32 3.58 3.68 1/213 24365
/proc/meminfo: memFree=29104936/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9824668 CPUtime=1.74 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 17079 0 1 0 165 9 0 0 20 0 19 0 254133466 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2456167 35117 2252 9 0 2446860 0
[pid=24337/tid=24338] ppid=24335 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) S 24335 24337 21597 0 -1 4202560 2497 0 1 0 52 3 0 0 20 0 19 0 254133466 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093818504184 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24340] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24340/stat : 24340 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093662518184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24341] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24341/stat : 24341 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093661465640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24342] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24342/stat : 24342 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093660412584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24343] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24343/stat : 24343 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093659360040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24344] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24344/stat : 24344 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093658306984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24345] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24345/stat : 24345 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093657254440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24346] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24346/stat : 24346 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093656201384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24347] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24347/stat : 24347 (java) S 24335 24337 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254133467 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093655148840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24348] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24348/stat : 24348 (java) S 24335 24337 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254133468 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093171936104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24349] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24349/stat : 24349 (java) S 24335 24337 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254133469 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093170882424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24350] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24350/stat : 24350 (java) S 24335 24337 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254133469 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093169829256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24351] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24351/stat : 24351 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133471 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093168778000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24352] ppid=24335 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/24337/task/24352/stat : 24352 (java) S 24335 24337 21597 0 -1 4202560 4956 0 0 0 46 0 0 0 20 0 19 0 254133471 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093167724856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24353] ppid=24335 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/24337/task/24353/stat : 24353 (java) S 24335 24337 21597 0 -1 4202560 8316 0 0 0 49 2 0 0 20 0 19 0 254133471 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093166672312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24354] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24354/stat : 24354 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133471 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093165619448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24355] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24355/stat : 24355 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254133471 10060460032 35117 33554432000 1073741824 1073778376 140734957890912 140093164567112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 9824668
[startup+3.10061 s]
/proc/loadavg: 3.32 3.58 3.68 1/213 24380
/proc/meminfo: memFree=29086800/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9824668 CPUtime=1.96 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 17115 0 1 0 185 11 0 0 20 0 22 0 254133466 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2456167 39219 2252 9 0 2446860 0
[pid=24337/tid=24338] ppid=24335 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) S 24335 24337 21597 0 -1 4202560 2499 0 1 0 53 3 0 0 20 0 22 0 254133466 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093818504184 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24340] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24340/stat : 24340 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093662518184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24341] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24341/stat : 24341 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093661465640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24342] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24342/stat : 24342 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093660412584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24343] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24343/stat : 24343 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093659360040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24344] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24344/stat : 24344 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093658306984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24345] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24345/stat : 24345 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093657254440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24346] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24346/stat : 24346 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093656201384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24347] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24347/stat : 24347 (java) S 24335 24337 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093655148840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24348] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24348/stat : 24348 (java) S 24335 24337 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254133468 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093171936104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24349] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24349/stat : 24349 (java) S 24335 24337 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093170882424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24350] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24350/stat : 24350 (java) S 24335 24337 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093169829256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24351] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24351/stat : 24351 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093168778000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24352] ppid=24335 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/24337/task/24352/stat : 24352 (java) R 24335 24337 21597 0 -1 4202560 4956 0 0 0 52 0 0 0 20 0 22 0 254133471 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093167724488 140093821217360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24353] ppid=24335 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/24337/task/24353/stat : 24353 (java) R 24335 24337 21597 0 -1 4202560 8316 0 0 0 57 2 0 0 20 0 22 0 254133471 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093166672312 140093821110401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24354] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24354/stat : 24354 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093165619448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24355] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24355/stat : 24355 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093164567112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24368] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24368/stat : 24368 (java) S 24335 24337 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254133574 10060460032 39219 33554432000 1073741824 1073778376 140734957890912 140093161407272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9824668
heavy processes:
[startup+6.3008 s]
/proc/loadavg: 3.29 3.57 3.67 3/216 24407
/proc/meminfo: memFree=28878700/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9824668 CPUtime=5.14 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 22648 0 1 0 487 27 0 0 20 0 22 0 254133466 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2456167 50803 2286 9 0 2446860 0
[pid=24337/tid=24338] ppid=24335 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) S 24335 24337 21597 0 -1 4202560 2501 0 1 0 54 3 0 0 20 0 22 0 254133466 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093818504184 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24340] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24340/stat : 24340 (java) S 24335 24337 21597 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093662518184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24341] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24341/stat : 24341 (java) S 24335 24337 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093661465640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24342] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24342/stat : 24342 (java) S 24335 24337 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093660412584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24343] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24343/stat : 24343 (java) S 24335 24337 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093659360040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24344] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24344/stat : 24344 (java) S 24335 24337 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093658306984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24345] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24345/stat : 24345 (java) S 24335 24337 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093657254440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24346] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24346/stat : 24346 (java) S 24335 24337 21597 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093656201384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24347] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24347/stat : 24347 (java) S 24335 24337 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093655148840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24348] ppid=24335 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/24337/task/24348/stat : 24348 (java) S 24335 24337 21597 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 22 0 254133468 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093171936104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24349] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24349/stat : 24349 (java) S 24335 24337 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093170882424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24350] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24350/stat : 24350 (java) S 24335 24337 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093169829256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24351] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24351/stat : 24351 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093168778000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24352] ppid=24335 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/24337/task/24352/stat : 24352 (java) S 24335 24337 21597 0 -1 4202560 4972 0 0 0 89 1 0 0 20 0 22 0 254133471 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093167724856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24353] ppid=24335 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/24337/task/24353/stat : 24353 (java) S 24335 24337 21597 0 -1 4202560 13648 0 0 0 112 3 0 0 20 0 22 0 254133471 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093166672312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24354] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24354/stat : 24354 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093165619448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24355] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24355/stat : 24355 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093164567112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24368] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24368/stat : 24368 (java) S 24335 24337 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254133574 10060460032 50803 33554432000 1073741824 1073778376 140734957890912 140093161407272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+7.90084 s]
/proc/loadavg: 3.29 3.57 3.67 2/216 24428
/proc/meminfo: memFree=28867484/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9824668 CPUtime=7.38 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 22915 0 1 0 705 33 0 0 20 0 22 0 254133466 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2456167 54290 2287 9 0 2446860 0
[pid=24337/tid=24338] ppid=24335 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) S 24335 24337 21597 0 -1 4202560 2501 0 1 0 54 3 0 0 20 0 22 0 254133466 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093818504184 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24340] ppid=24335 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24337/task/24340/stat : 24340 (java) S 24335 24337 21597 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093662518184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24341] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24341/stat : 24341 (java) S 24335 24337 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093661465640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24342] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24342/stat : 24342 (java) S 24335 24337 21597 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093660412584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24343] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24343/stat : 24343 (java) S 24335 24337 21597 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093659360040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24344] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24344/stat : 24344 (java) S 24335 24337 21597 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093658306984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24345] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24345/stat : 24345 (java) S 24335 24337 21597 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093657254440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24346] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24346/stat : 24346 (java) S 24335 24337 21597 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093656201384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24347] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24347/stat : 24347 (java) S 24335 24337 21597 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254133467 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093655148840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24348] ppid=24335 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/24337/task/24348/stat : 24348 (java) S 24335 24337 21597 0 -1 4202560 99 0 0 0 20 2 0 0 20 0 22 0 254133468 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093171936104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24349] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24349/stat : 24349 (java) S 24335 24337 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093170882424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24350] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24350/stat : 24350 (java) S 24335 24337 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093169829256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24351] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24351/stat : 24351 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093168778000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24352] ppid=24335 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/24337/task/24352/stat : 24352 (java) S 24335 24337 21597 0 -1 4202560 5098 0 0 0 100 2 0 0 20 0 22 0 254133471 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093167724856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24353] ppid=24335 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/24337/task/24353/stat : 24353 (java) S 24335 24337 21597 0 -1 4202560 13653 0 0 0 118 3 0 0 20 0 22 0 254133471 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093166672312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24354] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24354/stat : 24354 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093165619448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24355] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24355/stat : 24355 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093164567112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24368] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24368/stat : 24368 (java) S 24335 24337 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254133574 10060460032 54290 33554432000 1073741824 1073778376 140734957890912 140093161407272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 9824668
[startup+8.30072 s]
/proc/loadavg: 3.29 3.57 3.67 2/216 24428
/proc/meminfo: memFree=28867484/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9824668 CPUtime=8.18 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 23244 0 1 0 784 34 0 0 20 0 22 0 254133466 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2456167 67394 2287 9 0 2446860 0
[pid=24337/tid=24338] ppid=24335 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) S 24335 24337 21597 0 -1 4202560 2501 0 1 0 54 3 0 0 20 0 22 0 254133466 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093818504184 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24340] ppid=24335 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24337/task/24340/stat : 24340 (java) S 24335 24337 21597 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093662518184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24341] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24341/stat : 24341 (java) S 24335 24337 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093661465640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24342] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24342/stat : 24342 (java) S 24335 24337 21597 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093660412584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24343] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24343/stat : 24343 (java) S 24335 24337 21597 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093659360040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24344] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24344/stat : 24344 (java) S 24335 24337 21597 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093658306984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24345] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24345/stat : 24345 (java) S 24335 24337 21597 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093657254440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24346] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24346/stat : 24346 (java) S 24335 24337 21597 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093656201384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24347] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24347/stat : 24347 (java) S 24335 24337 21597 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254133467 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093655148840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24348] ppid=24335 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/24337/task/24348/stat : 24348 (java) S 24335 24337 21597 0 -1 4202560 99 0 0 0 20 2 0 0 20 0 22 0 254133468 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093171936104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24349] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24349/stat : 24349 (java) S 24335 24337 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093170882424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24350] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24350/stat : 24350 (java) S 24335 24337 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254133469 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093169829256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24351] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24351/stat : 24351 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093168778000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24352] ppid=24335 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/24337/task/24352/stat : 24352 (java) S 24335 24337 21597 0 -1 4202560 5098 0 0 0 100 2 0 0 20 0 22 0 254133471 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093167724856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24353] ppid=24335 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/24337/task/24353/stat : 24353 (java) S 24335 24337 21597 0 -1 4202560 13653 0 0 0 118 3 0 0 20 0 22 0 254133471 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093166672312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24354] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24354/stat : 24354 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093165619448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24355] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24355/stat : 24355 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254133471 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093164567112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24368] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24368/stat : 24368 (java) S 24335 24337 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254133574 10060460032 67394 33554432000 1073741824 1073778376 140734957890912 140093161407272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.18
Current children cumulated vsize (KiB) 9824668
[startup+8.70068 s]
/proc/loadavg: 3.35 3.58 3.67 3/215 24432
/proc/meminfo: memFree=28790868/32873648 swapFree=7108/7108
[pid=24337] ppid=24335 vsize=9824668 CPUtime=8.68 cores=1,3,5,7
/proc/24337/stat : 24337 (java) S 24335 24337 21597 0 -1 4202496 23258 0 1 0 833 35 0 0 20 0 18 0 254133466 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140734957882048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24337/statm: 2456167 68930 2287 9 0 2446860 0
[pid=24337/tid=24338] ppid=24335 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/24337/task/24338/stat : 24338 (java) S 24335 24337 21597 0 -1 4202560 2501 0 1 0 58 3 0 0 20 0 18 0 254133466 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093818504184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24340] ppid=24335 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24337/task/24340/stat : 24340 (java) S 24335 24337 21597 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093662518184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24341] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24341/stat : 24341 (java) S 24335 24337 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093661465640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24342] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24342/stat : 24342 (java) S 24335 24337 21597 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093660412584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24343] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24343/stat : 24343 (java) S 24335 24337 21597 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093659360040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24344] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24344/stat : 24344 (java) S 24335 24337 21597 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093658306984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24345] ppid=24335 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24337/task/24345/stat : 24345 (java) S 24335 24337 21597 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093657254440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24346] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24346/stat : 24346 (java) S 24335 24337 21597 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093656201384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24347] ppid=24335 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24337/task/24347/stat : 24347 (java) S 24335 24337 21597 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 254133467 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093655148840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24348] ppid=24335 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/24337/task/24348/stat : 24348 (java) S 24335 24337 21597 0 -1 4202560 100 0 0 0 25 2 0 0 20 0 18 0 254133468 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093171935656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24337/tid=24349] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24349/stat : 24349 (java) S 24335 24337 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254133469 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093170882424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24350] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24350/stat : 24350 (java) S 24335 24337 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 254133469 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093169829256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24351] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24351/stat : 24351 (java) S 24335 24337 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254133471 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093168776632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24337/tid=24352] ppid=24335 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/24337/task/24352/stat : 24352 (java) S 24335 24337 21597 0 -1 4202560 5098 0 0 0 100 2 0 0 20 0 18 0 254133471 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093167711096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24353] ppid=24335 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/24337/task/24353/stat : 24353 (java) S 24335 24337 21597 0 -1 4202560 13653 0 0 0 120 3 0 0 20 0 18 0 254133471 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093166649240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24337/tid=24354] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24354/stat : 24354 (java) S 24335 24337 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254133471 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093165619448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24337/tid=24368] ppid=24335 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24337/task/24368/stat : 24368 (java) S 24335 24337 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 254133574 10060460032 68930 33554432000 1073741824 1073778376 140734957890912 140093161407272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 8.71203
CPU time (s): 8.76267
CPU user time (s): 8.30074
CPU system time (s): 0.461929
CPU usage (%): 100.581
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.30074
system time used= 0.461929
maximum resident set size= 275724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23258
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1185
involuntary context switches= 414
runsolver used 0.032994 second user time and 0.099984 second system time
The end