runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4091748-1466098249/watcher-4091748-1466098249 -o /tmp/evaluation-result-4091748-1466098249/solver-4091748-1466098249 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466098249-20399 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091748-1466098249.wbo
pid=20438
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: 0.92 1.84 2.05 3/194 20445
/proc/meminfo: memFree=30294504/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 11873266 98570240 978 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 24065 978 744 9 0 16771 0
[pid=20445/tid=20446] ppid=20438 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) R 20438 20445 20382 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 11873267 98570240 978 33554432000 1073741824 1073778376 140733733625968 140485453180456 226084341120 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100163 s]
/proc/loadavg: 0.92 1.84 2.05 3/194 20445
/proc/meminfo: memFree=30294504/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 4501 0 1 0 10 1 0 0 20 0 18 0 11873266 9787879424 6131 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2389619 6131 2158 9 0 2380296 0
[pid=20445/tid=20446] ppid=20438 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) R 20438 20445 20382 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 11873267 9787879424 6131 33554432000 1073741824 1073778376 140733733625968 140485453184728 226087724301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200333 s]
/proc/loadavg: 0.92 1.84 2.05 3/194 20445
/proc/meminfo: memFree=30294504/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 4902 0 1 0 26 1 0 0 20 0 18 0 11873266 9787879424 6923 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2389619 6923 2222 9 0 2380296 0
[pid=20445/tid=20446] ppid=20438 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) R 20438 20445 20382 0 -1 4202560 2404 0 1 0 16 1 0 0 20 0 18 0 11873267 9787879424 6923 33554432000 1073741824 1073778376 140733733625968 140485453184728 140485310098492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300332 s]
/proc/loadavg: 0.92 1.84 2.05 3/194 20445
/proc/meminfo: memFree=30294504/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 5701 0 1 0 47 1 0 0 20 0 18 0 11873266 9787879424 9645 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2389619 9645 2234 9 0 2380296 0
[pid=20445/tid=20446] ppid=20438 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) R 20438 20445 20382 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 18 0 11873267 9787879424 9645 33554432000 1073741824 1073778376 140733733625968 140485453184728 140485310106145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700286 s]
/proc/loadavg: 0.92 1.84 2.05 3/194 20445
/proc/meminfo: memFree=30294504/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9558476 CPUtime=1.45 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 12669 0 1 0 138 7 0 0 20 0 18 0 11873266 9787879424 50004 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2389619 50004 2265 9 0 2380296 0
[pid=20445/tid=20446] ppid=20438 vsize=9558476 CPUtime=0.63 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) R 20438 20445 20382 0 -1 4202560 2470 0 1 0 60 3 0 0 20 0 18 0 11873267 9787879424 50004 33554432000 1073741824 1073778376 140733733625968 140485453184248 140485310695647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 1.08 1.86 2.06 4/212 20463
/proc/meminfo: memFree=29808892/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9558476 CPUtime=2.77 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 13517 0 1 0 254 23 0 0 20 0 18 0 11873266 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2389619 108924 2265 9 0 2380296 0
[pid=20445/tid=20446] ppid=20438 vsize=9558476 CPUtime=1.26 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) R 20438 20445 20382 0 -1 4202560 2524 0 1 0 121 5 0 0 20 0 18 0 11873267 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485453176864 226087724301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20448] ppid=20438 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/20445/task/20448/stat : 20448 (java) S 20438 20445 20382 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 18 0 11873267 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485431286184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20449] ppid=20438 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/20445/task/20449/stat : 20449 (java) S 20438 20445 20382 0 -1 4202560 138 0 0 0 10 4 0 0 20 0 18 0 11873267 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485430233640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20450] ppid=20438 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20445/task/20450/stat : 20450 (java) S 20438 20445 20382 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 18 0 11873267 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485429180584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20451] ppid=20438 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/20445/task/20451/stat : 20451 (java) S 20438 20445 20382 0 -1 4202560 165 0 0 0 10 3 0 0 20 0 18 0 11873267 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485091911976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20452] ppid=20438 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20445/task/20452/stat : 20452 (java) S 20438 20445 20382 0 -1 4202560 141 0 0 0 5 2 0 0 20 0 18 0 11873267 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485090859944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20453] ppid=20438 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/20445/task/20453/stat : 20453 (java) S 20438 20445 20382 0 -1 4202560 84 0 0 0 10 3 0 0 20 0 18 0 11873267 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485089807400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20454] ppid=20438 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/20445/task/20454/stat : 20454 (java) S 20438 20445 20382 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 18 0 11873268 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485088754344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20455] ppid=20438 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/20445/task/20455/stat : 20455 (java) S 20438 20445 20382 0 -1 4202560 119 0 0 0 6 2 0 0 20 0 18 0 11873268 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485087701800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20456] ppid=20438 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20456/stat : 20456 (java) S 20438 20445 20382 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 11873269 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485075503464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20457] ppid=20438 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20457/stat : 20457 (java) S 20438 20445 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 11873269 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485074449784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20458] ppid=20438 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20458/stat : 20458 (java) S 20438 20445 20382 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 11873269 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485073396616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20459] ppid=20438 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20459/stat : 20459 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 11873271 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485072345360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20460] ppid=20438 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/20445/task/20460/stat : 20460 (java) S 20438 20445 20382 0 -1 4202560 3979 0 0 0 30 0 0 0 20 0 18 0 11873271 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485071293240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20461] ppid=20438 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/20445/task/20461/stat : 20461 (java) S 20438 20445 20382 0 -1 4202560 4815 0 0 0 31 0 0 0 20 0 18 0 11873271 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485070240696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20462] ppid=20438 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20462/stat : 20462 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 11873271 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485069187832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20463] ppid=20438 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20463/stat : 20463 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 11873271 9787879424 108924 33554432000 1073741824 1073778376 140733733625968 140485068135496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 9558476
[startup+3.10081 s]
/proc/loadavg: 1.08 1.86 2.06 3/212 20463
/proc/meminfo: memFree=29264128/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9824732 CPUtime=6.49 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 15939 0 1 0 603 46 0 0 20 0 22 0 11873266 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2456183 209483 2282 9 0 2446860 0
[pid=20445/tid=20446] ppid=20438 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) S 20438 20445 20382 0 -1 4202560 2540 0 1 0 184 5 0 0 20 0 22 0 11873267 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485453185912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20448] ppid=20438 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/20445/task/20448/stat : 20448 (java) S 20438 20445 20382 0 -1 4202560 72 0 0 0 11 3 0 0 20 0 22 0 11873267 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485431286184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20449] ppid=20438 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/20445/task/20449/stat : 20449 (java) S 20438 20445 20382 0 -1 4202560 248 0 0 0 22 7 0 0 20 0 22 0 11873267 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485430233640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20450] ppid=20438 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/20445/task/20450/stat : 20450 (java) S 20438 20445 20382 0 -1 4202560 242 0 0 0 19 5 0 0 20 0 22 0 11873267 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485429180584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20451] ppid=20438 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/20445/task/20451/stat : 20451 (java) S 20438 20445 20382 0 -1 4202560 311 0 0 0 15 5 0 0 20 0 22 0 11873267 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485091911976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20452] ppid=20438 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/20445/task/20452/stat : 20452 (java) S 20438 20445 20382 0 -1 4202560 241 0 0 0 14 5 0 0 20 0 22 0 11873267 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485090859944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20453] ppid=20438 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/20445/task/20453/stat : 20453 (java) S 20438 20445 20382 0 -1 4202560 137 0 0 0 15 5 0 0 20 0 22 0 11873267 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485089807400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20454] ppid=20438 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/20445/task/20454/stat : 20454 (java) S 20438 20445 20382 0 -1 4202560 198 0 0 0 12 2 0 0 20 0 22 0 11873268 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485088754344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20455] ppid=20438 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/20445/task/20455/stat : 20455 (java) S 20438 20445 20382 0 -1 4202560 193 0 0 0 19 6 0 0 20 0 22 0 11873268 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485087701800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20456] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20456/stat : 20456 (java) S 20438 20445 20382 0 -1 4202560 547 0 0 0 0 0 0 0 20 0 22 0 11873269 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485075503464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20457] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20457/stat : 20457 (java) S 20438 20445 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11873269 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485074449784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20458] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20458/stat : 20458 (java) S 20438 20445 20382 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 11873269 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485073396616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20459] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20459/stat : 20459 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11873271 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485072345360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20460] ppid=20438 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/20445/task/20460/stat : 20460 (java) S 20438 20445 20382 0 -1 4202560 4004 0 0 0 71 0 0 0 20 0 22 0 11873271 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485071293240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20461] ppid=20438 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/20445/task/20461/stat : 20461 (java) S 20438 20445 20382 0 -1 4202560 5609 0 0 0 64 1 0 0 20 0 22 0 11873271 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485070240696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20462] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20462/stat : 20462 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11873271 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485069187832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20463] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20463/stat : 20463 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11873271 10060525568 209483 33554432000 1073741824 1073778376 140733733625968 140485068135496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 9824732
[startup+6.3008 s]
/proc/loadavg: 1.08 1.86 2.06 4/217 20483
/proc/meminfo: memFree=27469464/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9824732 CPUtime=11.22 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 17575 0 1 0 1044 78 0 0 20 0 22 0 11873266 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2456183 379887 2285 9 0 2446860 0
[pid=20445/tid=20446] ppid=20438 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) S 20438 20445 20382 0 -1 4202560 2580 0 1 0 307 5 0 0 20 0 22 0 11873267 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485453185912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20448] ppid=20438 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/20445/task/20448/stat : 20448 (java) S 20438 20445 20382 0 -1 4202560 100 0 0 0 17 5 0 0 20 0 22 0 11873267 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485431286184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20449] ppid=20438 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/20445/task/20449/stat : 20449 (java) S 20438 20445 20382 0 -1 4202560 277 0 0 0 32 8 0 0 20 0 22 0 11873267 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485430233640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20450] ppid=20438 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/20445/task/20450/stat : 20450 (java) S 20438 20445 20382 0 -1 4202560 295 0 0 0 31 8 0 0 20 0 22 0 11873267 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485429180584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20451] ppid=20438 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/20445/task/20451/stat : 20451 (java) S 20438 20445 20382 0 -1 4202560 336 0 0 0 25 6 0 0 20 0 22 0 11873267 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485091911976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20452] ppid=20438 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/20445/task/20452/stat : 20452 (java) S 20438 20445 20382 0 -1 4202560 282 0 0 0 22 7 0 0 20 0 22 0 11873267 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485090859944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20453] ppid=20438 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/20445/task/20453/stat : 20453 (java) S 20438 20445 20382 0 -1 4202560 187 0 0 0 27 7 0 0 20 0 22 0 11873267 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485089807400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20454] ppid=20438 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/20445/task/20454/stat : 20454 (java) S 20438 20445 20382 0 -1 4202560 223 0 0 0 19 4 0 0 20 0 22 0 11873268 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485088754344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20455] ppid=20438 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/20445/task/20455/stat : 20455 (java) S 20438 20445 20382 0 -1 4202560 262 0 0 0 32 8 0 0 20 0 22 0 11873268 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485087701800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20456] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20456/stat : 20456 (java) S 20438 20445 20382 0 -1 4202560 1062 0 0 0 0 0 0 0 20 0 22 0 11873269 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485075503464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20457] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20457/stat : 20457 (java) S 20438 20445 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11873269 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485074449784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20458] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20458/stat : 20458 (java) S 20438 20445 20382 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 11873269 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485073396616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20459] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20459/stat : 20459 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11873271 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485072345360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20460] ppid=20438 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/20445/task/20460/stat : 20460 (java) S 20438 20445 20382 0 -1 4202560 4022 0 0 0 107 1 0 0 20 0 22 0 11873271 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485071293240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20461] ppid=20438 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/20445/task/20461/stat : 20461 (java) S 20438 20445 20382 0 -1 4202560 5663 0 0 0 92 1 0 0 20 0 22 0 11873271 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485070240696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20462] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20462/stat : 20462 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11873271 10060525568 379887 33554432000 1073741824 1073778376 140733733625968 140485069187832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20463] ppid=20438 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20445/statm: 2472824 446606 2297 9 0 2463501 0
[pid=20445/tid=20446] ppid=20438 vsize=9891296 CPUtime=3.19 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) S 20438 20445 20382 0 -1 4202560 2583 0 1 0 312 7 0 0 20 0 23 0 11873267 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485453185624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20448] ppid=20438 vsize=9891296 CPUtime=0.43 cores=1,3,5,7
/proc/20445/task/20448/stat : 20448 (java) S 20438 20445 20382 0 -1 4202560 210 0 0 0 32 11 0 0 20 0 23 0 11873267 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485431286184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20449] ppid=20438 vsize=9891296 CPUtime=0.46 cores=1,3,5,7
/proc/20445/task/20449/stat : 20449 (java) S 20438 20445 20382 0 -1 4202560 301 0 0 0 36 10 0 0 20 0 23 0 11873267 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485430233640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20450] ppid=20438 vsize=9891296 CPUtime=0.5 cores=1,3,5,7
/proc/20445/task/20450/stat : 20450 (java) S 20438 20445 20382 0 -1 4202560 355 0 0 0 40 10 0 0 20 0 23 0 11873267 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485429180584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20451] ppid=20438 vsize=9891296 CPUtime=0.36 cores=1,3,5,7
/proc/20445/task/20451/stat : 20451 (java) S 20438 20445 20382 0 -1 4202560 361 0 0 0 28 8 0 0 20 0 23 0 11873267 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485091911976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20452] ppid=20438 vsize=9891296 CPUtime=0.35 cores=1,3,5,7
/proc/20445/task/20452/stat : 20452 (java) S 20438 20445 20382 0 -1 4202560 304 0 0 0 26 9 0 0 20 0 23 0 11873267 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485090859944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20453] ppid=20438 vsize=9891296 CPUtime=0.44 cores=1,3,5,7
/proc/20445/task/20453/stat : 20453 (java) S 20438 20445 20382 0 -1 4202560 229 0 0 0 35 9 0 0 20 0 23 0 11873267 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485089807400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20454] ppid=20438 vsize=9891296 CPUtime=0.44 cores=1,3,5,7
/proc/20445/task/20454/stat : 20454 (java) S 20438 20445 20382 0 -1 4202560 327 0 0 0 35 9 0 0 20 0 23 0 11873268 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485088754344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20455] ppid=20438 vsize=9891296 CPUtime=0.46 cores=1,3,5,7
/proc/20445/task/20455/stat : 20455 (java) S 20438 20445 20382 0 -1 4202560 294 0 0 0 36 10 0 0 20 0 23 0 11873268 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485087701800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20456] ppid=20438 vsize=9891296 CPUtime=0.69 cores=1,3,5,7
/proc/20445/task/20456/stat : 20456 (java) R 20438 20445 20382 0 -1 4202560 1161 0 0 0 66 3 0 0 20 0 23 0 11873269 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485075502216 140485459693640 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20457] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20457/stat : 20457 (java) S 20438 20445 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 11873269 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485074449784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20458] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20458/stat : 20458 (java) S 20438 20445 20382 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 23 0 11873269 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485073396616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20459] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20459/stat : 20459 (java) S 20438 20445 20382 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 11873271 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485072345360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20460] ppid=20438 vsize=9891296 CPUtime=1.33 cores=1,3,5,7
/proc/20445/task/20460/stat : 20460 (java) S 20438 20445 20382 0 -1 4202560 4044 0 0 0 131 2 0 0 20 0 23 0 11873271 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485071293240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20461] ppid=20438 vsize=9891296 CPUtime=1.02 cores=1,3,5,7
/proc/20445/task/20461/stat : 20461 (java) S 20438 20445 20382 0 -1 4202560 5670 0 0 0 100 2 0 0 20 0 23 0 11873271 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485070240696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20462] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20462/stat : 20462 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11873271 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485069187832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20463] ppid=20438 vsize=9891296 CPUtime=0.41 cores=1,3,5,7
/proc/20445/task/20463/stat : 20463 (java) S 20438 20445 20382 0 -1 4202560 51 0 0 0 13 28 0 0 20 0 23 0 11873271 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485068135496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20471] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20471/stat : 20471 (java) S 20438 20445 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 11873504 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485063824296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20487] ppid=20438 vsize=9891296 CPUtime=892.19 cores=1,3,5,7
/proc/20445/task/20487/stat : 20487 (java) S 20438 20445 20382 0 -1 4202560 10 0 0 0 89206 13 0 0 20 0 23 0 11873880 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485064874360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20488] ppid=20438 vsize=9891296 CPUtime=892 cores=1,3,5,7
/proc/20445/task/20488/stat : 20488 (java) S 20438 20445 20382 0 -1 4202560 4 0 0 0 89187 13 0 0 20 0 23 0 11873880 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485066979784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20489] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20489/stat : 20489 (java) S 20438 20445 20382 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11873884 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485065930280 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20527] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20527/stat : 20527 (java) S 20438 20445 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 11963337 10128687104 446606 33554432000 1073741824 1073778376 140733733625968 140485062771368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 9891296
[startup+901.801 s]
/proc/loadavg: 4.34 4.13 3.39 10/197 20527
/proc/meminfo: memFree=28573096/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9891296 CPUtime=1801.82 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 18215 0 1 0 180063 119 0 0 20 0 23 0 11873266 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2472824 452751 2298 9 0 2463501 0
[pid=20445/tid=20446] ppid=20438 vsize=9891296 CPUtime=3.19 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) S 20438 20445 20382 0 -1 4202560 2583 0 1 0 312 7 0 0 20 0 23 0 11873267 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485453185624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20448] ppid=20438 vsize=9891296 CPUtime=0.43 cores=1,3,5,7
/proc/20445/task/20448/stat : 20448 (java) S 20438 20445 20382 0 -1 4202560 210 0 0 0 32 11 0 0 20 0 23 0 11873267 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485431286184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20449] ppid=20438 vsize=9891296 CPUtime=0.46 cores=1,3,5,7
/proc/20445/task/20449/stat : 20449 (java) S 20438 20445 20382 0 -1 4202560 301 0 0 0 36 10 0 0 20 0 23 0 11873267 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485430233640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20450] ppid=20438 vsize=9891296 CPUtime=0.5 cores=1,3,5,7
/proc/20445/task/20450/stat : 20450 (java) S 20438 20445 20382 0 -1 4202560 355 0 0 0 40 10 0 0 20 0 23 0 11873267 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485429180584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20451] ppid=20438 vsize=9891296 CPUtime=0.36 cores=1,3,5,7
/proc/20445/task/20451/stat : 20451 (java) S 20438 20445 20382 0 -1 4202560 361 0 0 0 28 8 0 0 20 0 23 0 11873267 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485091911976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20452] ppid=20438 vsize=9891296 CPUtime=0.35 cores=1,3,5,7
/proc/20445/task/20452/stat : 20452 (java) S 20438 20445 20382 0 -1 4202560 304 0 0 0 26 9 0 0 20 0 23 0 11873267 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485090859944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20453] ppid=20438 vsize=9891296 CPUtime=0.44 cores=1,3,5,7
/proc/20445/task/20453/stat : 20453 (java) S 20438 20445 20382 0 -1 4202560 229 0 0 0 35 9 0 0 20 0 23 0 11873267 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485089807400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20454] ppid=20438 vsize=9891296 CPUtime=0.44 cores=1,3,5,7
/proc/20445/task/20454/stat : 20454 (java) S 20438 20445 20382 0 -1 4202560 327 0 0 0 35 9 0 0 20 0 23 0 11873268 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485088754344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20455] ppid=20438 vsize=9891296 CPUtime=0.46 cores=1,3,5,7
/proc/20445/task/20455/stat : 20455 (java) S 20438 20445 20382 0 -1 4202560 294 0 0 0 36 10 0 0 20 0 23 0 11873268 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485087701800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20456] ppid=20438 vsize=9891296 CPUtime=0.89 cores=1,3,5,7
/proc/20445/task/20456/stat : 20456 (java) R 20438 20445 20382 0 -1 4202560 1174 0 0 0 86 3 0 0 20 0 23 0 11873269 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485075502216 226084012560 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20457] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20457/stat : 20457 (java) S 20438 20445 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 11873269 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485074449784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20458] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20458/stat : 20458 (java) S 20438 20445 20382 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 23 0 11873269 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485073396616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20459] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20459/stat : 20459 (java) S 20438 20445 20382 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 11873271 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485072345360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20460] ppid=20438 vsize=9891296 CPUtime=1.33 cores=1,3,5,7
/proc/20445/task/20460/stat : 20460 (java) S 20438 20445 20382 0 -1 4202560 4044 0 0 0 131 2 0 0 20 0 23 0 11873271 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485071293240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20461] ppid=20438 vsize=9891296 CPUtime=1.02 cores=1,3,5,7
/proc/20445/task/20461/stat : 20461 (java) S 20438 20445 20382 0 -1 4202560 5670 0 0 0 100 2 0 0 20 0 23 0 11873271 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485070240696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20462] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20462/stat : 20462 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11873271 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485069187832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20463] ppid=20438 vsize=9891296 CPUtime=0.41 cores=1,3,5,7
/proc/20445/task/20463/stat : 20463 (java) S 20438 20445 20382 0 -1 4202560 51 0 0 0 13 28 0 0 20 0 23 0 11873271 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485068135496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20471] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20471/stat : 20471 (java) S 20438 20445 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 11873504 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485063824296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20487] ppid=20438 vsize=9891296 CPUtime=892.19 cores=1,3,5,7
/proc/20445/task/20487/stat : 20487 (java) S 20438 20445 20382 0 -1 4202560 10 0 0 0 89206 13 0 0 20 0 23 0 11873880 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485064874360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20488] ppid=20438 vsize=9891296 CPUtime=892 cores=1,3,5,7
/proc/20445/task/20488/stat : 20488 (java) S 20438 20445 20382 0 -1 4202560 4 0 0 0 89187 13 0 0 20 0 23 0 11873880 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485066979784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20489] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20489/stat : 20489 (java) S 20438 20445 20382 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11873884 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485065930280 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20527] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20527/stat : 20527 (java) S 20438 20445 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 11963337 10128687104 452751 33554432000 1073741824 1073778376 140733733625968 140485062771368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 9891296
[startup+901.901 s]
/proc/loadavg: 4.34 4.13 3.39 10/197 20527
/proc/meminfo: memFree=28573096/32872528 swapFree=1589776/1720592
[pid=20445] ppid=20438 vsize=9891296 CPUtime=1801.92 cores=1,3,5,7
/proc/20445/stat : 20445 (java) S 20438 20445 20382 0 -1 4202496 18330 0 1 0 180073 119 0 0 20 0 23 0 11873266 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140733733617104 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20445/statm: 2472824 454399 2298 9 0 2463501 0
[pid=20445/tid=20446] ppid=20438 vsize=9891296 CPUtime=3.19 cores=1,3,5,7
/proc/20445/task/20446/stat : 20446 (java) S 20438 20445 20382 0 -1 4202560 2583 0 1 0 312 7 0 0 20 0 23 0 11873267 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485453185624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20448] ppid=20438 vsize=9891296 CPUtime=0.43 cores=1,3,5,7
/proc/20445/task/20448/stat : 20448 (java) S 20438 20445 20382 0 -1 4202560 210 0 0 0 32 11 0 0 20 0 23 0 11873267 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485431286184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20449] ppid=20438 vsize=9891296 CPUtime=0.46 cores=1,3,5,7
/proc/20445/task/20449/stat : 20449 (java) S 20438 20445 20382 0 -1 4202560 301 0 0 0 36 10 0 0 20 0 23 0 11873267 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485430233640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20450] ppid=20438 vsize=9891296 CPUtime=0.5 cores=1,3,5,7
/proc/20445/task/20450/stat : 20450 (java) S 20438 20445 20382 0 -1 4202560 355 0 0 0 40 10 0 0 20 0 23 0 11873267 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485429180584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20451] ppid=20438 vsize=9891296 CPUtime=0.36 cores=1,3,5,7
/proc/20445/task/20451/stat : 20451 (java) S 20438 20445 20382 0 -1 4202560 361 0 0 0 28 8 0 0 20 0 23 0 11873267 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485091911976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20452] ppid=20438 vsize=9891296 CPUtime=0.35 cores=1,3,5,7
/proc/20445/task/20452/stat : 20452 (java) S 20438 20445 20382 0 -1 4202560 304 0 0 0 26 9 0 0 20 0 23 0 11873267 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485090859944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20453] ppid=20438 vsize=9891296 CPUtime=0.44 cores=1,3,5,7
/proc/20445/task/20453/stat : 20453 (java) S 20438 20445 20382 0 -1 4202560 229 0 0 0 35 9 0 0 20 0 23 0 11873267 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485089807400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20454] ppid=20438 vsize=9891296 CPUtime=0.44 cores=1,3,5,7
/proc/20445/task/20454/stat : 20454 (java) S 20438 20445 20382 0 -1 4202560 327 0 0 0 35 9 0 0 20 0 23 0 11873268 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485088754344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20455] ppid=20438 vsize=9891296 CPUtime=0.46 cores=1,3,5,7
/proc/20445/task/20455/stat : 20455 (java) S 20438 20445 20382 0 -1 4202560 294 0 0 0 36 10 0 0 20 0 23 0 11873268 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485087701800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20456] ppid=20438 vsize=9891296 CPUtime=0.99 cores=1,3,5,7
/proc/20445/task/20456/stat : 20456 (java) R 20438 20445 20382 0 -1 4202560 1289 0 0 0 96 3 0 0 20 0 23 0 11873269 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485075502216 140485459309969 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20457] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20457/stat : 20457 (java) S 20438 20445 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 11873269 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485074449784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20458] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20458/stat : 20458 (java) S 20438 20445 20382 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 23 0 11873269 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485073396616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20459] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20459/stat : 20459 (java) S 20438 20445 20382 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 11873271 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485072345360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20460] ppid=20438 vsize=9891296 CPUtime=1.33 cores=1,3,5,7
/proc/20445/task/20460/stat : 20460 (java) S 20438 20445 20382 0 -1 4202560 4044 0 0 0 131 2 0 0 20 0 23 0 11873271 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485071293240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20445/tid=20461] ppid=20438 vsize=9891296 CPUtime=1.02 cores=1,3,5,7
/proc/20445/task/20461/stat : 20461 (java) S 20438 20445 20382 0 -1 4202560 5670 0 0 0 100 2 0 0 20 0 23 0 11873271 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485070240696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20462] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20462/stat : 20462 (java) S 20438 20445 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 11873271 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485069187832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20463] ppid=20438 vsize=9891296 CPUtime=0.41 cores=1,3,5,7
/proc/20445/task/20463/stat : 20463 (java) S 20438 20445 20382 0 -1 4202560 51 0 0 0 13 28 0 0 20 0 23 0 11873271 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485068135496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20471] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20471/stat : 20471 (java) S 20438 20445 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 11873504 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485063824296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20487] ppid=20438 vsize=9891296 CPUtime=892.19 cores=1,3,5,7
/proc/20445/task/20487/stat : 20487 (java) S 20438 20445 20382 0 -1 4202560 10 0 0 0 89206 13 0 0 20 0 23 0 11873880 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485064874360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20445/tid=20488] ppid=20438 vsize=9891296 CPUtime=892 cores=1,3,5,7
/proc/20445/task/20488/stat : 20488 (java) S 20438 20445 20382 0 -1 4202560 4 0 0 0 89187 13 0 0 20 0 23 0 11873880 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485066979784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20445/tid=20489] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20489/stat : 20489 (java) S 20438 20445 20382 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 11873884 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485065930280 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20445/tid=20527] ppid=20438 vsize=9891296 CPUtime=0 cores=1,3,5,7
/proc/20445/task/20527/stat : 20527 (java) S 20438 20445 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 11963337 10128687104 454399 33554432000 1073741824 1073778376 140733733625968 140485062771368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 9891296
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20445 and gives
# childrusage.ru_utime.tv_sec=1796
# childrusage.ru_utime.tv_usec=207934
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=771730
# CPU time returned by wait4() is 1797.98
# while last known CPU time is 1801.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.936
CPU time (s): 1801.92
CPU user time (s): 1800.73
CPU system time (s): 1.19
CPU usage (%): 199.784
Max. virtual memory (cumulated for all children) (KiB): 9891296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.21
system time used= 1.77173
maximum resident set size= 1818556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18576
page faults= 1
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21583
involuntary context switches= 9446
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65299 second user time and 8.03278 second system time
The end