runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4256124-1501992411/watcher-4256124-1501992411 -o /tmp/evaluation-result-4256124-1501992411/solver-4256124-1501992411 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501986126-20441 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 130532508 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256124-1501992411.xml
pid=25729
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.79 1.58 1.49 3/198 25732
/proc/meminfo: memFree=30315436/32770624 swapFree=0/328812
[pid=25732] ppid=25729 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25732/stat : 25732 (runsolver) D 25729 25732 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 98894377 24240128 108 18446744073709551615 4194304 4338465 140720562003264 140720562000904 139930600456919 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 24985600 140720562008173 140720562008652 140720562008652 140720562012106 0
/proc/25732/statm: 5918 108 54 36 0 2156 0
[startup+0.100189 s]
/proc/loadavg: 1.79 1.58 1.49 3/198 25732
/proc/meminfo: memFree=30315436/32770624 swapFree=0/328812
[pid=25732] ppid=25729 vsize=103032 CPUtime=0 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 12039 0 -1 1077944320 1473 0 0 0 0 0 0 0 20 0 2 0 98894377 105504768 1209 18446744073709551615 4194304 4196468 140732693977328 140732693959872 140136863411959 0 0 1 0 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
/proc/25732/statm: 25758 1209 891 1 0 16800 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 103032
[startup+0.200308 s]
/proc/loadavg: 1.79 1.58 1.49 3/198 25732
/proc/meminfo: memFree=30315436/32770624 swapFree=0/328812
[pid=25732] ppid=25729 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 12039 0 -1 1077944320 5093 0 0 0 4 1 0 0 20 0 14 0 98894377 14240239616 5610 18446744073709551615 4194304 4196468 140732693977328 140732693959872 140136863411959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
/proc/25732/statm: 3476621 5610 2560 1 0 3466118 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.301839 s]
/proc/loadavg: 1.79 1.58 1.49 3/198 25732
/proc/meminfo: memFree=30315436/32770624 swapFree=0/328812
[pid=25732] ppid=25729 vsize=13975920 CPUtime=0.19 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 12039 0 -1 1077944320 10001 0 0 0 16 3 0 0 20 0 15 0 98894377 14311342080 9416 18446744073709551615 4194304 4196468 140732693977328 140732693959872 140136863411959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
/proc/25732/statm: 3493980 9416 3536 1 0 3482759 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920
[startup+0.700483 s]
/proc/loadavg: 1.79 1.58 1.49 3/198 25732
/proc/meminfo: memFree=30315436/32770624 swapFree=0/328812
[pid=25732] ppid=25729 vsize=13977988 CPUtime=0.97 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 12039 0 -1 1077944320 14230 0 0 0 93 4 0 0 20 0 15 0 98894377 14313459712 17027 18446744073709551615 4194304 4196468 140732693977328 140732693959872 140136863411959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
/proc/25732/statm: 3494497 17027 3734 1 0 3483271 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25732 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800312 s]
/proc/loadavg: 1.79 1.58 1.49 3/198 25732
/proc/meminfo: memFree=30315436/32770624 swapFree=0/328812
[pid=25732] ppid=25729 vsize=13980036 CPUtime=1.18 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 12039 0 -1 1077944320 15029 0 0 0 113 5 0 0 20 0 15 0 98894377 14315556864 19349 18446744073709551615 4194304 4196468 140732693977328 140732693959872 140136863411959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
/proc/25732/statm: 3495009 19349 3736 1 0 3483783 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13980036
[startup+1.20697 s]
/proc/loadavg: 1.79 1.58 1.49 5/213 25747
/proc/meminfo: memFree=30226472/32770624 swapFree=0/328836
[pid=25732] ppid=25729 vsize=13980036 CPUtime=2.24 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 12039 0 -1 1077944320 26474 0 0 0 216 8 0 0 20 0 15 0 98894377 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140732693959872 140136863411959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
/proc/25732/statm: 3495009 29568 3752 1 0 3483783 0
[pid=25732/tid=25734] ppid=25729 vsize=13980036 CPUtime=1.03 cores=0,2,4,6
/proc/25732/task/25734/stat : 25734 (java) R 25729 25732 12039 0 -1 4202560 14379 0 0 0 98 5 0 0 20 0 15 0 98894387 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136867649744 140136481863676 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25735] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25735/stat : 25735 (java) S 25729 25732 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98894387 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136463121040 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25736] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25736/stat : 25736 (java) S 25729 25732 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98894387 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136462068240 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25737] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25737/stat : 25737 (java) S 25729 25732 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98894387 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136461015440 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25738] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25738/stat : 25738 (java) S 25729 25732 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98894387 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136459962640 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25739] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25739/stat : 25739 (java) S 25729 25732 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98894389 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136409942896 140136863423106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25740] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25740/stat : 25740 (java) S 25729 25732 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98894389 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136408888864 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25741] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25741/stat : 25741 (java) S 25729 25732 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98894389 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136407836016 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25742] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25742/stat : 25742 (java) S 25729 25732 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98894392 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136406784336 140136863430555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25743] ppid=25729 vsize=13980036 CPUtime=0.37 cores=0,2,4,6
/proc/25732/task/25743/stat : 25743 (java) R 25729 25732 12039 0 -1 4202560 5213 0 0 0 37 0 0 0 20 0 15 0 98894392 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136405716360 140136847801560 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25744] ppid=25729 vsize=13980036 CPUtime=0.43 cores=0,2,4,6
/proc/25732/task/25744/stat : 25744 (java) R 25729 25732 12039 0 -1 4202560 3900 0 0 0 43 0 0 0 20 0 15 0 98894392 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136404660688 140136842650372 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25745] ppid=25729 vsize=13980036 CPUtime=0.37 cores=0,2,4,6
/proc/25732/task/25745/stat : 25745 (java) S 25729 25732 12039 0 -1 1077944384 1609 0 0 0 37 0 0 0 20 0 15 0 98894392 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136403626096 140136863423106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25746] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25746/stat : 25746 (java) S 25729 25732 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98894392 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136402573536 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25747] ppid=25729 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25747/stat : 25747 (java) S 25729 25732 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98894398 14315556864 29568 18446744073709551615 4194304 4196468 140732693977328 140136401521840 140136863423106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 13980036
[startup+1.40063 s]
/proc/loadavg: 1.79 1.58 1.49 5/213 25747
/proc/meminfo: memFree=30226472/32770624 swapFree=0/328836
[pid=25732] ppid=25729 vsize=14046600 CPUtime=2.82 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 12039 0 -1 1077944320 29823 0 0 0 274 8 0 0 20 0 14 0 98894377 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140732693959872 140136863411959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
/proc/25732/statm: 3511650 35720 3757 1 0 3500424 0
[pid=25732/tid=25734] ppid=25729 vsize=14046600 CPUtime=1.22 cores=0,2,4,6
/proc/25732/task/25734/stat : 25734 (java) S 25729 25732 12039 0 -1 1077944384 14579 0 0 0 116 6 0 0 20 0 14 0 98894387 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136867654800 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25735] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25735/stat : 25735 (java) S 25729 25732 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98894387 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136463121040 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25736] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25736/stat : 25736 (java) S 25729 25732 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98894387 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136462068240 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25737] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25737/stat : 25737 (java) S 25729 25732 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98894387 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136461015440 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25738] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25738/stat : 25738 (java) S 25729 25732 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 98894387 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136459962640 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25739] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25739/stat : 25739 (java) S 25729 25732 12039 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 14 0 98894389 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136409943104 140136863423106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25740] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25740/stat : 25740 (java) S 25729 25732 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 98894389 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136408888864 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25741] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25741/stat : 25741 (java) S 25729 25732 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 98894389 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136407836016 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25742] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25742/stat : 25742 (java) S 25729 25732 12039 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 98894392 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136406783984 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25743] ppid=25729 vsize=14046600 CPUtime=0.56 cores=0,2,4,6
/proc/25732/task/25743/stat : 25743 (java) S 25729 25732 12039 0 -1 1077944384 6693 0 0 0 56 0 0 0 20 0 14 0 98894392 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136405711504 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25744] ppid=25729 vsize=14046600 CPUtime=0.62 cores=0,2,4,6
/proc/25732/task/25744/stat : 25744 (java) S 25729 25732 12039 0 -1 1077944384 5424 0 0 0 62 0 0 0 20 0 14 0 98894392 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136404663968 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25745] ppid=25729 vsize=14046600 CPUtime=0.38 cores=0,2,4,6
/proc/25732/task/25745/stat : 25745 (java) S 25729 25732 12039 0 -1 1077944384 1712 0 0 0 38 0 0 0 20 0 14 0 98894392 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136403626096 140136863423106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
[pid=25732/tid=25746] ppid=25729 vsize=14046600 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25746/stat : 25746 (java) S 25729 25732 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 98894392 14383718400 35720 18446744073709551615 4194304 4196468 140732693977328 140136402573536 140136863422165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14692352 140732693983640 140732693983825 140732693983825 140732693987279 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 14046600
Child status: 0
Real time (s): 1.40955
CPU time (s): 2.83325
CPU user time (s): 2.74299
CPU system time (s): 0.090256
CPU usage (%): 201.004
Max. virtual memory (cumulated for all children) (KiB): 14046600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.74299
system time used= 0.090256
maximum resident set size= 143164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2195
involuntary context switches= 6
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.006235 second user time and 0.013718 second system time
The end