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-4106146-1466268964/watcher-4106146-1466268964 -o /tmp/evaluation-result-4106146-1466268964/solver-4106146-1466268964 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106146-1466268964.opb
pid=7290
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.28 3.41 3.76 3/196 7293
/proc/meminfo: memFree=28995616/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 1282 0 0 0 0 0 0 0 20 0 2 0 28943175 94019584 917 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 22954 917 697 9 0 16769 0
[pid=7293/tid=7294] ppid=7290 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) D 7290 7293 3621 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 28943175 94019584 917 33554432000 1073741824 1073778376 140735376577216 139734864231976 214360485159 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0
[startup+0.100117 s]
/proc/loadavg: 3.28 3.41 3.76 3/196 7293
/proc/meminfo: memFree=28995616/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 4441 0 1 0 9 1 0 0 20 0 18 0 28943175 9787879424 6058 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2389619 6058 2141 9 0 2380296 0
[pid=7293/tid=7294] ppid=7290 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7290 7293 3621 0 -1 4202560 2386 0 1 0 6 1 0 0 20 0 18 0 28943175 9787879424 6058 33554432000 1073741824 1073778376 140735376577216 139734864232176 139734697455060 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.200333 s]
/proc/loadavg: 3.28 3.41 3.76 3/196 7293
/proc/meminfo: memFree=28995616/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 4728 0 1 0 23 1 0 0 20 0 18 0 28943175 9787879424 7339 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2389619 7339 2217 9 0 2380296 0
[pid=7293/tid=7294] ppid=7290 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7290 7293 3621 0 -1 4202560 2406 0 1 0 16 1 0 0 20 0 18 0 28943175 9787879424 7339 33554432000 1073741824 1073778376 140735376577216 139734864236552 139734697462498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300288 s]
/proc/loadavg: 3.28 3.41 3.76 3/196 7293
/proc/meminfo: memFree=28995616/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 7522 0 1 0 53 2 0 0 20 0 22 0 28943175 10060525568 10744 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 10744 2242 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7290 7293 3621 0 -1 4202560 2419 0 1 0 21 1 0 0 20 0 22 0 28943175 10060525568 10744 33554432000 1073741824 1073778376 140735376577216 139734864237432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732
[startup+0.700232 s]
/proc/loadavg: 3.28 3.41 3.76 3/196 7293
/proc/meminfo: memFree=28995616/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 16865 0 1 0 211 4 0 0 20 0 22 0 28943175 10060525568 22462 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 22462 2256 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7290 7293 3621 0 -1 4202560 2419 0 1 0 21 1 0 0 20 0 22 0 28943175 10060525568 22462 33554432000 1073741824 1073778376 140735376577216 139734864237432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9824732
[startup+1.50088 s]
/proc/loadavg: 3.28 3.41 3.76 6/218 7315
/proc/meminfo: memFree=28811848/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=5.09 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 27293 0 1 0 500 9 0 0 20 0 22 0 28943175 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 47937 2278 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7290 7293 3621 0 -1 4202560 2419 0 1 0 21 1 0 0 20 0 22 0 28943175 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734864237432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7296] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7290 7293 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734825728424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7297] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7290 7293 3621 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734824675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7298] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7290 7293 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734823622824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7299] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734822570280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7300] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7290 7293 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734821518248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7301] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7290 7293 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734820465704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7302] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734819412648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7303] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7290 7293 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734818360104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7304] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7290 7293 3621 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 28943177 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734687897960 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7305] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7290 7293 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28943178 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734686844280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7306] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7290 7293 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28943178 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734685791112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7307] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28943180 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734684739856 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7308] ppid=7290 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7290 7293 3621 0 -1 4202560 11140 0 0 0 119 2 0 0 20 0 22 0 28943180 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734683687736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7309] ppid=7290 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7290 7293 3621 0 -1 4202560 12228 0 0 0 111 3 0 0 20 0 22 0 28943180 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139734682635192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7310] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28943180 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139733808179960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7311] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7311/stat : 7311 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28943180 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139733807127624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7312] ppid=7290 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/7293/task/7312/stat : 7312 (java) R 7290 7293 3621 0 -1 4202560 21 0 0 0 121 0 0 0 20 0 22 0 28943200 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139733806063504 139734698009756 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7313] ppid=7290 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/7293/task/7313/stat : 7313 (java) R 7290 7293 3621 0 -1 4202560 94 0 0 0 120 3 0 0 20 0 22 0 28943200 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139733805018400 139734697470403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7314] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7314/stat : 7314 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28943200 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139733803967272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7315] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7315/stat : 7315 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28943200 10060525568 47937 33554432000 1073741824 1073778376 140735376577216 139733802914728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 9824732
[startup+3.10096 s]
/proc/loadavg: 3.42 3.43 3.76 4/218 7315
/proc/meminfo: memFree=28775532/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=8.38 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 27711 0 1 0 824 14 0 0 20 0 22 0 28943175 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 85095 2278 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7290 7293 3621 0 -1 4202560 2419 0 1 0 21 1 0 0 20 0 22 0 28943175 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734864237432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7296] ppid=7290 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7290 7293 3621 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734825728424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7297] ppid=7290 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7290 7293 3621 0 -1 4202560 64 0 0 0 1 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734824675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7290 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7290 7293 3621 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734823622824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7299] ppid=7290 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7290 7293 3621 0 -1 4202560 59 0 0 0 3 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734822570280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7300] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7290 7293 3621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734821518248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7301] ppid=7290 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7290 7293 3621 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734820465704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7302] ppid=7290 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7290 7293 3621 0 -1 4202560 60 0 0 0 1 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734819412648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7303] ppid=7290 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7290 7293 3621 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 28943176 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734818360104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7304] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7290 7293 3621 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 22 0 28943177 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734687897960 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7305] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7290 7293 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28943178 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734686844280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7306] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7290 7293 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28943178 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734685791112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7307] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28943180 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734684739856 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7308] ppid=7290 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7290 7293 3621 0 -1 4202560 11140 0 0 0 121 2 0 0 20 0 22 0 28943180 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734683687736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7309] ppid=7290 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7290 7293 3621 0 -1 4202560 12228 0 0 0 113 3 0 0 20 0 22 0 28943180 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139734682635192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7310] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28943180 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139733808179960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7311] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7311/stat : 7311 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28943180 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139733807127624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7312] ppid=7290 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/7293/task/7312/stat : 7312 (java) R 7290 7293 3621 0 -1 4202560 23 0 0 0 275 0 0 0 20 0 22 0 28943200 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139733806072520 139734697861554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7313] ppid=7290 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/7293/task/7313/stat : 7313 (java) R 7290 7293 3621 0 -1 4202560 150 0 0 0 273 4 0 0 20 0 22 0 28943200 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139733805019424 139734697459015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7314] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7314/stat : 7314 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28943200 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139733803967272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7315] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7315/stat : 7315 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28943200 10060525568 85095 33554432000 1073741824 1073778376 140735376577216 139733802914728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 3.42 3.43 3.76 4/218 7315
/proc/meminfo: memFree=28399092/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=14.88 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 28512 0 1 0 1467 21 0 0 20 0 22 0 28943175 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 156278 2281 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7290 7293 3621 0 -1 4202560 2419 0 1 0 21 1 0 0 20 0 22 0 28943175 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734864237432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7296] ppid=7290 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7290 7293 3621 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 22 0 28943176 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734825728424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7297] ppid=7290 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7290 7293 3621 0 -1 4202560 80 0 0 0 2 2 0 0 20 0 22 0 28943176 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734824675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7290 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7290 7293 3621 0 -1 4202560 57 0 0 0 3 0 0 0 20 0 22 0 28943176 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734823622824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7299] ppid=7290 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7290 7293 3621 0 -1 4202560 60 0 0 0 4 0 0 0 20 0 22 0 28943176 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734822570280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7300] ppid=7290 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7290 7293 3621 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 28943176 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734821518248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7301] ppid=7290 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7290 7293 3621 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 28943176 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734820465704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7302] ppid=7290 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7290 7293 3621 0 -1 4202560 64 0 0 0 2 0 0 0 20 0 22 0 28943176 10060525568 156278 33554432000 1073741824 1073778376 140735376577216 139734819412648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7303] ppid=7290 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
################
# More data... #
################
/proc/7293/task/7303/stat : 7303 (java) S 7290 7293 3621 0 -1 4202560 614 0 0 0 221 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734818360104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7304] ppid=7290 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7290 7293 3621 0 -1 4202560 1659 0 0 0 207 23 0 0 20 0 19 0 28943177 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734687897960 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7305] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7290 7293 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734686844280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7306] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7290 7293 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734685791112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7307] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734684739856 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7308] ppid=7290 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7290 7293 3621 0 -1 4202560 14458 0 0 0 199 2 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734683687736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7309] ppid=7290 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7290 7293 3621 0 -1 4202560 12555 0 0 0 137 3 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734682635192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7310] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733808179960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7311] ppid=7290 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/7293/task/7311/stat : 7311 (java) S 7290 7293 3621 0 -1 4202560 49 0 0 0 12 21 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733807127624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7314] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7314/stat : 7314 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28943200 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733803967272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1677.32
Current children cumulated vsize (KiB) 9824732
[startup+836.801 s]
/proc/loadavg: 3.15 3.22 3.42 4/215 7360
/proc/meminfo: memFree=27089224/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=1678.92 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 39224 0 1 0 167697 195 0 0 20 0 19 0 28943175 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 498018 2293 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7290 7293 3621 0 -1 4202560 2436 0 1 0 305 3 0 0 20 0 19 0 28943175 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734864235056 139734697840896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7296] ppid=7290 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7290 7293 3621 0 -1 4202560 540 0 0 0 230 10 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734825728424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7297] ppid=7290 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7290 7293 3621 0 -1 4202560 623 0 0 0 230 11 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734824675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7290 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7290 7293 3621 0 -1 4202560 452 0 0 0 223 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734823622824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7299] ppid=7290 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7290 7293 3621 0 -1 4202560 658 0 0 0 228 11 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734822570280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7300] ppid=7290 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7290 7293 3621 0 -1 4202560 559 0 0 0 215 8 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734821518248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7301] ppid=7290 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7290 7293 3621 0 -1 4202560 477 0 0 0 228 13 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734820465704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7302] ppid=7290 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7290 7293 3621 0 -1 4202560 639 0 0 0 228 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734819412648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7303] ppid=7290 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7290 7293 3621 0 -1 4202560 614 0 0 0 221 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734818360104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7304] ppid=7290 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7290 7293 3621 0 -1 4202560 1659 0 0 0 207 23 0 0 20 0 19 0 28943177 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734687897960 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7305] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7290 7293 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734686844280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7306] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7290 7293 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734685791112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7307] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734684739856 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7308] ppid=7290 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7290 7293 3621 0 -1 4202560 14458 0 0 0 199 2 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734683687736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7309] ppid=7290 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7290 7293 3621 0 -1 4202560 12555 0 0 0 137 3 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734682635192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7310] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733808179960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7311] ppid=7290 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/7293/task/7311/stat : 7311 (java) S 7290 7293 3621 0 -1 4202560 49 0 0 0 12 21 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733807127624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7314] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7314/stat : 7314 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28943200 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733803967272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1678.92
Current children cumulated vsize (KiB) 9824732
[startup+837.601 s]
/proc/loadavg: 3.14 3.22 3.42 4/216 7363
/proc/meminfo: memFree=27091256/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=1679.72 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 39224 0 1 0 167777 195 0 0 20 0 19 0 28943175 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 498018 2293 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=3.88 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7290 7293 3621 0 -1 4202560 2436 0 1 0 385 3 0 0 20 0 19 0 28943175 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734864235056 139734697840850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7296] ppid=7290 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7290 7293 3621 0 -1 4202560 540 0 0 0 230 10 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734825728424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7297] ppid=7290 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7290 7293 3621 0 -1 4202560 623 0 0 0 230 11 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734824675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7290 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7290 7293 3621 0 -1 4202560 452 0 0 0 223 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734823622824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7299] ppid=7290 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7290 7293 3621 0 -1 4202560 658 0 0 0 228 11 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734822570280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7300] ppid=7290 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7290 7293 3621 0 -1 4202560 559 0 0 0 215 8 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734821518248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7301] ppid=7290 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7290 7293 3621 0 -1 4202560 477 0 0 0 228 13 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734820465704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7302] ppid=7290 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7290 7293 3621 0 -1 4202560 639 0 0 0 228 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734819412648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7303] ppid=7290 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7290 7293 3621 0 -1 4202560 614 0 0 0 221 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734818360104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7304] ppid=7290 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7290 7293 3621 0 -1 4202560 1659 0 0 0 207 23 0 0 20 0 19 0 28943177 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734687897960 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7305] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7290 7293 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734686844280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7306] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7290 7293 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734685791112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7307] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734684739856 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7308] ppid=7290 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7290 7293 3621 0 -1 4202560 14458 0 0 0 199 2 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734683687736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7309] ppid=7290 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7290 7293 3621 0 -1 4202560 12555 0 0 0 137 3 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734682635192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7310] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733808179960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7311] ppid=7290 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/7293/task/7311/stat : 7311 (java) S 7290 7293 3621 0 -1 4202560 49 0 0 0 12 21 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733807127624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7314] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7314/stat : 7314 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28943200 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733803967272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1679.72
Current children cumulated vsize (KiB) 9824732
[startup+838.001 s]
/proc/loadavg: 3.14 3.22 3.42 4/216 7363
/proc/meminfo: memFree=27091256/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=9824732 CPUtime=1680.12 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7290 7293 3621 0 -1 4202496 39224 0 1 0 167817 195 0 0 20 0 19 0 28943175 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 140735376568352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 2456183 498018 2293 9 0 2446860 0
[pid=7293/tid=7294] ppid=7290 vsize=9824732 CPUtime=4.28 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7290 7293 3621 0 -1 4202560 2436 0 1 0 425 3 0 0 20 0 19 0 28943175 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734864235056 139734697646018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7296] ppid=7290 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7290 7293 3621 0 -1 4202560 540 0 0 0 230 10 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734825728424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7297] ppid=7290 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7290 7293 3621 0 -1 4202560 623 0 0 0 230 11 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734824675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7290 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7290 7293 3621 0 -1 4202560 452 0 0 0 223 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734823622824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7299] ppid=7290 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7290 7293 3621 0 -1 4202560 658 0 0 0 228 11 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734822570280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7300] ppid=7290 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7290 7293 3621 0 -1 4202560 559 0 0 0 215 8 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734821518248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7301] ppid=7290 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7290 7293 3621 0 -1 4202560 477 0 0 0 228 13 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734820465704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7302] ppid=7290 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7290 7293 3621 0 -1 4202560 639 0 0 0 228 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734819412648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7303] ppid=7290 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7290 7293 3621 0 -1 4202560 614 0 0 0 221 12 0 0 20 0 19 0 28943176 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734818360104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7304] ppid=7290 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7290 7293 3621 0 -1 4202560 1659 0 0 0 207 23 0 0 20 0 19 0 28943177 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734687897960 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7305] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7290 7293 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734686844280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7306] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7290 7293 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28943178 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734685791112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7307] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734684739856 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7308] ppid=7290 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7290 7293 3621 0 -1 4202560 14458 0 0 0 199 2 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734683687736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7309] ppid=7290 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7290 7293 3621 0 -1 4202560 12555 0 0 0 137 3 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139734682635192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7310] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7290 7293 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733808179960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7311] ppid=7290 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/7293/task/7311/stat : 7311 (java) S 7290 7293 3621 0 -1 4202560 49 0 0 0 13 21 0 0 20 0 19 0 28943180 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733807127624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7314] ppid=7290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7314/stat : 7314 (java) S 7290 7293 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28943200 10060525568 498018 33554432000 1073741824 1073778376 140735376577216 139733803967272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1680.12
Current children cumulated vsize (KiB) 9824732
[startup+838.101 s]
/proc/loadavg: 3.14 3.22 3.42 4/216 7363
/proc/meminfo: memFree=27091256/32872528 swapFree=1286400/1433568
[pid=7293] ppid=7290 vsize=0 CPUtime=1680.55 cores=1,3,5,7
/proc/7293/stat : 7293 (java) Z 7290 7293 3621 0 -1 4203532 39236 0 1 0 167836 219 0 0 20 0 2 0 28943175 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 0 0 0 0 0 0 0
[pid=7293/tid=7300] ppid=7290 vsize=0 CPUtime=2.23 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) R 7290 7293 3621 0 -1 4203588 559 0 0 0 215 8 0 0 20 0 2 0 28943176 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.55
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 838.108
CPU time (s): 1680.6
CPU user time (s): 1678.38
CPU system time (s): 2.22166
CPU usage (%): 200.523
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1678.38
system time used= 2.22166
maximum resident set size= 2869808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39236
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27332
involuntary context switches= 44197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9101 second user time and 7.67983 second system time
The end