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-4246872-1500688364/watcher-4246872-1500688364 -o /tmp/evaluation-result-4246872-1500688364/solver-4246872-1500688364 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1458417174 HOME/instance-4246872-1500688364.xml
pid=2100
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 10.67 11.73 13.57 9/271 2103
/proc/meminfo: memFree=29557556/32770624 swapFree=5800/272292
[pid=2103] ppid=2100 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2103/stat : 2103 (xcsp3-exec) S 2100 2103 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4104201 9740288 346 33554432000 4194304 5098028 140730048299312 140730048297416 140245606138492 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7442432 140730048308366 140730048308576 140730048308576 140730048311275 0
/proc/2103/statm: 2378 346 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 10.67 11.73 13.57 9/271 2103
/proc/meminfo: memFree=29557556/32770624 swapFree=5800/272292
[pid=2103] ppid=2100 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2103/stat : 2103 (xcsp3-exec) S 2100 2103 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4104201 9740288 346 33554432000 4194304 5098028 140730048299312 140730048297416 140245606138492 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7442432 140730048308366 140730048308576 140730048308576 140730048311275 0
/proc/2103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200342 s]
/proc/loadavg: 10.67 11.73 13.57 9/271 2103
/proc/meminfo: memFree=29557556/32770624 swapFree=5800/272292
[pid=2103] ppid=2100 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2103/stat : 2103 (xcsp3-exec) S 2100 2103 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4104201 9740288 346 33554432000 4194304 5098028 140730048299312 140730048297416 140245606138492 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7442432 140730048308366 140730048308576 140730048308576 140730048311275 0
/proc/2103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300273 s]
/proc/loadavg: 10.67 11.73 13.57 9/271 2103
/proc/meminfo: memFree=29557556/32770624 swapFree=5800/272292
[pid=2103] ppid=2100 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2103/stat : 2103 (xcsp3-exec) S 2100 2103 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4104201 9740288 346 33554432000 4194304 5098028 140730048299312 140730048297416 140245606138492 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7442432 140730048308366 140730048308576 140730048308576 140730048311275 0
/proc/2103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700224 s]
/proc/loadavg: 10.67 11.73 13.57 9/271 2103
/proc/meminfo: memFree=29557556/32770624 swapFree=5800/272292
[pid=2103] ppid=2100 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2103/stat : 2103 (xcsp3-exec) S 2100 2103 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4104201 9740288 346 33554432000 4194304 5098028 140730048299312 140730048297416 140245606138492 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7442432 140730048308366 140730048308576 140730048308576 140730048311275 0
/proc/2103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2104 sig 9
??? kill 2103 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800329 s]
/proc/loadavg: 10.67 11.73 13.57 9/271 2103
/proc/meminfo: memFree=29557556/32770624 swapFree=5800/272292
[pid=2103] ppid=2100 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2103/stat : 2103 (xcsp3-exec) S 2100 2103 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4104201 9740288 346 33554432000 4194304 5098028 140730048299312 140730048297416 140245606138492 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7442432 140730048308366 140730048308576 140730048308576 140730048311275 0
/proc/2103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.21574 s]
/proc/loadavg: 10.67 11.73 13.57 19/300 2132
/proc/meminfo: memFree=29373084/32770624 swapFree=5800/272356
[pid=2103] ppid=2100 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2103/stat : 2103 (xcsp3-exec) S 2100 2103 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4104201 9740288 346 33554432000 4194304 5098028 140730048299312 140730048297416 140245606138492 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7442432 140730048308366 140730048308576 140730048308576 140730048311275 0
/proc/2103/statm: 2378 346 289 221 0 87 0
[pid=2104] ppid=2103 vsize=13801768 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/2104/stat : 2104 (java) S 2103 2103 7621 0 -1 1077944320 15904 0 0 0 410 13 0 0 20 0 28 0 4104201 14133010432 50371 33554432000 4194304 4196468 140724534958368 140724534940912 140003673681655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
/proc/2104/statm: 3450442 50371 3230 1 0 3437675 0
[pid=2104/tid=2105] ppid=2103 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2105/stat : 2105 (java) S 2103 2103 7621 0 -1 1077944384 6794 0 0 0 94 5 0 0 20 0 28 0 4104201 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003677922432 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2107] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2107/stat : 2107 (java) S 2103 2103 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003592162448 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2108] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2108/stat : 2108 (java) S 2103 2103 7621 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003591109648 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2109] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2109/stat : 2109 (java) S 2103 2103 7621 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003590056848 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2110] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2110/stat : 2110 (java) S 2103 2103 7621 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003589004048 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2111] ppid=2103 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2111/stat : 2111 (java) S 2103 2103 7621 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003587951248 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2112] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2112/stat : 2112 (java) S 2103 2103 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003586898448 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2113] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2113/stat : 2113 (java) S 2103 2103 7621 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003267045776 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2114] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2114/stat : 2114 (java) S 2103 2103 7621 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4104202 14133010432 50371 33554432000 4194304 4196468 140724534958368 140003265992976 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2115] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2115/stat : 2115 (java) S 2103 2103 7621 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 4104205 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002867522416 140003673692802 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2116] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2116/stat : 2116 (java) S 2103 2103 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4104205 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002866468384 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2117] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2117/stat : 2117 (java) S 2103 2103 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4104206 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002865415536 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2118] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2118/stat : 2118 (java) S 2103 2103 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4104209 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002864363856 140003673700251 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2119] ppid=2103 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2119/stat : 2119 (java) R 2103 2103 7621 0 -1 4202560 1545 0 0 0 56 0 0 0 20 0 28 0 4104209 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002863292232 140003658105296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2120] ppid=2103 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2120/stat : 2120 (java) R 2103 2103 7621 0 -1 4202560 1564 0 0 0 61 0 0 0 20 0 28 0 4104209 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002862239432 140003665971037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2121] ppid=2103 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2121/stat : 2121 (java) R 2103 2103 7621 0 -1 4202560 1797 0 0 0 61 0 0 0 20 0 28 0 4104209 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002861191496 140003658789358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2122] ppid=2103 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2122/stat : 2122 (java) R 2103 2103 7621 0 -1 1077944384 2359 0 0 0 48 1 0 0 20 0 28 0 4104209 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002860152816 140003673692802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2123] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2123/stat : 2123 (java) S 2103 2103 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4104210 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002859101280 140003673691861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2124] ppid=2103 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2124/stat : 2124 (java) S 2103 2103 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4104210 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002858048560 140003673692802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2125] ppid=2103 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2125/stat : 2125 (java) R 2103 2103 7621 0 -1 4202560 66 0 0 0 10 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002850036632 140003271535703 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2126] ppid=2103 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2126/stat : 2126 (java) R 2103 2103 7621 0 -1 4202560 52 0 0 0 14 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002848980968 140003673695509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2127] ppid=2103 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2127/stat : 2127 (java) R 2103 2103 7621 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002318602088 140003271856139 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2128] ppid=2103 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2128/stat : 2128 (java) R 2103 2103 7621 0 -1 4202560 72 0 0 0 7 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002317549944 140003271988491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2129] ppid=2103 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2129/stat : 2129 (java) R 2103 2103 7621 0 -1 4202560 42 0 0 0 10 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002316496840 140003271652908 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2130] ppid=2103 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2130/stat : 2130 (java) R 2103 2103 7621 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002315443904 140003271989226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2131] ppid=2103 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2131/stat : 2131 (java) R 2103 2103 7621 0 -1 4202560 47 0 0 0 10 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002314395360 140003271456072 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
[pid=2104/tid=2132] ppid=2103 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/2104/task/2132/stat : 2132 (java) R 2103 2103 7621 0 -1 4202560 42 0 0 0 11 0 0 0 20 0 28 0 4104304 14133010432 50371 33554432000 4194304 4196468 140724534958368 140002313335440 140003267148240 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23949312 140724534965436 140724534965612 140724534965612 140724534968271 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.27913
CPU time (s): 4.57122
CPU user time (s): 4.43035
CPU system time (s): 0.140867
CPU usage (%): 357.369
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.43035
system time used= 0.140867
maximum resident set size= 204644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16829
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= 2708
involuntary context switches= 426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009384 second user time and 0.026068 second system time
The end