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-4091989-1466077390/watcher-4091989-1466077390 -o /tmp/evaluation-result-4091989-1466077390/solver-4091989-1466077390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466075580-10198 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091989-1466077390.wbo
pid=13328
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.63 2.39 3/196 13331
/proc/meminfo: memFree=30151776/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 9785776 94019584 917 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 22954 917 697 9 0 16769 0
[pid=13331/tid=13332] ppid=13328 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) D 13328 13331 8056 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 9785776 95129600 927 33554432000 1073741824 1073778376 140734600007072 139766954405416 214360485159 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0
[startup+0.100157 s]
/proc/loadavg: 2.15 2.63 2.39 3/196 13331
/proc/meminfo: memFree=30151776/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 4521 0 1 0 9 1 0 0 20 0 18 0 9785776 9787879424 5629 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2389619 5629 2141 9 0 2380296 0
[pid=13331/tid=13332] ppid=13328 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) R 13328 13331 8056 0 -1 4202560 2440 0 1 0 7 0 0 0 20 0 18 0 9785776 9787879424 5629 33554432000 1073741824 1073778376 140734600007072 139766954408864 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200329 s]
/proc/loadavg: 2.15 2.63 2.39 3/196 13331
/proc/meminfo: memFree=30151776/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 4832 0 1 0 25 1 0 0 20 0 22 0 9785776 10060525568 7436 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 7436 2209 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2469 0 1 0 15 0 0 0 20 0 22 0 9785776 10060525568 7440 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732
[startup+0.300271 s]
/proc/loadavg: 2.15 2.63 2.39 3/196 13331
/proc/meminfo: memFree=30151776/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 8745 0 1 0 64 2 0 0 20 0 22 0 9785776 10060525568 10125 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 10125 2247 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2469 0 1 0 15 0 0 0 20 0 22 0 9785776 10060525568 10125 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9824732
[startup+0.700225 s]
/proc/loadavg: 2.15 2.63 2.39 3/196 13331
/proc/meminfo: memFree=30151776/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 19146 0 1 0 221 4 0 0 20 0 22 0 9785776 10060525568 20584 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 20584 2256 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2469 0 1 0 15 0 0 0 20 0 22 0 9785776 10060525568 20584 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9824732
[startup+1.50078 s]
/proc/loadavg: 2.15 2.63 2.39 2/215 13353
/proc/meminfo: memFree=30060108/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 26487 0 1 0 302 9 0 0 20 0 19 0 9785776 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 32548 2271 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2470 0 1 0 15 0 0 0 20 0 19 0 9785776 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13334] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766798170792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13335] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766797118248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13336] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766796065704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13337] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766795013160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13338] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766793959592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13339] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766792907048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13340] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766791854504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13341] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13328 13331 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766790801960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13342] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13328 13331 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9785778 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766778604136 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13343] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13328 13331 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766777550456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13344] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766776497800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13345] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766775446544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13346] ppid=13328 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/13331/task/13346/stat : 13346 (java) S 13328 13331 8056 0 -1 4202560 9373 0 0 0 77 2 0 0 20 0 19 0 9785781 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766774392888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13347] ppid=13328 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/13331/task/13347/stat : 13347 (java) S 13328 13331 8056 0 -1 4202560 13275 0 0 0 81 2 0 0 20 0 19 0 9785781 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766773340344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13348] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13348/stat : 13348 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766772287992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13349] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13349/stat : 13349 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 32548 33554432000 1073741824 1073778376 140734600007072 139766771235656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 2.06 2.60 2.39 4/218 13362
/proc/meminfo: memFree=29987544/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=4.03 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 26581 0 1 0 388 15 0 0 20 0 19 0 9785776 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 49475 2284 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2471 0 1 0 16 0 0 0 20 0 19 0 9785776 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13334] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13328 13331 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766798170792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13335] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766797118248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13336] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13328 13331 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766796065704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13337] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13328 13331 8056 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766795013160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13338] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13328 13331 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766793959592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13339] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13328 13331 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766792907048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13340] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766791854504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13341] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13328 13331 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766790801960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13342] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 9785778 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766778604136 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13343] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766777550456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13344] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13328 13331 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766776497800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13345] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766775446544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13346] ppid=13328 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/13331/task/13346/stat : 13346 (java) S 13328 13331 8056 0 -1 4202560 9379 0 0 0 83 2 0 0 20 0 19 0 9785781 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766774392888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13347] ppid=13328 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/13331/task/13347/stat : 13347 (java) S 13328 13331 8056 0 -1 4202560 13278 0 0 0 83 3 0 0 20 0 19 0 9785781 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766773340344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13348] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13348/stat : 13348 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766772287992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13349] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13349/stat : 13349 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766771235656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13356] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13356/stat : 13356 (java) S 13328 13331 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9785894 10060525568 49475 33554432000 1073741824 1073778376 140734600007072 139766768075816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9824732
[startup+6.30084 s]
/proc/loadavg: 2.06 2.60 2.39 5/218 13377
/proc/meminfo: memFree=29963384/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=8.11 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 30366 0 1 0 784 27 0 0 20 0 22 0 9785776 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 50212 2286 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2471 0 1 0 16 0 0 0 20 0 22 0 9785776 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13334] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13328 13331 8056 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766798170792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13335] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13328 13331 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766797118248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13336] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13328 13331 8056 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766796065704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13337] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13328 13331 8056 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766795013160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13338] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13328 13331 8056 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766793959592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13339] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13328 13331 8056 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766792907048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13340] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13328 13331 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766791854504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13341] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13328 13331 8056 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 9785777 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766790801960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13342] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9785778 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766778604136 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13343] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 9785779 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766777550456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13344] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13328 13331 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 9785779 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766776497800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13345] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9785781 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766775446544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13346] ppid=13328 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/13331/task/13346/stat : 13346 (java) S 13328 13331 8056 0 -1 4202560 13000 0 0 0 115 3 0 0 20 0 22 0 9785781 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766774392888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13347] ppid=13328 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13331/task/13347/stat : 13347 (java) S 13328 13331 8056 0 -1 4202560 13353 0 0 0 114 3 0 0 20 0 22 0 9785781 10060525568 50212 33554432000 1073741824 1073778376 140734600007072 139766773340344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13348] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=13331/tid=13338] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13328 13331 8056 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766793959592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13339] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13328 13331 8056 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766792907048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13340] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766791854504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13341] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766790801960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13342] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 19 0 9785778 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766778604136 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13343] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766777550456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13344] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766776497800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13345] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766775446544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13346] ppid=13328 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/13331/task/13346/stat : 13346 (java) S 13328 13331 8056 0 -1 4202560 19805 0 0 0 180 3 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766774392888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13347] ppid=13328 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/13331/task/13347/stat : 13347 (java) S 13328 13331 8056 0 -1 4202560 13353 0 0 0 120 3 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766773340344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13348] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13348/stat : 13348 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766772287992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13349] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13349/stat : 13349 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766771235656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13356] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13356/stat : 13356 (java) S 13328 13331 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9785894 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766768075816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 18.01
Current children cumulated vsize (KiB) 9824732
[startup+14.0007 s]
/proc/loadavg: 2.28 2.63 2.40 2/215 13407
/proc/meminfo: memFree=29942808/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=18.01 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 37305 0 1 0 1750 51 0 0 20 0 19 0 9785776 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 53739 2287 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2471 0 1 0 16 1 0 0 20 0 19 0 9785776 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13334] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13328 13331 8056 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766798170792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13335] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766797118248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13336] ppid=13328 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13328 13331 8056 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766796065704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13337] ppid=13328 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13328 13331 8056 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766795013160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13338] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13328 13331 8056 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766793959592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13339] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13328 13331 8056 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766792907048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13340] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766791854504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13341] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 9785777 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766790801960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13342] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 19 0 9785778 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766778604136 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13343] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766777550456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13344] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9785779 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766776497800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13345] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766775446544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13346] ppid=13328 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/13331/task/13346/stat : 13346 (java) S 13328 13331 8056 0 -1 4202560 19805 0 0 0 180 3 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766774392888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13347] ppid=13328 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/13331/task/13347/stat : 13347 (java) S 13328 13331 8056 0 -1 4202560 13353 0 0 0 120 3 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766773340344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13348] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13348/stat : 13348 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766772287992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13349] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13349/stat : 13349 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9785781 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766771235656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13356] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13356/stat : 13356 (java) S 13328 13331 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9785894 10060525568 53739 33554432000 1073741824 1073778376 140734600007072 139766768075816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 18.01
Current children cumulated vsize (KiB) 9824732
[startup+14.4079 s]
/proc/loadavg: 2.28 2.63 2.40 2/216 13413
/proc/meminfo: memFree=29942816/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=18.01 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 37313 0 1 0 1750 51 0 0 20 0 20 0 9785776 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 53741 2287 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2471 0 1 0 16 1 0 0 20 0 20 0 9785776 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13334] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13328 13331 8056 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766798170792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13335] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766797118248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13336] ppid=13328 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13328 13331 8056 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766796065704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13337] ppid=13328 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13328 13331 8056 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766795013160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13338] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13328 13331 8056 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766793959592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13339] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13328 13331 8056 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766792907048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13340] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766791854504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13341] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766790801960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13342] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 20 0 9785778 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766778604136 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13343] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 9785779 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766777550456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13344] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 9785779 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766776497800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13345] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766775446544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13346] ppid=13328 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/13331/task/13346/stat : 13346 (java) S 13328 13331 8056 0 -1 4202560 19805 0 0 0 181 3 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766774392888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13347] ppid=13328 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/13331/task/13347/stat : 13347 (java) S 13328 13331 8056 0 -1 4202560 13353 0 0 0 120 3 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766773340344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13348] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13348/stat : 13348 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766772287992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13349] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13349/stat : 13349 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766771235656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13356] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13356/stat : 13356 (java) S 13328 13331 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 9785894 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766768075816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13413] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13413/stat : 13413 (java) S 13328 13331 8056 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 9787176 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766769128616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 18.01
Current children cumulated vsize (KiB) 9824732
[startup+14.5009 s]
/proc/loadavg: 2.28 2.63 2.40 2/216 13413
/proc/meminfo: memFree=29942816/32872528 swapFree=1286144/1433312
[pid=13331] ppid=13328 vsize=9824732 CPUtime=18.01 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13328 13331 8056 0 -1 4202496 37313 0 1 0 1750 51 0 0 20 0 20 0 9785776 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 140734599998208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 2456183 53741 2287 9 0 2446860 0
[pid=13331/tid=13332] ppid=13328 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13328 13331 8056 0 -1 4202560 2471 0 1 0 16 1 0 0 20 0 20 0 9785776 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766954410872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13334] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13328 13331 8056 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766798170792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13335] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766797118248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13336] ppid=13328 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13328 13331 8056 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766796065704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13337] ppid=13328 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13328 13331 8056 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766795013160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13338] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13328 13331 8056 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766793959592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13339] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13328 13331 8056 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766792907048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13340] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13328 13331 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766791854504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13341] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 20 0 9785777 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766790801960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13342] ppid=13328 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13328 13331 8056 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 20 0 9785778 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766778604136 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13343] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 9785779 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766777550456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13344] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13328 13331 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 9785779 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766776497800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13345] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766775446544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13346] ppid=13328 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/13331/task/13346/stat : 13346 (java) S 13328 13331 8056 0 -1 4202560 19805 0 0 0 181 3 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766774392888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13331/tid=13347] ppid=13328 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/13331/task/13347/stat : 13347 (java) S 13328 13331 8056 0 -1 4202560 13353 0 0 0 120 3 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766773340344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13348] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13348/stat : 13348 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766772287992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13331/tid=13349] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13349/stat : 13349 (java) S 13328 13331 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9785781 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766771235656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13331/tid=13356] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13356/stat : 13356 (java) S 13328 13331 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 9785894 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766768075816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13331/tid=13413] ppid=13328 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13413/stat : 13413 (java) S 13328 13331 8056 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 9787176 10060525568 53741 33554432000 1073741824 1073778376 140734600007072 139766769128616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 18.01
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 14.5252
CPU time (s): 18.1112
CPU user time (s): 17.5283
CPU system time (s): 0.582911
CPU usage (%): 124.688
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5283
system time used= 0.582911
maximum resident set size= 221740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37328
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= 1260
involuntary context switches= 511
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093985 second user time and 0.143978 second system time
The end