runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3718113-1338251656/watcher-3718113-1338251656 -o /tmp/evaluation-result-3718113-1338251656/solver-3718113-1338251656 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718113-1338251656.wbo
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: 1.23 1.44 1.75 2/194 13188
/proc/meminfo: memFree=29565072/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/13188/stat : 13188 (java) R 13186 13188 13069 0 -1 4202496 991 0 0 0 0 0 0 0 20 0 1 0 291289727 23793664 718 33554432000 1073741824 1073778376 140736408932064 140736408921128 251043820904 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 5809 727 539 9 0 128 0
[startup+0.0657289 s]
/proc/loadavg: 1.23 1.44 1.75 2/194 13188
/proc/meminfo: memFree=29565072/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9558416 CPUtime=0.05 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 3338 0 1 0 5 0 0 0 20 0 18 0 291289727 9787817984 4035 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2389604 4035 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558416
[startup+0.100255 s]
/proc/loadavg: 1.23 1.44 1.75 2/194 13188
/proc/meminfo: memFree=29565072/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9558416 CPUtime=0.11 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 4443 0 1 0 10 1 0 0 20 0 18 0 291289727 9787817984 5642 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2389604 5642 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558416
[startup+0.300216 s]
/proc/loadavg: 1.23 1.44 1.75 2/194 13188
/proc/meminfo: memFree=29565072/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 7129 0 1 0 54 2 0 0 20 0 19 0 291289727 9855979520 7711 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 7711 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9624980
[startup+0.700196 s]
/proc/loadavg: 1.23 1.44 1.75 2/194 13188
/proc/meminfo: memFree=29565072/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=1.09 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 7563 0 1 0 107 2 0 0 20 0 19 0 291289727 9855979520 8789 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 8789 2239 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9624980
[startup+1.50064 s]
/proc/loadavg: 1.45 1.48 1.76 3/213 13207
/proc/meminfo: memFree=29529768/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=2.05 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 9011 0 1 0 203 2 0 0 20 0 19 0 291289727 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 11978 2270 9 0 2396937 0
[pid=13188/tid=13190] ppid=13186 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/13188/task/13190/stat : 13190 (java) R 13186 13188 13069 0 -1 4202560 2515 0 1 0 144 0 0 0 20 0 19 0 291289727 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382752326080 140382625067646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382596229672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13192] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382595176872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13193] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382594124072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13194] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13069 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382593071272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382592019496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13196] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382590966696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13197] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13197/stat : 13197 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382589913896 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13198] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13198/stat : 13198 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382588861096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13199] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13199/stat : 13199 (java) S 13186 13188 13069 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291289729 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382576663016 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13200] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13200/stat : 13200 (java) S 13186 13188 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382575609080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13201] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13201/stat : 13201 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382574556168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13202] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13202/stat : 13202 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382573504656 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13203] ppid=13186 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/13188/task/13203/stat : 13203 (java) S 13186 13188 13069 0 -1 4202560 3282 0 0 0 30 1 0 0 20 0 19 0 291289732 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382572452792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13204] ppid=13186 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/13188/task/13204/stat : 13204 (java) S 13186 13188 13069 0 -1 4202560 1960 0 0 0 22 0 0 0 20 0 19 0 291289732 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382571399992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13205] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13205/stat : 13205 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382570347384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13206] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13206/stat : 13206 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382569294792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13207] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13207/stat : 13207 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289744 9855979520 11978 33554432000 1073741824 1073778376 140736408932064 140382568203432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9624980
[startup+3.10066 s]
/proc/loadavg: 1.45 1.48 1.76 4/213 13207
/proc/meminfo: memFree=29515192/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=3.84 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 12695 0 1 0 381 3 0 0 20 0 19 0 291289727 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 13452 2270 9 0 2396937 0
[pid=13188/tid=13190] ppid=13186 vsize=9624980 CPUtime=2.95 cores=0,2,4,6
/proc/13188/task/13190/stat : 13190 (java) R 13186 13188 13069 0 -1 4202560 2523 0 1 0 295 0 0 0 20 0 19 0 291289727 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382752334216 140382625037948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13069 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382596229672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13192] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382595176872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13193] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382594124072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13194] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13069 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382593071272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382592019496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13196] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382590966696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13197] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13197/stat : 13197 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382589913896 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13198] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13198/stat : 13198 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382588861096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13199] ppid=13186 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/13188/task/13199/stat : 13199 (java) S 13186 13188 13069 0 -1 4202560 31 0 0 0 8 0 0 0 20 0 19 0 291289729 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382576663016 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13200] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13200/stat : 13200 (java) S 13186 13188 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382575609080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13201] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13201/stat : 13201 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382574556168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13202] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13202/stat : 13202 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382573504656 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13203] ppid=13186 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/13188/task/13203/stat : 13203 (java) S 13186 13188 13069 0 -1 4202560 4047 0 0 0 34 1 0 0 20 0 19 0 291289732 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382572452792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13204] ppid=13186 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/13188/task/13204/stat : 13204 (java) S 13186 13188 13069 0 -1 4202560 4862 0 0 0 34 0 0 0 20 0 19 0 291289732 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382571399992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13205] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13205/stat : 13205 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382570347384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13206] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13206/stat : 13206 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382569294792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13207] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13207/stat : 13207 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289744 9855979520 13452 33554432000 1073741824 1073778376 140736408932064 140382568203432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9624980
[startup+6.30074 s]
/proc/loadavg: 1.50 1.49 1.76 3/213 13207
/proc/meminfo: memFree=29520160/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=7.11 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 12746 0 1 0 708 3 0 0 20 0 19 0 291289727 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 12386 2271 9 0 2396937 0
[pid=13188/tid=13190] ppid=13186 vsize=9624980 CPUtime=6.01 cores=0,2,4,6
/proc/13188/task/13190/stat : 13190 (java) R 13186 13188 13069 0 -1 4202560 2538 0 1 0 601 0 0 0 20 0 19 0 291289727 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382752334216 140382625094197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13069 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382596229672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13192] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382595176872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13193] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382594124072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13194] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13069 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382593071272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382592019496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13196] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382590966696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13197] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13197/stat : 13197 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382589913896 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13198] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13198/stat : 13198 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291289728 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382588861096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13199] ppid=13186 vsize=9624980 CPUtime=0.2 cores=0,2,4,6
/proc/13188/task/13199/stat : 13199 (java) S 13186 13188 13069 0 -1 4202560 31 0 0 0 20 0 0 0 20 0 19 0 291289729 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382576663016 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13200] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13200/stat : 13200 (java) S 13186 13188 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382575609080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13201] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13201/stat : 13201 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382574556168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13202] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13202/stat : 13202 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382573504656 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13203] ppid=13186 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/13188/task/13203/stat : 13203 (java) S 13186 13188 13069 0 -1 4202560 4053 0 0 0 34 2 0 0 20 0 19 0 291289732 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382572452792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13204] ppid=13186 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/13188/task/13204/stat : 13204 (java) S 13186 13188 13069 0 -1 4202560 4887 0 0 0 37 0 0 0 20 0 19 0 291289732 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382571399992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13205] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13205/stat : 13205 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382570347384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13206] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13206/stat : 13206 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382569294792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13207] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13207/stat : 13207 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289744 9855979520 12386 33554432000 1073741824 1073778376 140736408932064 140382568203432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9624980
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13069 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382596229672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13192] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382595176872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13193] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382594124072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13194] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13069 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382593071272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382592019496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13196] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382590966696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13197] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13197/stat : 13197 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382589913896 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13198] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13198/stat : 13198 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382588861096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13199] ppid=13186 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/13188/task/13199/stat : 13199 (java) S 13186 13188 13069 0 -1 4202560 31 0 0 0 36 0 0 0 20 0 19 0 291289729 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382576663016 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13200] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13200/stat : 13200 (java) S 13186 13188 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382575609080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13201] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13201/stat : 13201 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382574556168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13202] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13202/stat : 13202 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382573504656 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13203] ppid=13186 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/13188/task/13203/stat : 13203 (java) S 13186 13188 13069 0 -1 4202560 4058 0 0 0 38 2 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382572452792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13204] ppid=13186 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/13188/task/13204/stat : 13204 (java) S 13186 13188 13069 0 -1 4202560 4887 0 0 0 37 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382571399992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13205] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13205/stat : 13205 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382570347384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13206] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13206/stat : 13206 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382569294792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13207] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13207/stat : 13207 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289744 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382568203432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 9624980
[startup+12.3007 s]
/proc/loadavg: 1.54 1.50 1.76 3/213 13207
/proc/meminfo: memFree=29517576/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=13.2 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 12773 0 1 0 1317 3 0 0 20 0 19 0 291289727 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 12395 2271 9 0 2396937 0
[pid=13188/tid=13190] ppid=13186 vsize=9624980 CPUtime=11.81 cores=0,2,4,6
/proc/13188/task/13190/stat : 13190 (java) R 13186 13188 13069 0 -1 4202560 2556 0 1 0 1181 0 0 0 20 0 19 0 291289727 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382752334216 140382625241408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13069 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382596229672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13192] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382595176872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13193] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382594124072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13194] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13069 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382593071272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382592019496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13196] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382590966696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13197] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13197/stat : 13197 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382589913896 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13198] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13198/stat : 13198 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382588861096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13199] ppid=13186 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/13188/task/13199/stat : 13199 (java) S 13186 13188 13069 0 -1 4202560 31 0 0 0 36 0 0 0 20 0 19 0 291289729 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382576663016 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13200] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13200/stat : 13200 (java) S 13186 13188 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382575609080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13201] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13201/stat : 13201 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382574556168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13202] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13202/stat : 13202 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382573504656 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13203] ppid=13186 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/13188/task/13203/stat : 13203 (java) S 13186 13188 13069 0 -1 4202560 4058 0 0 0 38 2 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382572452792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13204] ppid=13186 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/13188/task/13204/stat : 13204 (java) S 13186 13188 13069 0 -1 4202560 4887 0 0 0 37 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382571399992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13205] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13205/stat : 13205 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382570347384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13206] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13206/stat : 13206 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382569294792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13207] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13207/stat : 13207 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289744 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382568203432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.2
Current children cumulated vsize (KiB) 9624980
[startup+12.5007 s]
/proc/loadavg: 1.54 1.50 1.76 3/213 13207
/proc/meminfo: memFree=29517576/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=13.4 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 12774 0 1 0 1337 3 0 0 20 0 19 0 291289727 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 12395 2271 9 0 2396937 0
[pid=13188/tid=13190] ppid=13186 vsize=9624980 CPUtime=12 cores=0,2,4,6
/proc/13188/task/13190/stat : 13190 (java) R 13186 13188 13069 0 -1 4202560 2557 0 1 0 1200 0 0 0 20 0 19 0 291289727 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382752334096 140382625045155 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13069 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382596229672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13192] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382595176872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13193] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382594124072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13194] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13069 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382593071272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382592019496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13196] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382590966696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13197] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13197/stat : 13197 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382589913896 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13198] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13198/stat : 13198 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382588861096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13199] ppid=13186 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/13188/task/13199/stat : 13199 (java) S 13186 13188 13069 0 -1 4202560 31 0 0 0 37 0 0 0 20 0 19 0 291289729 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382576663016 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13200] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13200/stat : 13200 (java) S 13186 13188 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382575609080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13201] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13201/stat : 13201 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382574556168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13202] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13202/stat : 13202 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382573504656 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13203] ppid=13186 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/13188/task/13203/stat : 13203 (java) S 13186 13188 13069 0 -1 4202560 4058 0 0 0 38 2 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382572452792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13204] ppid=13186 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/13188/task/13204/stat : 13204 (java) S 13186 13188 13069 0 -1 4202560 4887 0 0 0 37 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382571399992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13205] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13205/stat : 13205 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382570347384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13206] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13206/stat : 13206 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382569294792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13207] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13207/stat : 13207 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289744 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382568203432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.4
Current children cumulated vsize (KiB) 9624980
[startup+12.6007 s]
/proc/loadavg: 1.54 1.50 1.76 3/213 13207
/proc/meminfo: memFree=29517576/32873648 swapFree=7368/7368
[pid=13188] ppid=13186 vsize=9624980 CPUtime=13.5 cores=0,2,4,6
/proc/13188/stat : 13188 (java) S 13186 13188 13069 0 -1 4202496 12774 0 1 0 1347 3 0 0 20 0 19 0 291289727 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140736408923200 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13188/statm: 2406245 12395 2271 9 0 2396937 0
[pid=13188/tid=13190] ppid=13186 vsize=9624980 CPUtime=12.1 cores=0,2,4,6
/proc/13188/task/13190/stat : 13190 (java) R 13186 13188 13069 0 -1 4202560 2557 0 1 0 1210 0 0 0 20 0 19 0 291289727 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382752334096 140382625093698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13069 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382596229672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13192] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13069 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382595176872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13193] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13069 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382594124072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13194] ppid=13186 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13069 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382593071272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382592019496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13196] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382590966696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13197] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13197/stat : 13197 (java) S 13186 13188 13069 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382589913896 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13198] ppid=13186 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13188/task/13198/stat : 13198 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291289728 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382588861096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13199] ppid=13186 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/13188/task/13199/stat : 13199 (java) S 13186 13188 13069 0 -1 4202560 31 0 0 0 37 0 0 0 20 0 19 0 291289729 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382576663016 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13188/tid=13200] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13200/stat : 13200 (java) S 13186 13188 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382575609080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13201] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13201/stat : 13201 (java) S 13186 13188 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291289730 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382574556168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13202] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13202/stat : 13202 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382573504656 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13203] ppid=13186 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/13188/task/13203/stat : 13203 (java) S 13186 13188 13069 0 -1 4202560 4058 0 0 0 38 2 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382572452792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13188/tid=13204] ppid=13186 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/13188/task/13204/stat : 13204 (java) S 13186 13188 13069 0 -1 4202560 4887 0 0 0 37 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382571399992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13205] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13205/stat : 13205 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382570347384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13188/tid=13206] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13206/stat : 13206 (java) S 13186 13188 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291289732 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382569294792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13188/tid=13207] ppid=13186 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13188/task/13207/stat : 13207 (java) S 13186 13188 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291289744 9855979520 12395 33554432000 1073741824 1073778376 140736408932064 140382568203432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.5
Current children cumulated vsize (KiB) 9624980
Child status: 30
Real time (s): 12.6981
CPU time (s): 13.6819
CPU user time (s): 13.5399
CPU system time (s): 0.141978
CPU usage (%): 107.748
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5399
system time used= 0.141978
maximum resident set size= 56036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12787
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1647
involuntary context switches= 883
runsolver used 0.031995 second user time and 0.115982 second system time
The end