runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60388 MiB free)
  memory of node 1: 64465 MiB (60656 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523633-1751585791/watcher-4523633-1751585791 -o /tmp/evaluation-result-4523633-1751585791/solver-4523633-1751585791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751576112-79290 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4523633-1751585791.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=81433, runsolver pid=81430

[startup+0.100064 s]*
/proc/loadavg: 4.08 4.08 4.09 5/262 81434
/proc/meminfo: memFree=123950544/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=58316 memory=20188 CPUtime=0.08 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 3044 0 0 0 8 0 0 0 20 0 1 0 74257565 59715584 5047 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 14579 5047 1696 2271 0 9217 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 58316 KiB
Current children cumulated memory: 20188 KiB

[startup+0.205479 s]*
/proc/loadavg: 4.08 4.08 4.09 5/262 81434
/proc/meminfo: memFree=123950292/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=61360 memory=25180 CPUtime=0.19 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 3794 0 0 0 18 1 0 0 20 0 1 0 74257565 62832640 6295 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 15340 6295 1696 2271 0 9978 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61360 KiB
Current children cumulated memory: 25180 KiB

[startup+0.305341 s]*
/proc/loadavg: 4.08 4.08 4.09 5/262 81434
/proc/meminfo: memFree=123945780/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=85548 memory=49920 CPUtime=0.3 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 15039 0 0 0 27 3 0 0 20 0 1 0 74257565 87601152 12480 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 21387 12480 1824 2271 0 16025 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85548 KiB
Current children cumulated memory: 49920 KiB

[startup+0.700169 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 81434
/proc/meminfo: memFree=123953556/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=154984 memory=123408 CPUtime=0.68 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 30048 0 0 0 61 7 0 0 20 0 1 0 74257565 158703616 30852 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 38746 30852 3232 2271 0 33384 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154984 KiB
Current children cumulated memory: 123408 KiB

[startup+1.50016 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 81434
/proc/meminfo: memFree=123953556/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=251640 memory=219536 CPUtime=1.48 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 54009 0 0 0 138 10 0 0 20 0 1 0 74257565 257679360 54884 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 62910 54884 3328 2271 0 57548 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 251640 KiB
Current children cumulated memory: 219536 KiB

[startup+3.10526 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 81434
/proc/meminfo: memFree=123918360/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=262056 memory=229468 CPUtime=3.08 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 55431 0 0 0 298 10 0 0 20 0 1 0 74257565 268345344 57367 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 65514 57367 3360 2271 0 60152 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 262056 KiB
Current children cumulated memory: 229468 KiB

[startup+6.30016 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 81434
/proc/meminfo: memFree=123690316/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=508444 memory=446548 CPUtime=6.26 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 86312 0 0 0 609 17 0 0 20 0 1 0 74257565 520646656 111637 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 127111 111637 3360 2271 0 121749 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 508444 KiB
Current children cumulated memory: 446548 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 81436
/proc/meminfo: memFree=123521536/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=661064 memory=601480 CPUtime=12.65 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 122282 0 0 0 1242 23 0 0 20 0 1 0 74257565 676929536 150370 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 165266 150370 3392 2271 0 159904 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 661064 KiB
Current children cumulated memory: 601480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 81436
/proc/meminfo: memFree=123457364/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=711516 memory=652392 CPUtime=25.41 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 139779 0 0 0 2515 26 0 0 20 0 1 0 74257565 728592384 163098 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 177879 163098 3392 2271 0 172517 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 711516 KiB
Current children cumulated memory: 652392 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 81436
/proc/meminfo: memFree=123558900/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=711516 memory=652392 CPUtime=50.95 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 139791 0 0 0 5069 26 0 0 20 0 1 0 74257565 728592384 163098 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 177879 163098 3392 2271 0 172517 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 711516 KiB
Current children cumulated memory: 652392 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 81439
/proc/meminfo: memFree=123428664/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=825420 memory=766556 CPUtime=102 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 176086 0 0 0 10169 31 0 0 20 0 1 0 74257565 845230080 191639 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 206355 191639 3488 2271 0 200993 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 825420 KiB
Current children cumulated memory: 766556 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 81441
/proc/meminfo: memFree=123393196/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=833140 memory=775376 CPUtime=161.84 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 241607 0 0 0 16143 41 0 0 20 0 1 0 74257565 853135360 193844 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 208285 193844 3488 2271 0 202923 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 833140 KiB
Current children cumulated memory: 775376 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 81443
/proc/meminfo: memFree=123372116/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=833140 memory=775376 CPUtime=221.68 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 241613 0 0 0 22127 41 0 0 20 0 1 0 74257565 853135360 193844 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 208285 193844 3488 2271 0 202923 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 833140 KiB
Current children cumulated memory: 775376 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 81450
/proc/meminfo: memFree=123396900/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=833140 memory=775376 CPUtime=281.51 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 241629 0 0 0 28110 41 0 0 20 0 1 0 74257565 853135360 193844 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 208285 193844 3488 2271 0 202923 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 833140 KiB
Current children cumulated memory: 775376 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 81454
/proc/meminfo: memFree=123457384/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=899156 memory=840272 CPUtime=341.35 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 257852 0 0 0 34092 43 0 0 20 0 1 0 74257565 920735744 210068 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 224789 210068 3488 2271 0 219427 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 899156 KiB
Current children cumulated memory: 840272 KiB

[startup+402.3 s]
/proc/loadavg: 3.98 4.06 4.08 4/257 81487
/proc/meminfo: memFree=124329580/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=899940 memory=842064 CPUtime=401.19 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 258322 0 0 0 40075 44 0 0 20 0 1 0 74257565 921538560 210516 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 224985 210516 3488 2271 0 219623 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 899940 KiB
Current children cumulated memory: 842064 KiB

[startup+462.3 s]
/proc/loadavg: 3.41 3.88 4.02 4/257 81489
/proc/meminfo: memFree=124318904/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=899940 memory=842064 CPUtime=461.01 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 258329 0 0 0 46057 44 0 0 20 0 1 0 74257565 921538560 210516 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 224985 210516 3488 2271 0 219623 0
Current children cumulated CPU time: 461.01 s

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

/proc/loadavg: 3.09 3.41 3.77 4/257 81500
/proc/meminfo: memFree=124313884/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=904784 memory=846928 CPUtime=760.17 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 259581 0 0 0 75972 45 0 0 20 0 1 0 74257565 926498816 211732 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 226196 211732 3488 2271 0 220834 0
Current children cumulated CPU time: 760.17 s
Current children cumulated vsize: 904784 KiB
Current children cumulated memory: 846928 KiB

[startup+822.3 s]
/proc/loadavg: 3.07 3.34 3.72 4/257 81502
/proc/meminfo: memFree=124418320/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=904784 memory=848720 CPUtime=820.02 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 260035 0 0 0 81957 45 0 0 20 0 1 0 74257565 926498816 212180 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 226196 212180 3488 2271 0 220834 0
Current children cumulated CPU time: 820.02 s
Current children cumulated vsize: 904784 KiB
Current children cumulated memory: 848720 KiB

[startup+882.3 s]
/proc/loadavg: 3.12 3.31 3.69 4/258 81509
/proc/meminfo: memFree=124407660/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=898524 memory=844600 CPUtime=879.86 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 270526 0 0 0 87940 46 0 0 20 0 1 0 74257565 920088576 211150 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 224631 211150 3488 2271 0 219269 0
Current children cumulated CPU time: 879.86 s
Current children cumulated vsize: 898524 KiB
Current children cumulated memory: 844600 KiB

[startup+942.3 s]
/proc/loadavg: 3.04 3.25 3.64 4/257 81513
/proc/meminfo: memFree=124408816/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=898524 memory=845624 CPUtime=939.71 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 270539 0 0 0 93924 47 0 0 20 0 1 0 74257565 920088576 211406 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 224631 211406 3488 2271 0 219269 0
Current children cumulated CPU time: 939.71 s
Current children cumulated vsize: 898524 KiB
Current children cumulated memory: 845624 KiB

[startup+1002.3 s]
/proc/loadavg: 3.12 3.23 3.61 4/257 81515
/proc/meminfo: memFree=124473768/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=814912 memory=784268 CPUtime=999.56 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280375 0 0 0 99908 48 0 0 20 0 1 0 74257565 834469888 196067 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 203728 196067 3488 2271 0 198366 0
Current children cumulated CPU time: 999.56 s
Current children cumulated vsize: 814912 KiB
Current children cumulated memory: 784268 KiB

[startup+1062.3 s]
/proc/loadavg: 3.10 3.20 3.58 4/257 81517
/proc/meminfo: memFree=124468792/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=814912 memory=787724 CPUtime=1059.42 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280377 0 0 0 105891 51 0 0 20 0 1 0 74257565 834469888 196931 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 203728 196931 3488 2271 0 198366 0
Current children cumulated CPU time: 1059.42 s
Current children cumulated vsize: 814912 KiB
Current children cumulated memory: 787724 KiB

[startup+1122.3 s]
/proc/loadavg: 3.08 3.18 3.54 4/257 81519
/proc/meminfo: memFree=124477348/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=789932 CPUtime=1119.28 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280633 0 0 0 111875 53 0 0 20 0 1 0 74257565 828080128 197483 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 197483 3488 2271 0 196806 0
Current children cumulated CPU time: 1119.28 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 789932 KiB

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

# cumulated CPU time of all completed processes:  user=1149.22 s, system=0.563456 s

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

[startup+1126.4 s]
/proc/loadavg: 3.07 3.18 3.54 4/257 81519
/proc/meminfo: memFree=124477392/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1123.37 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280636 0 0 0 112283 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1123.37 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

[startup+1139.2 s]
/proc/loadavg: 3.06 3.17 3.53 4/257 81519
/proc/meminfo: memFree=124478720/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1136.14 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280637 0 0 0 113560 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1136.14 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

[startup+1145.6 s]
/proc/loadavg: 3.05 3.16 3.53 4/257 81519
/proc/meminfo: memFree=124478720/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1142.52 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280637 0 0 0 114198 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1142.52 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

[startup+1148.8 s]
/proc/loadavg: 3.05 3.16 3.53 4/257 81519
/proc/meminfo: memFree=124479248/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1145.72 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280637 0 0 0 114518 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1145.72 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

[startup+1150.4 s]
/proc/loadavg: 3.05 3.16 3.52 4/257 81519
/proc/meminfo: memFree=124479248/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1147.31 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280637 0 0 0 114677 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1147.31 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

[startup+1152 s]*
/proc/loadavg: 3.05 3.16 3.52 4/257 81519
/proc/meminfo: memFree=124479248/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1148.91 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280637 0 0 0 114837 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1148.91 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

[startup+1152.4 s]
/proc/loadavg: 3.05 3.16 3.52 4/257 81519
/proc/meminfo: memFree=124479248/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1149.31 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280637 0 0 0 114877 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1149.31 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

[startup+1152.8 s]
/proc/loadavg: 3.05 3.16 3.52 4/257 81519
/proc/meminfo: memFree=124479248/131249996 swapFree=33010160/33010684
[pid=81433] ppid=81430 vsize=808672 memory=794028 CPUtime=1149.71 cores=5,7
/proc/81433/stat : 81433 (ExactPR-S) R 81430 81433 79272 0 -1 4194304 280637 0 0 0 114917 54 0 0 20 0 1 0 74257565 828080128 198507 18446744073709551615 94743829975040 94743839275077 140721668267328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94743841061184 94743841100264 94743876513792 140721668274561 140721668274698 140721668274698 140721668280300 0
/proc/81433/statm: 202168 198507 3488 2271 0 196806 0
Current children cumulated CPU time: 1149.71 s
Current children cumulated vsize: 808672 KiB
Current children cumulated memory: 794028 KiB

Child status: 30

Real time (s): 1152.86
CPU time (s): 1149.78
CPU user time (s): 1149.22
CPU system time (s): 0.563456
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 947412
Max. memory (cumulated for all children) (KiB): 890704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1149.22
system time used= 0.563456
maximum resident set size= 890704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280645
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= 121
involuntary context switches= 666


# summary of solver processes directly reported to runsolver:
#   pid: 81433
#   total CPU time (s): 1149.78
#   total CPU user time (s): 1149.22
#   total CPU system time (s): 0.563456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06483 second user time and 4.85187 second system time

The end