runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62472 MiB free)
  memory of node 1: 64465 MiB (61073 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494147-1751153895/watcher-4494147-1751153895 -o /tmp/evaluation-result-4494147-1751153895/solver-4494147-1751153895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751146906-14948 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1901999524 --ls=360 --inp-dombreaklim=0 HOME/instance-4494147-1751153895.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16754, runsolver pid=16751

[startup+0.100066 s]*
/proc/loadavg: 4.08 4.17 4.16 5/264 16755
/proc/meminfo: memFree=126484236/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=48868 memory=25132 CPUtime=0.09 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 5591 0 0 0 9 0 0 0 20 0 1 0 31067051 50040832 6283 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 12217 6283 1024 1200 0 10697 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48868 KiB
Current children cumulated memory: 25132 KiB

[startup+0.205669 s]*
/proc/loadavg: 4.08 4.17 4.16 5/264 16755
/proc/meminfo: memFree=126460168/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=68336 memory=43656 CPUtime=0.19 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 9460 0 0 0 18 1 0 0 20 0 1 0 31067051 69976064 10914 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 17084 10914 1024 1200 0 15564 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68336 KiB
Current children cumulated memory: 43656 KiB

[startup+0.305668 s]*
/proc/loadavg: 4.08 4.17 4.16 5/264 16755
/proc/meminfo: memFree=126460168/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=72588 memory=53984 CPUtime=0.28 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 10514 0 0 0 27 1 0 0 20 0 1 0 31067051 74330112 13496 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 18147 13496 1024 1200 0 16627 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72588 KiB
Current children cumulated memory: 53984 KiB

[startup+0.70018 s]
/proc/loadavg: 4.08 4.17 4.16 5/264 16755
/proc/meminfo: memFree=126419604/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=129084 memory=118304 CPUtime=0.67 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 21505 0 0 0 63 4 0 0 20 0 1 0 31067051 132182016 29576 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 32271 29576 1024 1200 0 30751 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 129084 KiB
Current children cumulated memory: 118304 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.17 4.16 5/264 16755
/proc/meminfo: memFree=126334608/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=399076 memory=329164 CPUtime=1.47 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 50475 0 0 0 135 12 0 0 20 0 1 0 31067051 408653824 82291 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 99769 82291 1024 1200 0 98249 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 399076 KiB
Current children cumulated memory: 329164 KiB

[startup+3.1056 s]
/proc/loadavg: 4.07 4.17 4.16 5/264 16755
/proc/meminfo: memFree=126019076/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=480732 CPUtime=3.07 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77094 0 0 0 288 19 0 0 20 0 1 0 31067051 545984512 120183 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 120183 1024 1200 0 131777 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 480732 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.17 4.16 5/265 16786
/proc/meminfo: memFree=125839144/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=480732 CPUtime=6.25 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77161 0 0 0 606 19 0 0 20 0 1 0 31067051 545984512 120183 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 120183 1024 1200 0 131777 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 480732 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.16 4.16 5/264 16786
/proc/meminfo: memFree=124688380/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=480732 CPUtime=12.63 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77228 0 0 0 1244 19 0 0 20 0 1 0 31067051 545984512 120183 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 120183 1024 1200 0 131777 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 480732 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.18 4.17 5/263 16800
/proc/meminfo: memFree=127398436/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=480732 CPUtime=25.38 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77281 0 0 0 2519 19 0 0 20 0 1 0 31067051 545984512 120183 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 120183 1024 1200 0 131777 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 480732 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.16 4.16 5/264 16833
/proc/meminfo: memFree=126106884/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=480732 CPUtime=50.9 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77375 0 0 0 5070 20 0 0 20 0 1 0 31067051 545984512 120183 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 120183 1024 1200 0 131777 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 480732 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/264 16835
/proc/meminfo: memFree=126136596/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=480732 CPUtime=101.91 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77503 0 0 0 10171 20 0 0 20 0 1 0 31067051 545984512 120183 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 120183 1024 1200 0 131777 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 480732 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/265 16838
/proc/meminfo: memFree=126125124/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=483164 CPUtime=161.69 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77761 0 0 0 16149 20 0 0 20 0 1 0 31067051 545984512 120791 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 120791 1024 1200 0 131777 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 483164 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/265 16840
/proc/meminfo: memFree=126120896/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=494428 CPUtime=221.48 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77874 0 0 0 22128 20 0 0 20 0 1 0 31067051 545984512 123607 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 123607 1024 1200 0 131777 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 494428 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/265 16842
/proc/meminfo: memFree=126112124/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=498524 CPUtime=281.3 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 77998 0 0 0 28110 20 0 0 20 0 1 0 31067051 545984512 124631 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 124631 1024 1200 0 131777 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 498524 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/264 16844
/proc/meminfo: memFree=126106576/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=498524 CPUtime=341.12 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 78082 0 0 0 34092 20 0 0 20 0 1 0 31067051 545984512 124631 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 124631 1024 1200 0 131777 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 498524 KiB

[startup+390.54 s]
# the end of solver process 16754 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=388.745 s, system=0.480895 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+358.4 s]
/proc/loadavg: 4.08 4.12 4.14 5/264 16844
/proc/meminfo: memFree=126107080/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=533188 memory=498524 CPUtime=357.17 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 78082 0 0 0 35697 20 0 0 20 0 1 0 31067051 545984512 124631 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 133297 124631 1024 1200 0 131777 0
Current children cumulated CPU time: 357.17 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 498524 KiB

[startup+371.2 s]
/proc/loadavg: 4.07 4.11 4.14 5/264 16845
/proc/meminfo: memFree=125428884/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1154444 memory=1109700 CPUtime=369.94 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 110389 0 0 0 36949 45 0 0 20 0 1 0 31067051 1182150656 277425 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 288611 277425 1184 1200 0 287091 0
Current children cumulated CPU time: 369.94 s
Current children cumulated vsize: 1154444 KiB
Current children cumulated memory: 1109700 KiB

[startup+384 s]*
/proc/loadavg: 4.05 4.11 4.14 5/264 16845
/proc/meminfo: memFree=123931176/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1179212 memory=1122224 CPUtime=382.7 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 111484 0 0 0 38224 46 0 0 20 0 1 0 31067051 1207513088 280556 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 294803 280556 1184 1200 0 293283 0
Current children cumulated CPU time: 382.7 s
Current children cumulated vsize: 1179212 KiB
Current children cumulated memory: 1122224 KiB

[startup+387.2 s]
/proc/loadavg: 4.05 4.11 4.14 5/264 16845
/proc/meminfo: memFree=123947688/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1179212 memory=1122224 CPUtime=385.88 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 111500 0 0 0 38542 46 0 0 20 0 1 0 31067051 1207513088 280556 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 294803 280556 1184 1200 0 293283 0
Current children cumulated CPU time: 385.88 s
Current children cumulated vsize: 1179212 KiB
Current children cumulated memory: 1122224 KiB

[startup+388.8 s]
/proc/loadavg: 4.05 4.11 4.14 5/264 16845
/proc/meminfo: memFree=123959776/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1179212 memory=1122224 CPUtime=387.48 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 111501 0 0 0 38702 46 0 0 20 0 1 0 31067051 1207513088 280556 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 294803 280556 1184 1200 0 293283 0
Current children cumulated CPU time: 387.48 s
Current children cumulated vsize: 1179212 KiB
Current children cumulated memory: 1122224 KiB

[startup+389.6 s]
/proc/loadavg: 4.05 4.11 4.14 5/264 16845
/proc/meminfo: memFree=123971616/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1179212 memory=1124328 CPUtime=388.27 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 111502 0 0 0 38781 46 0 0 20 0 1 0 31067051 1207513088 281082 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 294803 281082 1184 1200 0 293283 0
Current children cumulated CPU time: 388.27 s
Current children cumulated vsize: 1179212 KiB
Current children cumulated memory: 1124328 KiB

[startup+390 s]*
/proc/loadavg: 4.05 4.11 4.14 5/264 16845
/proc/meminfo: memFree=123971868/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1179212 memory=1124328 CPUtime=388.68 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 111502 0 0 0 38822 46 0 0 20 0 1 0 31067051 1207513088 281082 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 294803 281082 1184 1200 0 293283 0
Current children cumulated CPU time: 388.68 s
Current children cumulated vsize: 1179212 KiB
Current children cumulated memory: 1124328 KiB

[startup+390.4 s]
/proc/loadavg: 4.05 4.11 4.14 5/264 16845
/proc/meminfo: memFree=123971868/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1179212 memory=1124328 CPUtime=389.08 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 111502 0 0 0 38861 47 0 0 20 0 1 0 31067051 1207513088 281082 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 294803 281082 1184 1200 0 293283 0
Current children cumulated CPU time: 389.08 s
Current children cumulated vsize: 1179212 KiB
Current children cumulated memory: 1124328 KiB

[startup+390.5 s]
/proc/loadavg: 4.05 4.11 4.14 5/264 16845
/proc/meminfo: memFree=123971868/131250000 swapFree=33010684/33010684
[pid=16754] ppid=16751 vsize=1151308 memory=1108020 CPUtime=389.18 cores=4,6
/proc/16754/stat : 16754 (Exact) R 16751 16754 14937 0 -1 4194304 112147 0 0 0 38871 47 0 0 20 0 1 0 31067051 1178939392 277005 18446744073709551615 4198400 9112445 140734387408480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 43667456 140734387415334 140734387415533 140734387415533 140734387421135 0
/proc/16754/statm: 287827 277005 1248 1200 0 286307 0
Current children cumulated CPU time: 389.18 s
Current children cumulated vsize: 1151308 KiB
Current children cumulated memory: 1108020 KiB

Child status: 30

Real time (s): 390.541
CPU time (s): 389.226
CPU user time (s): 388.745
CPU system time (s): 0.480895
CPU usage (%): 99.6635
Max. virtual memory (cumulated for all children) (KiB): 1280268
Max. memory (cumulated for all children) (KiB): 1245160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.745
system time used= 0.480895
maximum resident set size= 1263788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112154
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= 128
involuntary context switches= 175


# summary of solver processes directly reported to runsolver:
#   pid: 16754
#   total CPU time (s): 389.226
#   total CPU user time (s): 388.745
#   total CPU system time (s): 0.480895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.656144 second user time and 1.91582 second system time

The end