runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858404-1244866446/watcher-1858404-1244866446 -o /tmp/evaluation-result-1858404-1244866446/solver-1858404-1244866446 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858404-1244866446.opb HOME HOME 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 11216
/proc/meminfo: memFree=969912/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0
/proc/11216/stat : 11216 (perl) R 11214 11216 10295 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 154245194 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716030 0 0 4224 0 0 0 0 17 1 0 0
/proc/11216/statm: 3067 316 242 3 0 167 0

[startup+0.103805 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 11216
/proc/meminfo: memFree=969912/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.09
/proc/11216/stat : 11216 (perl) R 11214 11216 10295 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 154245194 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 272476713058 0 0 4224 16386 0 0 0 17 1 0 0
/proc/11216/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12268

[startup+0.20181 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 11216
/proc/meminfo: memFree=969912/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.19
/proc/11216/stat : 11216 (perl) R 11214 11216 10295 0 -1 4194304 423 0 0 0 18 1 0 0 18 0 1 0 154245194 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 272476713058 0 0 4224 16386 0 0 0 17 1 0 0
/proc/11216/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12268

[startup+0.301817 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 11216
/proc/meminfo: memFree=969912/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.29
/proc/11216/stat : 11216 (perl) R 11214 11216 10295 0 -1 4194304 423 0 0 0 28 1 0 0 19 0 1 0 154245194 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 272476713058 0 0 4224 16386 0 0 0 17 1 0 0
/proc/11216/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12268

[startup+0.701846 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 11216
/proc/meminfo: memFree=969912/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 12268

[startup+1.5029 s]
/proc/loadavg: 1.11 1.06 1.01 2/69 11221
/proc/meminfo: memFree=955536/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=0
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11219] ppid=11218 vsize=1260 CPUtime=0.91
/proc/11219/stat : 11219 (pb2lp) R 11218 11216 10295 0 -1 4194304 141 0 0 0 90 1 0 0 25 0 1 0 154245251 1290240 117 1992294400 134512640 135611737 4294956256 18446744073709551615 134674083 0 0 4096 0 0 0 0 17 0 0 0
/proc/11219/statm: 315 117 104 268 0 44 0
[pid=11220] ppid=11218 vsize=25304 CPUtime=0.49
/proc/11220/stat : 11220 (clasp) R 11218 11216 10295 0 -1 4194304 6680 0 0 0 46 3 0 0 16 0 1 0 154245251 25911296 5996 1992294400 134512640 136070948 4294956272 18446744073709551615 134716746 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11220/statm: 6326 5997 137 380 0 5943 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 45440

[startup+3.102 s]
/proc/loadavg: 1.10 1.06 1.01 2/69 11221
/proc/meminfo: memFree=927952/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=0
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11219] ppid=11218 vsize=1260 CPUtime=2.49
/proc/11219/stat : 11219 (pb2lp) R 11218 11216 10295 0 -1 4194304 141 0 0 0 247 2 0 0 19 0 1 0 154245251 1290240 117 1992294400 134512640 135611737 4294956256 18446744073709551615 134662507 0 0 4096 0 0 0 0 17 1 0 0
/proc/11219/statm: 315 117 104 268 0 44 0
[pid=11220] ppid=11218 vsize=64292 CPUtime=1.51
/proc/11220/stat : 11220 (clasp) R 11218 11216 10295 0 -1 4194304 17482 0 0 0 143 8 0 0 16 0 1 0 154245251 65835008 15784 1992294400 134512640 136070948 4294956272 18446744073709551615 135516062 0 0 4096 16386 0 0 0 17 0 0 0
/proc/11220/statm: 16073 15784 137 380 0 15690 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 84428

[startup+6.30121 s]
/proc/loadavg: 1.10 1.06 1.01 2/69 11221
/proc/meminfo: memFree=846864/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=0
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11219] ppid=11218 vsize=1260 CPUtime=5.65
/proc/11219/stat : 11219 (pb2lp) R 11218 11216 10295 0 -1 4194304 141 0 0 0 560 5 0 0 24 0 1 0 154245251 1290240 117 1992294400 134512640 135611737 4294956256 18446744073709551615 134609712 0 0 4096 0 0 0 0 17 0 0 0
/proc/11219/statm: 315 117 104 268 0 44 0
[pid=11220] ppid=11218 vsize=141816 CPUtime=3.79
/proc/11220/stat : 11220 (clasp) S 11218 11216 10295 0 -1 4194304 39037 0 0 0 360 19 0 0 16 0 1 0 154245251 145219584 35059 1992294400 134512640 136070948 4294956272 18446744073709551615 135516062 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/11220/statm: 35454 35059 137 380 0 35071 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (KiB) 161952

Solver just ended. Dumping a history of the last processes samples

[startup+6.40121 s]
/proc/loadavg: 1.10 1.06 1.01 2/69 11221
/proc/meminfo: memFree=846864/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=0
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11219] ppid=11218 vsize=1260 CPUtime=5.75
/proc/11219/stat : 11219 (pb2lp) R 11218 11216 10295 0 -1 4194304 141 0 0 0 570 5 0 0 25 0 1 0 154245251 1290240 117 1992294400 134512640 135611737 4294956256 18446744073709551615 134633224 0 0 4096 0 0 0 0 17 0 0 0
/proc/11219/statm: 315 117 104 268 0 44 0
[pid=11220] ppid=11218 vsize=142608 CPUtime=3.81
/proc/11220/stat : 11220 (clasp) S 11218 11216 10295 0 -1 4194304 39238 0 0 0 362 19 0 0 16 0 1 0 154245251 146030592 35260 1992294400 134512640 136070948 4294956272 18446744073709551615 135516062 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/11220/statm: 35652 35260 137 380 0 35269 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 162744

[startup+9.60242 s]
/proc/loadavg: 1.09 1.06 1.01 2/68 11221
/proc/meminfo: memFree=695832/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=5.77
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 151 0 0 0 0 572 5 16 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11220] ppid=11218 vsize=267508 CPUtime=7
/proc/11220/stat : 11220 (clasp) R 11218 11216 10295 0 -1 4194304 87982 0 0 0 660 40 0 0 21 0 1 0 154245251 273928192 66524 1992294400 134512640 136070948 4294956272 18446744073709551615 135447033 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11220/statm: 66877 66524 183 380 0 66494 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 13.33
Current children cumulated vsize (KiB) 286384

[startup+10.4025 s]
/proc/loadavg: 1.09 1.06 1.01 2/68 11221
/proc/meminfo: memFree=703320/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=5.77
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 151 0 0 0 0 572 5 16 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11220] ppid=11218 vsize=266480 CPUtime=7.8
/proc/11220/stat : 11220 (clasp) R 11218 11216 10295 0 -1 4194304 87993 0 0 0 740 40 0 0 24 0 1 0 154245251 272875520 66292 1992294400 134512640 136070948 4294956272 18446744073709551615 134806741 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11220/statm: 66620 66292 191 380 0 66237 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 14.13
Current children cumulated vsize (KiB) 285356

[startup+11.2025 s]
/proc/loadavg: 1.09 1.06 1.01 2/68 11221
/proc/meminfo: memFree=708184/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=5.77
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 151 0 0 0 0 572 5 16 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11220] ppid=11218 vsize=262600 CPUtime=8.6
/proc/11220/stat : 11220 (clasp) R 11218 11216 10295 0 -1 4194304 87994 0 0 0 820 40 0 0 25 0 1 0 154245251 268902400 65323 1992294400 134512640 136070948 4294956272 18446744073709551615 134653111 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11220/statm: 65650 65323 192 380 0 65267 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 14.93
Current children cumulated vsize (KiB) 281476

[startup+11.4015 s]
/proc/loadavg: 1.09 1.06 1.01 2/68 11221
/proc/meminfo: memFree=708184/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=5.77
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 151 0 0 0 0 572 5 16 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11220] ppid=11218 vsize=262600 CPUtime=8.8
/proc/11220/stat : 11220 (clasp) R 11218 11216 10295 0 -1 4194304 87994 0 0 0 840 40 0 0 25 0 1 0 154245251 268902400 65323 1992294400 134512640 136070948 4294956272 18446744073709551615 134653104 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11220/statm: 65650 65323 192 380 0 65267 0
[pid=11221] ppid=11218 vsize=1252 CPUtime=0
/proc/11221/stat : 11221 (pbout) S 11218 11216 10295 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154245251 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11221/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 15.13
Current children cumulated vsize (KiB) 281476

[startup+11.5015 s]
/proc/loadavg: 1.09 1.06 1.01 2/68 11221
/proc/meminfo: memFree=708184/2055920 swapFree=4191900/4192956
[pid=11216] ppid=11214 vsize=12268 CPUtime=0.56
/proc/11216/stat : 11216 (perl) S 11214 11216 10295 0 -1 4194304 439 0 0 0 53 3 0 0 21 0 1 0 154245194 12562432 399 1992294400 4194304 4206940 548682068784 18446744073709551615 272476716948 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11216/statm: 3067 399 306 3 0 167 0
[pid=11218] ppid=11216 vsize=5356 CPUtime=5.77
/proc/11218/stat : 11218 (sh) S 11216 11216 10295 0 -1 4194304 305 284 0 0 0 0 572 5 16 0 1 0 154245250 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11218/statm: 1339 227 188 169 0 50 0
[pid=11220] ppid=11218 vsize=262600 CPUtime=8.9
/proc/11220/stat : 11220 (clasp) R 11218 11216 10295 0 -1 4194304 88000 0 0 0 850 40 0 0 25 0 1 0 154245251 268902400 65329 1992294400 134512640 136070948 4294956272 18446744073709551615 134827723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11220/statm: 65650 65329 198 380 0 65267 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 280224

Child status: 0
Real time (s): 11.5507
CPU time (s): 15.3107
CPU user time (s): 14.7668
CPU system time (s): 0.543917
CPU usage (%): 132.552
Max. virtual memory (cumulated for all children) (KiB): 295136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.7668
system time used= 0.543917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7930
involuntary context switches= 152

runsolver used 0.015997 second user time and 0.032994 second system time

The end