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-3689460-1337882281/watcher-3689460-1337882281 -o /tmp/evaluation-result-3689460-1337882281/solver-3689460-1337882281 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689460-1337882281.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: 3.74 3.85 3.87 4/197 25362
/proc/meminfo: memFree=25725828/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25362/stat : 25362 (java) D 25360 25362 22059 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 254355051 9515008 185 33554432000 1073741824 1073778376 140734735403216 140734735392280 233402625319 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2323 185 143 9 0 71 0
[startup+0.0381689 s]
/proc/loadavg: 3.74 3.85 3.87 4/197 25362
/proc/meminfo: memFree=25725828/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 3003 0 1 0 2 0 0 0 20 0 13 0 254355051 9446973440 3700 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2306390 3700 1683 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100223 s]
/proc/loadavg: 3.74 3.85 3.87 4/197 25362
/proc/meminfo: memFree=25725828/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 4310 0 1 0 9 0 0 0 20 0 18 0 254355051 9787813888 5511 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2389603 5511 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300205 s]
/proc/loadavg: 3.74 3.85 3.87 4/197 25362
/proc/meminfo: memFree=25725828/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9558412 CPUtime=0.54 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 5950 0 1 0 53 1 0 0 20 0 18 0 254355051 9787813888 11141 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2389603 11141 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412
[startup+0.700204 s]
/proc/loadavg: 3.74 3.85 3.87 4/197 25362
/proc/meminfo: memFree=25725828/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 15178 0 1 0 203 4 0 0 20 0 22 0 254355051 10060460032 21194 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2456167 21194 2249 9 0 2446860 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9824668
[startup+1.50081 s]
/proc/loadavg: 3.74 3.85 3.87 5/219 25384
/proc/meminfo: memFree=25567800/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9824668 CPUtime=4.29 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 16578 0 1 0 420 9 0 0 20 0 22 0 254355051 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2456167 52270 2284 9 0 2446860 0
[pid=25362/tid=25364] ppid=25360 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/25362/task/25364/stat : 25364 (java) S 25360 25362 22059 0 -1 4202560 2464 0 1 0 31 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139808130479096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25365] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25365/stat : 25365 (java) S 25360 25362 22059 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139808102931240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25366] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25366/stat : 25366 (java) S 25360 25362 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139808101878440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25367] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25367/stat : 25367 (java) S 25360 25362 22059 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139808100826152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25368] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25368/stat : 25368 (java) S 25360 25362 22059 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139808099773352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25369] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25369/stat : 25369 (java) S 25360 25362 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807969290536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25370] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25370/stat : 25370 (java) S 25360 25362 22059 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807968237736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25371] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25371/stat : 25371 (java) S 25360 25362 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807967185448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25372] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25372/stat : 25372 (java) S 25360 25362 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807966132648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25373] ppid=25360 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25362/task/25373/stat : 25373 (java) S 25360 25362 22059 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 22 0 254355053 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807483620072 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25374] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25374/stat : 25374 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807482566136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25375] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25375/stat : 25375 (java) S 25360 25362 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807481513736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25376] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25376/stat : 25376 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807480462224 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25377] ppid=25360 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/25362/task/25377/stat : 25377 (java) S 25360 25362 22059 0 -1 4202560 6305 0 0 0 77 2 0 0 20 0 22 0 254355056 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807479408824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25378] ppid=25360 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/25362/task/25378/stat : 25378 (java) R 25360 25362 22059 0 -1 4202560 6299 0 0 0 81 2 0 0 20 0 22 0 254355056 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807478356024 139808137464694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25379] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25379/stat : 25379 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807477303928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25380] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25380/stat : 25380 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355057 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807476251336 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25381] ppid=25360 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25362/task/25381/stat : 25381 (java) R 25360 25362 22059 0 -1 4202560 28 0 0 0 107 0 0 0 20 0 22 0 254355084 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807475196640 139807980955965 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25382] ppid=25360 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25362/task/25382/stat : 25382 (java) R 25360 25362 22059 0 -1 4202560 125 0 0 0 106 2 0 0 20 0 22 0 254355084 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807474141880 139807981074079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25383] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25383/stat : 25383 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807473092264 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25384] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25384/stat : 25384 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 52270 33554432000 1073741824 1073778376 140734735403216 139807472039464 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 9824668
[startup+3.10092 s]
/proc/loadavg: 3.74 3.85 3.87 5/219 25384
/proc/meminfo: memFree=25425968/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9824668 CPUtime=7.5 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 16662 0 1 0 737 13 0 0 20 0 22 0 254355051 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2456167 78905 2284 9 0 2446860 0
[pid=25362/tid=25364] ppid=25360 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/25362/task/25364/stat : 25364 (java) S 25360 25362 22059 0 -1 4202560 2465 0 1 0 31 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139808130479096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25365] ppid=25360 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25362/task/25365/stat : 25365 (java) S 25360 25362 22059 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139808102931240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25366] ppid=25360 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25362/task/25366/stat : 25366 (java) S 25360 25362 22059 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139808101878440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25367] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25367/stat : 25367 (java) S 25360 25362 22059 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139808100826152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25368] ppid=25360 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25362/task/25368/stat : 25368 (java) S 25360 25362 22059 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139808099773352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25369] ppid=25360 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25362/task/25369/stat : 25369 (java) S 25360 25362 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807969290536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25370] ppid=25360 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25362/task/25370/stat : 25370 (java) S 25360 25362 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807968237736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25371] ppid=25360 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25362/task/25371/stat : 25371 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807967185448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25372] ppid=25360 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25362/task/25372/stat : 25372 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254355052 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807966132648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25373] ppid=25360 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25362/task/25373/stat : 25373 (java) S 25360 25362 22059 0 -1 4202560 106 0 0 0 16 0 0 0 20 0 22 0 254355053 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807483620072 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25374] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25374/stat : 25374 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807482566136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25375] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25375/stat : 25375 (java) S 25360 25362 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807481513736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25376] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25376/stat : 25376 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807480462224 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25377] ppid=25360 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/25362/task/25377/stat : 25377 (java) S 25360 25362 22059 0 -1 4202560 6306 0 0 0 82 2 0 0 20 0 22 0 254355056 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807479408824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25378] ppid=25360 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/25362/task/25378/stat : 25378 (java) S 25360 25362 22059 0 -1 4202560 6299 0 0 0 85 2 0 0 20 0 22 0 254355056 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807478356024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25379] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25379/stat : 25379 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807477303928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25380] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25380/stat : 25380 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355057 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807476251336 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25381] ppid=25360 vsize=9824668 CPUtime=2.49 cores=1,3,5,7
/proc/25362/task/25381/stat : 25381 (java) R 25360 25362 22059 0 -1 4202560 28 0 0 0 249 0 0 0 20 0 22 0 254355084 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807475196640 139807980927988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25382] ppid=25360 vsize=9824668 CPUtime=2.51 cores=1,3,5,7
/proc/25362/task/25382/stat : 25382 (java) R 25360 25362 22059 0 -1 4202560 162 0 0 0 248 3 0 0 20 0 22 0 254355084 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807474141880 139807981074229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25383] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25383/stat : 25383 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807473092264 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25384] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25384/stat : 25384 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 78905 33554432000 1073741824 1073778376 140734735403216 139807472039464 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 9824668
[startup+6.30088 s]
/proc/loadavg: 3.76 3.85 3.87 5/219 25384
/proc/meminfo: memFree=25239244/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9824668 CPUtime=13.7 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 16911 0 1 0 1351 19 0 0 20 0 22 0 254355051 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2456167 118680 2285 9 0 2446860 0
[pid=25362/tid=25364] ppid=25360 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/25362/task/25364/stat : 25364 (java) S 25360 25362 22059 0 -1 4202560 2465 0 1 0 31 0 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139808130479096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25365] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25365/stat : 25365 (java) S 25360 25362 22059 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139808102931240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25366] ppid=25360 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25362/task/25366/stat : 25366 (java) S 25360 25362 22059 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139808101878440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25367] ppid=25360 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25362/task/25367/stat : 25367 (java) S 25360 25362 22059 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139808100826152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25368] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25368/stat : 25368 (java) S 25360 25362 22059 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139808099773352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25369] ppid=25360 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25362/task/25369/stat : 25369 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 4 1 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807969290536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25370] ppid=25360 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25362/task/25370/stat : 25370 (java) S 25360 25362 22059 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807968237736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25371] ppid=25360 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25362/task/25371/stat : 25371 (java) S 25360 25362 22059 0 -1 4202560 20 0 0 0 5 2 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807967185448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25372] ppid=25360 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25362/task/25372/stat : 25372 (java) S 25360 25362 22059 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 22 0 254355052 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807966132648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25373] ppid=25360 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/25362/task/25373/stat : 25373 (java) S 25360 25362 22059 0 -1 4202560 243 0 0 0 50 2 0 0 20 0 22 0 254355053 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807483620072 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25374] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25374/stat : 25374 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807482566136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25375] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25375/stat : 25375 (java) S 25360 25362 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807481513736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25376] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25376/stat : 25376 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807480462224 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25377] ppid=25360 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/25362/task/25377/stat : 25377 (java) S 25360 25362 22059 0 -1 4202560 6306 0 0 0 89 2 0 0 20 0 22 0 254355056 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807479408824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25378] ppid=25360 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/25362/task/25378/stat : 25378 (java) S 25360 25362 22059 0 -1 4202560 6300 0 0 0 86 2 0 0 20 0 22 0 254355056 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807478356024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25379] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25379/stat : 25379 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807477303928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25380] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25380/stat : 25380 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355057 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807476251336 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25381] ppid=25360 vsize=9824668 CPUtime=5.25 cores=1,3,5,7
/proc/25362/task/25381/stat : 25381 (java) R 25360 25362 22059 0 -1 4202560 32 0 0 0 525 0 0 0 20 0 22 0 254355084 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807475196840 139807980904162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25382] ppid=25360 vsize=9824668 CPUtime=5.28 cores=1,3,5,7
/proc/25362/task/25382/stat : 25382 (java) R 25360 25362 22059 0 -1 4202560 223 0 0 0 522 6 0 0 20 0 22 0 254355084 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807474142064 139807981074259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25383] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25383/stat : 25383 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807473092264 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25384] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25384/stat : 25384 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 118680 33554432000 1073741824 1073778376 140734735403216 139807472039464 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.7
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+7.90092 s]
/proc/loadavg: 3.76 3.85 3.87 5/219 25384
/proc/meminfo: memFree=25191104/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9824668 CPUtime=17.44 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 23014 0 1 0 1724 20 0 0 20 0 22 0 254355051 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2456167 127503 2285 9 0 2446860 0
[pid=25362/tid=25364] ppid=25360 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/25362/task/25364/stat : 25364 (java) S 25360 25362 22059 0 -1 4202560 2465 0 1 0 31 0 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139808130479096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25365] ppid=25360 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25362/task/25365/stat : 25365 (java) S 25360 25362 22059 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139808102931240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25366] ppid=25360 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25362/task/25366/stat : 25366 (java) S 25360 25362 22059 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139808101878440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25367] ppid=25360 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25362/task/25367/stat : 25367 (java) S 25360 25362 22059 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139808100826152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25368] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25368/stat : 25368 (java) S 25360 25362 22059 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139808099773352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25369] ppid=25360 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25362/task/25369/stat : 25369 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 4 1 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807969290536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25370] ppid=25360 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25362/task/25370/stat : 25370 (java) S 25360 25362 22059 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807968237736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25371] ppid=25360 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25362/task/25371/stat : 25371 (java) S 25360 25362 22059 0 -1 4202560 20 0 0 0 6 2 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807967185448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25372] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25372/stat : 25372 (java) S 25360 25362 22059 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 22 0 254355052 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807966132648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25373] ppid=25360 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/25362/task/25373/stat : 25373 (java) S 25360 25362 22059 0 -1 4202560 267 0 0 0 64 2 0 0 20 0 22 0 254355053 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807483620072 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25374] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25374/stat : 25374 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807482566136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25375] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25375/stat : 25375 (java) S 25360 25362 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807481513736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25376] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25376/stat : 25376 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807480462224 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25377] ppid=25360 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/25362/task/25377/stat : 25377 (java) S 25360 25362 22059 0 -1 4202560 12366 0 0 0 148 3 0 0 20 0 22 0 254355056 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807479408824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25378] ppid=25360 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/25362/task/25378/stat : 25378 (java) S 25360 25362 22059 0 -1 4202560 6305 0 0 0 93 2 0 0 20 0 22 0 254355056 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807478356024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25379] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25379/stat : 25379 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807477303928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25380] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25380/stat : 25380 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355057 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807476251336 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25381] ppid=25360 vsize=9824668 CPUtime=6.69 cores=1,3,5,7
/proc/25362/task/25381/stat : 25381 (java) R 25360 25362 22059 0 -1 4202560 35 0 0 0 669 0 0 0 20 0 22 0 254355084 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807475195560 139807980904103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25382] ppid=25360 vsize=9824668 CPUtime=6.73 cores=1,3,5,7
/proc/25362/task/25382/stat : 25382 (java) R 25360 25362 22059 0 -1 4202560 232 0 0 0 667 6 0 0 20 0 22 0 254355084 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807474143448 139807980927398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25383] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25383/stat : 25383 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807473092264 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25384] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25384/stat : 25384 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 127503 33554432000 1073741824 1073778376 140734735403216 139807472039464 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 17.44
Current children cumulated vsize (KiB) 9824668
[startup+8.30092 s]
/proc/loadavg: 3.76 3.85 3.87 5/219 25384
/proc/meminfo: memFree=25191104/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9824668 CPUtime=18.25 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 23021 0 1 0 1804 21 0 0 20 0 22 0 254355051 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2456167 130575 2285 9 0 2446860 0
[pid=25362/tid=25364] ppid=25360 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/25362/task/25364/stat : 25364 (java) S 25360 25362 22059 0 -1 4202560 2465 0 1 0 31 0 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139808130479096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25365] ppid=25360 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25362/task/25365/stat : 25365 (java) S 25360 25362 22059 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139808102931240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25366] ppid=25360 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25362/task/25366/stat : 25366 (java) S 25360 25362 22059 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139808101878440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25367] ppid=25360 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25362/task/25367/stat : 25367 (java) S 25360 25362 22059 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139808100826152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25368] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25368/stat : 25368 (java) S 25360 25362 22059 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139808099773352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25369] ppid=25360 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25362/task/25369/stat : 25369 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 4 1 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807969290536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25370] ppid=25360 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25362/task/25370/stat : 25370 (java) S 25360 25362 22059 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807968237736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25371] ppid=25360 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25362/task/25371/stat : 25371 (java) S 25360 25362 22059 0 -1 4202560 20 0 0 0 6 2 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807967185448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25372] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25372/stat : 25372 (java) S 25360 25362 22059 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 22 0 254355052 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807966132648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25373] ppid=25360 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/25362/task/25373/stat : 25373 (java) S 25360 25362 22059 0 -1 4202560 267 0 0 0 64 2 0 0 20 0 22 0 254355053 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807483620072 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25374] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25374/stat : 25374 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807482566136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25375] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25375/stat : 25375 (java) S 25360 25362 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254355054 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807481513736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25376] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25376/stat : 25376 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807480462224 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25377] ppid=25360 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/25362/task/25377/stat : 25377 (java) S 25360 25362 22059 0 -1 4202560 12366 0 0 0 148 3 0 0 20 0 22 0 254355056 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807479408824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25378] ppid=25360 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/25362/task/25378/stat : 25378 (java) S 25360 25362 22059 0 -1 4202560 6305 0 0 0 93 2 0 0 20 0 22 0 254355056 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807478356024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25379] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25379/stat : 25379 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355056 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807477303928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25380] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25380/stat : 25380 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254355057 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807476251336 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25381] ppid=25360 vsize=9824668 CPUtime=7.09 cores=1,3,5,7
/proc/25362/task/25381/stat : 25381 (java) R 25360 25362 22059 0 -1 4202560 35 0 0 0 709 0 0 0 20 0 22 0 254355084 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807475195064 139807980903455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25382] ppid=25360 vsize=9824668 CPUtime=7.13 cores=1,3,5,7
/proc/25362/task/25382/stat : 25382 (java) R 25360 25362 22059 0 -1 4202560 239 0 0 0 706 7 0 0 20 0 22 0 254355084 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807474141984 139807980979569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25383] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25383/stat : 25383 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807473092264 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25362/tid=25384] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25384/stat : 25384 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254355086 10060460032 130575 33554432000 1073741824 1073778376 140734735403216 139807472039464 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 18.25
Current children cumulated vsize (KiB) 9824668
[startup+8.50092 s]
/proc/loadavg: 3.76 3.85 3.87 5/219 25384
/proc/meminfo: memFree=25191104/32873844 swapFree=7100/7100
[pid=25362] ppid=25360 vsize=9824668 CPUtime=18.62 cores=1,3,5,7
/proc/25362/stat : 25362 (java) S 25360 25362 22059 0 -1 4202496 23051 0 1 0 1839 23 0 0 20 0 20 0 254355051 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 140734735394352 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25362/statm: 2456167 144905 2286 9 0 2446860 0
[pid=25362/tid=25364] ppid=25360 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/25362/task/25364/stat : 25364 (java) S 25360 25362 22059 0 -1 4202560 2465 0 1 0 31 0 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139808130479096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25365] ppid=25360 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25362/task/25365/stat : 25365 (java) S 25360 25362 22059 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139808102931240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25366] ppid=25360 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25362/task/25366/stat : 25366 (java) S 25360 25362 22059 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139808101878440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25367] ppid=25360 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25362/task/25367/stat : 25367 (java) S 25360 25362 22059 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139808100826152 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25368] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25368/stat : 25368 (java) S 25360 25362 22059 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139808099773352 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25369] ppid=25360 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25362/task/25369/stat : 25369 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 4 1 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807969290536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25370] ppid=25360 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25362/task/25370/stat : 25370 (java) S 25360 25362 22059 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807968237736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25371] ppid=25360 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25362/task/25371/stat : 25371 (java) S 25360 25362 22059 0 -1 4202560 20 0 0 0 6 2 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807967185448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25372] ppid=25360 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25362/task/25372/stat : 25372 (java) S 25360 25362 22059 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 20 0 254355052 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807966132648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25373] ppid=25360 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/25362/task/25373/stat : 25373 (java) S 25360 25362 22059 0 -1 4202560 267 0 0 0 64 2 0 0 20 0 20 0 254355053 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807483620072 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25374] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25374/stat : 25374 (java) S 25360 25362 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254355054 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807482566136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25375] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25375/stat : 25375 (java) S 25360 25362 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 254355054 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807481513736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25376] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25376/stat : 25376 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254355056 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807480462224 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25377] ppid=25360 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/25362/task/25377/stat : 25377 (java) S 25360 25362 22059 0 -1 4202560 12366 0 0 0 148 3 0 0 20 0 20 0 254355056 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807479408824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25362/tid=25378] ppid=25360 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/25362/task/25378/stat : 25378 (java) S 25360 25362 22059 0 -1 4202560 6305 0 0 0 93 2 0 0 20 0 20 0 254355056 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807478356024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25379] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25379/stat : 25379 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254355056 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807477303928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25362/tid=25380] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25380/stat : 25380 (java) S 25360 25362 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254355057 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807476251336 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25382] ppid=25360 vsize=9824668 CPUtime=7.33 cores=1,3,5,7
/proc/25362/task/25382/stat : 25382 (java) R 25360 25362 22059 0 -1 4202560 267 0 0 0 725 8 0 0 20 0 20 0 254355084 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807474141984 139807981074199 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25362/tid=25384] ppid=25360 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25362/task/25384/stat : 25384 (java) S 25360 25362 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254355086 10060460032 144905 33554432000 1073741824 1073778376 140734735403216 139807472039464 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 18.62
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 8.5581
CPU time (s): 18.7711
CPU user time (s): 18.4092
CPU system time (s): 0.361944
CPU usage (%): 219.338
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4092
system time used= 0.361944
maximum resident set size= 585768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23064
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= 854
involuntary context switches= 1271
runsolver used 0.06399 second user time and 0.056991 second system time
The end