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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518711-1751520960/watcher-4518711-1751520960 -o /tmp/evaluation-result-4518711-1751520960/solver-4518711-1751520960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751514481-75915 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518711-1751520960.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=78489, runsolver pid=78486

[startup+0.100103 s]*
/proc/loadavg: 4.04 4.14 4.13 5/250 78490
/proc/meminfo: memFree=116130788/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=71472 memory=31896 CPUtime=0.09 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 5101 0 0 0 8 1 0 0 20 0 1 0 67775820 73187328 7974 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 17868 7974 3328 2271 0 12506 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71472 KiB
Current children cumulated memory: 31896 KiB

[startup+0.212957 s]*
/proc/loadavg: 4.04 4.14 4.13 5/250 78490
/proc/meminfo: memFree=116127008/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=80608 memory=39816 CPUtime=0.21 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 9155 0 0 0 19 2 0 0 20 0 1 0 67775820 82542592 9954 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 20152 9954 3360 2271 0 14790 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 39816 KiB

[startup+0.313006 s]*
/proc/loadavg: 4.04 4.14 4.13 6/250 78490
/proc/meminfo: memFree=116125244/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=87488 memory=46728 CPUtime=0.31 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 10896 0 0 0 29 2 0 0 20 0 1 0 67775820 89587712 11682 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 21872 11682 3360 2271 0 16510 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 87488 KiB
Current children cumulated memory: 46728 KiB

[startup+0.7003 s]
/proc/loadavg: 4.04 4.14 4.13 5/250 78490
/proc/meminfo: memFree=116111132/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=88184 memory=48264 CPUtime=0.68 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 11284 0 0 0 66 2 0 0 20 0 1 0 67775820 90300416 12066 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 22046 12066 3360 2271 0 16684 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88184 KiB
Current children cumulated memory: 48264 KiB

[startup+1.50029 s]
/proc/loadavg: 4.04 4.14 4.13 5/250 78490
/proc/meminfo: memFree=116103068/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=88184 memory=48520 CPUtime=1.48 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 11352 0 0 0 146 2 0 0 20 0 1 0 67775820 90300416 12130 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 22046 12130 3360 2271 0 16684 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88184 KiB
Current children cumulated memory: 48520 KiB

[startup+3.11252 s]
/proc/loadavg: 4.12 4.15 4.13 5/250 78490
/proc/meminfo: memFree=116078872/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=100596 memory=60040 CPUtime=3.08 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 14221 0 0 0 306 2 0 0 20 0 1 0 67775820 103010304 15010 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 25149 15010 3360 2271 0 19787 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100596 KiB
Current children cumulated memory: 60040 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.15 4.13 5/250 78490
/proc/meminfo: memFree=116050900/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=132840 memory=92296 CPUtime=6.27 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 22599 0 0 0 623 4 0 0 20 0 1 0 67775820 136028160 23074 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 33210 23074 3360 2271 0 27848 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132840 KiB
Current children cumulated memory: 92296 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.15 4.13 5/250 78490
/proc/meminfo: memFree=116035780/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=142704 memory=102792 CPUtime=12.64 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 25245 0 0 0 1260 4 0 0 20 0 1 0 67775820 146128896 25698 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 35676 25698 3360 2271 0 30314 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 142704 KiB
Current children cumulated memory: 102792 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.14 4.13 5/250 78491
/proc/meminfo: memFree=116000628/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=156776 memory=117128 CPUtime=25.4 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 28829 0 0 0 2535 5 0 0 20 0 1 0 67775820 160538624 29282 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 39194 29282 3360 2271 0 33832 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 156776 KiB
Current children cumulated memory: 117128 KiB

[startup+51.1125 s]
/proc/loadavg: 4.14 4.15 4.13 5/250 78491
/proc/meminfo: memFree=115955672/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=179052 memory=139784 CPUtime=50.92 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 34477 0 0 0 5086 6 0 0 20 0 1 0 67775820 183349248 34946 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 44763 34946 3360 2271 0 39401 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 179052 KiB
Current children cumulated memory: 139784 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/251 78494
/proc/meminfo: memFree=115860264/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=223276 memory=182532 CPUtime=101.95 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 47882 0 0 0 10186 9 0 0 20 0 1 0 67775820 228634624 45633 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 55819 45633 3360 2271 0 50457 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 223276 KiB
Current children cumulated memory: 182532 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/251 78496
/proc/meminfo: memFree=115714864/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=281368 memory=244304 CPUtime=161.72 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 62835 0 0 0 16160 12 0 0 20 0 1 0 67775820 288120832 61076 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 70342 61076 3360 2271 0 64980 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 281368 KiB
Current children cumulated memory: 244304 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/251 78503
/proc/meminfo: memFree=115608148/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=336284 memory=299772 CPUtime=221.49 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 77398 0 0 0 22134 15 0 0 20 0 1 0 67775820 344354816 74943 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 84071 74943 3360 2271 0 78709 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 336284 KiB
Current children cumulated memory: 299772 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/251 78505
/proc/meminfo: memFree=115497060/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=401952 memory=362428 CPUtime=281.28 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 91720 0 0 0 28111 17 0 0 20 0 1 0 67775820 411598848 90607 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 100488 90607 3360 2271 0 95126 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 401952 KiB
Current children cumulated memory: 362428 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/251 78507
/proc/meminfo: memFree=115419592/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=449484 memory=413728 CPUtime=341.08 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 104365 0 0 0 34088 20 0 0 20 0 1 0 67775820 460271616 103432 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 112371 103432 3360 2271 0 107009 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 449484 KiB
Current children cumulated memory: 413728 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/250 78509
/proc/meminfo: memFree=115305680/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=503468 memory=468460 CPUtime=400.88 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 118528 0 0 0 40065 23 0 0 20 0 1 0 67775820 515551232 117115 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 125867 117115 3360 2271 0 120505 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 503468 KiB
Current children cumulated memory: 468460 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 78511
/proc/meminfo: memFree=115198356/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=557412 memory=522580 CPUtime=460.69 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 132296 0 0 0 46044 25 0 0 20 0 1 0 67775820 570789888 130645 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 139353 130645 3360 2271 0 133991 0
Current children cumulated CPU time: 460.69 s

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

/proc/loadavg: 4.13 4.10 4.09 5/251 78522
/proc/meminfo: memFree=114759524/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=794008 memory=755700 CPUtime=699.94 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 188403 0 0 0 69957 37 0 0 20 0 1 0 67775820 813064192 188925 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 198502 188925 3360 2271 0 193140 0
Current children cumulated CPU time: 699.94 s
Current children cumulated vsize: 794008 KiB
Current children cumulated memory: 755700 KiB

[startup+762.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 78569
/proc/meminfo: memFree=115551180/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=850188 memory=811868 CPUtime=759.74 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 202959 0 0 0 75935 39 0 0 20 0 1 0 67775820 870592512 202967 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 212547 202967 3360 2271 0 207185 0
Current children cumulated CPU time: 759.74 s
Current children cumulated vsize: 850188 KiB
Current children cumulated memory: 811868 KiB

[startup+822.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 78576
/proc/meminfo: memFree=115400524/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=901112 memory=863392 CPUtime=819.54 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 216390 0 0 0 81912 42 0 0 20 0 1 0 67775820 922738688 215848 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 225278 215848 3360 2271 0 219916 0
Current children cumulated CPU time: 819.54 s
Current children cumulated vsize: 901112 KiB
Current children cumulated memory: 863392 KiB

[startup+882.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/251 78623
/proc/meminfo: memFree=115062564/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=953520 memory=915316 CPUtime=879.33 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 229863 0 0 0 87889 44 0 0 20 0 1 0 67775820 976404480 228829 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 238380 228829 3360 2271 0 233018 0
Current children cumulated CPU time: 879.33 s
Current children cumulated vsize: 953520 KiB
Current children cumulated memory: 915316 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 78625
/proc/meminfo: memFree=114965812/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=1004752 memory=968376 CPUtime=939.13 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 243604 0 0 0 93867 46 0 0 20 0 1 0 67775820 1028866048 242094 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 251188 242094 3360 2271 0 245826 0
Current children cumulated CPU time: 939.13 s
Current children cumulated vsize: 1004752 KiB
Current children cumulated memory: 968376 KiB

[startup+1002.3 s]
/proc/loadavg: 4.50 4.19 4.12 5/251 78671
/proc/meminfo: memFree=116620948/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=563572 memory=531644 CPUtime=998.9 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 256796 0 0 0 99799 91 0 0 20 0 1 0 67775820 577097728 132911 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 140893 132911 3360 2271 0 135531 0
Current children cumulated CPU time: 998.9 s
Current children cumulated vsize: 563572 KiB
Current children cumulated memory: 531644 KiB

[startup+1062.3 s]
/proc/loadavg: 4.47 4.26 4.15 5/251 78763
/proc/meminfo: memFree=116994772/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=563572 memory=539964 CPUtime=1058.74 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 256803 0 0 0 103930 1944 0 0 20 0 1 0 67775820 577097728 134991 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 140893 134991 3392 2271 0 135531 0
Current children cumulated CPU time: 1058.74 s
Current children cumulated vsize: 563572 KiB
Current children cumulated memory: 539964 KiB

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

# cumulated CPU time of all completed processes:  user=1056.87 s, system=19.6569 s

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

[startup+1062.4 s]
/proc/loadavg: 4.47 4.26 4.15 5/251 78763
/proc/meminfo: memFree=116994772/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=563572 memory=539964 CPUtime=1058.84 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 256803 0 0 0 103940 1944 0 0 20 0 1 0 67775820 577097728 134991 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 140893 134991 3392 2271 0 135531 0
Current children cumulated CPU time: 1058.84 s
Current children cumulated vsize: 563572 KiB
Current children cumulated memory: 539964 KiB

[startup+1068.8 s]
/proc/loadavg: 4.40 4.25 4.15 5/251 78764
/proc/meminfo: memFree=116967992/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=599160 memory=566816 CPUtime=1065.21 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 257610 0 0 0 104569 1952 0 0 20 0 1 0 67775820 613539840 141704 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 149790 141704 3392 2271 0 144428 0
Current children cumulated CPU time: 1065.21 s
Current children cumulated vsize: 599160 KiB
Current children cumulated memory: 566816 KiB

[startup+1075.2 s]
/proc/loadavg: 4.37 4.25 4.15 5/251 78764
/proc/meminfo: memFree=116959864/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=599160 memory=570912 CPUtime=1071.59 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 257612 0 0 0 105201 1958 0 0 20 0 1 0 67775820 613539840 142728 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 149790 142728 3392 2271 0 144428 0
Current children cumulated CPU time: 1071.59 s
Current children cumulated vsize: 599160 KiB
Current children cumulated memory: 570912 KiB

[startup+1078.4 s]
/proc/loadavg: 4.42 4.26 4.15 5/251 78764
/proc/meminfo: memFree=116937464/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=599160 memory=570912 CPUtime=1074.79 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 257612 0 0 0 105517 1962 0 0 20 0 1 0 67775820 613539840 142728 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 149790 142728 3392 2271 0 144428 0
Current children cumulated CPU time: 1074.79 s
Current children cumulated vsize: 599160 KiB
Current children cumulated memory: 570912 KiB

[startup+1079.2 s]
/proc/loadavg: 4.42 4.26 4.15 5/251 78764
/proc/meminfo: memFree=116939084/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=599160 memory=570912 CPUtime=1075.59 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 257612 0 0 0 105596 1963 0 0 20 0 1 0 67775820 613539840 142728 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 149790 142728 3392 2271 0 144428 0
Current children cumulated CPU time: 1075.59 s
Current children cumulated vsize: 599160 KiB
Current children cumulated memory: 570912 KiB

[startup+1079.6 s]
/proc/loadavg: 4.42 4.26 4.15 5/251 78764
/proc/meminfo: memFree=116939084/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=599160 memory=570912 CPUtime=1075.98 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 257612 0 0 0 105635 1963 0 0 20 0 1 0 67775820 613539840 142728 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 149790 142728 3392 2271 0 144428 0
Current children cumulated CPU time: 1075.98 s
Current children cumulated vsize: 599160 KiB
Current children cumulated memory: 570912 KiB

[startup+1080 s]*
/proc/loadavg: 4.42 4.26 4.15 5/251 78764
/proc/meminfo: memFree=116939992/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=599160 memory=570912 CPUtime=1076.39 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 257612 0 0 0 105676 1963 0 0 20 0 1 0 67775820 613539840 142728 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 149790 142728 3392 2271 0 144428 0
Current children cumulated CPU time: 1076.39 s
Current children cumulated vsize: 599160 KiB
Current children cumulated memory: 570912 KiB

[startup+1080.11 s]
/proc/loadavg: 4.42 4.26 4.15 5/251 78764
/proc/meminfo: memFree=116939992/131382112 swapFree=33010160/33010684
[pid=78489] ppid=78486 vsize=599160 memory=570912 CPUtime=1076.49 cores=1,3
/proc/78489/stat : 78489 (ExactPR-S) R 78486 78489 75903 0 -1 4194304 257612 0 0 0 105686 1963 0 0 20 0 1 0 67775820 613539840 142728 18446744073709551615 94868563091456 94868572391493 140721005628624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94868574177600 94868574216680 94868587671552 140721005635969 140721005636106 140721005636106 140721005641708 0
/proc/78489/statm: 149790 142728 3392 2271 0 144428 0
Current children cumulated CPU time: 1076.49 s
Current children cumulated vsize: 599160 KiB
Current children cumulated memory: 570912 KiB

Child status: 30

Real time (s): 1080.13
CPU time (s): 1076.52
CPU user time (s): 1056.87
CPU system time (s): 19.6569
CPU usage (%): 99.6658
Max. virtual memory (cumulated for all children) (KiB): 1054884
Max. memory (cumulated for all children) (KiB): 1019096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1056.87
system time used= 19.6569
maximum resident set size= 1019096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257629
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= 197
involuntary context switches= 1381


# summary of solver processes directly reported to runsolver:
#   pid: 78489
#   total CPU time (s): 1076.52
#   total CPU user time (s): 1056.87
#   total CPU system time (s): 19.6569

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.10756 second user time and 9.72504 second system time

The end