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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493946-1751150577/watcher-4493946-1751150577 -o /tmp/evaluation-result-4493946-1751150577/solver-4493946-1751150577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15174 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1497129267 HOME/instance-4493946-1751150577.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15901, runsolver pid=15898

[startup+0.100102 s]*
/proc/loadavg: 6.80 7.45 7.24 8/255 15902
/proc/meminfo: memFree=130230228/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=79924 memory=75876 CPUtime=0.1 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 13906 0 0 0 8 2 0 0 20 0 1 0 30736783 81842176 18969 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 19981 18969 576 633 0 19197 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79924 KiB
Current children cumulated memory: 75876 KiB

[startup+0.213876 s]*
/proc/loadavg: 6.80 7.45 7.24 9/256 15903
/proc/meminfo: memFree=130135648/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=249464 memory=173760 CPUtime=0.28 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 20488 0 0 0 23 5 0 0 20 0 2 0 30736783 255451136 43440 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 62366 43440 576 633 0 46171 0
[pid=15901/tid=15903] ppid=15898 vsize=249464 memory=664958721904869660 CPUtime=0.05 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) R 15898 15901 15162 0 -1 4194368 975 0 0 0 5 0 0 0 20 0 2 0 30736798 255451136 43440 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 249464 KiB
Current children cumulated memory: 173760 KiB

[startup+0.313787 s]*
/proc/loadavg: 6.80 7.45 7.24 7/256 15903
/proc/meminfo: memFree=130112464/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=268076 memory=197568 CPUtime=0.47 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 26461 0 0 0 41 6 0 0 20 0 2 0 30736783 274509824 49392 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 67019 49392 576 633 0 52150 0
[pid=15901/tid=15903] ppid=15898 vsize=268076 memory=7971804033694447987 CPUtime=0.14 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) R 15898 15901 15162 0 -1 4194368 2301 0 0 0 13 1 0 0 20 0 2 0 30736798 274509824 49392 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 268076 KiB
Current children cumulated memory: 197568 KiB

[startup+0.700266 s]
/proc/loadavg: 6.80 7.45 7.24 8/256 15903
/proc/meminfo: memFree=130056016/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=336452 memory=287168 CPUtime=1.18 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) D 15898 15901 15162 0 -1 4194304 48853 0 0 0 106 12 0 0 20 0 2 0 30736783 344526848 71792 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 84113 71792 576 633 0 74528 0
[pid=15901/tid=15903] ppid=15898 vsize=336452 memory=17152 CPUtime=0.48 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) R 15898 15901 15162 0 -1 4194368 7585 0 0 0 44 4 0 0 20 0 2 0 30736798 344526848 71792 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 336452 KiB
Current children cumulated memory: 287168 KiB

[startup+1.50023 s]
/proc/loadavg: 6.80 7.45 7.24 10/256 15903
/proc/meminfo: memFree=129935056/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=463236 memory=425536 CPUtime=2.3 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) S 15898 15901 15162 0 -1 4194304 84695 0 0 0 209 21 0 0 20 0 2 0 30736783 474353664 106384 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 115809 106384 576 633 0 109133 0
[pid=15901/tid=15903] ppid=15898 vsize=463236 memory=17152 CPUtime=1.27 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) R 15898 15901 15162 0 -1 4194368 28126 0 0 0 116 11 0 0 20 0 2 0 30736798 474353664 106384 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 463236 KiB
Current children cumulated memory: 425536 KiB

[startup+3.11332 s]
/proc/loadavg: 6.80 7.45 7.24 7/255 15903
/proc/meminfo: memFree=129456192/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=1140020 memory=955260 CPUtime=3.9 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 196093 0 0 0 336 54 0 0 20 0 2 0 30736783 1167380480 238815 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 285005 238815 608 633 0 279797 0
[pid=15901/tid=15903] ppid=15898 vsize=1140020 memory=0 CPUtime=1.76 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 48498 0 0 0 160 16 0 0 20 0 2 0 30736798 1167380480 238847 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 1140020 KiB
Current children cumulated memory: 955260 KiB

[startup+6.30024 s]
/proc/loadavg: 6.89 7.46 7.25 9/255 15903
/proc/meminfo: memFree=128772764/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=1537208 memory=1510564 CPUtime=8.22 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 406882 0 0 0 731 91 0 0 20 0 2 0 30736783 1574100992 377641 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 384302 377641 640 633 0 379230 0
[pid=15901/tid=15903] ppid=15898 vsize=1537208 memory=1510564 CPUtime=3.62 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 114654 0 0 0 330 32 0 0 20 0 2 0 30736798 1574100992 377641 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 1537208 KiB
Current children cumulated memory: 1510564 KiB

[startup+12.7003 s]
/proc/loadavg: 6.90 7.46 7.25 8/255 15903
/proc/meminfo: memFree=128182948/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=2088996 memory=2049876 CPUtime=14.6 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 683555 0 0 0 1334 126 0 0 20 0 2 0 30736783 2139131904 512469 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 522249 512469 672 633 0 517177 0
[pid=15901/tid=15903] ppid=15898 vsize=2088996 memory=6384 CPUtime=3.62 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 114654 0 0 0 330 32 0 0 20 0 2 0 30736798 2139131904 512469 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 2088996 KiB
Current children cumulated memory: 2049876 KiB

[startup+25.5003 s]
/proc/loadavg: 6.92 7.43 7.24 9/255 15903
/proc/meminfo: memFree=127212324/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=3116576 memory=3077324 CPUtime=28.15 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 1093756 0 0 0 2641 174 0 0 20 0 2 0 30736783 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 779144 769331 672 633 0 774072 0
[pid=15901/tid=15903] ppid=15898 vsize=3116576 memory=3077324 CPUtime=4.62 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 121996 0 0 0 429 33 0 0 20 0 2 0 30736798 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 28.15 s
Current children cumulated vsize: 3116576 KiB
Current children cumulated memory: 3077324 KiB

[startup+41.0735 s]
# the end of solver process 15901 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=42.7428 s, system=2.20419 s

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

[startup+25.6003 s]
/proc/loadavg: 6.92 7.43 7.24 9/255 15903
/proc/meminfo: memFree=127212324/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=3116576 memory=3077324 CPUtime=28.27 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 1093924 0 0 0 2653 174 0 0 20 0 2 0 30736783 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 779144 769331 672 633 0 774072 0
[pid=15901/tid=15903] ppid=15898 vsize=3116576 memory=0 CPUtime=4.64 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 121996 0 0 0 431 33 0 0 20 0 2 0 30736798 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 28.27 s
Current children cumulated vsize: 3116576 KiB
Current children cumulated memory: 3077324 KiB

[startup+32.0003 s]*
/proc/loadavg: 6.92 7.43 7.24 8/255 15903
/proc/meminfo: memFree=127212080/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=3116576 memory=3077324 CPUtime=34.97 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 1231759 0 0 0 3311 186 0 0 20 0 2 0 30736783 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 779144 769331 672 633 0 774072 0
[pid=15901/tid=15903] ppid=15898 vsize=3116576 memory=7971804033694447987 CPUtime=5 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 125325 0 0 0 467 33 0 0 20 0 2 0 30736798 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 34.97 s
Current children cumulated vsize: 3116576 KiB
Current children cumulated memory: 3077324 KiB

[startup+35.2003 s]
/proc/loadavg: 6.85 7.40 7.23 9/255 15903
/proc/meminfo: memFree=127212080/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=3116576 memory=3077324 CPUtime=38.15 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 1331654 0 0 0 3622 193 0 0 20 0 2 0 30736783 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 779144 769331 672 633 0 774072 0
[pid=15901/tid=15903] ppid=15898 vsize=3116576 memory=3077324 CPUtime=5 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 125325 0 0 0 467 33 0 0 20 0 2 0 30736798 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 38.15 s
Current children cumulated vsize: 3116576 KiB
Current children cumulated memory: 3077324 KiB

[startup+38.4003 s]
/proc/loadavg: 6.85 7.40 7.23 9/255 15903
/proc/meminfo: memFree=127212080/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=3116576 memory=3077324 CPUtime=42.27 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 1435519 0 0 0 4028 199 0 0 20 0 2 0 30736783 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 779144 769331 672 633 0 774072 0
[pid=15901/tid=15903] ppid=15898 vsize=3116576 memory=3077324 CPUtime=5.96 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 125835 0 0 0 563 33 0 0 20 0 2 0 30736798 3191373824 769331 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 42.27 s
Current children cumulated vsize: 3116576 KiB
Current children cumulated memory: 3077324 KiB

[startup+40.0003 s]*
/proc/loadavg: 6.86 7.40 7.23 7/255 15903
/proc/meminfo: memFree=127246740/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=3000532 memory=2961424 CPUtime=43.88 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 1509004 0 0 0 4182 206 0 0 20 0 2 0 30736783 3072544768 740356 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 750133 740356 672 633 0 745061 0
[pid=15901/tid=15903] ppid=15898 vsize=3000532 memory=7971804033694447987 CPUtime=5.96 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 125835 0 0 0 563 33 0 0 20 0 2 0 30736798 3072544768 740356 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 43.88 s
Current children cumulated vsize: 3000532 KiB
Current children cumulated memory: 2961424 KiB

[startup+40.8003 s]
/proc/loadavg: 6.86 7.40 7.23 7/255 15903
/proc/meminfo: memFree=127246740/131382120 swapFree=33010684/33010684
[pid=15901] ppid=15898 vsize=2474592 memory=2435484 CPUtime=44.66 cores=1,3
/proc/15901/stat : 15901 (pb_competition_) R 15898 15901 15162 0 -1 4194304 1622199 0 0 0 4255 211 0 0 20 0 2 0 30736783 2533982208 608871 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
/proc/15901/statm: 618648 608871 672 633 0 613576 0
[pid=15901/tid=15903] ppid=15898 vsize=2474592 memory=10496 CPUtime=5.96 cores=1,3
/proc/15901/task/15903/stat : 15903 (pb_competition_) S 15898 15901 15162 0 -1 4194368 125835 0 0 0 563 33 0 0 20 0 2 0 30736798 2533982208 608871 18446744073709551615 4198400 6788177 140735966263056 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 13172736 140735966271833 140735966271960 140735966271960 140735966277562 0
Current children cumulated CPU time: 44.66 s
Current children cumulated vsize: 2474592 KiB
Current children cumulated memory: 2435484 KiB

[startup+41.0003 s]*
/proc/loadavg: 6.86 7.40 7.23 8/255 15903
/proc/meminfo: memFree=127784432/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 41.0736
CPU time (s): 44.947
CPU user time (s): 42.7428
CPU system time (s): 2.20419
CPU usage (%): 109.43
Max. virtual memory (cumulated for all children) (KiB): 3255724
Max. memory (cumulated for all children) (KiB): 3216420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.7428
system time used= 2.20419
maximum resident set size= 3216420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1670207
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= 2684
involuntary context switches= 639


# summary of solver processes directly reported to runsolver:
#   pid: 15901
#   total CPU time (s): 44.947
#   total CPU user time (s): 42.7428
#   total CPU system time (s): 2.20419

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.263556 second user time and 0.412988 second system time

The end