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-3718983-1338270413/watcher-3718983-1338270413 -o /tmp/evaluation-result-3718983-1338270413/solver-3718983-1338270413 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718983-1338270413.opb PrimePower CARD.SN ./CryptoMiniSat
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.07 2.00 1.60 2/178 3007
/proc/meminfo: memFree=30318904/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3007/stat : 3007 (python) D 3005 3007 2594 0 -1 4202496 753 0 0 0 0 0 0 0 20 0 1 0 293168685 15749120 628 33554432000 4194304 5683644 140735048489696 140735048430184 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 3845 628 333 364 0 287 0
[startup+0.056502 s]
/proc/loadavg: 2.07 2.00 1.60 2/178 3007
/proc/meminfo: memFree=30318904/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487544 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100302 s]
/proc/loadavg: 2.07 2.00 1.60 2/178 3007
/proc/meminfo: memFree=30318904/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487544 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300279 s]
/proc/loadavg: 2.07 2.00 1.60 2/178 3007
/proc/meminfo: memFree=30318904/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487544 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700228 s]
/proc/loadavg: 2.07 2.00 1.60 2/178 3007
/proc/meminfo: memFree=30318904/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487544 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50037 s]
/proc/loadavg: 2.07 2.00 1.60 3/183 3012
/proc/meminfo: memFree=30221664/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487544 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3009] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3009/stat : 3009 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293168687 9367552 266 33554432000 4194304 5064252 140733486231040 140733486229744 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3009/statm: 2287 266 226 213 0 72 0
[pid=3010] ppid=3009 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3010/stat : 3010 (python) S 3009 3007 2594 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293168687 17141760 1059 33554432000 4194304 5683644 140733307716256 140733307714104 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3010/statm: 4185 1059 429 364 0 627 0
[pid=3011] ppid=3010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3011/stat : 3011 (sh) S 3010 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293168690 9367552 267 33554432000 4194304 5064252 140737025375104 140737025373808 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3011/statm: 2287 267 226 213 0 72 0
[pid=3012] ppid=3011 vsize=221804 CPUtime=1.44 cores=1,3,5,7
/proc/3012/stat : 3012 (PBPASSolver-817) R 3011 3007 2594 0 -1 4202496 23147 0 0 0 40 104 0 0 20 0 1 0 293168690 227127296 23090 33554432000 4194304 4943705 140736889269376 140736889266720 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/3012/statm: 55451 23090 365 183 0 51821 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 273836
[startup+3.10037 s]
/proc/loadavg: 2.07 2.00 1.60 3/183 3012
/proc/meminfo: memFree=30183112/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487544 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3009] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3009/stat : 3009 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293168687 9367552 266 33554432000 4194304 5064252 140733486231040 140733486229744 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3009/statm: 2287 266 226 213 0 72 0
[pid=3010] ppid=3009 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3010/stat : 3010 (python) S 3009 3007 2594 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293168687 17141760 1059 33554432000 4194304 5683644 140733307716256 140733307714104 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3010/statm: 4185 1059 429 364 0 627 0
[pid=3011] ppid=3010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3011/stat : 3011 (sh) S 3010 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293168690 9367552 267 33554432000 4194304 5064252 140737025375104 140737025373808 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3011/statm: 2287 267 226 213 0 72 0
[pid=3012] ppid=3011 vsize=231020 CPUtime=3.03 cores=1,3,5,7
/proc/3012/stat : 3012 (PBPASSolver-817) R 3011 3007 2594 0 -1 4202496 24165 0 0 0 77 226 0 0 20 0 1 0 293168690 236564480 24108 33554432000 4194304 4943705 140736889269376 140736889266400 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/3012/statm: 57755 24108 365 183 0 54125 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 283052
[startup+6.30037 s]
/proc/loadavg: 2.15 2.02 1.61 3/183 3012
/proc/meminfo: memFree=30168032/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487544 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3009] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3009/stat : 3009 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293168687 9367552 266 33554432000 4194304 5064252 140733486231040 140733486229744 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3009/statm: 2287 266 226 213 0 72 0
[pid=3010] ppid=3009 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3010/stat : 3010 (python) S 3009 3007 2594 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293168687 17141760 1059 33554432000 4194304 5683644 140733307716256 140733307714104 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3010/statm: 4185 1059 429 364 0 627 0
[pid=3011] ppid=3010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3011/stat : 3011 (sh) S 3010 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293168690 9367552 267 33554432000 4194304 5064252 140737025375104 140737025373808 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3011/statm: 2287 267 226 213 0 72 0
[pid=3012] ppid=3011 vsize=248172 CPUtime=5.95 cores=1,3,5,7
/proc/3012/stat : 3012 (PBPASSolver-817) R 3011 3007 2594 0 -1 4202496 26027 0 0 0 144 451 0 0 20 0 1 0 293168690 254128128 25970 33554432000 4194304 4943705 140736889269376 140736889266752 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 28 0 0
/proc/3012/statm: 62043 25970 365 183 0 58413 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 300204
[startup+12.7003 s]
/proc/loadavg: 2.13 2.02 1.61 3/181 3014
/proc/meminfo: memFree=30220788/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=6.16 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1403 28641 0 0 1 0 148 467 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487240 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3013] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3013/stat : 3013 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293169332 9367552 267 33554432000 4194304 5064252 140736616274528 140736616273232 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3013/statm: 2287 267 226 213 0 72 0
[pid=3014] ppid=3013 vsize=80608 CPUtime=6.2 cores=1,3,5,7
/proc/3014/stat : 3014 (CryptoMiniSat) R 3013 3007 2594 0 -1 4202496 12275 0 0 0 618 2 0 0 20 0 1 0 293169332 82542592 12138 33554432000 4194304 4734972 140736051836224 140736051827352 4311743 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3014/statm: 20152 12138 370 132 0 15052 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 106752
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 2.12 2.02 1.62 3/181 3014
/proc/meminfo: memFree=30207232/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=6.16 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1403 28641 0 0 1 0 148 467 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487240 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3013] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3013/stat : 3013 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293169332 9367552 267 33554432000 4194304 5064252 140736616274528 140736616273232 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3013/statm: 2287 267 226 213 0 72 0
[pid=3014] ppid=3013 vsize=94328 CPUtime=9.41 cores=1,3,5,7
/proc/3014/stat : 3014 (CryptoMiniSat) R 3013 3007 2594 0 -1 4202496 15168 0 0 0 938 3 0 0 20 0 1 0 293169332 96591872 15542 33554432000 4194304 4734972 140736051836224 140736051827336 4537452 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3014/statm: 23582 15542 383 132 0 18482 0
Current children cumulated CPU time (s) 15.57
Current children cumulated vsize (KiB) 120472
[startup+16.7003 s]
/proc/loadavg: 2.12 2.02 1.62 3/181 3014
/proc/meminfo: memFree=30207232/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=6.16 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1403 28641 0 0 1 0 148 467 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487240 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3013] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3013/stat : 3013 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293169332 9367552 267 33554432000 4194304 5064252 140736616274528 140736616273232 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3013/statm: 2287 267 226 213 0 72 0
[pid=3014] ppid=3013 vsize=94328 CPUtime=10.21 cores=1,3,5,7
/proc/3014/stat : 3014 (CryptoMiniSat) R 3013 3007 2594 0 -1 4202496 15168 0 0 0 1018 3 0 0 20 0 1 0 293169332 96591872 15542 33554432000 4194304 4734972 140736051836224 140736051827336 4537450 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3014/statm: 23582 15542 383 132 0 18482 0
Current children cumulated CPU time (s) 16.37
Current children cumulated vsize (KiB) 120472
[startup+17.1003 s]
/proc/loadavg: 2.12 2.02 1.62 3/181 3014
/proc/meminfo: memFree=30207232/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=6.16 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1403 28641 0 0 1 0 148 467 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487240 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3013] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3013/stat : 3013 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293169332 9367552 267 33554432000 4194304 5064252 140736616274528 140736616273232 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3013/statm: 2287 267 226 213 0 72 0
[pid=3014] ppid=3013 vsize=95344 CPUtime=10.6 cores=1,3,5,7
/proc/3014/stat : 3014 (CryptoMiniSat) R 3013 3007 2594 0 -1 4202496 15383 0 0 0 1057 3 0 0 20 0 1 0 293169332 97632256 16215 33554432000 4194304 4734972 140736051836224 140736051828168 219513589652 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3014/statm: 23836 16215 389 132 0 18736 0
Current children cumulated CPU time (s) 16.76
Current children cumulated vsize (KiB) 121488
[startup+17.3004 s]
/proc/loadavg: 2.12 2.02 1.62 3/181 3014
/proc/meminfo: memFree=30207232/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=6.16 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1403 28641 0 0 1 0 148 467 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487240 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3013] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3013/stat : 3013 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293169332 9367552 267 33554432000 4194304 5064252 140736616274528 140736616273232 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3013/statm: 2287 267 226 213 0 72 0
[pid=3014] ppid=3013 vsize=104756 CPUtime=10.8 cores=1,3,5,7
/proc/3014/stat : 3014 (CryptoMiniSat) R 3013 3007 2594 0 -1 4202496 17250 0 0 0 1077 3 0 0 20 0 1 0 293169332 107270144 19104 33554432000 4194304 4734972 140736051836224 140736051828168 4328304 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3014/statm: 26189 19104 396 132 0 21089 0
Current children cumulated CPU time (s) 16.96
Current children cumulated vsize (KiB) 130900
[startup+17.4004 s]
/proc/loadavg: 2.12 2.02 1.62 3/181 3014
/proc/meminfo: memFree=30207232/32873648 swapFree=7116/7116
[pid=3007] ppid=3005 vsize=16996 CPUtime=6.16 cores=1,3,5,7
/proc/3007/stat : 3007 (python) S 3005 3007 2594 0 -1 4202496 1403 28641 0 0 1 0 148 467 20 0 1 0 293168685 17403904 1081 33554432000 4194304 5683644 140735048489696 140735048487240 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3007/statm: 4249 1081 429 364 0 691 0
[pid=3013] ppid=3007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3013/stat : 3013 (sh) S 3007 3007 2594 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293169332 9367552 267 33554432000 4194304 5064252 140736616274528 140736616273232 219513775694 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3013/statm: 2287 267 226 213 0 72 0
[pid=3014] ppid=3013 vsize=104756 CPUtime=10.9 cores=1,3,5,7
/proc/3014/stat : 3014 (CryptoMiniSat) R 3013 3007 2594 0 -1 4202496 17265 0 0 0 1087 3 0 0 20 0 1 0 293169332 107270144 18252 33554432000 4194304 4734972 140736051836224 140736051828168 219514004407 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3014/statm: 26189 18252 410 132 0 21089 0
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (KiB) 130900
Child status: 0
Real time (s): 17.4186
CPU time (s): 17.1114
CPU user time (s): 12.3941
CPU system time (s): 4.71728
CPU usage (%): 98.2365
Max. virtual memory (cumulated for all children) (KiB): 300716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3941
system time used= 4.71728
maximum resident set size= 104228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142
involuntary context switches= 36
runsolver used 0.032994 second user time and 0.082987 second system time
The end