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-3687702-1337873760/watcher-3687702-1337873760 -o /tmp/evaluation-result-3687702-1337873760/solver-3687702-1337873760 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687702-1337873760.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.64 3.72 3.29 3/197 25935
/proc/meminfo: memFree=25202472/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25935/stat : 25935 (java) R 25933 25935 25418 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253500476 9515008 184 33554432000 1073741824 1073778376 140735809157776 140735809148808 212073082295 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2323 184 142 9 0 71 0
[startup+0.0454631 s]
/proc/loadavg: 3.64 3.72 3.29 3/197 25935
/proc/meminfo: memFree=25202472/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 3022 0 1 0 2 0 0 0 20 0 13 0 253500476 9446973440 3720 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2306390 3720 1696 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100211 s]
/proc/loadavg: 3.64 3.72 3.29 3/197 25935
/proc/meminfo: memFree=25202472/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 4279 0 1 0 9 1 0 0 20 0 18 0 253500476 9787813888 5479 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2389603 5479 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.30022 s]
/proc/loadavg: 3.64 3.72 3.29 3/197 25935
/proc/meminfo: memFree=25202472/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 5536 0 1 0 45 1 0 0 20 0 18 0 253500476 9787813888 7734 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2389603 8246 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700167 s]
/proc/loadavg: 3.64 3.72 3.29 3/197 25935
/proc/meminfo: memFree=25202472/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9824668 CPUtime=1.98 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 16434 0 1 0 194 4 0 0 20 0 22 0 253500476 10060460032 18277 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2456167 18277 2243 9 0 2446860 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9824668
[startup+1.50073 s]
/proc/loadavg: 3.64 3.72 3.29 7/219 25957
/proc/meminfo: memFree=25113660/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9824668 CPUtime=5.03 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 31077 0 1 0 496 7 0 0 20 0 22 0 253500476 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2456167 33013 2279 9 0 2446860 0
[pid=25935/tid=25937] ppid=25933 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/25935/task/25937/stat : 25937 (java) S 25933 25935 25418 0 -1 4202560 2458 0 1 0 29 0 0 0 20 0 22 0 253500477 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492759770104 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25938] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25938/stat : 25938 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492748830888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25939] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25939/stat : 25939 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492747778344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25940] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25940/stat : 25940 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492746725800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25941] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25941/stat : 25941 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492745673256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25942] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25942/stat : 25942 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492744620712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25943] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25943/stat : 25943 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492743568168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25944] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25944/stat : 25944 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492597312424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25945] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25945/stat : 25945 (java) S 25933 25935 25418 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492596259880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25946] ppid=25933 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25935/task/25946/stat : 25946 (java) S 25933 25935 25418 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 22 0 253500480 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492583848040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25947] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25947/stat : 25947 (java) S 25933 25935 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253500480 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492582794360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25948] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25948/stat : 25948 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253500480 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492581741704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25949] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25949/stat : 25949 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492580690448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25950] ppid=25933 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/25935/task/25950/stat : 25950 (java) S 25933 25935 25418 0 -1 4202560 13970 0 0 0 121 3 0 0 20 0 22 0 253500483 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492579637816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25951] ppid=25933 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/25935/task/25951/stat : 25951 (java) S 25933 25935 25418 0 -1 4202560 13251 0 0 0 116 2 0 0 20 0 22 0 253500483 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492578585272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25952] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25952/stat : 25952 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492577532920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25953] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25953/stat : 25953 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492576480584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25954] ppid=25933 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/25935/task/25954/stat : 25954 (java) R 25933 25935 25418 0 -1 4202560 25 0 0 0 107 0 0 0 20 0 22 0 253500509 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492575423504 140492625556344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25955] ppid=25933 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/25935/task/25955/stat : 25955 (java) R 25933 25935 25418 0 -1 4202560 101 0 0 0 107 0 0 0 20 0 22 0 253500509 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492574371984 140492625001250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25956] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25956/stat : 25956 (java) S 25933 25935 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253500510 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492573320232 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25957] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25957/stat : 25957 (java) S 25933 25935 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253500510 10060460032 33013 33554432000 1073741824 1073778376 140733744470160 140492572267688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 9824668
[startup+3.10078 s]
/proc/loadavg: 3.64 3.72 3.29 5/219 25960
/proc/meminfo: memFree=25037272/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9824668 CPUtime=7.72 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 31130 0 1 0 759 13 0 0 20 0 19 0 253500476 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2456167 44274 2280 9 0 2446860 0
[pid=25935/tid=25937] ppid=25933 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25935/task/25937/stat : 25937 (java) S 25933 25935 25418 0 -1 4202560 2458 0 1 0 30 0 0 0 20 0 19 0 253500477 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492759770104 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25938] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25938/stat : 25938 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492748830888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25939] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25939/stat : 25939 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492747778344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25940] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25940/stat : 25940 (java) S 25933 25935 25418 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492746725800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25941] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25941/stat : 25941 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492745673256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25942] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25942/stat : 25942 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492744620712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25943] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25943/stat : 25943 (java) S 25933 25935 25418 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492743568168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25944] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25944/stat : 25944 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492597312424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25945] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25945/stat : 25945 (java) S 25933 25935 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253500478 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492596259880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25946] ppid=25933 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/25935/task/25946/stat : 25946 (java) S 25933 25935 25418 0 -1 4202560 40 0 0 0 31 0 0 0 20 0 19 0 253500480 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492583848040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25947] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25947/stat : 25947 (java) S 25933 25935 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253500480 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492582794360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25948] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25948/stat : 25948 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253500480 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492581741704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25949] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25949/stat : 25949 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492580690448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25950] ppid=25933 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/25935/task/25950/stat : 25950 (java) S 25933 25935 25418 0 -1 4202560 13970 0 0 0 127 3 0 0 20 0 19 0 253500483 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492579637816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25951] ppid=25933 vsize=9824668 CPUtime=1.29 cores=0,2,4,6
/proc/25935/task/25951/stat : 25951 (java) S 25933 25935 25418 0 -1 4202560 13252 0 0 0 127 2 0 0 20 0 19 0 253500483 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492578585272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25952] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25952/stat : 25952 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492577532920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25953] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25953/stat : 25953 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492576480584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25960] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25960/stat : 25960 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253500663 10060460032 44274 33554432000 1073741824 1073778376 140733744470160 140492574373416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+4.70084 s]
/proc/loadavg: 3.66 3.72 3.29 5/219 25963
/proc/meminfo: memFree=25000284/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9824668 CPUtime=10.1 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 31169 0 1 0 996 14 0 0 20 0 22 0 253500476 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2456167 55548 2280 9 0 2446860 0
[pid=25935/tid=25937] ppid=25933 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25935/task/25937/stat : 25937 (java) S 25933 25935 25418 0 -1 4202560 2459 0 1 0 30 0 0 0 20 0 22 0 253500477 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492759770104 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25938] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25938/stat : 25938 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492748830888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25939] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25939/stat : 25939 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492747778344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25940] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25940/stat : 25940 (java) S 25933 25935 25418 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492746725800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25941] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25941/stat : 25941 (java) S 25933 25935 25418 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492745673256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25942] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25942/stat : 25942 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492744620712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25943] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25943/stat : 25943 (java) S 25933 25935 25418 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492743568168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25944] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25944/stat : 25944 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492597312424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25945] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25945/stat : 25945 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492596259880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25946] ppid=25933 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/25935/task/25946/stat : 25946 (java) S 25933 25935 25418 0 -1 4202560 47 0 0 0 52 1 0 0 20 0 22 0 253500480 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492583848040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25947] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25947/stat : 25947 (java) S 25933 25935 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253500480 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492582794360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25948] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25948/stat : 25948 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253500480 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492581741704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25949] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25949/stat : 25949 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492580690448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25950] ppid=25933 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/25935/task/25950/stat : 25950 (java) S 25933 25935 25418 0 -1 4202560 13970 0 0 0 127 3 0 0 20 0 22 0 253500483 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492579637816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25951] ppid=25933 vsize=9824668 CPUtime=1.29 cores=0,2,4,6
/proc/25935/task/25951/stat : 25951 (java) S 25933 25935 25418 0 -1 4202560 13252 0 0 0 127 2 0 0 20 0 22 0 253500483 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492578585272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25952] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25952/stat : 25952 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492577532920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25953] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25953/stat : 25953 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492576480584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25960] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25960/stat : 25960 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253500663 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492574373416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25961] ppid=25933 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/25935/task/25961/stat : 25961 (java) R 25933 25935 25418 0 -1 4202560 4 0 0 0 103 0 0 0 20 0 22 0 253500818 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492573320248 140492625496660 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25962] ppid=25933 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/25935/task/25962/stat : 25962 (java) R 25933 25935 25418 0 -1 4202560 19 0 0 0 103 0 0 0 20 0 22 0 253500818 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492575422280 140492625730865 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25963] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25963/stat : 25963 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253500819 10060460032 55548 33554432000 1073741824 1073778376 140733744470160 140492572267432 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (KiB) 9824668
[startup+5.50723 s]
/proc/loadavg: 3.66 3.72 3.29 4/219 25963
/proc/meminfo: memFree=24976344/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9824668 CPUtime=11.62 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 31184 0 1 0 1148 14 0 0 20 0 22 0 253500476 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2456167 60308 2280 9 0 2446860 0
[pid=25935/tid=25937] ppid=25933 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25935/task/25937/stat : 25937 (java) S 25933 25935 25418 0 -1 4202560 2459 0 1 0 30 0 0 0 20 0 22 0 253500477 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492759770104 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25938] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25938/stat : 25938 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492748830888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25939] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25939/stat : 25939 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492747778344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25940] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25940/stat : 25940 (java) S 25933 25935 25418 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492746725800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25941] ppid=25933 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25935/task/25941/stat : 25941 (java) S 25933 25935 25418 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492745673256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25942] ppid=25933 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25935/task/25942/stat : 25942 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492744620712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25943] ppid=25933 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25935/task/25943/stat : 25943 (java) S 25933 25935 25418 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492743568168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25944] ppid=25933 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25935/task/25944/stat : 25944 (java) S 25933 25935 25418 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492597312424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25945] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25945/stat : 25945 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253500478 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492596259880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25946] ppid=25933 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/25935/task/25946/stat : 25946 (java) S 25933 25935 25418 0 -1 4202560 51 0 0 0 65 1 0 0 20 0 22 0 253500480 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492583848040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25947] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25947/stat : 25947 (java) S 25933 25935 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253500480 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492582794360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25948] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25948/stat : 25948 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253500480 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492581741704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25949] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25949/stat : 25949 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492580690448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25950] ppid=25933 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/25935/task/25950/stat : 25950 (java) S 25933 25935 25418 0 -1 4202560 13970 0 0 0 127 3 0 0 20 0 22 0 253500483 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492579637816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25951] ppid=25933 vsize=9824668 CPUtime=1.31 cores=0,2,4,6
/proc/25935/task/25951/stat : 25951 (java) S 25933 25935 25418 0 -1 4202560 13252 0 0 0 129 2 0 0 20 0 22 0 253500483 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492578585272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25952] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25952/stat : 25952 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492577532920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25953] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25953/stat : 25953 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253500483 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492576480584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25960] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25960/stat : 25960 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253500663 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492574373416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25961] ppid=25933 vsize=9824668 CPUtime=1.68 cores=0,2,4,6
/proc/25935/task/25961/stat : 25961 (java) R 25933 25935 25418 0 -1 4202560 5 0 0 0 168 0 0 0 20 0 22 0 253500818 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492573318256 140492625453987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25962] ppid=25933 vsize=9824668 CPUtime=1.68 cores=0,2,4,6
/proc/25935/task/25962/stat : 25962 (java) R 25933 25935 25418 0 -1 4202560 26 0 0 0 168 0 0 0 20 0 22 0 253500818 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492575423056 140492625545708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25963] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25963/stat : 25963 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253500819 10060460032 60308 33554432000 1073741824 1073778376 140733744470160 140492572267432 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 9824668
[startup+5.90081 s]
/proc/loadavg: 3.66 3.72 3.29 4/219 25963
/proc/meminfo: memFree=24976344/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9824668 CPUtime=12.22 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 31190 0 1 0 1207 15 0 0 20 0 19 0 253500476 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2456167 61328 2280 9 0 2446860 0
[pid=25935/tid=25937] ppid=25933 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25935/task/25937/stat : 25937 (java) S 25933 25935 25418 0 -1 4202560 2459 0 1 0 30 0 0 0 20 0 19 0 253500477 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492759770104 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25938] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25938/stat : 25938 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492748830888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25939] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25939/stat : 25939 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492747778344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25940] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25940/stat : 25940 (java) S 25933 25935 25418 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492746725800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25941] ppid=25933 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25935/task/25941/stat : 25941 (java) S 25933 25935 25418 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492745673256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25942] ppid=25933 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25935/task/25942/stat : 25942 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492744620712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25943] ppid=25933 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25935/task/25943/stat : 25943 (java) S 25933 25935 25418 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492743568168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25944] ppid=25933 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25935/task/25944/stat : 25944 (java) S 25933 25935 25418 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492597312424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25945] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25945/stat : 25945 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492596259880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25946] ppid=25933 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/25935/task/25946/stat : 25946 (java) S 25933 25935 25418 0 -1 4202560 53 0 0 0 75 1 0 0 20 0 19 0 253500480 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492583848040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25947] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25947/stat : 25947 (java) S 25933 25935 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253500480 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492582794360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25948] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25948/stat : 25948 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253500480 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492581741704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25949] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25949/stat : 25949 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492580690448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25950] ppid=25933 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/25935/task/25950/stat : 25950 (java) S 25933 25935 25418 0 -1 4202560 13970 0 0 0 127 3 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492579637816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25951] ppid=25933 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/25935/task/25951/stat : 25951 (java) S 25933 25935 25418 0 -1 4202560 13252 0 0 0 131 2 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492578585272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25952] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25952/stat : 25952 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492577532920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25953] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25953/stat : 25953 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492576480584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25960] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25960/stat : 25960 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253500663 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492574373416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 9824668
[startup+6.10069 s]
/proc/loadavg: 3.66 3.72 3.29 4/219 25963
/proc/meminfo: memFree=24976344/32873648 swapFree=6596/6596
[pid=25935] ppid=25933 vsize=9824668 CPUtime=12.22 cores=0,2,4,6
/proc/25935/stat : 25935 (java) S 25933 25935 25418 0 -1 4202496 31190 0 1 0 1207 15 0 0 20 0 19 0 253500476 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140733744461296 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25935/statm: 2456167 61328 2280 9 0 2446860 0
[pid=25935/tid=25937] ppid=25933 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/25935/task/25937/stat : 25937 (java) S 25933 25935 25418 0 -1 4202560 2459 0 1 0 30 0 0 0 20 0 19 0 253500477 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492759770104 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25938] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25938/stat : 25938 (java) S 25933 25935 25418 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492748830888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25939] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25939/stat : 25939 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492747778344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25940] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25940/stat : 25940 (java) S 25933 25935 25418 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492746725800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25941] ppid=25933 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25935/task/25941/stat : 25941 (java) S 25933 25935 25418 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492745673256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25942] ppid=25933 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25935/task/25942/stat : 25942 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492744620712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25943] ppid=25933 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25935/task/25943/stat : 25943 (java) S 25933 25935 25418 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492743568168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25944] ppid=25933 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25935/task/25944/stat : 25944 (java) S 25933 25935 25418 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492597312424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25945] ppid=25933 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25935/task/25945/stat : 25945 (java) S 25933 25935 25418 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253500478 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492596259880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25946] ppid=25933 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/25935/task/25946/stat : 25946 (java) S 25933 25935 25418 0 -1 4202560 53 0 0 0 75 1 0 0 20 0 19 0 253500480 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492583848040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25947] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25947/stat : 25947 (java) S 25933 25935 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253500480 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492582794360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25948] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25948/stat : 25948 (java) S 25933 25935 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253500480 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492581741704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25949] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25949/stat : 25949 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492580690448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25935/tid=25950] ppid=25933 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/25935/task/25950/stat : 25950 (java) S 25933 25935 25418 0 -1 4202560 13970 0 0 0 127 3 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492579637816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25935/tid=25951] ppid=25933 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/25935/task/25951/stat : 25951 (java) S 25933 25935 25418 0 -1 4202560 13252 0 0 0 131 2 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492578585272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25952] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25952/stat : 25952 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492577532920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25935/tid=25953] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25953/stat : 25953 (java) S 25933 25935 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253500483 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492576480584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25935/tid=25960] ppid=25933 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25935/task/25960/stat : 25960 (java) S 25933 25935 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253500663 10060460032 61328 33554432000 1073741824 1073778376 140733744470160 140492574373416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 6.16246
CPU time (s): 12.3521
CPU user time (s): 12.0892
CPU system time (s): 0.26296
CPU usage (%): 200.441
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0892
system time used= 0.26296
maximum resident set size= 245340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31200
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= 986
involuntary context switches= 707
runsolver used 0.013997 second user time and 0.033994 second system time
The end