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 (62436 MiB free)
  memory of node 1: 64465 MiB (61223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494111-1751153502/watcher-4494111-1751153502 -o /tmp/evaluation-result-4494111-1751153502/solver-4494111-1751153502 -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=1152710187 --ls=360 --inp-dombreaklim=0 HOME/instance-4494111-1751153502.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
solver pid=16676, runsolver pid=16673
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.47 4.30 4.18 5/266 16677
/proc/meminfo: memFree=126619456/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=48864 memory=26368 CPUtime=0.09 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 5901 0 0 0 9 0 0 0 20 0 1 0 31027737 50036736 6592 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 12216 6592 1024 1200 0 10696 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48864 KiB
Current children cumulated memory: 26368 KiB

[startup+0.20565 s]*
/proc/loadavg: 4.47 4.30 4.18 5/266 16677
/proc/meminfo: memFree=126595388/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=68312 memory=44904 CPUtime=0.2 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 9260 0 0 0 19 1 0 0 20 0 1 0 31027737 69951488 11226 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 17078 11226 1024 1200 0 15558 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68312 KiB
Current children cumulated memory: 44904 KiB

[startup+0.305532 s]*
/proc/loadavg: 4.47 4.30 4.18 5/266 16677
/proc/meminfo: memFree=126595388/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=74460 memory=57184 CPUtime=0.3 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 10805 0 0 0 29 1 0 0 20 0 1 0 31027737 76247040 14296 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 18615 14296 1024 1200 0 17095 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74460 KiB
Current children cumulated memory: 57184 KiB

[startup+0.70016 s]
/proc/loadavg: 4.47 4.30 4.18 5/266 16677
/proc/meminfo: memFree=126555064/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=191928 memory=133276 CPUtime=0.69 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 23207 0 0 0 65 4 0 0 20 0 1 0 31027737 196534272 33319 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 47982 33319 1024 1200 0 46462 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 191928 KiB
Current children cumulated memory: 133276 KiB

[startup+1.50018 s]
/proc/loadavg: 4.47 4.30 4.18 5/266 16677
/proc/meminfo: memFree=126470068/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=345428 memory=276800 CPUtime=1.49 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 52231 0 0 0 137 12 0 0 20 0 1 0 31027737 353718272 69200 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 86357 69200 1024 1200 0 84837 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 345428 KiB
Current children cumulated memory: 276800 KiB

[startup+3.10565 s]
/proc/loadavg: 4.47 4.30 4.18 5/266 16677
/proc/meminfo: memFree=126158664/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=3.09 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78346 0 0 0 290 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+6.30017 s]
/proc/loadavg: 4.43 4.29 4.18 5/266 16677
/proc/meminfo: memFree=126174816/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=6.28 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78413 0 0 0 609 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 4.29 4.18 5/264 16677
/proc/meminfo: memFree=126167260/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=12.66 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78482 0 0 0 1247 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+25.5002 s]
/proc/loadavg: 4.39 4.29 4.18 5/264 16678
/proc/meminfo: memFree=126156240/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=25.42 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78550 0 0 0 2523 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+51.1056 s]
/proc/loadavg: 4.41 4.30 4.18 5/264 16678
/proc/meminfo: memFree=126157568/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=50.95 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78617 0 0 0 5076 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.32 4.20 5/264 16680
/proc/meminfo: memFree=126146212/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=101.99 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78753 0 0 0 10180 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.29 4.19 5/263 16682
/proc/meminfo: memFree=126145244/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=161.8 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78807 0 0 0 16161 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.25 4.18 5/263 16684
/proc/meminfo: memFree=126151908/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=221.62 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78889 0 0 0 22143 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.22 4.17 5/263 16686
/proc/meminfo: memFree=126151868/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=281.43 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78890 0 0 0 28124 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.19 4.17 5/264 16691
/proc/meminfo: memFree=123307400/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=341.25 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78957 0 0 0 34106 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

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

# cumulated CPU time of all completed processes:  user=386.717 s, system=0.47377 s

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

[startup+358.4 s]
/proc/loadavg: 4.05 4.18 4.17 5/264 16691
/proc/meminfo: memFree=123293156/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=532696 memory=483688 CPUtime=357.3 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 78957 0 0 0 35711 19 0 0 20 0 1 0 31027737 545480704 120922 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 133174 120922 1024 1200 0 131654 0
Current children cumulated CPU time: 357.3 s
Current children cumulated vsize: 532696 KiB
Current children cumulated memory: 483688 KiB

[startup+371.2 s]
/proc/loadavg: 4.11 4.19 4.17 5/264 16694
/proc/meminfo: memFree=122613192/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1153708 memory=1098340 CPUtime=370.06 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 111918 0 0 0 36963 43 0 0 20 0 1 0 31027737 1181396992 274585 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 288427 274585 1184 1200 0 286907 0
Current children cumulated CPU time: 370.06 s
Current children cumulated vsize: 1153708 KiB
Current children cumulated memory: 1098340 KiB

[startup+377.6 s]
/proc/loadavg: 4.10 4.18 4.17 5/264 16694
/proc/meminfo: memFree=122623420/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1161964 memory=1107172 CPUtime=376.44 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 112625 0 0 0 37600 44 0 0 20 0 1 0 31027737 1189851136 276793 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 290491 276793 1184 1200 0 288971 0
Current children cumulated CPU time: 376.44 s
Current children cumulated vsize: 1161964 KiB
Current children cumulated memory: 1107172 KiB

[startup+384 s]*
/proc/loadavg: 4.09 4.18 4.17 5/264 16694
/proc/meminfo: memFree=122646188/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1178476 memory=1110628 CPUtime=382.83 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 112972 0 0 0 38238 45 0 0 20 0 1 0 31027737 1206759424 277657 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 294619 277657 1184 1200 0 293099 0
Current children cumulated CPU time: 382.83 s
Current children cumulated vsize: 1178476 KiB
Current children cumulated memory: 1110628 KiB

[startup+385.6 s]
/proc/loadavg: 4.09 4.18 4.17 5/264 16695
/proc/meminfo: memFree=122625708/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1178476 memory=1110628 CPUtime=384.41 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 112972 0 0 0 38396 45 0 0 20 0 1 0 31027737 1206759424 277657 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 294619 277657 1184 1200 0 293099 0
Current children cumulated CPU time: 384.41 s
Current children cumulated vsize: 1178476 KiB
Current children cumulated memory: 1110628 KiB

[startup+387.2 s]
/proc/loadavg: 4.09 4.18 4.17 5/264 16695
/proc/meminfo: memFree=122632484/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1178476 memory=1110628 CPUtime=386.01 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 112972 0 0 0 38556 45 0 0 20 0 1 0 31027737 1206759424 277657 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 294619 277657 1184 1200 0 293099 0
Current children cumulated CPU time: 386.01 s
Current children cumulated vsize: 1178476 KiB
Current children cumulated memory: 1110628 KiB

[startup+388 s]*
/proc/loadavg: 4.09 4.18 4.17 5/263 16709
/proc/meminfo: memFree=125385124/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1178476 memory=1110628 CPUtime=386.81 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 112972 0 0 0 38636 45 0 0 20 0 1 0 31027737 1206759424 277657 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 294619 277657 1184 1200 0 293099 0
Current children cumulated CPU time: 386.81 s
Current children cumulated vsize: 1178476 KiB
Current children cumulated memory: 1110628 KiB

[startup+388.2 s]
/proc/loadavg: 4.09 4.18 4.17 5/263 16709
/proc/meminfo: memFree=125385124/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1178476 memory=1110628 CPUtime=387.01 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 112972 0 0 0 38656 45 0 0 20 0 1 0 31027737 1206759424 277657 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 294619 277657 1184 1200 0 293099 0
Current children cumulated CPU time: 387.01 s
Current children cumulated vsize: 1178476 KiB
Current children cumulated memory: 1110628 KiB

[startup+388.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/263 16709
/proc/meminfo: memFree=125385124/131250000 swapFree=33010684/33010684
[pid=16676] ppid=16673 vsize=1149220 memory=1094800 CPUtime=387.1 cores=4,6
/proc/16676/stat : 16676 (Exact) R 16673 16676 14937 0 -1 4194304 113599 0 0 0 38665 45 0 0 20 0 1 0 31027737 1176801280 273700 18446744073709551615 4198400 9112445 140722782098496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23101440 140722782099750 140722782099949 140722782099949 140722782105551 0
/proc/16676/statm: 287305 273700 1280 1200 0 285785 0
Current children cumulated CPU time: 387.1 s
Current children cumulated vsize: 1149220 KiB
Current children cumulated memory: 1094800 KiB

Child status: 30

Real time (s): 388.375
CPU time (s): 387.191
CPU user time (s): 386.717
CPU system time (s): 0.47377
CPU usage (%): 99.6949
Max. virtual memory (cumulated for all children) (KiB): 1296616
Max. memory (cumulated for all children) (KiB): 1246756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 386.717
system time used= 0.47377
maximum resident set size= 1291936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113600
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= 2
involuntary context switches= 141


# summary of solver processes directly reported to runsolver:
#   pid: 16676
#   total CPU time (s): 387.191
#   total CPU user time (s): 386.717
#   total CPU system time (s): 0.47377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.760104 second user time and 1.80623 second system time

The end