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-3688566-1337878514/watcher-3688566-1337878514 -o /tmp/evaluation-result-3688566-1337878514/solver-3688566-1337878514 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688566-1337878514.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.94 3.84 3.82 4/195 3156
/proc/meminfo: memFree=28293032/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3156/stat : 3156 (java) R 3154 3156 718 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 253976875 23793664 717 33554432000 1073741824 1073778376 140734555497392 140734555486456 229346687056 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3156/statm: 5809 717 531 9 0 128 0
[startup+0.104501 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3156
/proc/meminfo: memFree=28293032/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/3156/stat : 3156 (java) S 3154 3156 718 0 -1 4202496 4386 0 1 0 9 1 0 0 20 0 18 0 253976875 9787813888 6086 33554432000 1073741824 1073778376 140734555497392 140734555488528 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3156/statm: 2389603 6086 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.200241 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3156
/proc/meminfo: memFree=28293032/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=9824920 CPUtime=0.24 cores=1,3,5,7
/proc/3156/stat : 3156 (java) S 3154 3156 718 0 -1 4202496 5111 0 1 0 23 1 0 0 20 0 22 0 253976875 10060718080 8251 33554432000 1073741824 1073778376 140734555497392 140734555488528 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3156/statm: 2456230 8251 2191 9 0 2446923 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824920
[startup+0.300228 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3156
/proc/meminfo: memFree=28293032/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/3156/stat : 3156 (java) S 3154 3156 718 0 -1 4202496 7553 0 1 0 50 2 0 0 20 0 22 0 253976875 10060460032 10048 33554432000 1073741824 1073778376 140734555497392 140734555488528 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3156/statm: 2456167 10048 2210 9 0 2446860 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824668
[startup+0.700212 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3156
/proc/meminfo: memFree=28293032/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/3156/stat : 3156 (java) S 3154 3156 718 0 -1 4202496 16386 0 1 0 166 6 0 0 20 0 22 0 253976875 10060460032 19369 33554432000 1073741824 1073778376 140734555497392 140734555488528 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3156/statm: 2456167 19369 2230 9 0 2446860 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9824668
[startup+1.50071 s]
/proc/loadavg: 3.94 3.84 3.82 5/214 3181
/proc/meminfo: memFree=28175656/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/3156/stat : 3156 (java) S 3154 3156 718 0 -1 4202496 23747 0 1 0 311 11 0 0 20 0 19 0 253976875 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 140734555488528 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3156/statm: 2456167 32119 2267 9 0 2446860 0
[pid=3156/tid=3158] ppid=3154 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/3156/task/3158/stat : 3158 (java) S 3154 3156 718 0 -1 4202560 2441 0 1 0 15 0 0 0 20 0 19 0 253976876 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848519799800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3159] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3159/stat : 3159 (java) S 3154 3156 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848363178536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3160] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3160/stat : 3160 (java) S 3154 3156 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848362125736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3161] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3161/stat : 3161 (java) S 3154 3156 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848361072936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3162] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3162/stat : 3162 (java) S 3154 3156 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848360020136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3163] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3163/stat : 3163 (java) S 3154 3156 718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848358968360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3164] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3164/stat : 3164 (java) S 3154 3156 718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848357915560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3165] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3165/stat : 3165 (java) S 3154 3156 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848356862760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3166] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3166/stat : 3166 (java) S 3154 3156 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848355809960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3167] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3167/stat : 3167 (java) S 3154 3156 718 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 253976878 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848343611880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3156/tid=3168] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3168/stat : 3168 (java) S 3154 3156 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253976878 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848342557944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3169] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3169/stat : 3169 (java) S 3154 3156 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976878 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848341505032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3170] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3170/stat : 3170 (java) S 3154 3156 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976881 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848340453520 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3171] ppid=3154 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/3156/task/3171/stat : 3171 (java) S 3154 3156 718 0 -1 4202560 13060 0 0 0 90 3 0 0 20 0 19 0 253976881 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848339401656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3172] ppid=3154 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/3156/task/3172/stat : 3172 (java) S 3154 3156 718 0 -1 4202560 6845 0 0 0 90 2 0 0 20 0 19 0 253976881 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848338348856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3173] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3173/stat : 3173 (java) S 3154 3156 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976881 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848337296248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3156/tid=3174] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3174/stat : 3174 (java) S 3154 3156 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976881 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848336243656 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3177] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3177/stat : 3177 (java) S 3154 3156 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253976893 10060460032 32119 33554432000 1073741824 1073778376 140734555497392 139848333083560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 9824668
[startup+3.10084 s]
/proc/loadavg: 3.94 3.84 3.82 5/217 3187
/proc/meminfo: memFree=28096972/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=9824668 CPUtime=6.53 cores=1,3,5,7
/proc/3156/stat : 3156 (java) S 3154 3156 718 0 -1 4202496 26657 0 1 0 636 17 0 0 20 0 19 0 253976875 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 140734555488528 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3156/statm: 2456167 55629 2274 9 0 2446860 0
[pid=3156/tid=3158] ppid=3154 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/3156/task/3158/stat : 3158 (java) S 3154 3156 718 0 -1 4202560 2441 0 1 0 15 0 0 0 20 0 19 0 253976876 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848519799800 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3159] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3159/stat : 3159 (java) S 3154 3156 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848363178536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3160] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3160/stat : 3160 (java) S 3154 3156 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848362125736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3161] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3161/stat : 3161 (java) S 3154 3156 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848361072936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3162] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3162/stat : 3162 (java) S 3154 3156 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848360020136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3163] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3163/stat : 3163 (java) S 3154 3156 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848358968360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3164] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3164/stat : 3164 (java) S 3154 3156 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848357915560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3165] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3165/stat : 3165 (java) S 3154 3156 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848356862760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3156/tid=3166] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3166/stat : 3166 (java) S 3154 3156 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253976877 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848355809960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3167] ppid=3154 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/3156/task/3167/stat : 3167 (java) S 3154 3156 718 0 -1 4202560 107 0 0 0 10 0 0 0 20 0 19 0 253976878 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848343611880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3168] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3168/stat : 3168 (java) S 3154 3156 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253976878 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848342557944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3169] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3169/stat : 3169 (java) S 3154 3156 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976878 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848341505032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3170] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3170/stat : 3170 (java) S 3154 3156 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976881 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848340453520 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3171] ppid=3154 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/3156/task/3171/stat : 3171 (java) S 3154 3156 718 0 -1 4202560 13072 0 0 0 138 3 0 0 20 0 19 0 253976881 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848339401656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3156/tid=3172] ppid=3154 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/3156/task/3172/stat : 3172 (java) S 3154 3156 718 0 -1 4202560 9576 0 0 0 132 2 0 0 20 0 19 0 253976881 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848338348856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3156/tid=3173] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3173/stat : 3173 (java) S 3154 3156 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976881 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848337296248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3156/tid=3174] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3174/stat : 3174 (java) S 3154 3156 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976881 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848336243656 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3156/tid=3177] ppid=3154 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3177/stat : 3177 (java) S 3154 3156 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253976893 10060460032 55629 33554432000 1073741824 1073778376 140734555497392 139848333083560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+3.20088 s]
/proc/loadavg: 3.94 3.84 3.82 5/217 3187
/proc/meminfo: memFree=28096972/32873852 swapFree=6848/6848
[pid=3156] ppid=3154 vsize=0 CPUtime=6.56 cores=1,3,5,7
/proc/3156/stat : 3156 (java) Z 3154 3156 718 0 -1 4203532 26666 0 1 0 635 21 0 0 20 0 2 0 253976875 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3156/statm: 0 0 0 0 0 0 0
[pid=3156/tid=3164] ppid=3154 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/3156/task/3164/stat : 3164 (java) R 3154 3156 718 0 -1 4203588 9 0 0 0 0 0 0 0 20 0 2 0 253976877 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.20524
CPU time (s): 6.573
CPU user time (s): 6.35003
CPU system time (s): 0.222966
CPU usage (%): 205.07
Max. virtual memory (cumulated for all children) (KiB): 9824920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.35003
system time used= 0.222966
maximum resident set size= 222564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26666
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= 579
involuntary context switches= 180
runsolver used 0.005999 second user time and 0.030995 second system time
The end