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-3688480-1337877950/watcher-3688480-1337877950 -o /tmp/evaluation-result-3688480-1337877950/solver-3688480-1337877950 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688480-1337877950.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.86 4.03 3.97 3/196 24092
/proc/meminfo: memFree=27527656/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24092/stat : 24092 (java) R 24090 24092 22409 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253922307 9515008 183 33554432000 1073741824 1073778376 140734957325904 140734957316936 213866331829 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2323 183 140 9 0 71 0
[startup+0.0703329 s]
/proc/loadavg: 3.86 4.03 3.97 3/196 24092
/proc/meminfo: memFree=27527656/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 3210 0 1 0 4 1 0 0 20 0 18 0 253922307 9787813888 4418 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2389603 4418 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100261 s]
/proc/loadavg: 3.86 4.03 3.97 3/196 24092
/proc/meminfo: memFree=27527656/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 4278 0 1 0 8 1 0 0 20 0 18 0 253922307 9787813888 5478 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2389603 5479 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300236 s]
/proc/loadavg: 3.86 4.03 3.97 3/196 24092
/proc/meminfo: memFree=27527656/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 4687 0 1 0 20 2 0 0 20 0 19 0 253922307 10060460032 7324 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2456167 7324 2193 9 0 2446860 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9824668
[startup+0.700157 s]
/proc/loadavg: 3.86 4.03 3.97 3/196 24092
/proc/meminfo: memFree=27527656/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 4759 0 1 0 21 2 0 0 20 0 19 0 253922307 10060460032 8406 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2456167 8406 2198 9 0 2446860 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824668
[startup+1.50075 s]
/proc/loadavg: 3.86 4.03 3.97 3/216 24118
/proc/meminfo: memFree=27476064/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 4817 0 1 0 24 3 0 0 20 0 19 0 253922307 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2456167 9478 2215 9 0 2446860 0
[pid=24092/tid=24094] ppid=24090 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/24092/task/24094/stat : 24094 (java) S 24090 24092 22409 0 -1 4202560 2455 0 1 0 15 1 0 0 20 0 19 0 253922308 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145843258360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24095] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24095/stat : 24095 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145804749352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24096] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24096/stat : 24096 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145803696552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24097] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24097/stat : 24097 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145802643752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24098] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24098/stat : 24098 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145801590952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24099] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24099/stat : 24099 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145800539176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24100] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24100/stat : 24100 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145799486376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24101] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24101/stat : 24101 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145798433576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24102] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24102/stat : 24102 (java) S 24090 24092 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145797380776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24103] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24103/stat : 24103 (java) S 24090 24092 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253922310 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145666791912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24104] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24104/stat : 24104 (java) S 24090 24092 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253922311 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145665737976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24105] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24105/stat : 24105 (java) S 24090 24092 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253922311 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145664685064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24106] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24106/stat : 24106 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145663633552 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24107] ppid=24090 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24092/task/24107/stat : 24107 (java) S 24090 24092 22409 0 -1 4202560 501 0 0 0 3 0 0 0 20 0 19 0 253922313 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145662581688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24108] ppid=24090 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24092/task/24108/stat : 24108 (java) S 24090 24092 22409 0 -1 4202560 542 0 0 0 1 0 0 0 20 0 19 0 253922313 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145661528888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24109] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24109/stat : 24109 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145660476280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24110] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24110/stat : 24110 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140145659423688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24118] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24118/stat : 24118 (java) S 24090 24092 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253922377 10060460032 9478 33554432000 1073741824 1073778376 140733306433744 140144514426280 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824668
[startup+3.10064 s]
/proc/loadavg: 3.86 4.03 3.97 3/216 24124
/proc/meminfo: memFree=27438200/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 16779 0 1 0 182 5 0 0 20 0 22 0 253922307 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2456167 23122 2241 9 0 2446860 0
[pid=24092/tid=24094] ppid=24090 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/24092/task/24094/stat : 24094 (java) S 24090 24092 22409 0 -1 4202560 2455 0 1 0 15 1 0 0 20 0 22 0 253922308 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145843258360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24095] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24095/stat : 24095 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145804749352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24096] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24096/stat : 24096 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145803696552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24097] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24097/stat : 24097 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145802643752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24098] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24098/stat : 24098 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145801590952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24099] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24099/stat : 24099 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145800539176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24100] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24100/stat : 24100 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145799486376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24101] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24101/stat : 24101 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145798433576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24102] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24102/stat : 24102 (java) S 24090 24092 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253922309 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145797380776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24103] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24103/stat : 24103 (java) S 24090 24092 22409 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253922310 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145666791912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24104] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24104/stat : 24104 (java) S 24090 24092 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253922311 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145665737976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24105] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24105/stat : 24105 (java) S 24090 24092 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253922311 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145664685064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24106] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24106/stat : 24106 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922313 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145663633552 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24107] ppid=24090 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/24092/task/24107/stat : 24107 (java) R 24090 24092 22409 0 -1 4202560 5951 0 0 0 41 2 0 0 20 0 22 0 253922313 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145662558880 140145847347203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24108] ppid=24090 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24092/task/24108/stat : 24108 (java) R 24090 24092 22409 0 -1 4202560 7003 0 0 0 42 0 0 0 20 0 22 0 253922313 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145661506136 140145847105336 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24109] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24109/stat : 24109 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922313 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145660476280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24110] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24110/stat : 24110 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253922313 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140145659423688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24118] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24118/stat : 24118 (java) S 24090 24092 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253922377 10060460032 23122 33554432000 1073741824 1073778376 140733306433744 140144514426280 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9824668
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.5008 s]
/proc/loadavg: 3.86 4.03 3.97 7/219 24130
/proc/meminfo: memFree=27346152/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9824668 CPUtime=3 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 22962 0 1 0 292 8 0 0 20 0 19 0 253922307 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2456167 31321 2278 9 0 2446860 0
[pid=24092/tid=24094] ppid=24090 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/24092/task/24094/stat : 24094 (java) S 24090 24092 22409 0 -1 4202560 2455 0 1 0 15 1 0 0 20 0 19 0 253922308 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145843258360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24095] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24095/stat : 24095 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145804749352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24096] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24096/stat : 24096 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145803696552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24097] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24097/stat : 24097 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145802643752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24098] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24098/stat : 24098 (java) S 24090 24092 22409 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145801590952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24099] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24099/stat : 24099 (java) S 24090 24092 22409 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145800539176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24100] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24100/stat : 24100 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145799486376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24101] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24101/stat : 24101 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145798433576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24102] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24102/stat : 24102 (java) S 24090 24092 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145797380776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24103] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24103/stat : 24103 (java) S 24090 24092 22409 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253922310 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145666791912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24104] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24104/stat : 24104 (java) S 24090 24092 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253922311 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145665737976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24105] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24105/stat : 24105 (java) S 24090 24092 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253922311 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145664685064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24106] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24106/stat : 24106 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145663633552 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24107] ppid=24090 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/24092/task/24107/stat : 24107 (java) R 24090 24092 22409 0 -1 4202560 8004 0 0 0 80 2 0 0 20 0 19 0 253922313 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145662567864 140145846163544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24108] ppid=24090 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/24092/task/24108/stat : 24108 (java) S 24090 24092 22409 0 -1 4202560 11075 0 0 0 74 2 0 0 20 0 19 0 253922313 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145661528888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24109] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24109/stat : 24109 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145660476280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24110] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24110/stat : 24110 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145659423688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24130] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24130/stat : 24130 (java) S 24090 24092 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253922577 10060460032 31321 33554432000 1073741824 1073778376 140733306433744 140145657316264 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 9824668
[startup+3.70081 s]
/proc/loadavg: 3.86 4.03 3.97 7/219 24130
/proc/meminfo: memFree=27346152/32873648 swapFree=6336/6336
[pid=24092] ppid=24090 vsize=9824668 CPUtime=3.2 cores=0,2,4,6
/proc/24092/stat : 24092 (java) S 24090 24092 22409 0 -1 4202496 25178 0 1 0 312 8 0 0 20 0 19 0 253922307 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140733306424880 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24092/statm: 2456167 32249 2278 9 0 2446860 0
[pid=24092/tid=24094] ppid=24090 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/24092/task/24094/stat : 24094 (java) S 24090 24092 22409 0 -1 4202560 2455 0 1 0 15 1 0 0 20 0 19 0 253922308 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145843258360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24095] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24095/stat : 24095 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145804749352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24096] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24096/stat : 24096 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145803696552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24097] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24097/stat : 24097 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145802643752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24098] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24098/stat : 24098 (java) S 24090 24092 22409 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145801590952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24099] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24099/stat : 24099 (java) S 24090 24092 22409 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145800539176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24100] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24100/stat : 24100 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145799486376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24101] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24101/stat : 24101 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145798433576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24092/tid=24102] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24102/stat : 24102 (java) S 24090 24092 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253922309 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145797380776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24103] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24103/stat : 24103 (java) S 24090 24092 22409 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253922310 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145666791912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24104] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24104/stat : 24104 (java) S 24090 24092 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253922311 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145665737976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24105] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24105/stat : 24105 (java) S 24090 24092 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253922311 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145664685064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24106] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24106/stat : 24106 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145663633552 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24107] ppid=24090 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/24092/task/24107/stat : 24107 (java) R 24090 24092 22409 0 -1 4202560 10220 0 0 0 100 2 0 0 20 0 19 0 253922313 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145662568280 140145849101050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24092/tid=24108] ppid=24090 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/24092/task/24108/stat : 24108 (java) S 24090 24092 22409 0 -1 4202560 11075 0 0 0 74 2 0 0 20 0 19 0 253922313 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145661528888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24109] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24109/stat : 24109 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145660476280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24092/tid=24110] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24110/stat : 24110 (java) S 24090 24092 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253922313 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145659423688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24092/tid=24130] ppid=24090 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24092/task/24130/stat : 24130 (java) S 24090 24092 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253922577 10060460032 32249 33554432000 1073741824 1073778376 140733306433744 140145657316264 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 3.72313
CPU time (s): 3.24351
CPU user time (s): 3.12152
CPU system time (s): 0.121981
CPU usage (%): 87.1177
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.12153
system time used= 0.121981
maximum resident set size= 129020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25188
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= 500
involuntary context switches= 113
runsolver used 0.012998 second user time and 0.044993 second system time
The end