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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525627-1751622132/watcher-4525627-1751622132 -o /tmp/evaluation-result-4525627-1751622132/solver-4525627-1751622132 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751612493-84304 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=226604390 --ls=360 --inp-dombreaklim=0 HOME/instance-4525627-1751622132.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=88592, runsolver pid=88589

[startup+0.100069 s]*
/proc/loadavg: 4.16 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127412996/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=69476 memory=42792 CPUtime=0.09 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 13051 0 0 0 7 2 0 0 20 0 1 0 77890751 71143424 10698 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 17369 10698 1024 1200 0 15849 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69476 KiB
Current children cumulated memory: 42792 KiB

[startup+0.205796 s]*
/proc/loadavg: 4.16 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127375256/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=109584 memory=80544 CPUtime=0.19 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 22686 0 0 0 15 4 0 0 20 0 1 0 77890751 112214016 20136 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 27396 20136 1024 1200 0 25876 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109584 KiB
Current children cumulated memory: 80544 KiB

[startup+0.30587 s]*
/proc/loadavg: 4.16 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127359380/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=131720 memory=107164 CPUtime=0.29 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 27816 0 0 0 25 4 0 0 20 0 1 0 77890751 134881280 26791 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 32930 26791 1024 1200 0 31410 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131720 KiB
Current children cumulated memory: 107164 KiB

[startup+0.700214 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127334936/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=0.68 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32260 0 0 0 63 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+1.50019 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127334936/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=1.47 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32260 0 0 0 142 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+3.10597 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127335436/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=3.07 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32266 0 0 0 302 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+6.30019 s]
/proc/loadavg: 4.15 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127335436/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=6.24 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32272 0 0 0 619 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 88593
/proc/meminfo: memFree=127352996/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=12.59 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32278 0 0 0 1254 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.10 5/265 88593
/proc/meminfo: memFree=127344804/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=25.3 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32278 0 0 0 2525 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+51.1059 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 88596
/proc/meminfo: memFree=127325740/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=50.73 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32284 0 0 0 5068 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 88598
/proc/meminfo: memFree=127322024/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=101.57 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32296 0 0 0 10152 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 88645
/proc/meminfo: memFree=127082104/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=161.15 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32302 0 0 0 16110 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 161.15 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 88653
/proc/meminfo: memFree=127105728/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=220.71 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32308 0 0 0 22066 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 220.71 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 88655
/proc/meminfo: memFree=127090012/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=280.28 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32314 0 0 0 28023 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 280.28 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 88657
/proc/meminfo: memFree=125408932/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=149552 memory=124956 CPUtime=340 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 32314 0 0 0 33995 5 0 0 20 0 1 0 77890751 153141248 31239 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 37388 31239 1024 1200 0 35868 0
Current children cumulated CPU time: 340 s
Current children cumulated vsize: 149552 KiB
Current children cumulated memory: 124956 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 88660
/proc/meminfo: memFree=123613932/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=634860 memory=593248 CPUtime=399.82 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 113244 0 0 0 39955 27 0 0 20 0 1 0 77890751 650096640 148312 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 158715 148312 1248 1200 0 157195 0
Current children cumulated CPU time: 399.82 s
Current children cumulated vsize: 634860 KiB
Current children cumulated memory: 593248 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 88662
/proc/meminfo: memFree=121634824/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1267048 memory=1101844 CPUtime=459.66 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 215001 0 0 0 45915 51 0 0 20 0 1 0 77890751 1297457152 275461 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 316762 275461 1248 1200 0 315242 0

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

/proc/loadavg: 4.15 4.11 4.09 5/264 88693
/proc/meminfo: memFree=112434720/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1661796 memory=1559236 CPUtime=1058 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 276278 0 0 0 105689 111 0 0 20 0 1 0 77890751 1701679104 389809 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415449 389809 1248 1200 0 413929 0
Current children cumulated CPU time: 1058 s
Current children cumulated vsize: 1661796 KiB
Current children cumulated memory: 1559236 KiB

[startup+1122.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 88695
/proc/meminfo: memFree=112401988/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1661796 memory=1559236 CPUtime=1117.84 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 276327 0 0 0 111669 115 0 0 20 0 1 0 77890751 1701679104 389809 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415449 389809 1248 1200 0 413929 0
Current children cumulated CPU time: 1117.84 s
Current children cumulated vsize: 1661796 KiB
Current children cumulated memory: 1559236 KiB

[startup+1182.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 88708
/proc/meminfo: memFree=112306352/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1661796 memory=1559236 CPUtime=1177.68 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 276414 0 0 0 117649 119 0 0 20 0 1 0 77890751 1701679104 389809 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415449 389809 1248 1200 0 413929 0
Current children cumulated CPU time: 1177.68 s
Current children cumulated vsize: 1661796 KiB
Current children cumulated memory: 1559236 KiB

[startup+1242.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 88713
/proc/meminfo: memFree=112282972/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560644 CPUtime=1237.52 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 276782 0 0 0 123629 123 0 0 20 0 1 0 77890751 1703124992 390161 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390161 1248 1200 0 414282 0
Current children cumulated CPU time: 1237.52 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560644 KiB

[startup+1302.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 88716
/proc/meminfo: memFree=112253400/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560644 CPUtime=1297.35 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 276882 0 0 0 129606 129 0 0 20 0 1 0 77890751 1703124992 390161 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390161 1248 1200 0 414282 0
Current children cumulated CPU time: 1297.35 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560644 KiB

[startup+1362.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 88719
/proc/meminfo: memFree=112210220/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560644 CPUtime=1357.19 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 276949 0 0 0 135586 133 0 0 20 0 1 0 77890751 1703124992 390161 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390161 1248 1200 0 414282 0
Current children cumulated CPU time: 1357.19 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560644 KiB

[startup+1422.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 88725
/proc/meminfo: memFree=112151176/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560644 CPUtime=1417.03 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 276984 0 0 0 141565 138 0 0 20 0 1 0 77890751 1703124992 390161 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390161 1248 1200 0 414282 0
Current children cumulated CPU time: 1417.03 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560644 KiB

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

# cumulated CPU time of all completed processes:  user=1468.62 s, system=1.46317 s

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

[startup+1433.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 88725
/proc/meminfo: memFree=112143212/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560772 CPUtime=1428.3 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277007 0 0 0 142691 139 0 0 20 0 1 0 77890751 1703124992 390193 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390193 1248 1200 0 414282 0
Current children cumulated CPU time: 1428.3 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560772 KiB

[startup+1459.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 88725
/proc/meminfo: memFree=112120560/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560772 CPUtime=1453.83 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277039 0 0 0 145243 140 0 0 20 0 1 0 77890751 1703124992 390193 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390193 1248 1200 0 414282 0
Current children cumulated CPU time: 1453.83 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560772 KiB

[startup+1465.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 88726
/proc/meminfo: memFree=112120856/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560772 CPUtime=1460.22 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277039 0 0 0 145881 141 0 0 20 0 1 0 77890751 1703124992 390193 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390193 1248 1200 0 414282 0
Current children cumulated CPU time: 1460.22 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560772 KiB

[startup+1472 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 88727
/proc/meminfo: memFree=112105440/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560772 CPUtime=1466.6 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277044 0 0 0 146519 141 0 0 20 0 1 0 77890751 1703124992 390193 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390193 1248 1200 0 414282 0
Current children cumulated CPU time: 1466.6 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560772 KiB

[startup+1473.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 88727
/proc/meminfo: memFree=112105440/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560772 CPUtime=1468.19 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277044 0 0 0 146678 141 0 0 20 0 1 0 77890751 1703124992 390193 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390193 1248 1200 0 414282 0
Current children cumulated CPU time: 1468.19 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560772 KiB

[startup+1474.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 88727
/proc/meminfo: memFree=112105692/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560772 CPUtime=1468.99 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277044 0 0 0 146758 141 0 0 20 0 1 0 77890751 1703124992 390193 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390193 1248 1200 0 414282 0
Current children cumulated CPU time: 1468.99 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560772 KiB

[startup+1475.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 88727
/proc/meminfo: memFree=112105692/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560772 CPUtime=1469.78 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277045 0 0 0 146837 141 0 0 20 0 1 0 77890751 1703124992 390193 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390193 1248 1200 0 414282 0
Current children cumulated CPU time: 1469.78 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560772 KiB

[startup+1475.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 88727
/proc/meminfo: memFree=112105692/131250000 swapFree=33007332/33010684
[pid=88592] ppid=88589 vsize=1663208 memory=1560900 CPUtime=1469.98 cores=4,6
/proc/88592/stat : 88592 (Exact) R 88589 88592 84293 0 -1 4194304 277046 0 0 0 146857 141 0 0 20 0 1 0 77890751 1703124992 390225 18446744073709551615 4198400 9112445 140732450168000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 38461440 140732450171173 140732450171371 140732450171371 140732450176975 0
/proc/88592/statm: 415802 390225 1280 1200 0 414282 0
Current children cumulated CPU time: 1469.98 s
Current children cumulated vsize: 1663208 KiB
Current children cumulated memory: 1560900 KiB

Child status: 30

Real time (s): 1475.49
CPU time (s): 1470.08
CPU user time (s): 1468.62
CPU system time (s): 1.46317
CPU usage (%): 99.6337
Max. virtual memory (cumulated for all children) (KiB): 1783412
Max. memory (cumulated for all children) (KiB): 1560900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1468.62
system time used= 1.46317
maximum resident set size= 1560900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277228
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= 2
involuntary context switches= 1006


# summary of solver processes directly reported to runsolver:
#   pid: 88592
#   total CPU time (s): 1470.08
#   total CPU user time (s): 1468.62
#   total CPU system time (s): 1.46317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49211 second user time and 7.12736 second system time

The end