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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484055-1751282422/watcher-4484055-1751282422 -o /tmp/evaluation-result-4484055-1751282422/solver-4484055-1751282422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751279032-39119 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4484055-1751282422.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=39525, runsolver pid=39522

[startup+0.100066 s]*
/proc/loadavg: 4.20 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124897592/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=58776 memory=18160 CPUtime=0.09 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 3083 0 0 0 8 1 0 0 20 0 1 0 43922464 60186624 4540 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 14694 4540 1888 2271 0 9332 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58776 KiB
Current children cumulated memory: 18160 KiB

[startup+0.20563 s]*
/proc/loadavg: 4.20 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124897704/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=0.19 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 18 1 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+0.305526 s]*
/proc/loadavg: 4.20 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124897704/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=0.29 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 27 2 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+0.70019 s]
/proc/loadavg: 4.20 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124897704/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=0.67 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 63 4 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+1.50019 s]
/proc/loadavg: 4.20 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124897704/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=1.47 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 137 10 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+3.10534 s]
/proc/loadavg: 4.20 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124897704/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=3.08 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 286 22 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+6.30018 s]
/proc/loadavg: 4.19 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124900484/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=6.27 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 583 44 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.17 4.12 5/263 39526
/proc/meminfo: memFree=124900580/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=12.65 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 1178 87 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.18 4.12 5/263 39526
/proc/meminfo: memFree=124900492/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=25.42 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 2367 175 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.17 4.12 5/263 39527
/proc/meminfo: memFree=124892492/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=64024 memory=23280 CPUtime=50.96 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 4358 0 0 0 4741 355 0 0 20 0 1 0 43922464 65560576 5820 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 16006 5820 1920 2271 0 10644 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 64024 KiB
Current children cumulated memory: 23280 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/262 39529
/proc/meminfo: memFree=124772020/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=191100 memory=160628 CPUtime=102.03 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 26526 0 0 0 9764 439 0 0 20 0 1 0 43922464 195686400 40157 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 47775 40157 1920 2271 0 42413 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 191100 KiB
Current children cumulated memory: 160628 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/262 39531
/proc/meminfo: memFree=124743328/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=200360 memory=169844 CPUtime=161.88 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 28856 0 0 0 15728 460 0 0 20 0 1 0 43922464 205168640 42461 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 50090 42461 1920 2271 0 44728 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 200360 KiB
Current children cumulated memory: 169844 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/257 39562
/proc/meminfo: memFree=126695900/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=210860 memory=180084 CPUtime=221.72 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 31449 0 0 0 21693 479 0 0 20 0 1 0 43922464 215920640 45021 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 52715 45021 1920 2271 0 47353 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 210860 KiB
Current children cumulated memory: 180084 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/262 39624
/proc/meminfo: memFree=127838564/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=220820 memory=190196 CPUtime=281.53 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 34000 0 0 0 27657 496 0 0 20 0 1 0 43922464 226119680 47549 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 55205 47549 1920 2271 0 49843 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 220820 KiB
Current children cumulated memory: 190196 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/262 39759
/proc/meminfo: memFree=129487384/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=237360 memory=206836 CPUtime=341.35 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 37652 0 0 0 33617 518 0 0 20 0 1 0 43922464 243056640 51709 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 59340 51709 1920 2271 0 53978 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 237360 KiB
Current children cumulated memory: 206836 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/264 39809
/proc/meminfo: memFree=128702356/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=243696 memory=217460 CPUtime=401.18 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 39189 0 0 0 39579 539 0 0 20 0 1 0 43922464 249544704 54365 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 60924 54365 1920 2271 0 55562 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 243696 KiB
Current children cumulated memory: 217460 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/265 39816
/proc/meminfo: memFree=127876048/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=245688 memory=223604 CPUtime=461.03 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 39680 0 0 0 45544 559 0 0 20 0 1 0 43922464 251584512 55901 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 61422 55901 1920 2271 0 56060 0

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

/proc/loadavg: 4.12 4.09 4.09 5/263 39932
/proc/meminfo: memFree=127447036/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=276736 memory=253684 CPUtime=1957.32 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 47316 0 0 0 194698 1034 0 0 20 0 1 0 43922464 283377664 63421 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 69184 63421 1920 2271 0 63822 0
Current children cumulated CPU time: 1957.32 s
Current children cumulated vsize: 276736 KiB
Current children cumulated memory: 253684 KiB

[startup+2022.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 39934
/proc/meminfo: memFree=127425724/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=277056 memory=254068 CPUtime=2017.18 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 47395 0 0 0 200667 1051 0 0 20 0 1 0 43922464 283705344 63517 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 69264 63517 1920 2271 0 63902 0
Current children cumulated CPU time: 2017.18 s
Current children cumulated vsize: 277056 KiB
Current children cumulated memory: 254068 KiB

[startup+2082.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 39936
/proc/meminfo: memFree=127423984/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=277056 memory=254068 CPUtime=2077.02 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 47485 0 0 0 206633 1069 0 0 20 0 1 0 43922464 283705344 63517 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 69264 63517 1920 2271 0 63902 0
Current children cumulated CPU time: 2077.02 s
Current children cumulated vsize: 277056 KiB
Current children cumulated memory: 254068 KiB

[startup+2142.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 39938
/proc/meminfo: memFree=127411728/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=277548 memory=254580 CPUtime=2136.88 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 47618 0 0 0 212598 1090 0 0 20 0 1 0 43922464 284209152 63645 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 69387 63645 1920 2271 0 64025 0
Current children cumulated CPU time: 2136.88 s
Current children cumulated vsize: 277548 KiB
Current children cumulated memory: 254580 KiB

[startup+2202.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 39942
/proc/meminfo: memFree=127395460/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=278636 memory=255732 CPUtime=2196.73 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 47925 0 0 0 218562 1111 0 0 20 0 1 0 43922464 285323264 63933 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 69659 63933 1920 2271 0 64297 0
Current children cumulated CPU time: 2196.73 s
Current children cumulated vsize: 278636 KiB
Current children cumulated memory: 255732 KiB

[startup+2262.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 39950
/proc/meminfo: memFree=127387144/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=259828 CPUtime=2256.58 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48935 0 0 0 224525 1133 0 0 20 0 1 0 43922464 290172928 64957 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 64957 1920 2271 0 65481 0
Current children cumulated CPU time: 2256.58 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 259828 KiB

[startup+2322.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 39952
/proc/meminfo: memFree=127379224/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=259828 CPUtime=2316.43 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48937 0 0 0 230491 1152 0 0 20 0 1 0 43922464 290172928 64957 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 64957 1920 2271 0 65481 0
Current children cumulated CPU time: 2316.43 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 259828 KiB

[startup+2382.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 39954
/proc/meminfo: memFree=127335732/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2376.28 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 236458 1170 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2376.28 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

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

# cumulated CPU time of all completed processes:  user=2412.89 s, system=11.828 s

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

[startup+2406.4 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 39955
/proc/meminfo: memFree=127343408/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2400.32 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 238856 1176 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2400.32 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

[startup+2419.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 39955
/proc/meminfo: memFree=127343424/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2413.09 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 240129 1180 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2413.09 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

[startup+2425.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 39955
/proc/meminfo: memFree=127335360/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2419.47 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 240766 1181 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2419.47 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

[startup+2428.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 39955
/proc/meminfo: memFree=127335368/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2422.67 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 241085 1182 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2422.67 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

[startup+2429.6 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 39955
/proc/meminfo: memFree=127335368/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2423.46 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 241164 1182 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2423.46 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

[startup+2430.4 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 39955
/proc/meminfo: memFree=127335368/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2424.26 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 241244 1182 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2424.26 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

[startup+2430.8 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 39955
/proc/meminfo: memFree=127335368/131250000 swapFree=33010684/33010684
[pid=39525] ppid=39522 vsize=283372 memory=261236 CPUtime=2424.66 cores=5,7
/proc/39525/stat : 39525 (ExactPR) R 39522 39525 39106 0 -1 4194304 48944 0 0 0 241284 1182 0 0 20 0 1 0 43922464 290172928 65309 18446744073709551615 94270973693952 94270982993797 140726228542240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94270984780096 94270984819176 94271010607104 140726228547973 140726228548108 140726228548108 140726228553710 0
/proc/39525/statm: 70843 65309 1920 2271 0 65481 0
Current children cumulated CPU time: 2424.66 s
Current children cumulated vsize: 283372 KiB
Current children cumulated memory: 261236 KiB

Child status: 30

Real time (s): 2430.85
CPU time (s): 2424.72
CPU user time (s): 2412.89
CPU system time (s): 11.828
CPU usage (%): 99.7477
Max. virtual memory (cumulated for all children) (KiB): 283372
Max. memory (cumulated for all children) (KiB): 261236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2412.89
system time used= 11.828
maximum resident set size= 261748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48963
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= 159
involuntary context switches= 1454


# summary of solver processes directly reported to runsolver:
#   pid: 39525
#   total CPU time (s): 2424.72
#   total CPU user time (s): 2412.89
#   total CPU system time (s): 11.828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.03494 second user time and 11.0987 second system time

The end