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-4091956-1466079300/watcher-4091956-1466079300 -o /tmp/evaluation-result-4091956-1466079300/solver-4091956-1466079300 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466075580-10197 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091956-1466079300.wbo
pid=17272
running on 4 cores: 0,2,4,6
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.01 2.50 2.33 3/196 17275
/proc/meminfo: memFree=28389620/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17275/stat : 17275 (java) D 17272 17275 8056 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 9976727 9515008 175 33554432000 1073741824 1073778376 140736776462736 140736776445464 214369649552 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/17275/statm: 2323 175 133 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 3.01 2.50 2.33 3/196 17275
/proc/meminfo: memFree=28389620/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 4313 0 1 0 6 2 0 0 20 0 18 0 9976727 9787879424 5432 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2389619 5432 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200216 s]
/proc/loadavg: 3.01 2.50 2.33 3/196 17275
/proc/meminfo: memFree=28389620/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 4724 0 1 0 20 2 0 0 20 0 18 0 9976727 9787879424 6813 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2389619 6813 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300225 s]
/proc/loadavg: 3.01 2.50 2.33 3/196 17275
/proc/meminfo: memFree=28389620/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 5635 0 1 0 42 2 0 0 20 0 18 0 9976727 9787879424 8373 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2389619 8373 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.70031 s]
/proc/loadavg: 3.01 2.50 2.33 3/196 17275
/proc/meminfo: memFree=28389620/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 10400 0 1 0 111 5 0 0 20 0 19 0 9976727 10060525568 13088 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2456183 13088 2258 9 0 2446860 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9824732
[startup+1.50083 s]
/proc/loadavg: 3.01 2.50 2.33 4/215 17300
/proc/meminfo: memFree=28316980/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 23329 0 1 0 212 11 0 0 20 0 19 0 9976727 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2456183 22189 2265 9 0 2446860 0
[pid=17275/tid=17277] ppid=17272 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/17275/task/17277/stat : 17277 (java) S 17272 17275 8056 0 -1 4202560 2424 0 1 0 32 1 0 0 20 0 19 0 9976728 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307750441848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17278/stat : 17278 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307728542376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17279] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17279/stat : 17279 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307727489832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17280] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17280/stat : 17280 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307726437288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17281] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17281/stat : 17281 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307725384744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17282] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17282/stat : 17282 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307724331176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17283] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17283/stat : 17283 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307253422376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17284] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17284/stat : 17284 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307252369832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17285] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17285/stat : 17285 (java) S 17272 17275 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307251317288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17286] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17286/stat : 17286 (java) S 17272 17275 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307238906472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17287] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17287/stat : 17287 (java) S 17272 17275 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307237852792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17288] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17288/stat : 17288 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307236800136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17289] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17289/stat : 17289 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307235748880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17290] ppid=17272 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/17275/task/17290/stat : 17290 (java) S 17272 17275 8056 0 -1 4202560 8373 0 0 0 72 2 0 0 20 0 19 0 9976734 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307234695224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17291] ppid=17272 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/17275/task/17291/stat : 17291 (java) S 17272 17275 8056 0 -1 4202560 11187 0 0 0 68 2 0 0 20 0 19 0 9976734 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307233642680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17292] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17292/stat : 17292 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307232590328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17293] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17293/stat : 17293 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307231537992 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17297] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17297/stat : 17297 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9976764 10060525568 22189 33554432000 1073741824 1073778376 140736182070864 140307227227816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9824732
[startup+3.1009 s]
/proc/loadavg: 3.01 2.50 2.33 3/215 17306
/proc/meminfo: memFree=28299864/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 26877 0 1 0 272 17 0 0 20 0 19 0 9976727 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2456183 29621 2266 9 0 2446860 0
[pid=17275/tid=17277] ppid=17272 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/17275/task/17277/stat : 17277 (java) S 17272 17275 8056 0 -1 4202560 2427 0 1 0 33 2 0 0 20 0 19 0 9976728 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307750441848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17278/stat : 17278 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307728542376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17279] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17279/stat : 17279 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307727489832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17280] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17280/stat : 17280 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307726437288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17281] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17281/stat : 17281 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307725384744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17282] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17282/stat : 17282 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307724331176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17283] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17283/stat : 17283 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307253422376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17284] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17284/stat : 17284 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307252369832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17285] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17285/stat : 17285 (java) S 17272 17275 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307251317288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17286] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17286/stat : 17286 (java) S 17272 17275 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307238906472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17287] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17287/stat : 17287 (java) S 17272 17275 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307237852792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17288] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17288/stat : 17288 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307236800136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17289] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17289/stat : 17289 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307235748880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17290] ppid=17272 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/17275/task/17290/stat : 17290 (java) S 17272 17275 8056 0 -1 4202560 11769 0 0 0 102 3 0 0 20 0 19 0 9976734 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307234695224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17291] ppid=17272 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/17275/task/17291/stat : 17291 (java) S 17272 17275 8056 0 -1 4202560 11305 0 0 0 81 2 0 0 20 0 19 0 9976734 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307233642680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17292] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17292/stat : 17292 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307232590328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17293] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17293/stat : 17293 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307231537992 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17297] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17297/stat : 17297 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9976764 10060525568 29621 33554432000 1073741824 1073778376 140736182070864 140307227227816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 9824732
[startup+6.30083 s]
/proc/loadavg: 2.85 2.48 2.32 2/215 17327
/proc/meminfo: memFree=28228276/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 26994 0 1 0 314 30 0 0 20 0 19 0 9976727 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2456183 45284 2270 9 0 2446860 0
[pid=17275/tid=17277] ppid=17272 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/17275/task/17277/stat : 17277 (java) S 17272 17275 8056 0 -1 4202560 2431 0 1 0 35 2 0 0 20 0 19 0 9976728 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307750441848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17278/stat : 17278 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307728542376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17279] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17279/stat : 17279 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307727489832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17280] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17280/stat : 17280 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307726437288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17281] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17281/stat : 17281 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307725384744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17282] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17282/stat : 17282 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307724331176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17283] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17283/stat : 17283 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307253422376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17284] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17284/stat : 17284 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307252369832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17285] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17285/stat : 17285 (java) S 17272 17275 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9976730 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307251317288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17286] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17286/stat : 17286 (java) S 17272 17275 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307238906472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17287] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17287/stat : 17287 (java) S 17272 17275 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307237852792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17288] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17288/stat : 17288 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9976731 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307236800136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17289] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17289/stat : 17289 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307235748880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17290] ppid=17272 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/17275/task/17290/stat : 17290 (java) S 17272 17275 8056 0 -1 4202560 11769 0 0 0 107 3 0 0 20 0 19 0 9976734 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307234695224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17291] ppid=17272 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/17275/task/17291/stat : 17291 (java) S 17272 17275 8056 0 -1 4202560 11329 0 0 0 94 2 0 0 20 0 19 0 9976734 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307233642680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17292] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17292/stat : 17292 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307232590328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17293] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17293/stat : 17293 (java) S 17272 17275 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9976734 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307231537992 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17297] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17297/stat : 17297 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9976764 10060525568 45284 33554432000 1073741824 1073778376 140736182070864 140307227227816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 9824732
heavy processes:
################
# More data... #
################
[pid=17275/tid=17436] ppid=17272 vsize=9824732 CPUtime=1546.56 cores=0,2,4,6
/proc/17275/task/17436/stat : 17436 (java) R 17272 17275 8056 0 -1 4202560 1493 0 0 0 154610 46 0 0 20 0 21 0 9980884 10060525568 988163 33554432000 1073741824 1073778376 140736182070864 140307230383536 140307606581208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17437] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17437/stat : 17437 (java) S 17272 17275 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9980888 10060525568 988163 33554432000 1073741824 1073778376 140736182070864 140307229332648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1624.37
Current children cumulated vsize (KiB) 9824732
[startup+1662.3 s]
/proc/loadavg: 2.10 2.12 2.19 4/217 18435
/proc/meminfo: memFree=24480540/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9824732 CPUtime=1685.95 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 41670 0 1 0 168186 409 0 0 20 0 21 0 9976727 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2456183 998940 2295 9 0 2446860 0
[pid=17275/tid=17277] ppid=17272 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/17275/task/17277/stat : 17277 (java) S 17272 17275 8056 0 -1 4202560 2518 0 1 0 108 25 0 0 20 0 21 0 9976728 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307750441976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=9824732 CPUtime=4.49 cores=0,2,4,6
/proc/17275/task/17278/stat : 17278 (java) S 17272 17275 8056 0 -1 4202560 1002 0 0 0 417 32 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307728542376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17279] ppid=17272 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/17275/task/17279/stat : 17279 (java) S 17272 17275 8056 0 -1 4202560 631 0 0 0 383 29 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307727489832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17280] ppid=17272 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/17275/task/17280/stat : 17280 (java) S 17272 17275 8056 0 -1 4202560 871 0 0 0 393 29 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307726437288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17281] ppid=17272 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/17275/task/17281/stat : 17281 (java) S 17272 17275 8056 0 -1 4202560 612 0 0 0 389 23 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307725384744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17282] ppid=17272 vsize=9824732 CPUtime=4.11 cores=0,2,4,6
/proc/17275/task/17282/stat : 17282 (java) S 17272 17275 8056 0 -1 4202560 690 0 0 0 380 31 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307724331176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17283] ppid=17272 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/17275/task/17283/stat : 17283 (java) S 17272 17275 8056 0 -1 4202560 558 0 0 0 372 26 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307253422376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17284] ppid=17272 vsize=9824732 CPUtime=4.03 cores=0,2,4,6
/proc/17275/task/17284/stat : 17284 (java) S 17272 17275 8056 0 -1 4202560 572 0 0 0 377 26 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307252369832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17285] ppid=17272 vsize=9824732 CPUtime=4.38 cores=0,2,4,6
/proc/17275/task/17285/stat : 17285 (java) S 17272 17275 8056 0 -1 4202560 875 0 0 0 412 26 0 0 20 0 21 0 9976730 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307251317288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17286] ppid=17272 vsize=9824732 CPUtime=6.2 cores=0,2,4,6
/proc/17275/task/17286/stat : 17286 (java) S 17272 17275 8056 0 -1 4202560 3076 0 0 0 610 10 0 0 20 0 21 0 9976731 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307238906472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17287] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17287/stat : 17287 (java) S 17272 17275 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9976731 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307237852792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17288] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17288/stat : 17288 (java) S 17272 17275 8056 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 21 0 9976731 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307236800136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17289] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17289/stat : 17289 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9976734 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307235748880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17290] ppid=17272 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/17275/task/17290/stat : 17290 (java) S 17272 17275 8056 0 -1 4202560 12784 0 0 0 193 3 0 0 20 0 21 0 9976734 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307234695224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17291] ppid=17272 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/17275/task/17291/stat : 17291 (java) S 17272 17275 8056 0 -1 4202560 13589 0 0 0 166 3 0 0 20 0 21 0 9976734 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307233642680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17292] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17292/stat : 17292 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9976734 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307232590328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17293] ppid=17272 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/17275/task/17293/stat : 17293 (java) S 17272 17275 8056 0 -1 4202560 98 0 0 0 27 27 0 0 20 0 21 0 9976734 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307231537992 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17297] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17297/stat : 17297 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9976764 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307227227816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17436] ppid=17272 vsize=9824732 CPUtime=1606.03 cores=0,2,4,6
/proc/17275/task/17436/stat : 17436 (java) R 17272 17275 8056 0 -1 4202560 1493 0 0 0 160556 47 0 0 20 0 21 0 9980884 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307230383552 140307606462232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17437] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17437/stat : 17437 (java) S 17272 17275 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9980888 10060525568 998940 33554432000 1073741824 1073778376 140736182070864 140307229332648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1685.95
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.10 2.11 2.18 4/217 18436
/proc/meminfo: memFree=24472136/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9824732 CPUtime=1747.02 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 41755 0 1 0 174290 412 0 0 20 0 21 0 9976727 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2456183 1013810 2295 9 0 2446860 0
[pid=17275/tid=17277] ppid=17272 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/17275/task/17277/stat : 17277 (java) S 17272 17275 8056 0 -1 4202560 2521 0 1 0 110 26 0 0 20 0 21 0 9976728 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307750441976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=9824732 CPUtime=4.61 cores=0,2,4,6
/proc/17275/task/17278/stat : 17278 (java) S 17272 17275 8056 0 -1 4202560 1007 0 0 0 429 32 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307728542376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17279] ppid=17272 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/17275/task/17279/stat : 17279 (java) S 17272 17275 8056 0 -1 4202560 643 0 0 0 398 30 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307727489832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17280] ppid=17272 vsize=9824732 CPUtime=4.42 cores=0,2,4,6
/proc/17275/task/17280/stat : 17280 (java) S 17272 17275 8056 0 -1 4202560 882 0 0 0 413 29 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307726437288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17281] ppid=17272 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/17275/task/17281/stat : 17281 (java) S 17272 17275 8056 0 -1 4202560 618 0 0 0 412 23 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307725384744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17282] ppid=17272 vsize=9824732 CPUtime=4.24 cores=0,2,4,6
/proc/17275/task/17282/stat : 17282 (java) S 17272 17275 8056 0 -1 4202560 699 0 0 0 392 32 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307724331176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17283] ppid=17272 vsize=9824732 CPUtime=4.11 cores=0,2,4,6
/proc/17275/task/17283/stat : 17283 (java) S 17272 17275 8056 0 -1 4202560 568 0 0 0 385 26 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307253422376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17284] ppid=17272 vsize=9824732 CPUtime=4.31 cores=0,2,4,6
/proc/17275/task/17284/stat : 17284 (java) S 17272 17275 8056 0 -1 4202560 583 0 0 0 405 26 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307252369832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17285] ppid=17272 vsize=9824732 CPUtime=4.56 cores=0,2,4,6
/proc/17275/task/17285/stat : 17285 (java) S 17272 17275 8056 0 -1 4202560 882 0 0 0 430 26 0 0 20 0 21 0 9976730 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307251317288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17286] ppid=17272 vsize=9824732 CPUtime=6.2 cores=0,2,4,6
/proc/17275/task/17286/stat : 17286 (java) S 17272 17275 8056 0 -1 4202560 3083 0 0 0 610 10 0 0 20 0 21 0 9976731 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307238906472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17287] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17287/stat : 17287 (java) S 17272 17275 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9976731 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307237852792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17288] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17288/stat : 17288 (java) S 17272 17275 8056 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 21 0 9976731 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307236800136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17289] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17289/stat : 17289 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9976734 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307235748880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17290] ppid=17272 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/17275/task/17290/stat : 17290 (java) S 17272 17275 8056 0 -1 4202560 12784 0 0 0 193 3 0 0 20 0 21 0 9976734 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307234695224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17291] ppid=17272 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/17275/task/17291/stat : 17291 (java) S 17272 17275 8056 0 -1 4202560 13589 0 0 0 166 3 0 0 20 0 21 0 9976734 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307233642680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17292] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17292/stat : 17292 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9976734 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307232590328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17293] ppid=17272 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/17275/task/17293/stat : 17293 (java) S 17272 17275 8056 0 -1 4202560 102 0 0 0 27 28 0 0 20 0 21 0 9976734 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307231537992 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17297] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17297/stat : 17297 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9976764 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307227227816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17436] ppid=17272 vsize=9824732 CPUtime=1665.66 cores=0,2,4,6
/proc/17275/task/17436/stat : 17436 (java) R 17272 17275 8056 0 -1 4202560 1493 0 0 0 166518 48 0 0 20 0 21 0 9980884 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307230383536 140307606620990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17437] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17437/stat : 17437 (java) S 17272 17275 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9980888 10060525568 1013810 33554432000 1073741824 1073778376 140736182070864 140307229332648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1747.02
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1773.4 s]
/proc/loadavg: 2.14 2.12 2.18 3/217 18438
/proc/meminfo: memFree=24480204/32872528 swapFree=1286144/1433312
[pid=17275] ppid=17272 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/17275/stat : 17275 (java) S 17272 17275 8056 0 -1 4202496 42725 0 1 0 179586 414 0 0 20 0 21 0 9976727 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140736182062000 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17275/statm: 2456183 1022940 2295 9 0 2446860 0
[pid=17275/tid=17277] ppid=17272 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/17275/task/17277/stat : 17277 (java) S 17272 17275 8056 0 -1 4202560 2524 0 1 0 111 27 0 0 20 0 21 0 9976728 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307750441976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=9824732 CPUtime=4.88 cores=0,2,4,6
/proc/17275/task/17278/stat : 17278 (java) S 17272 17275 8056 0 -1 4202560 1012 0 0 0 456 32 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307728542376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17279] ppid=17272 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/17275/task/17279/stat : 17279 (java) S 17272 17275 8056 0 -1 4202560 648 0 0 0 430 30 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307727489832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17280] ppid=17272 vsize=9824732 CPUtime=4.79 cores=0,2,4,6
/proc/17275/task/17280/stat : 17280 (java) S 17272 17275 8056 0 -1 4202560 886 0 0 0 450 29 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307726437288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17281] ppid=17272 vsize=9824732 CPUtime=4.68 cores=0,2,4,6
/proc/17275/task/17281/stat : 17281 (java) S 17272 17275 8056 0 -1 4202560 622 0 0 0 445 23 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307725384744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17282] ppid=17272 vsize=9824732 CPUtime=4.59 cores=0,2,4,6
/proc/17275/task/17282/stat : 17282 (java) S 17272 17275 8056 0 -1 4202560 705 0 0 0 427 32 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307724331176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17283] ppid=17272 vsize=9824732 CPUtime=4.4 cores=0,2,4,6
/proc/17275/task/17283/stat : 17283 (java) S 17272 17275 8056 0 -1 4202560 575 0 0 0 414 26 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307253422376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17284] ppid=17272 vsize=9824732 CPUtime=4.55 cores=0,2,4,6
/proc/17275/task/17284/stat : 17284 (java) S 17272 17275 8056 0 -1 4202560 592 0 0 0 429 26 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307252369832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17285] ppid=17272 vsize=9824732 CPUtime=4.88 cores=0,2,4,6
/proc/17275/task/17285/stat : 17285 (java) S 17272 17275 8056 0 -1 4202560 885 0 0 0 462 26 0 0 20 0 21 0 9976730 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307251317288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17286] ppid=17272 vsize=9824732 CPUtime=8.86 cores=0,2,4,6
/proc/17275/task/17286/stat : 17286 (java) S 17272 17275 8056 0 -1 4202560 4005 0 0 0 875 11 0 0 20 0 21 0 9976731 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307238906472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17287] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17287/stat : 17287 (java) S 17272 17275 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9976731 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307237852792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17288] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17288/stat : 17288 (java) S 17272 17275 8056 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 21 0 9976731 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307236800136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17289] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17289/stat : 17289 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9976734 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307235748880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17275/tid=17290] ppid=17272 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/17275/task/17290/stat : 17290 (java) S 17272 17275 8056 0 -1 4202560 12784 0 0 0 193 3 0 0 20 0 21 0 9976734 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307234695224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17291] ppid=17272 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/17275/task/17291/stat : 17291 (java) S 17272 17275 8056 0 -1 4202560 13589 0 0 0 166 3 0 0 20 0 21 0 9976734 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307233642680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17292] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17292/stat : 17292 (java) S 17272 17275 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9976734 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307232590328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17275/tid=17293] ppid=17272 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/17275/task/17293/stat : 17293 (java) S 17272 17275 8056 0 -1 4202560 104 0 0 0 28 29 0 0 20 0 21 0 9976734 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307231537992 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17275/tid=17297] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17297/stat : 17297 (java) S 17272 17275 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9976764 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307227227816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17436] ppid=17272 vsize=9824732 CPUtime=1713.48 cores=0,2,4,6
/proc/17275/task/17436/stat : 17436 (java) R 17272 17275 8056 0 -1 4202560 1493 0 0 0 171299 49 0 0 20 0 21 0 9980884 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307230383536 140307606474870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17275/tid=17437] ppid=17272 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17437/stat : 17437 (java) S 17272 17275 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9980888 10060525568 1022940 33554432000 1073741824 1073778376 140736182070864 140307229332648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 17275 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1773.44
CPU time (s): 1800.74
CPU user time (s): 1796.06
CPU system time (s): 4.68329
CPU usage (%): 101.539
Max. virtual memory (cumulated for all children) (KiB): 9824992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.06
system time used= 4.68329
maximum resident set size= 4091860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42757
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77380
involuntary context switches= 39905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5892 second user time and 13.237 second system time
The end