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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482531-1751410802/watcher-4482531-1751410802 -o /tmp/evaluation-result-4482531-1751410802/solver-4482531-1751410802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751402421-54809 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1232436497 --ls=360 HOME/instance-4482531-1751410802.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
solver pid=56285, runsolver pid=56282
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.43 4.30 4.19 5/250 56286
/proc/meminfo: memFree=128560680/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=35796 memory=14328 CPUtime=0.1 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 2581 0 0 0 10 0 0 0 20 0 1 0 56758858 36655104 3582 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 8949 3582 1024 1200 0 7429 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35796 KiB
Current children cumulated memory: 14328 KiB

[startup+0.213249 s]*
/proc/loadavg: 4.43 4.30 4.19 5/250 56286
/proc/meminfo: memFree=128560680/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=41548 memory=19876 CPUtime=0.21 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 4423 0 0 0 20 1 0 0 20 0 1 0 56758858 42545152 4969 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 10387 4969 1024 1200 0 8867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 19876 KiB

[startup+0.313134 s]*
/proc/loadavg: 4.43 4.30 4.19 5/250 56286
/proc/meminfo: memFree=128556836/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=48960 memory=25360 CPUtime=0.32 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 5648 0 0 0 30 2 0 0 20 0 1 0 56758858 50135040 6340 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 12240 6340 1024 1200 0 10720 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 25360 KiB

[startup+0.700328 s]
/proc/loadavg: 4.43 4.30 4.19 5/250 56286
/proc/meminfo: memFree=128550976/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=0.68 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7400 0 0 0 66 2 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+1.5003 s]
/proc/loadavg: 4.43 4.30 4.19 5/250 56286
/proc/meminfo: memFree=128550728/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=1.48 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7400 0 0 0 146 2 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+3.11293 s]
/proc/loadavg: 4.43 4.30 4.19 5/250 56331
/proc/meminfo: memFree=128665728/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=3.09 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7405 0 0 0 307 2 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+6.3003 s]
/proc/loadavg: 4.40 4.29 4.19 5/250 56331
/proc/meminfo: memFree=128663900/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=6.27 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7408 0 0 0 625 2 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+12.7003 s]
/proc/loadavg: 4.45 4.30 4.20 5/250 56331
/proc/meminfo: memFree=128664184/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=12.65 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7411 0 0 0 1263 2 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+25.5003 s]
/proc/loadavg: 4.38 4.29 4.19 5/250 56332
/proc/meminfo: memFree=128664676/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=25.41 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7411 0 0 0 2539 2 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+51.1131 s]
/proc/loadavg: 4.39 4.30 4.20 5/250 56377
/proc/meminfo: memFree=128732792/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=50.93 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7418 0 0 0 5089 4 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+102.3 s]
/proc/loadavg: 4.85 4.44 4.25 5/250 56394
/proc/meminfo: memFree=128735812/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=36368 CPUtime=101.97 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7421 0 0 0 10192 5 0 0 20 0 1 0 56758858 58814464 9092 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9092 1024 1200 0 12839 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 36368 KiB

[startup+162.3 s]
/proc/loadavg: 4.38 4.38 4.25 5/251 56399
/proc/meminfo: memFree=128729972/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=37776 CPUtime=161.79 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7444 0 0 0 16174 5 0 0 20 0 1 0 56758858 58814464 9444 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9444 1024 1200 0 12839 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 37776 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.33 4.23 5/251 56405
/proc/meminfo: memFree=128716488/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=37776 CPUtime=221.6 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7460 0 0 0 22154 6 0 0 20 0 1 0 56758858 58814464 9444 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9444 1024 1200 0 12839 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 37776 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.29 4.23 5/251 56407
/proc/meminfo: memFree=128715220/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=37776 CPUtime=281.39 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7460 0 0 0 28133 6 0 0 20 0 1 0 56758858 58814464 9444 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9444 1024 1200 0 12839 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 37776 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.25 4.22 5/251 56409
/proc/meminfo: memFree=128719800/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=57436 memory=37776 CPUtime=341.18 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 7473 0 0 0 34111 7 0 0 20 0 1 0 56758858 58814464 9444 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 14359 9444 1024 1200 0 12839 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 37776 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.22 4.20 5/250 56411
/proc/meminfo: memFree=128624144/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=115524 memory=100664 CPUtime=400.95 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 18737 0 0 0 40082 13 0 0 20 0 1 0 56758858 118296576 25166 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 28881 25166 1280 1200 0 27361 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 115524 KiB
Current children cumulated memory: 100664 KiB

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

# cumulated CPU time of all completed processes:  user=437.681 s, system=0.158279 s

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

[startup+409.6 s]
/proc/loadavg: 4.10 4.22 4.20 5/250 56411
/proc/meminfo: memFree=128624908/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=116220 memory=101432 CPUtime=408.22 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 18923 0 0 0 40808 14 0 0 20 0 1 0 56758858 119009280 25358 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29055 25358 1280 1200 0 27535 0
Current children cumulated CPU time: 408.22 s
Current children cumulated vsize: 116220 KiB
Current children cumulated memory: 101432 KiB

[startup+422.4 s]
/proc/loadavg: 4.08 4.21 4.20 5/249 56412
/proc/meminfo: memFree=128558076/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=116776 memory=102072 CPUtime=420.98 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19084 0 0 0 42083 15 0 0 20 0 1 0 56758858 119578624 25518 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29194 25518 1280 1200 0 27674 0
Current children cumulated CPU time: 420.98 s
Current children cumulated vsize: 116776 KiB
Current children cumulated memory: 102072 KiB

[startup+428.8 s]
/proc/loadavg: 4.07 4.20 4.20 5/249 56412
/proc/meminfo: memFree=128558604/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=116980 memory=102200 CPUtime=427.35 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19119 0 0 0 42720 15 0 0 20 0 1 0 56758858 119787520 25550 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29245 25550 1280 1200 0 27725 0
Current children cumulated CPU time: 427.35 s
Current children cumulated vsize: 116980 KiB
Current children cumulated memory: 102200 KiB

[startup+435.2 s]
/proc/loadavg: 4.15 4.22 4.20 5/249 56412
/proc/meminfo: memFree=128551044/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=117312 memory=102456 CPUtime=433.73 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19202 0 0 0 43358 15 0 0 20 0 1 0 56758858 120127488 25614 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29328 25614 1280 1200 0 27808 0
Current children cumulated CPU time: 433.73 s
Current children cumulated vsize: 117312 KiB
Current children cumulated memory: 102456 KiB

[startup+436.8 s]
/proc/loadavg: 4.14 4.21 4.20 5/249 56412
/proc/meminfo: memFree=128551044/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=117460 memory=102584 CPUtime=435.32 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19239 0 0 0 43517 15 0 0 20 0 1 0 56758858 120279040 25646 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29365 25646 1280 1200 0 27845 0
Current children cumulated CPU time: 435.32 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 102584 KiB

[startup+438.4 s]
/proc/loadavg: 4.14 4.21 4.20 5/249 56412
/proc/meminfo: memFree=128551296/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=117460 memory=102712 CPUtime=436.91 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19269 0 0 0 43676 15 0 0 20 0 1 0 56758858 120279040 25678 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29365 25678 1280 1200 0 27845 0
Current children cumulated CPU time: 436.91 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 102712 KiB

[startup+438.8 s]
/proc/loadavg: 4.14 4.21 4.20 5/249 56412
/proc/meminfo: memFree=128551296/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=117460 memory=102712 CPUtime=437.31 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19269 0 0 0 43716 15 0 0 20 0 1 0 56758858 120279040 25678 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29365 25678 1280 1200 0 27845 0
Current children cumulated CPU time: 437.31 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 102712 KiB

[startup+439.2 s]
/proc/loadavg: 4.14 4.21 4.20 5/249 56412
/proc/meminfo: memFree=128551312/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=117460 memory=102712 CPUtime=437.71 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19269 0 0 0 43756 15 0 0 20 0 1 0 56758858 120279040 25678 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29365 25678 1280 1200 0 27845 0
Current children cumulated CPU time: 437.71 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 102712 KiB

[startup+439.3 s]
/proc/loadavg: 4.14 4.21 4.20 5/249 56412
/proc/meminfo: memFree=128551312/131382120 swapFree=33010684/33010684
[pid=56285] ppid=56282 vsize=117460 memory=102712 CPUtime=437.81 cores=1,3
/proc/56285/stat : 56285 (Exact) R 56282 56285 54797 0 -1 4194304 19269 0 0 0 43766 15 0 0 20 0 1 0 56758858 120279040 25678 18446744073709551615 4198400 9112445 140720753079696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36593664 140720753088826 140720753089005 140720753089005 140720753094607 0
/proc/56285/statm: 29365 25678 1280 1200 0 27845 0
Current children cumulated CPU time: 437.81 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 102712 KiB

Child status: 30

Real time (s): 439.321
CPU time (s): 437.839
CPU user time (s): 437.681
CPU system time (s): 0.158279
CPU usage (%): 99.6626
Max. virtual memory (cumulated for all children) (KiB): 117460
Max. memory (cumulated for all children) (KiB): 102712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.681
system time used= 0.158279
maximum resident set size= 102712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19275
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= 12
involuntary context switches= 207


# summary of solver processes directly reported to runsolver:
#   pid: 56285
#   total CPU time (s): 437.839
#   total CPU user time (s): 437.681
#   total CPU system time (s): 0.158279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.14243 second user time and 4.32298 second system time

The end