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-3689729-1337892882/watcher-3689729-1337892882 -o /tmp/evaluation-result-3689729-1337892882/solver-3689729-1337892882 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689729-1337892882.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.96 2.25 2.08 3/194 25806
/proc/meminfo: memFree=27075672/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25806/stat : 25806 (java) R 25804 25806 23066 0 -1 4202496 1120 0 0 0 0 0 0 0 20 0 1 0 255413261 23793664 849 33554432000 1073741824 1073778376 140734203110944 140734203100008 140611348074495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 5809 862 651 9 0 128 0
[startup+0.067802 s]
/proc/loadavg: 2.96 2.25 2.08 3/194 25806
/proc/meminfo: memFree=27075672/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 3278 0 1 0 4 1 0 0 20 0 18 0 255413261 9787813888 4488 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2389603 4488 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100297 s]
/proc/loadavg: 2.96 2.25 2.08 3/194 25806
/proc/meminfo: memFree=27075672/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 4366 0 1 0 8 1 0 0 20 0 18 0 255413261 9787813888 5560 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2389603 5560 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300184 s]
/proc/loadavg: 2.96 2.25 2.08 3/194 25806
/proc/meminfo: memFree=27075672/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9558412 CPUtime=0.57 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 7502 0 1 0 55 2 0 0 20 0 18 0 255413261 9787813888 9901 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2389603 9901 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558412
[startup+0.700242 s]
/proc/loadavg: 2.96 2.25 2.08 3/194 25806
/proc/meminfo: memFree=27075672/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 7729 0 1 0 128 3 0 0 20 0 19 0 255413261 9855975424 13032 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2406244 13032 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976
[startup+1.50076 s]
/proc/loadavg: 2.96 2.25 2.08 3/213 25825
/proc/meminfo: memFree=27029788/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9624976 CPUtime=2.57 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 13932 0 1 0 253 4 0 0 20 0 19 0 255413261 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2406244 20062 2275 9 0 2396937 0
[pid=25806/tid=25807] ppid=25804 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/25806/task/25807/stat : 25807 (java) R 25804 25806 23066 0 -1 4202560 2467 0 1 0 143 3 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611345617272 140611206920007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25809] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25809/stat : 25809 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611189635368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25810] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25810/stat : 25810 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611188582568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25811] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25811/stat : 25811 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611187530280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25812] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25812/stat : 25812 (java) S 25804 25806 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611186477480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25813] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25813/stat : 25813 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611185425192 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25814] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25814/stat : 25814 (java) S 25804 25806 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611184372392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25815] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25815/stat : 25815 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611183320104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25816] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25816/stat : 25816 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611182267304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25817] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25817/stat : 25817 (java) S 25804 25806 23066 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255413263 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611169855720 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25818] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25818/stat : 25818 (java) S 25804 25806 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611168801784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25819] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25819/stat : 25819 (java) S 25804 25806 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611167749384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25820] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25820/stat : 25820 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611166697872 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25821] ppid=25804 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/25806/task/25821/stat : 25821 (java) S 25804 25806 23066 0 -1 4202560 1596 0 0 0 31 0 0 0 20 0 19 0 255413266 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611165645496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25822] ppid=25804 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/25806/task/25822/stat : 25822 (java) S 25804 25806 23066 0 -1 4202560 8627 0 0 0 73 1 0 0 20 0 19 0 255413266 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611164592696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25823] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25823/stat : 25823 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611163540600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25824] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25824/stat : 25824 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611162488008 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25825] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25825/stat : 25825 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413296 9855975424 20062 33554432000 1073741824 1073778376 140734203110944 140611161433000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9624976
[startup+3.10056 s]
/proc/loadavg: 2.96 2.25 2.08 3/213 25825
/proc/meminfo: memFree=27000076/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9624976 CPUtime=4.25 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 13954 0 1 0 420 5 0 0 20 0 19 0 255413261 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2406244 21099 2275 9 0 2396937 0
[pid=25806/tid=25807] ppid=25804 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/25806/task/25807/stat : 25807 (java) R 25804 25806 23066 0 -1 4202560 2469 0 1 0 298 3 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611345617184 140611206856147 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25809] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25809/stat : 25809 (java) S 25804 25806 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611189635368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25810] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25810/stat : 25810 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611188582568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25811] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25811/stat : 25811 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611187530280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25812] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25812/stat : 25812 (java) S 25804 25806 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611186477480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25813] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25813/stat : 25813 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611185425192 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25814] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25814/stat : 25814 (java) S 25804 25806 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611184372392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25815] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25815/stat : 25815 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611183320104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25816] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25816/stat : 25816 (java) S 25804 25806 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611182267304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25817] ppid=25804 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/25806/task/25817/stat : 25817 (java) S 25804 25806 23066 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 255413263 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611169855720 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25818] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25818/stat : 25818 (java) S 25804 25806 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611168801784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25819] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25819/stat : 25819 (java) S 25804 25806 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611167749384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25820] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25820/stat : 25820 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611166697872 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25821] ppid=25804 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/25806/task/25821/stat : 25821 (java) S 25804 25806 23066 0 -1 4202560 1596 0 0 0 33 0 0 0 20 0 19 0 255413266 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611165645496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25822] ppid=25804 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/25806/task/25822/stat : 25822 (java) S 25804 25806 23066 0 -1 4202560 8627 0 0 0 75 1 0 0 20 0 19 0 255413266 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611164592696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25823] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25823/stat : 25823 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611163540600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25824] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25824/stat : 25824 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611162488008 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25825] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25825/stat : 25825 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413296 9855975424 21099 33554432000 1073741824 1073778376 140734203110944 140611161433000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9624976
[startup+6.30062 s]
/proc/loadavg: 2.97 2.26 2.08 3/213 25825
/proc/meminfo: memFree=26995732/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9624976 CPUtime=7.52 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 13979 0 1 0 746 6 0 0 20 0 19 0 255413261 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2406244 22638 2275 9 0 2396937 0
[pid=25806/tid=25807] ppid=25804 vsize=9624976 CPUtime=6.14 cores=1,3,5,7
/proc/25806/task/25807/stat : 25807 (java) R 25804 25806 23066 0 -1 4202560 2473 0 1 0 611 3 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611345617184 140611206927847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25809] ppid=25804 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25806/task/25809/stat : 25809 (java) S 25804 25806 23066 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611189635368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25810] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25810/stat : 25810 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611188582568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25811] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25811/stat : 25811 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611187530280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25812] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25812/stat : 25812 (java) S 25804 25806 23066 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611186477480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25813] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25813/stat : 25813 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611185425192 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25814] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25814/stat : 25814 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611184372392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25815] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25815/stat : 25815 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611183320104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25816] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25816/stat : 25816 (java) S 25804 25806 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611182267304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25817] ppid=25804 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/25806/task/25817/stat : 25817 (java) S 25804 25806 23066 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 255413263 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611169855720 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25818] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25818/stat : 25818 (java) S 25804 25806 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611168801784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25819] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25819/stat : 25819 (java) S 25804 25806 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611167749384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25820] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25820/stat : 25820 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611166697872 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25821] ppid=25804 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/25806/task/25821/stat : 25821 (java) S 25804 25806 23066 0 -1 4202560 1600 0 0 0 33 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611165645496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25822] ppid=25804 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/25806/task/25822/stat : 25822 (java) S 25804 25806 23066 0 -1 4202560 8627 0 0 0 79 1 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611164592696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25823] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25823/stat : 25823 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611163540600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25824] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25824/stat : 25824 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611162488008 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25825] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25825/stat : 25825 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413296 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611161433000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+7.10065 s]
/proc/loadavg: 2.97 2.26 2.08 3/213 25825
/proc/meminfo: memFree=26993684/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9624976 CPUtime=8.32 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 13979 0 1 0 826 6 0 0 20 0 19 0 255413261 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2406244 22638 2275 9 0 2396937 0
[pid=25806/tid=25807] ppid=25804 vsize=9624976 CPUtime=6.93 cores=1,3,5,7
/proc/25806/task/25807/stat : 25807 (java) R 25804 25806 23066 0 -1 4202560 2473 0 1 0 690 3 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611345617184 140611206841851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25809] ppid=25804 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25806/task/25809/stat : 25809 (java) S 25804 25806 23066 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611189635368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25810] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25810/stat : 25810 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611188582568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25811] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25811/stat : 25811 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611187530280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25812] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25812/stat : 25812 (java) S 25804 25806 23066 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611186477480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25813] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25813/stat : 25813 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611185425192 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25814] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25814/stat : 25814 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611184372392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25815] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25815/stat : 25815 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611183320104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25816] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25816/stat : 25816 (java) S 25804 25806 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611182267304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25817] ppid=25804 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/25806/task/25817/stat : 25817 (java) S 25804 25806 23066 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 255413263 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611169855720 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25818] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25818/stat : 25818 (java) S 25804 25806 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611168801784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25819] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25819/stat : 25819 (java) S 25804 25806 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611167749384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25820] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25820/stat : 25820 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611166697872 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25821] ppid=25804 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/25806/task/25821/stat : 25821 (java) S 25804 25806 23066 0 -1 4202560 1600 0 0 0 33 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611165645496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25822] ppid=25804 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/25806/task/25822/stat : 25822 (java) S 25804 25806 23066 0 -1 4202560 8627 0 0 0 79 1 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611164592696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25823] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25823/stat : 25823 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611163540600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25824] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25824/stat : 25824 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611162488008 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25825] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25825/stat : 25825 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413296 9855975424 22638 33554432000 1073741824 1073778376 140734203110944 140611161433000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 9624976
[startup+7.50063 s]
/proc/loadavg: 2.97 2.26 2.08 3/213 25825
/proc/meminfo: memFree=26993684/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9624976 CPUtime=8.73 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 13987 0 1 0 867 6 0 0 20 0 19 0 255413261 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2406244 23153 2275 9 0 2396937 0
[pid=25806/tid=25807] ppid=25804 vsize=9624976 CPUtime=7.31 cores=1,3,5,7
/proc/25806/task/25807/stat : 25807 (java) R 25804 25806 23066 0 -1 4202560 2474 0 1 0 728 3 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611345617304 140611206846142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25809] ppid=25804 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25806/task/25809/stat : 25809 (java) S 25804 25806 23066 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611189635368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25810] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25810/stat : 25810 (java) S 25804 25806 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611188582568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25811] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25811/stat : 25811 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611187530280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25812] ppid=25804 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25806/task/25812/stat : 25812 (java) S 25804 25806 23066 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611186477480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25813] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25813/stat : 25813 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611185425192 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25814] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25814/stat : 25814 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611184372392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25815] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25815/stat : 25815 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611183320104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25816] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25816/stat : 25816 (java) S 25804 25806 23066 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611182267304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25817] ppid=25804 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/25806/task/25817/stat : 25817 (java) S 25804 25806 23066 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 255413263 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611169855720 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25818] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25818/stat : 25818 (java) S 25804 25806 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611168801784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25819] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25819/stat : 25819 (java) S 25804 25806 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611167749384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25820] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25820/stat : 25820 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611166697872 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25821] ppid=25804 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/25806/task/25821/stat : 25821 (java) S 25804 25806 23066 0 -1 4202560 1600 0 0 0 33 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611165645496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25822] ppid=25804 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/25806/task/25822/stat : 25822 (java) S 25804 25806 23066 0 -1 4202560 8627 0 0 0 79 1 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611164592696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25823] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25823/stat : 25823 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611163540600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25824] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25824/stat : 25824 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611162488008 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25825] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25825/stat : 25825 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413296 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611161433000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.73
Current children cumulated vsize (KiB) 9624976
[startup+7.60063 s]
/proc/loadavg: 2.97 2.26 2.08 3/213 25825
/proc/meminfo: memFree=26991676/32873844 swapFree=7108/7108
[pid=25806] ppid=25804 vsize=9624976 CPUtime=8.84 cores=1,3,5,7
/proc/25806/stat : 25806 (java) S 25804 25806 23066 0 -1 4202496 13987 0 1 0 878 6 0 0 20 0 19 0 255413261 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140734203102080 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 2406244 23153 2275 9 0 2396937 0
[pid=25806/tid=25807] ppid=25804 vsize=9624976 CPUtime=7.42 cores=1,3,5,7
/proc/25806/task/25807/stat : 25807 (java) R 25804 25806 23066 0 -1 4202560 2474 0 1 0 739 3 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611345617304 140611206920093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25809] ppid=25804 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25806/task/25809/stat : 25809 (java) S 25804 25806 23066 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611189635368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25810] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25810/stat : 25810 (java) S 25804 25806 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611188582568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25811] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25811/stat : 25811 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611187530280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25806/tid=25812] ppid=25804 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25806/task/25812/stat : 25812 (java) S 25804 25806 23066 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611186477480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25813] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25813/stat : 25813 (java) S 25804 25806 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611185425192 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25814] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25814/stat : 25814 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611184372392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25815] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25815/stat : 25815 (java) S 25804 25806 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611183320104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25816] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25816/stat : 25816 (java) S 25804 25806 23066 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255413262 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611182267304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25806/tid=25817] ppid=25804 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/25806/task/25817/stat : 25817 (java) S 25804 25806 23066 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 255413263 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611169855720 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25818] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25818/stat : 25818 (java) S 25804 25806 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611168801784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25819] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25819/stat : 25819 (java) S 25804 25806 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255413264 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611167749384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25820] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25820/stat : 25820 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611166697872 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25821] ppid=25804 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/25806/task/25821/stat : 25821 (java) S 25804 25806 23066 0 -1 4202560 1600 0 0 0 33 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611165645496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25806/tid=25822] ppid=25804 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/25806/task/25822/stat : 25822 (java) S 25804 25806 23066 0 -1 4202560 8627 0 0 0 79 1 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611164592696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25823] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25823/stat : 25823 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611163540600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25824] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25824/stat : 25824 (java) S 25804 25806 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255413266 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611162488008 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25806/tid=25825] ppid=25804 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25806/task/25825/stat : 25825 (java) S 25804 25806 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255413296 9855975424 23153 33554432000 1073741824 1073778376 140734203110944 140611161433000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (KiB) 9624976
Child status: 10
Real time (s): 7.68545
CPU time (s): 8.97164
CPU user time (s): 8.82066
CPU system time (s): 0.150977
CPU usage (%): 116.735
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.82066
system time used= 0.150977
maximum resident set size= 92692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14011
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= 601
involuntary context switches= 220
runsolver used 0.026995 second user time and 0.082987 second system time
The end