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: 63794 MiB (63012 MiB free)
  memory of node 1: 64507 MiB (63219 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499605-1751410791/watcher-4499605-1751410791 -o /tmp/evaluation-result-4499605-1751410791/solver-4499605-1751410791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751410791-58959 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4499605-1751410791.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=59016, runsolver pid=59001

[startup+0.10007 s]*
/proc/loadavg: 0.49 0.93 1.37 8/254 59017
/proc/meminfo: memFree=129254628/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=51304 memory=10752 CPUtime=0.08 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 1198 0 0 0 8 0 0 0 20 0 1 0 56758511 52535296 2688 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 12826 2688 1696 2271 0 7464 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 51304 KiB
Current children cumulated memory: 10752 KiB

[startup+0.213027 s]*
/proc/loadavg: 0.49 0.93 1.37 8/254 59017
/proc/meminfo: memFree=129242472/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=53284 memory=15056 CPUtime=0.19 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 1761 0 0 0 19 0 0 0 20 0 1 0 56758511 54562816 3764 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 13321 3764 1696 2271 0 7959 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53284 KiB
Current children cumulated memory: 15056 KiB

[startup+0.31396 s]*
/proc/loadavg: 0.49 0.93 1.37 8/254 59017
/proc/meminfo: memFree=129241968/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=55260 memory=16976 CPUtime=0.29 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 2279 0 0 0 29 0 0 0 20 0 1 0 56758511 56586240 4244 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 13815 4244 1696 2271 0 8453 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55260 KiB
Current children cumulated memory: 16976 KiB

[startup+0.700283 s]
/proc/loadavg: 0.49 0.93 1.37 8/254 59017
/proc/meminfo: memFree=129174676/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=93468 memory=57772 CPUtime=0.67 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 11709 0 0 0 62 5 0 0 20 0 1 0 56758511 95711232 14443 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 23367 14443 1888 2271 0 18005 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93468 KiB
Current children cumulated memory: 57772 KiB

[startup+1.50028 s]
/proc/loadavg: 0.49 0.93 1.37 8/254 59017
/proc/meminfo: memFree=129039868/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=209080 memory=168364 CPUtime=1.46 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 38021 0 0 0 135 11 0 0 20 0 1 0 56758511 214097920 42091 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 52270 42091 3328 2271 0 46908 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 209080 KiB
Current children cumulated memory: 168364 KiB

[startup+3.11261 s]
/proc/loadavg: 0.49 0.93 1.37 8/254 59017
/proc/meminfo: memFree=128323320/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330068 memory=287512 CPUtime=3.07 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65309 0 0 0 290 17 0 0 20 0 1 0 56758511 337989632 71878 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82517 71878 3392 2271 0 77155 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 330068 KiB
Current children cumulated memory: 287512 KiB

[startup+6.30025 s]
/proc/loadavg: 0.77 0.98 1.39 8/254 59017
/proc/meminfo: memFree=128307232/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330068 memory=287512 CPUtime=6.25 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65310 0 0 0 608 17 0 0 20 0 1 0 56758511 337989632 71878 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82517 71878 3392 2271 0 77155 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 330068 KiB
Current children cumulated memory: 287512 KiB

[startup+12.7003 s]
/proc/loadavg: 1.03 1.03 1.40 8/254 59017
/proc/meminfo: memFree=128299168/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330068 memory=287512 CPUtime=12.63 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65314 0 0 0 1246 17 0 0 20 0 1 0 56758511 337989632 71878 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82517 71878 3392 2271 0 77155 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 330068 KiB
Current children cumulated memory: 287512 KiB

[startup+25.5003 s]
/proc/loadavg: 1.69 1.18 1.44 8/254 59017
/proc/meminfo: memFree=128275008/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=25.38 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65559 0 0 0 2521 17 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+51.1126 s]
/proc/loadavg: 2.48 1.41 1.51 8/254 59018
/proc/meminfo: memFree=128258160/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=50.92 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65559 0 0 0 5074 18 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.82 1.65 8/253 59035
/proc/meminfo: memFree=128189092/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=101.93 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65563 0 0 0 10175 18 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.25 1.81 8/254 59038
/proc/meminfo: memFree=128140580/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=161.74 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65567 0 0 0 16154 20 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.59 1.96 8/253 59040
/proc/meminfo: memFree=128064008/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=221.55 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65571 0 0 0 22134 21 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+282.3 s]
/proc/loadavg: 4.01 2.85 2.09 8/253 59046
/proc/meminfo: memFree=127985064/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=281.36 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65571 0 0 0 28115 21 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.09 2.22 8/251 59048
/proc/meminfo: memFree=127929956/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=341.17 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65575 0 0 0 34095 22 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.27 2.34 8/251 59050
/proc/meminfo: memFree=127899012/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288536 CPUtime=400.98 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65575 0 0 0 40076 22 0 0 20 0 1 0 56758511 338993152 72134 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72134 3392 2271 0 77400 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288536 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.42 2.45 8/251 59053
/proc/meminfo: memFree=127884940/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288664 CPUtime=460.76 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65596 0 0 0 46052 24 0 0 20 0 1 0 56758511 338993152 72166 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72166 3392 2271 0 77400 0
Current children cumulated CPU time: 460.76 s

################
# More data... #
################

/proc/loadavg: 4.05 3.80 2.84 8/252 59065
/proc/meminfo: memFree=127799688/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288664 CPUtime=699.82 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65601 0 0 0 69956 26 0 0 20 0 1 0 56758511 338993152 72166 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72166 3392 2271 0 77400 0
Current children cumulated CPU time: 699.82 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288664 KiB

[startup+762.3 s]
/proc/loadavg: 4.14 3.87 2.92 8/252 59067
/proc/meminfo: memFree=127797744/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=288664 CPUtime=759.6 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65601 0 0 0 75933 27 0 0 20 0 1 0 56758511 338993152 72166 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72166 3392 2271 0 77400 0
Current children cumulated CPU time: 759.6 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 288664 KiB

[startup+822.3 s]
/proc/loadavg: 4.11 3.91 3.00 8/250 59069
/proc/meminfo: memFree=127781316/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331048 memory=291224 CPUtime=819.35 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65601 0 0 0 81908 27 0 0 20 0 1 0 56758511 338993152 72806 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82762 72806 3392 2271 0 77400 0
Current children cumulated CPU time: 819.35 s
Current children cumulated vsize: 331048 KiB
Current children cumulated memory: 291224 KiB

[startup+882.3 s]
/proc/loadavg: 4.09 3.95 3.07 8/251 59076
/proc/meminfo: memFree=127767224/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331536 memory=300184 CPUtime=879.15 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65738 0 0 0 87887 28 0 0 20 0 1 0 56758511 339492864 75046 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82884 75046 3392 2271 0 77522 0
Current children cumulated CPU time: 879.15 s
Current children cumulated vsize: 331536 KiB
Current children cumulated memory: 300184 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 3.97 3.14 8/251 59078
/proc/meminfo: memFree=127701736/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331536 memory=303256 CPUtime=938.94 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65750 0 0 0 93866 28 0 0 20 0 1 0 56758511 339492864 75814 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82884 75814 3392 2271 0 77522 0
Current children cumulated CPU time: 938.94 s
Current children cumulated vsize: 331536 KiB
Current children cumulated memory: 303256 KiB

[startup+1002.3 s]
/proc/loadavg: 4.09 4.00 3.20 8/251 59080
/proc/meminfo: memFree=127747436/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=331536 memory=303768 CPUtime=998.75 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65813 0 0 0 99842 33 0 0 20 0 1 0 56758511 339492864 75942 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82884 75942 3392 2271 0 77522 0
Current children cumulated CPU time: 998.75 s
Current children cumulated vsize: 331536 KiB
Current children cumulated memory: 303768 KiB

[startup+1062.3 s]
/proc/loadavg: 4.07 4.01 3.26 8/252 59083
/proc/meminfo: memFree=127754296/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=303024 CPUtime=1058.63 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65818 0 0 0 105299 564 0 0 20 0 1 0 56758511 338604032 75756 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 75756 3392 2271 0 77305 0
Current children cumulated CPU time: 1058.63 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 303024 KiB

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

# cumulated CPU time of all completed processes:  user=1096.81 s, system=5.66591 s

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

[startup+1075.2 s]
/proc/loadavg: 4.12 4.03 3.27 8/252 59083
/proc/meminfo: memFree=127747112/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307120 CPUtime=1071.49 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65820 0 0 0 106585 564 0 0 20 0 1 0 56758511 338604032 76780 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76780 3392 2271 0 77305 0
Current children cumulated CPU time: 1071.49 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307120 KiB

[startup+1088 s]*
/proc/loadavg: 4.10 4.02 3.28 6/247 59123
/proc/meminfo: memFree=128219568/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307248 CPUtime=1084.27 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65826 0 0 0 107863 564 0 0 20 0 1 0 56758511 338604032 76812 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76812 3424 2271 0 77305 0
Current children cumulated CPU time: 1084.27 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307248 KiB

[startup+1094.4 s]
/proc/loadavg: 3.93 3.99 3.28 6/247 59123
/proc/meminfo: memFree=128219828/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307248 CPUtime=1090.64 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65826 0 0 0 108499 565 0 0 20 0 1 0 56758511 338604032 76812 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76812 3424 2271 0 77305 0
Current children cumulated CPU time: 1090.64 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307248 KiB

[startup+1100.8 s]
/proc/loadavg: 3.86 3.97 3.28 6/247 59123
/proc/meminfo: memFree=128220084/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307248 CPUtime=1097.02 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65826 0 0 0 109137 565 0 0 20 0 1 0 56758511 338604032 76812 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76812 3424 2271 0 77305 0
Current children cumulated CPU time: 1097.02 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307248 KiB

[startup+1104 s]*
/proc/loadavg: 3.79 3.96 3.27 6/247 59123
/proc/meminfo: memFree=128220336/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307248 CPUtime=1100.23 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65826 0 0 0 109457 566 0 0 20 0 1 0 56758511 338604032 76812 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76812 3424 2271 0 77305 0
Current children cumulated CPU time: 1100.23 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307248 KiB

[startup+1105.6 s]
/proc/loadavg: 3.79 3.96 3.27 6/247 59123
/proc/meminfo: memFree=128220336/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307248 CPUtime=1101.81 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65826 0 0 0 109615 566 0 0 20 0 1 0 56758511 338604032 76812 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76812 3424 2271 0 77305 0
Current children cumulated CPU time: 1101.81 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307248 KiB

[startup+1106 s]*
/proc/loadavg: 3.79 3.96 3.27 6/247 59123
/proc/meminfo: memFree=128220588/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307248 CPUtime=1102.22 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65826 0 0 0 109656 566 0 0 20 0 1 0 56758511 338604032 76812 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76812 3424 2271 0 77305 0
Current children cumulated CPU time: 1102.22 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307248 KiB

[startup+1106.2 s]
/proc/loadavg: 3.79 3.96 3.27 6/247 59123
/proc/meminfo: memFree=128220588/131382120 swapFree=33010416/33010684
[pid=59016] ppid=59001 vsize=330668 memory=307248 CPUtime=1102.41 cores=1,3
/proc/59016/stat : 59016 (ExactPR-S) R 59001 59016 58520 0 -1 4194304 65826 0 0 0 109675 566 0 0 20 0 1 0 56758511 338604032 76812 18446744073709551615 94151147655168 94151156955205 140729063595488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94151158741312 94151158780392 94151179636736 140729063598465 140729063598602 140729063598602 140729063604204 0
/proc/59016/statm: 82667 76812 3424 2271 0 77305 0
Current children cumulated CPU time: 1102.41 s
Current children cumulated vsize: 330668 KiB
Current children cumulated memory: 307248 KiB

Child status: 30

Real time (s): 1106.26
CPU time (s): 1102.48
CPU user time (s): 1096.81
CPU system time (s): 5.66591
CPU usage (%): 99.6583
Max. virtual memory (cumulated for all children) (KiB): 331536
Max. memory (cumulated for all children) (KiB): 307248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1096.81
system time used= 5.66591
maximum resident set size= 307760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65842
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= 247
involuntary context switches= 321


# summary of solver processes directly reported to runsolver:
#   pid: 59016
#   total CPU time (s): 1102.48
#   total CPU user time (s): 1096.81
#   total CPU system time (s): 5.66591

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.25629 second user time and 9.7639 second system time

The end