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-3752349-1339160088/watcher-3752349-1339160088 -o /tmp/evaluation-result-3752349-1339160088/solver-3752349-1339160088 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752349-1339160088.opb 1189836581 HOME HOME
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: 2.91 2.02 1.57 3/181 22689
/proc/meminfo: memFree=27093612/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[startup+0.0382609 s]
/proc/loadavg: 2.91 2.02 1.57 3/181 22689
/proc/meminfo: memFree=27093612/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.91 2.02 1.57 3/181 22689
/proc/meminfo: memFree=27093612/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 2.91 2.02 1.57 3/181 22689
/proc/meminfo: memFree=27093612/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700261 s]
/proc/loadavg: 2.91 2.02 1.57 3/181 22689
/proc/meminfo: memFree=27093612/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.91 2.02 1.57 3/183 22691
/proc/meminfo: memFree=26905404/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=180480 CPUtime=1.49 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) R 22689 22689 14188 0 -1 4202496 18044 0 0 0 144 5 0 0 20 0 1 0 382133120 184811520 43361 33554432000 4194304 6004724 140734948318256 140734948313208 4534768 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 45120 43361 154 442 0 44674 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189628
[startup+3.10044 s]
/proc/loadavg: 2.91 2.02 1.57 3/185 22696
/proc/meminfo: memFree=27152340/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=205624 CPUtime=2.41 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4202496 19514 0 0 0 218 23 0 0 20 0 1 0 382133120 210558976 46105 33554432000 4194304 6004724 140734948318256 140734948312720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 51406 46105 163 442 0 50960 0
[pid=22695] ppid=22690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22695/stat : 22695 (cp2_pre.sh) S 22690 22689 14188 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382133362 9367552 277 33554432000 4194304 5064252 140735755507760 140735755506464 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22695/statm: 2287 277 234 213 0 72 0
[pid=22696] ppid=22695 vsize=84108 CPUtime=0.67 cores=0,2,4,6
/proc/22696/stat : 22696 (coprocessor) R 22695 22689 14188 0 -1 4202496 9225 0 0 0 64 3 0 0 20 0 1 0 382133363 86126592 20512 33554432000 4194304 6586260 140735913036224 140735913032984 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/22696/statm: 21027 20512 137 584 0 20439 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 308028
[startup+6.3004 s]
/proc/loadavg: 2.84 2.01 1.58 3/185 22700
/proc/meminfo: memFree=26295196/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=205624 CPUtime=2.41 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4202496 19514 0 0 0 218 23 0 0 20 0 1 0 382133120 210558976 46105 33554432000 4194304 6004724 140734948318256 140734948312720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 51406 46105 163 442 0 50960 0
[pid=22695] ppid=22690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22695/stat : 22695 (cp2_pre.sh) S 22690 22689 14188 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382133362 9367552 277 33554432000 4194304 5064252 140735755507760 140735755506464 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22695/statm: 2287 277 234 213 0 72 0
[pid=22696] ppid=22695 vsize=557468 CPUtime=3.86 cores=0,2,4,6
/proc/22696/stat : 22696 (coprocessor) R 22695 22689 14188 0 -1 4202496 64075 0 0 0 371 15 0 0 20 0 1 0 382133363 570847232 136723 33554432000 4194304 6586260 140735913036224 140735913031944 4768675 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/22696/statm: 139367 136723 173 584 0 138779 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 781388
[startup+12.7003 s]
/proc/loadavg: 2.85 2.03 1.58 3/184 22709
/proc/meminfo: memFree=26639496/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=205624 CPUtime=10.57 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4202496 19532 72089 0 0 218 23 761 55 20 0 1 0 382133120 210558976 46109 33554432000 4194304 6004724 140734948318256 140734948304536 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 51406 46109 167 442 0 50960 0
[pid=22709] ppid=22690 vsize=235552 CPUtime=2.09 cores=0,2,4,6
/proc/22709/stat : 22709 (glucosInc) R 22690 22689 14188 0 -1 4202496 38225 0 0 0 201 8 0 0 20 0 1 0 382134179 241205248 49843 33554432000 4194304 5654031 140736518262960 140736518260744 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22709/statm: 58888 49843 140 357 0 58528 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 450324
Solver just ended. Dumping a history of the last processes samples
[startup+13.7003 s]
/proc/loadavg: 2.86 2.05 1.59 3/184 22709
/proc/meminfo: memFree=26662140/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=205624 CPUtime=10.57 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4202496 19532 72089 0 0 218 23 761 55 20 0 1 0 382133120 210558976 46109 33554432000 4194304 6004724 140734948318256 140734948304536 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 51406 46109 167 442 0 50960 0
[pid=22709] ppid=22690 vsize=235684 CPUtime=3.09 cores=0,2,4,6
/proc/22709/stat : 22709 (glucosInc) R 22690 22689 14188 0 -1 4202496 38318 0 0 0 301 8 0 0 20 0 1 0 382134179 241340416 49934 33554432000 4194304 5654031 140736518262960 140736518260744 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22709/statm: 58921 49934 140 357 0 58561 0
Current children cumulated CPU time (s) 13.66
Current children cumulated vsize (KiB) 450456
[startup+16.9003 s]
/proc/loadavg: 2.86 2.05 1.59 3/184 22716
/proc/meminfo: memFree=26924160/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=210628 CPUtime=10.92 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4204032 24642 72089 0 0 248 28 761 55 20 0 1 0 382133120 215683072 47349 33554432000 4194304 6004724 140734948318256 140734948312808 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 52657 47349 188 442 0 52211 0
[pid=22709] ppid=22690 vsize=238172 CPUtime=5.68 cores=0,2,4,6
/proc/22709/stat : 22709 (glucosInc) S 22690 22689 14188 0 -1 4202496 39205 0 0 0 560 8 0 0 20 0 1 0 382134179 243888128 51332 33554432000 4194304 5654031 140736518262960 140736518261272 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22709/statm: 59543 51332 146 357 0 59183 0
Current children cumulated CPU time (s) 16.6
Current children cumulated vsize (KiB) 457948
[startup+20.1004 s]
/proc/loadavg: 2.79 2.05 1.59 2/185 22717
/proc/meminfo: memFree=26264516/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=210628 CPUtime=11.26 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4204032 24643 72089 0 0 248 62 761 55 20 0 1 0 382133120 215683072 47350 33554432000 4194304 6004724 140734948318256 140734948312808 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 52657 47350 189 442 0 52211 0
[pid=22709] ppid=22690 vsize=238172 CPUtime=5.68 cores=0,2,4,6
/proc/22709/stat : 22709 (glucosInc) S 22690 22689 14188 0 -1 4202496 39205 0 0 0 560 8 0 0 20 0 1 0 382134179 243888128 51332 33554432000 4194304 5654031 140736518262960 140736518261272 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22709/statm: 59543 51332 146 357 0 59183 0
Current children cumulated CPU time (s) 16.94
Current children cumulated vsize (KiB) 457948
[startup+21.7003 s]
/proc/loadavg: 2.79 2.05 1.59 2/185 22717
/proc/meminfo: memFree=26248024/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=210628 CPUtime=11.26 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4204032 24643 72089 0 0 248 62 761 55 20 0 1 0 382133120 215683072 47350 33554432000 4194304 6004724 140734948318256 140734948312808 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 52657 47350 189 442 0 52211 0
[pid=22709] ppid=22690 vsize=238172 CPUtime=5.68 cores=0,2,4,6
/proc/22709/stat : 22709 (glucosInc) S 22690 22689 14188 0 -1 4202496 39205 0 0 0 560 8 0 0 20 0 1 0 382134179 243888128 51332 33554432000 4194304 5654031 140736518262960 140736518261272 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22709/statm: 59543 51332 146 357 0 59183 0
Current children cumulated CPU time (s) 16.94
Current children cumulated vsize (KiB) 457948
[startup+22.5003 s]
/proc/loadavg: 2.79 2.05 1.59 2/183 22721
/proc/meminfo: memFree=26701684/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=210628 CPUtime=11.26 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4204032 24643 72089 0 0 248 62 761 55 20 0 1 0 382133120 215683072 47350 33554432000 4194304 6004724 140734948318256 140734948312808 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 52657 47350 189 442 0 52211 0
[pid=22709] ppid=22690 vsize=238172 CPUtime=5.68 cores=0,2,4,6
/proc/22709/stat : 22709 (glucosInc) S 22690 22689 14188 0 -1 4202496 39205 0 0 0 560 8 0 0 20 0 1 0 382134179 243888128 51332 33554432000 4194304 5654031 140736518262960 140736518261272 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22709/statm: 59543 51332 146 357 0 59183 0
Current children cumulated CPU time (s) 16.94
Current children cumulated vsize (KiB) 457948
[startup+22.9003 s]
/proc/loadavg: 2.79 2.05 1.59 2/185 22724
/proc/meminfo: memFree=26459420/32873844 swapFree=7632/7632
[pid=22689] ppid=22687 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22689/stat : 22689 (npSolver-pbo-It) S 22687 22689 14188 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382133120 9367552 275 33554432000 4194304 5064252 140736323506656 140736323505568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22689/statm: 2287 275 233 213 0 72 0
[pid=22690] ppid=22689 vsize=210628 CPUtime=11.26 cores=0,2,4,6
/proc/22690/stat : 22690 (npSolver-pbo) S 22689 22689 14188 0 -1 4204032 24643 72089 0 0 248 62 761 55 20 0 1 0 382133120 215683072 47350 33554432000 4194304 6004724 140734948318256 140734948312808 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22690/statm: 52657 47350 189 442 0 52211 0
[pid=22709] ppid=22690 vsize=238172 CPUtime=5.68 cores=0,2,4,6
/proc/22709/stat : 22709 (glucosInc) S 22690 22689 14188 0 -1 4202496 39205 0 0 0 560 8 0 0 20 0 1 0 382134179 243888128 51332 33554432000 4194304 5654031 140736518262960 140736518261272 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22709/statm: 59543 51332 146 357 0 59183 0
Current children cumulated CPU time (s) 16.94
Current children cumulated vsize (KiB) 457948
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22689 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=106463
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=183820
# CPU time returned by wait4() is 11.2903
# while last known CPU time is 16.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 22.9959
CPU time (s): 16.94
CPU user time (s): 15.69
CPU system time (s): 1.25
CPU usage (%): 73.6652
Max. virtual memory (cumulated for all children) (KiB): 840904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1065
system time used= 1.18382
maximum resident set size= 628468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 294896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52369
involuntary context switches= 29
runsolver used 0.043993 second user time and 0.143978 second system time
The end