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-4101114-1466212612/watcher-4101114-1466212612 -o /tmp/evaluation-result-4101114-1466212612/solver-4101114-1466212612 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466206074-14491 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101114-1466212612.opb
pid=17338
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: 4.02 4.05 4.06 4/198 17341
/proc/meminfo: memFree=29330432/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (java) D 17338 17341 14474 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 23307987 2560000 46 33554432000 1073741824 1073778376 140736975960224 140736975957352 242158234919 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 625 46 37 9 0 29 0
[startup+0.100062 s]
/proc/loadavg: 4.02 4.05 4.06 4/198 17341
/proc/meminfo: memFree=29330432/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 4424 0 1 0 8 1 0 0 20 0 18 0 23307987 9787879424 5034 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2389619 5034 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200231 s]
/proc/loadavg: 4.02 4.05 4.06 4/198 17341
/proc/meminfo: memFree=29330432/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 4772 0 1 0 23 1 0 0 20 0 18 0 23307987 9787879424 6852 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2389619 6852 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300245 s]
/proc/loadavg: 4.02 4.05 4.06 4/198 17341
/proc/meminfo: memFree=29330432/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 5975 0 1 0 50 1 0 0 20 0 18 0 23307987 9787879424 9543 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2389619 9543 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.710108 s]
/proc/loadavg: 4.02 4.05 4.06 4/198 17341
/proc/meminfo: memFree=29330432/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9558476 CPUtime=1.49 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 14114 0 1 0 144 5 0 0 20 0 18 0 23307987 9787879424 45943 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2389619 45943 2264 9 0 2380296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 4.02 4.05 4.06 7/220 17363
/proc/meminfo: memFree=29128708/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9824732 CPUtime=4.09 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 15315 0 1 0 401 8 0 0 20 0 22 0 23307987 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2456183 52451 2284 9 0 2446860 0
[pid=17341/tid=17343] ppid=17338 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/17341/task/17343/stat : 17343 (java) S 17338 17341 14474 0 -1 4202560 2533 0 1 0 73 3 0 0 20 0 22 0 23307988 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140235045581688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17344] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17344/stat : 17344 (java) S 17338 17341 14474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234889619880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17345] ppid=17338 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/17341/task/17345/stat : 17345 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234888567336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17346] ppid=17338 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/17341/task/17346/stat : 17346 (java) S 17338 17341 14474 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234887514280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17347] ppid=17338 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17341/task/17347/stat : 17347 (java) S 17338 17341 14474 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234886461736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17348] ppid=17338 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/17341/task/17348/stat : 17348 (java) S 17338 17341 14474 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234885409704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17349] ppid=17338 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/17341/task/17349/stat : 17349 (java) S 17338 17341 14474 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234884357160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17350] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17350/stat : 17350 (java) S 17338 17341 14474 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234883304104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17351] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17351/stat : 17351 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23307989 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234882251560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17352] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17352/stat : 17352 (java) S 17338 17341 14474 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234869840232 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17353] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17353/stat : 17353 (java) S 17338 17341 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234868786552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17354] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17354/stat : 17354 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234867733384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17355] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17355/stat : 17355 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234866682128 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17356] ppid=17338 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/17341/task/17356/stat : 17356 (java) S 17338 17341 14474 0 -1 4202560 5885 0 0 0 90 2 0 0 20 0 22 0 23307994 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234865630008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17357] ppid=17338 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/17341/task/17357/stat : 17357 (java) S 17338 17341 14474 0 -1 4202560 5426 0 0 0 91 0 0 0 20 0 22 0 23307994 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234864577464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17358] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17358/stat : 17358 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234863524600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17359] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17359/stat : 17359 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234862472264 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17360] ppid=17338 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/17341/task/17360/stat : 17360 (java) R 17338 17341 14474 0 -1 4202560 25 0 0 0 63 0 0 0 20 0 22 0 23308073 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234861367864 140234918758430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17361] ppid=17338 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/17341/task/17361/stat : 17361 (java) R 17338 17341 14474 0 -1 4202560 23 0 0 0 62 0 0 0 20 0 22 0 23308073 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234860314152 140234918999833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17362] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17362/stat : 17362 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308076 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234859262760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17363] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17363/stat : 17363 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308077 10060525568 52451 33554432000 1073741824 1073778376 140736975960224 140234858210216 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.02 4.05 4.06 5/220 17363
/proc/meminfo: memFree=28744516/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9824732 CPUtime=7.96 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 19644 0 1 0 776 20 0 0 20 0 22 0 23307987 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2456183 98154 2290 9 0 2446860 0
[pid=17341/tid=17343] ppid=17338 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/17341/task/17343/stat : 17343 (java) S 17338 17341 14474 0 -1 4202560 2533 0 1 0 73 3 0 0 20 0 22 0 23307988 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140235045581688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17344] ppid=17338 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/17341/task/17344/stat : 17344 (java) S 17338 17341 14474 0 -1 4202560 136 0 0 0 7 3 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234889619880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17345] ppid=17338 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/17341/task/17345/stat : 17345 (java) S 17338 17341 14474 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234888567336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17346] ppid=17338 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17341/task/17346/stat : 17346 (java) S 17338 17341 14474 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234887514280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17347] ppid=17338 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/17341/task/17347/stat : 17347 (java) S 17338 17341 14474 0 -1 4202560 42 0 0 0 5 1 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234886461736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17348] ppid=17338 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/17341/task/17348/stat : 17348 (java) S 17338 17341 14474 0 -1 4202560 117 0 0 0 5 2 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234885409704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17349] ppid=17338 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17341/task/17349/stat : 17349 (java) S 17338 17341 14474 0 -1 4202560 103 0 0 0 2 2 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234884357160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17350] ppid=17338 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17341/task/17350/stat : 17350 (java) S 17338 17341 14474 0 -1 4202560 104 0 0 0 4 0 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234883304104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17351] ppid=17338 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/17341/task/17351/stat : 17351 (java) S 17338 17341 14474 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 23307989 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234882251560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17352] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17352/stat : 17352 (java) S 17338 17341 14474 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234869840232 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17353] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17353/stat : 17353 (java) S 17338 17341 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234868786552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17354] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17354/stat : 17354 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234867733384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17355] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17355/stat : 17355 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234866682128 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17356] ppid=17338 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/17341/task/17356/stat : 17356 (java) S 17338 17341 14474 0 -1 4202560 5891 0 0 0 96 2 0 0 20 0 22 0 23307994 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234865630008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17357] ppid=17338 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/17341/task/17357/stat : 17357 (java) S 17338 17341 14474 0 -1 4202560 9059 0 0 0 134 2 0 0 20 0 22 0 23307994 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234864577464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17358] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17358/stat : 17358 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234863524600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17359] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17359/stat : 17359 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234862472264 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17360] ppid=17338 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/17341/task/17360/stat : 17360 (java) R 17338 17341 14474 0 -1 4202560 35 0 0 0 212 0 0 0 20 0 22 0 23308073 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234861367880 140234919110048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17361] ppid=17338 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/17341/task/17361/stat : 17361 (java) R 17338 17341 14474 0 -1 4202560 68 0 0 0 210 1 0 0 20 0 22 0 23308073 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234860313536 140234919191739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17362] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17362/stat : 17362 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308076 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234859262760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17363] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17363/stat : 17363 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308077 10060525568 98154 33554432000 1073741824 1073778376 140736975960224 140234858210216 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 9824732
[startup+6.30102 s]
/proc/loadavg: 4.02 4.05 4.06 5/220 17363
/proc/meminfo: memFree=28543396/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9824732 CPUtime=14.41 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 19970 0 1 0 1417 24 0 0 20 0 22 0 23307987 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2456183 126316 2290 9 0 2446860 0
[pid=17341/tid=17343] ppid=17338 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/17341/task/17343/stat : 17343 (java) S 17338 17341 14474 0 -1 4202560 2533 0 1 0 73 3 0 0 20 0 22 0 23307988 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140235045581688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17344] ppid=17338 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/17341/task/17344/stat : 17344 (java) S 17338 17341 14474 0 -1 4202560 140 0 0 0 8 3 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234889619880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17345] ppid=17338 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/17341/task/17345/stat : 17345 (java) S 17338 17341 14474 0 -1 4202560 49 0 0 0 6 2 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234888567336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17346] ppid=17338 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17341/task/17346/stat : 17346 (java) S 17338 17341 14474 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234887514280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17347] ppid=17338 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/17341/task/17347/stat : 17347 (java) S 17338 17341 14474 0 -1 4202560 69 0 0 0 7 2 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234886461736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17348] ppid=17338 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/17341/task/17348/stat : 17348 (java) S 17338 17341 14474 0 -1 4202560 133 0 0 0 5 3 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234885409704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17349] ppid=17338 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17341/task/17349/stat : 17349 (java) S 17338 17341 14474 0 -1 4202560 108 0 0 0 3 2 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234884357160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17350] ppid=17338 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17341/task/17350/stat : 17350 (java) S 17338 17341 14474 0 -1 4202560 108 0 0 0 4 0 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234883304104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17351] ppid=17338 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/17341/task/17351/stat : 17351 (java) S 17338 17341 14474 0 -1 4202560 61 0 0 0 5 1 0 0 20 0 22 0 23307989 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234882251560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17352] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17352/stat : 17352 (java) S 17338 17341 14474 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234869840232 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17353] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17353/stat : 17353 (java) S 17338 17341 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234868786552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17354] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17354/stat : 17354 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234867733384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17355] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17355/stat : 17355 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 126316 33554432000 1073741824 1073778376 140736975960224 140234866682128 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17356] ppid=17338 vsize=9824732 CPUtime=1 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.33 4.16 4.09 5/221 17454
/proc/meminfo: memFree=27235384/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9824732 CPUtime=1647.28 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 25051 0 1 0 164594 134 0 0 20 0 22 0 23307987 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2456183 618835 2299 9 0 2446860 0
[pid=17341/tid=17343] ppid=17338 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/17341/task/17343/stat : 17343 (java) S 17338 17341 14474 0 -1 4202560 2537 0 1 0 76 4 0 0 20 0 22 0 23307988 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140235045581688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17344] ppid=17338 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/17341/task/17344/stat : 17344 (java) S 17338 17341 14474 0 -1 4202560 511 0 0 0 52 17 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234889619880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17345] ppid=17338 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/17341/task/17345/stat : 17345 (java) S 17338 17341 14474 0 -1 4202560 307 0 0 0 38 11 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234888567336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17346] ppid=17338 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/17341/task/17346/stat : 17346 (java) S 17338 17341 14474 0 -1 4202560 314 0 0 0 37 8 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234887514280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17347] ppid=17338 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/17341/task/17347/stat : 17347 (java) S 17338 17341 14474 0 -1 4202560 321 0 0 0 39 9 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234886461736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17348] ppid=17338 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/17341/task/17348/stat : 17348 (java) S 17338 17341 14474 0 -1 4202560 346 0 0 0 39 10 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234885409704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17349] ppid=17338 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/17341/task/17349/stat : 17349 (java) S 17338 17341 14474 0 -1 4202560 293 0 0 0 35 11 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234884357160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17350] ppid=17338 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/17341/task/17350/stat : 17350 (java) S 17338 17341 14474 0 -1 4202560 341 0 0 0 42 9 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234883304104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17351] ppid=17338 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/17341/task/17351/stat : 17351 (java) S 17338 17341 14474 0 -1 4202560 329 0 0 0 35 8 0 0 20 0 22 0 23307989 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234882251560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17352] ppid=17338 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/17341/task/17352/stat : 17352 (java) S 17338 17341 14474 0 -1 4202560 1476 0 0 0 59 5 0 0 20 0 22 0 23307991 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234869840232 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17353] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17353/stat : 17353 (java) S 17338 17341 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234868786552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17354] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17354/stat : 17354 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234867733384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17355] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17355/stat : 17355 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234866682128 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17356] ppid=17338 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/17341/task/17356/stat : 17356 (java) S 17338 17341 14474 0 -1 4202560 5891 0 0 0 98 2 0 0 20 0 22 0 23307994 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234865630008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17357] ppid=17338 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/17341/task/17357/stat : 17357 (java) S 17338 17341 14474 0 -1 4202560 9064 0 0 0 142 2 0 0 20 0 22 0 23307994 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234864577464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17358] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17358/stat : 17358 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234863524600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17359] ppid=17338 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/17341/task/17359/stat : 17359 (java) S 17338 17341 14474 0 -1 4202560 47 0 0 0 15 13 0 0 20 0 22 0 23307994 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234862472264 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17360] ppid=17338 vsize=9824732 CPUtime=819.61 cores=1,3,5,7
/proc/17341/task/17360/stat : 17360 (java) R 17338 17341 14474 0 -1 4202560 625 0 0 0 81931 30 0 0 20 0 22 0 23308073 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234861358976 140234918758208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17361] ppid=17338 vsize=9824732 CPUtime=819.65 cores=1,3,5,7
/proc/17341/task/17361/stat : 17361 (java) R 17338 17341 14474 0 -1 4202560 1383 0 0 0 81938 27 0 0 20 0 22 0 23308073 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234860312720 140234919147599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17362] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17362/stat : 17362 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308076 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234859262760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17363] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17363/stat : 17363 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308077 10060525568 618835 33554432000 1073741824 1073778376 140736975960224 140234858210216 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1647.28
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.06 4.11 4.08 5/220 17458
/proc/meminfo: memFree=26421440/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9824732 CPUtime=1767.09 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 25300 0 1 0 176565 144 0 0 20 0 22 0 23307987 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2456183 625407 2299 9 0 2446860 0
[pid=17341/tid=17343] ppid=17338 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/17341/task/17343/stat : 17343 (java) S 17338 17341 14474 0 -1 4202560 2537 0 1 0 76 4 0 0 20 0 22 0 23307988 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140235045581688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17344] ppid=17338 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/17341/task/17344/stat : 17344 (java) S 17338 17341 14474 0 -1 4202560 524 0 0 0 54 18 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234889619880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17345] ppid=17338 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/17341/task/17345/stat : 17345 (java) S 17338 17341 14474 0 -1 4202560 317 0 0 0 39 12 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234888567336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17346] ppid=17338 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/17341/task/17346/stat : 17346 (java) S 17338 17341 14474 0 -1 4202560 361 0 0 0 42 10 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234887514280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17347] ppid=17338 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/17341/task/17347/stat : 17347 (java) S 17338 17341 14474 0 -1 4202560 341 0 0 0 41 10 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234886461736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17348] ppid=17338 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/17341/task/17348/stat : 17348 (java) S 17338 17341 14474 0 -1 4202560 361 0 0 0 41 11 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234885409704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17349] ppid=17338 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/17341/task/17349/stat : 17349 (java) S 17338 17341 14474 0 -1 4202560 329 0 0 0 39 13 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234884357160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17350] ppid=17338 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17341/task/17350/stat : 17350 (java) S 17338 17341 14474 0 -1 4202560 356 0 0 0 43 10 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234883304104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17351] ppid=17338 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/17341/task/17351/stat : 17351 (java) S 17338 17341 14474 0 -1 4202560 332 0 0 0 38 8 0 0 20 0 22 0 23307989 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234882251560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17352] ppid=17338 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/17341/task/17352/stat : 17352 (java) S 17338 17341 14474 0 -1 4202560 1560 0 0 0 92 5 0 0 20 0 22 0 23307991 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234869840232 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17353] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17353/stat : 17353 (java) S 17338 17341 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234868786552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17354] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17354/stat : 17354 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234867733384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17355] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17355/stat : 17355 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234866682128 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17356] ppid=17338 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/17341/task/17356/stat : 17356 (java) S 17338 17341 14474 0 -1 4202560 5891 0 0 0 98 2 0 0 20 0 22 0 23307994 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234865630008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17357] ppid=17338 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/17341/task/17357/stat : 17357 (java) S 17338 17341 14474 0 -1 4202560 9064 0 0 0 142 2 0 0 20 0 22 0 23307994 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234864577464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17358] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17358/stat : 17358 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234863524600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17359] ppid=17338 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/17341/task/17359/stat : 17359 (java) S 17338 17341 14474 0 -1 4202560 51 0 0 0 17 14 0 0 20 0 22 0 23307994 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234862472264 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17360] ppid=17338 vsize=9824732 CPUtime=879.2 cores=1,3,5,7
/proc/17341/task/17360/stat : 17360 (java) R 17338 17341 14474 0 -1 4202560 626 0 0 0 87888 32 0 0 20 0 22 0 23308073 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234861358976 140234918758562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17361] ppid=17338 vsize=9824732 CPUtime=879.24 cores=1,3,5,7
/proc/17341/task/17361/stat : 17361 (java) R 17338 17341 14474 0 -1 4202560 1384 0 0 0 87896 28 0 0 20 0 22 0 23308073 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234860313632 140234919147024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17362] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17362/stat : 17362 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308076 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234859262760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17363] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17363/stat : 17363 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308077 10060525568 625407 33554432000 1073741824 1073778376 140736975960224 140234858210216 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.09
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.808 s]
/proc/loadavg: 4.05 4.11 4.08 5/220 17458
/proc/meminfo: memFree=26453960/32872528 swapFree=338416/354768
[pid=17341] ppid=17338 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/17341/stat : 17341 (java) S 17338 17341 14474 0 -1 4202496 25307 0 1 0 179867 144 0 0 20 0 22 0 23307987 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140736975951360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17341/statm: 2456183 603961 2299 9 0 2446860 0
[pid=17341/tid=17343] ppid=17338 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/17341/task/17343/stat : 17343 (java) S 17338 17341 14474 0 -1 4202560 2537 0 1 0 76 4 0 0 20 0 22 0 23307988 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140235045581688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17344] ppid=17338 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/17341/task/17344/stat : 17344 (java) S 17338 17341 14474 0 -1 4202560 528 0 0 0 55 18 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234889619880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17345] ppid=17338 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/17341/task/17345/stat : 17345 (java) S 17338 17341 14474 0 -1 4202560 317 0 0 0 39 12 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234888567336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17346] ppid=17338 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/17341/task/17346/stat : 17346 (java) S 17338 17341 14474 0 -1 4202560 361 0 0 0 42 10 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234887514280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17347] ppid=17338 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/17341/task/17347/stat : 17347 (java) S 17338 17341 14474 0 -1 4202560 341 0 0 0 41 10 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234886461736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17348] ppid=17338 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17341/task/17348/stat : 17348 (java) S 17338 17341 14474 0 -1 4202560 361 0 0 0 42 11 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234885409704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17349] ppid=17338 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17341/task/17349/stat : 17349 (java) S 17338 17341 14474 0 -1 4202560 329 0 0 0 40 13 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234884357160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17350] ppid=17338 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/17341/task/17350/stat : 17350 (java) S 17338 17341 14474 0 -1 4202560 356 0 0 0 44 10 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234883304104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17351] ppid=17338 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/17341/task/17351/stat : 17351 (java) S 17338 17341 14474 0 -1 4202560 332 0 0 0 38 8 0 0 20 0 22 0 23307989 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234882251560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17352] ppid=17338 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/17341/task/17352/stat : 17352 (java) S 17338 17341 14474 0 -1 4202560 1562 0 0 0 92 5 0 0 20 0 22 0 23307991 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234869840232 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17353] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17353/stat : 17353 (java) S 17338 17341 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234868786552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17354] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17354/stat : 17354 (java) S 17338 17341 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23307991 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234867733384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17355] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17355/stat : 17355 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234866682128 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17356] ppid=17338 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/17341/task/17356/stat : 17356 (java) S 17338 17341 14474 0 -1 4202560 5891 0 0 0 98 2 0 0 20 0 22 0 23307994 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234865630008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17341/tid=17357] ppid=17338 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/17341/task/17357/stat : 17357 (java) S 17338 17341 14474 0 -1 4202560 9064 0 0 0 142 2 0 0 20 0 22 0 23307994 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234864577464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17358] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17358/stat : 17358 (java) S 17338 17341 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23307994 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234863524600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17359] ppid=17338 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/17341/task/17359/stat : 17359 (java) S 17338 17341 14474 0 -1 4202560 51 0 0 0 17 14 0 0 20 0 22 0 23307994 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234862472264 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17341/tid=17360] ppid=17338 vsize=9824732 CPUtime=895.69 cores=1,3,5,7
/proc/17341/task/17360/stat : 17360 (java) R 17338 17341 14474 0 -1 4202560 627 0 0 0 89537 32 0 0 20 0 22 0 23308073 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234861366672 140234918758701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17361] ppid=17338 vsize=9824732 CPUtime=895.73 cores=1,3,5,7
/proc/17341/task/17361/stat : 17361 (java) R 17338 17341 14474 0 -1 4202560 1384 0 0 0 89545 28 0 0 20 0 22 0 23308073 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234860313040 140234919147046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17341/tid=17362] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17362/stat : 17362 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308076 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234859262760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17341/tid=17363] ppid=17338 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17341/task/17363/stat : 17363 (java) S 17338 17341 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23308077 10060525568 603961 33554432000 1073741824 1073778376 140736975960224 140234858210216 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17341 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.848
CPU time (s): 1800.65
CPU user time (s): 1798.7
CPU system time (s): 1.9527
CPU usage (%): 200.329
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.9527
maximum resident set size= 3016912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25340
page faults= 1
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21867
involuntary context switches= 11076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37218 second user time and 7.81581 second system time
The end