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-3727834-1338667516/watcher-3727834-1338667516 -o /tmp/evaluation-result-3727834-1338667516/solver-3727834-1338667516 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727834-1338667516.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: 2.00 2.00 2.00 3/176 17436
/proc/meminfo: memFree=31756164/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=3584 CPUtime=0 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) R 17434 17436 17352 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 1 0 332880150 3670016 342 33554432000 4194304 5964350 140733399519936 140733399517880 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 896 343 165 433 0 421 0
[startup+0.0370299 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17436
/proc/meminfo: memFree=31756164/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84656 CPUtime=0.03 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 1683 0 0 0 3 0 0 0 20 0 2 0 332880150 86687744 1596 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21164 1596 190 433 0 20728 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 84656
[startup+0.100186 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17436
/proc/meminfo: memFree=31756164/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84656 CPUtime=0.09 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 2082 0 0 0 9 0 0 0 20 0 2 0 332880150 86687744 1995 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21164 1995 190 433 0 20728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84656
[startup+0.300076 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17436
/proc/meminfo: memFree=31756164/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84656 CPUtime=0.29 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 2520 0 0 0 29 0 0 0 20 0 2 0 332880150 86687744 2433 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21164 2433 194 433 0 20728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84656
[startup+0.700076 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17436
/proc/meminfo: memFree=31756164/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84656 CPUtime=0.69 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 3260 0 0 0 69 0 0 0 20 0 2 0 332880150 86687744 3173 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21164 3173 194 433 0 20728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84656
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17438
/proc/meminfo: memFree=31740492/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84656 CPUtime=1.48 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 4325 0 0 0 148 0 0 0 20 0 2 0 332880150 86687744 4238 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21164 4238 194 433 0 20728 0
[pid=17436/tid=17438] ppid=17434 vsize=84656 CPUtime=1.46 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 3316 0 0 0 146 0 0 0 20 0 2 0 332880151 86687744 4238 33554432000 4194304 5964350 140733399519936 140267887659000 4400380 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84656
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17438
/proc/meminfo: memFree=31731804/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84800 CPUtime=3.08 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 5385 0 0 0 308 0 0 0 20 0 2 0 332880150 86835200 5298 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21200 5298 194 433 0 20764 0
[pid=17436/tid=17438] ppid=17434 vsize=84800 CPUtime=3.06 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 4376 0 0 0 306 0 0 0 20 0 2 0 332880151 86835200 5298 33554432000 4194304 5964350 140733399519936 140267887659000 4399906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84800
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17439
/proc/meminfo: memFree=31719288/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84800 CPUtime=6.29 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 6806 0 0 0 628 1 0 0 20 0 2 0 332880150 86835200 6719 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21200 6719 194 433 0 20764 0
[pid=17436/tid=17438] ppid=17434 vsize=84800 CPUtime=6.25 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 5797 0 0 0 624 1 0 0 20 0 2 0 332880151 86835200 6719 33554432000 4194304 5964350 140733399519936 140267887658808 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84800
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17439
/proc/meminfo: memFree=31691376/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84872 CPUtime=12.69 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 9704 0 0 0 1267 2 0 0 20 0 2 0 332880150 86908928 9617 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21218 9617 194 433 0 20782 0
[pid=17436/tid=17438] ppid=17434 vsize=84872 CPUtime=12.64 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 8695 0 0 0 1262 2 0 0 20 0 2 0 332880151 86908928 9617 33554432000 4194304 5964350 140733399519936 140267887659048 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84872
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17439
/proc/meminfo: memFree=31647256/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=84980 CPUtime=25.48 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 13713 0 0 0 2545 3 0 0 20 0 2 0 332880150 87019520 13626 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 21245 13626 194 433 0 20809 0
[pid=17436/tid=17438] ppid=17434 vsize=84980 CPUtime=25.4 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 12704 0 0 0 2537 3 0 0 20 0 2 0 332880151 87019520 13626 33554432000 4194304 5964350 140733399519936 140267887658808 4400029 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84980
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17439
/proc/meminfo: memFree=31615224/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150676 CPUtime=51.08 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 17775 0 0 0 5103 5 0 0 20 0 2 0 332880150 154292224 17688 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37669 17688 194 433 0 37233 0
[pid=17436/tid=17438] ppid=17434 vsize=150676 CPUtime=50.94 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 16766 0 0 0 5089 5 0 0 20 0 2 0 332880151 154292224 17688 33554432000 4194304 5964350 140733399519936 140267887658808 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150676
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17439
/proc/meminfo: memFree=31537404/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=151204 CPUtime=102.25 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 25016 0 0 0 10217 8 0 0 20 0 2 0 332880150 154832896 24980 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37801 24980 194 433 0 37365 0
[pid=17436/tid=17438] ppid=17434 vsize=151204 CPUtime=101.98 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 24007 0 0 0 10189 9 0 0 20 0 2 0 332880151 154832896 24980 33554432000 4194304 5964350 140733399519936 140267887658808 4400396 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 151204
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17478
/proc/meminfo: memFree=31582028/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=162.22 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 16212 10 0 0 20 0 2 0 332880150 153796608 29850 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 29850 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=161.8 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 16168 12 0 0 20 0 2 0 332880151 153796608 29850 33554432000 4194304 5964350 140733399519936 140267887659960 4399846 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 150192
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17478
/proc/meminfo: memFree=31542256/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=222.21 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 22211 10 0 0 20 0 2 0 332880150 153796608 27106 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 27106 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=221.65 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 22152 13 0 0 20 0 2 0 332880151 153796608 27106 33554432000 4194304 5964350 140733399519936 140267887659848 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 150192
[startup+282.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 17478
/proc/meminfo: memFree=31497416/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=282.2 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 28210 10 0 0 20 0 2 0 332880150 153796608 27106 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 27106 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=281.49 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 28135 14 0 0 20 0 2 0 332880151 153796608 27106 33554432000 4194304 5964350 140733399519936 140267887659544 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 150192
Solver just ended. Dumping a history of the last processes samples
[startup+287.9 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 17481
/proc/meminfo: memFree=31492796/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=287.8 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 28770 10 0 0 20 0 2 0 332880150 153796608 27106 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 27106 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=287.08 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 28694 14 0 0 20 0 2 0 332880151 153796608 27106 33554432000 4194304 5964350 140733399519936 140267887659544 4400416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 287.8
Current children cumulated vsize (KiB) 150192
[startup+289.5 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 17481
/proc/meminfo: memFree=31492672/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=289.4 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 28930 10 0 0 20 0 2 0 332880150 153796608 27106 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 27106 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=288.67 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 28853 14 0 0 20 0 2 0 332880151 153796608 27106 33554432000 4194304 5964350 140733399519936 140267887659544 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 289.4
Current children cumulated vsize (KiB) 150192
[startup+291.1 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 17481
/proc/meminfo: memFree=31492672/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=291 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 29090 10 0 0 20 0 2 0 332880150 153796608 27106 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 27106 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=290.27 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 29013 14 0 0 20 0 2 0 332880151 153796608 27106 33554432000 4194304 5964350 140733399519936 140267887659544 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 291
Current children cumulated vsize (KiB) 150192
[startup+291.507 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 17481
/proc/meminfo: memFree=31492424/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=291.41 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 29131 10 0 0 20 0 2 0 332880150 153796608 27106 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 27106 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=290.67 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 29053 14 0 0 20 0 2 0 332880151 153796608 27106 33554432000 4194304 5964350 140733399519936 140267887659544 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 291.41
Current children cumulated vsize (KiB) 150192
[startup+291.7 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 17481
/proc/meminfo: memFree=31492424/32873844 swapFree=8656/8656
[pid=17436] ppid=17434 vsize=150192 CPUtime=291.6 cores=1,3,5,7
/proc/17436/stat : 17436 (wbo1.72) S 17434 17436 17352 0 -1 4202496 29280 0 0 0 29150 10 0 0 20 0 2 0 332880150 153796608 27106 33554432000 4194304 5964350 140733399519936 140733399519456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17436/statm: 37548 27106 194 433 0 37112 0
[pid=17436/tid=17438] ppid=17434 vsize=150192 CPUtime=290.87 cores=1,3,5,7
/proc/17436/task/17438/stat : 17438 (wbo1.72) R 17434 17436 17352 0 -1 4202560 28271 0 0 0 29073 14 0 0 20 0 2 0 332880151 153796608 27106 33554432000 4194304 5964350 140733399519936 140267887659544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 291.6
Current children cumulated vsize (KiB) 150192
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17436 and gives
# childrusage.ru_utime.tv_sec=290
# childrusage.ru_utime.tv_usec=828787
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=150977
# CPU time returned by wait4() is 290.98
# while last known CPU time is 291.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 291.787
CPU time (s): 291.6
CPU user time (s): 291.5
CPU system time (s): 0.1
CPU usage (%): 99.9359
Max. virtual memory (cumulated for all children) (KiB): 151636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 290.829
system time used= 0.150977
maximum resident set size= 120512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29282
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= 54
involuntary context switches= 330
runsolver used 0.516921 second user time and 1.35579 second system time
The end