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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=52935, runsolver pid=52932
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.16 4.18 4.14 5/249 52936
/proc/meminfo: memFree=125741212/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=54732 memory=16660 CPUtime=0.09 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 2154 0 0 0 8 1 0 0 20 0 1 0 56029021 56045568 4165 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 13683 4165 1728 2271 0 8321 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54732 KiB
Current children cumulated memory: 16660 KiB

[startup+0.212986 s]*
/proc/loadavg: 4.16 4.18 4.14 5/249 52936
/proc/meminfo: memFree=125739448/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=63600 memory=27460 CPUtime=0.2 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 4598 0 0 0 18 2 0 0 20 0 1 0 56029021 65126400 6865 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 15900 6865 1728 2271 0 10538 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63600 KiB
Current children cumulated memory: 27460 KiB

[startup+0.31309 s]*
/proc/loadavg: 4.16 4.18 4.14 5/249 52936
/proc/meminfo: memFree=125729304/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=70932 memory=36976 CPUtime=0.3 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 6303 0 0 0 27 3 0 0 20 0 1 0 56029021 72634368 9244 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 17733 9244 1728 2271 0 12371 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70932 KiB
Current children cumulated memory: 36976 KiB

[startup+0.700337 s]
/proc/loadavg: 4.16 4.18 4.14 5/249 52936
/proc/meminfo: memFree=125709332/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=94012 memory=65244 CPUtime=0.68 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 11998 0 0 0 63 5 0 0 20 0 1 0 56029021 96268288 16311 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 23503 16311 1728 2271 0 18141 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94012 KiB
Current children cumulated memory: 65244 KiB

[startup+1.50033 s]
/proc/loadavg: 4.16 4.18 4.14 5/249 52936
/proc/meminfo: memFree=125592592/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=427312 memory=367312 CPUtime=1.48 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 85019 0 0 0 127 21 0 0 20 0 1 0 56029021 437567488 91828 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 106828 91828 3296 2271 0 101466 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 427312 KiB
Current children cumulated memory: 367312 KiB

[startup+3.11269 s]
/proc/loadavg: 4.14 4.17 4.14 5/249 52936
/proc/meminfo: memFree=125128780/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=680888 memory=620872 CPUtime=3.08 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 145780 0 0 0 276 32 0 0 20 0 1 0 56029021 697229312 155218 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 170222 155218 3392 2271 0 164860 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 680888 KiB
Current children cumulated memory: 620872 KiB

[startup+6.30032 s]
/proc/loadavg: 4.14 4.17 4.14 5/249 52936
/proc/meminfo: memFree=124992164/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=908080 memory=813912 CPUtime=6.25 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 150113 0 0 0 588 37 0 0 20 0 1 0 56029021 929873920 203478 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 227020 203478 3392 2271 0 221658 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 908080 KiB
Current children cumulated memory: 813912 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.17 4.14 5/249 52937
/proc/meminfo: memFree=124756256/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1060204 memory=965056 CPUtime=12.63 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 171945 0 0 0 1220 43 0 0 20 0 1 0 56029021 1085648896 241264 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 265051 241264 3424 2271 0 259689 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1060204 KiB
Current children cumulated memory: 965056 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.18 4.15 5/249 52937
/proc/meminfo: memFree=124765560/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1060204 memory=965056 CPUtime=25.38 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 171958 0 0 0 2495 43 0 0 20 0 1 0 56029021 1085648896 241264 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 265051 241264 3424 2271 0 259689 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1060204 KiB
Current children cumulated memory: 965056 KiB

[startup+51.113 s]
/proc/loadavg: 4.19 4.18 4.15 5/249 52937
/proc/meminfo: memFree=124783628/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1060612 memory=965440 CPUtime=50.9 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 172045 0 0 0 5046 44 0 0 20 0 1 0 56029021 1086066688 241360 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 265153 241360 3424 2271 0 259791 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1060612 KiB
Current children cumulated memory: 965440 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/249 52939
/proc/meminfo: memFree=124777180/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1068804 memory=973760 CPUtime=101.87 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 174142 0 0 0 10143 44 0 0 20 0 1 0 56029021 1094455296 243440 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 267201 243440 3424 2271 0 261839 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1068804 KiB
Current children cumulated memory: 973760 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/249 52952
/proc/meminfo: memFree=125073804/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1074452 memory=979392 CPUtime=161.64 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 175552 0 0 0 16119 45 0 0 20 0 1 0 56029021 1100238848 244848 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 268613 244848 3424 2271 0 263251 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1074452 KiB
Current children cumulated memory: 979392 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/250 52999
/proc/meminfo: memFree=125712044/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1074452 memory=979392 CPUtime=221.35 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 175552 0 0 0 22090 45 0 0 20 0 1 0 56029021 1100238848 244848 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 268613 244848 3424 2271 0 263251 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 1074452 KiB
Current children cumulated memory: 979392 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/250 53001
/proc/meminfo: memFree=125521244/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1080088 memory=983616 CPUtime=281.04 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 176628 0 0 0 28059 45 0 0 20 0 1 0 56029021 1106010112 245904 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 270022 245904 3424 2271 0 264660 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 1080088 KiB
Current children cumulated memory: 983616 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/250 53003
/proc/meminfo: memFree=125465952/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1085232 memory=989120 CPUtime=340.74 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 177980 0 0 0 34029 45 0 0 20 0 1 0 56029021 1111277568 247280 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 271308 247280 3424 2271 0 265946 0
Current children cumulated CPU time: 340.74 s
Current children cumulated vsize: 1085232 KiB
Current children cumulated memory: 989120 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/250 53011
/proc/meminfo: memFree=125449900/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1085232 memory=989120 CPUtime=400.44 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 177980 0 0 0 39999 45 0 0 20 0 1 0 56029021 1111277568 247280 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 271308 247280 3424 2271 0 265946 0
Current children cumulated CPU time: 400.44 s
Current children cumulated vsize: 1085232 KiB
Current children cumulated memory: 989120 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/250 53013
/proc/meminfo: memFree=125461496/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1088016 memory=992320 CPUtime=460.14 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 178811 0 0 0 45969 45 0 0 20 0 1 0 56029021 1114128384 248080 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 272004 248080 3424 2271 0 266642 0

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

/proc/loadavg: 4.31 4.26 4.18 5/249 53019
/proc/meminfo: memFree=125393784/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1100520 memory=1005248 CPUtime=639.26 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 182036 0 0 0 63880 46 0 0 20 0 1 0 56029021 1126932480 251312 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 275130 251312 3424 2271 0 269768 0
Current children cumulated CPU time: 639.26 s
Current children cumulated vsize: 1100520 KiB
Current children cumulated memory: 1005248 KiB

[startup+702.3 s]
/proc/loadavg: 4.74 4.39 4.23 5/249 53021
/proc/meminfo: memFree=125722536/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1100520 memory=1005248 CPUtime=698.96 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 182040 0 0 0 69850 46 0 0 20 0 1 0 56029021 1126932480 251312 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 275130 251312 3424 2271 0 269768 0
Current children cumulated CPU time: 698.96 s
Current children cumulated vsize: 1100520 KiB
Current children cumulated memory: 1005248 KiB

[startup+762.3 s]
/proc/loadavg: 4.58 4.41 4.24 5/249 53023
/proc/meminfo: memFree=125668244/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1100520 memory=1005248 CPUtime=758.68 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 182052 0 0 0 75822 46 0 0 20 0 1 0 56029021 1126932480 251312 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 275130 251312 3424 2271 0 269768 0
Current children cumulated CPU time: 758.68 s
Current children cumulated vsize: 1100520 KiB
Current children cumulated memory: 1005248 KiB

[startup+822.3 s]
/proc/loadavg: 4.81 4.52 4.29 5/249 53025
/proc/meminfo: memFree=125641844/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1100520 memory=1005248 CPUtime=818.42 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 182052 0 0 0 81796 46 0 0 20 0 1 0 56029021 1126932480 251312 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 275130 251312 3424 2271 0 269768 0
Current children cumulated CPU time: 818.42 s
Current children cumulated vsize: 1100520 KiB
Current children cumulated memory: 1005248 KiB

[startup+882.3 s]
/proc/loadavg: 4.35 4.44 4.28 5/249 53027
/proc/meminfo: memFree=125626844/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1100520 memory=1005248 CPUtime=878.16 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 182053 0 0 0 87770 46 0 0 20 0 1 0 56029021 1126932480 251312 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 275130 251312 3424 2271 0 269768 0
Current children cumulated CPU time: 878.16 s
Current children cumulated vsize: 1100520 KiB
Current children cumulated memory: 1005248 KiB

[startup+942.3 s]
/proc/loadavg: 4.17 4.37 4.26 5/249 53029
/proc/meminfo: memFree=125616212/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=1100520 memory=1005248 CPUtime=937.89 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 182053 0 0 0 93743 46 0 0 20 0 1 0 56029021 1126932480 251312 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 275130 251312 3424 2271 0 269768 0
Current children cumulated CPU time: 937.89 s
Current children cumulated vsize: 1100520 KiB
Current children cumulated memory: 1005248 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.32 4.25 5/250 53083
/proc/meminfo: memFree=126986020/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=997.61 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 99712 49 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 997.61 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

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

# cumulated CPU time of all completed processes:  user=1054.79 s, system=2.01162 s

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

[startup+1024 s]*
/proc/loadavg: 4.08 4.29 4.24 5/250 53083
/proc/meminfo: memFree=126983944/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1019.25 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 101820 105 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1019.25 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

[startup+1036.8 s]
/proc/loadavg: 4.07 4.28 4.24 5/250 53084
/proc/meminfo: memFree=126976012/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1031.99 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 103067 132 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1031.99 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

[startup+1049.6 s]
/proc/loadavg: 4.05 4.26 4.24 5/250 53084
/proc/meminfo: memFree=126960232/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1044.75 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 104307 168 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1044.75 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

[startup+1056 s]*
/proc/loadavg: 4.05 4.26 4.23 5/250 53085
/proc/meminfo: memFree=126960248/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1051.14 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 104929 185 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1051.14 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

[startup+1059.2 s]
/proc/loadavg: 4.04 4.26 4.23 5/250 53085
/proc/meminfo: memFree=126956152/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1054.32 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 105240 192 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1054.32 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

[startup+1060.8 s]
/proc/loadavg: 4.04 4.26 4.23 5/250 53085
/proc/meminfo: memFree=126956152/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1055.91 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 105395 196 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1055.91 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

[startup+1061.2 s]
/proc/loadavg: 4.04 4.26 4.23 5/250 53085
/proc/meminfo: memFree=126956152/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1056.31 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 105434 197 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1056.31 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

[startup+1061.6 s]
/proc/loadavg: 4.04 4.26 4.23 5/250 53085
/proc/meminfo: memFree=126956152/131382120 swapFree=33010160/33010684
[pid=52935] ppid=52932 vsize=747136 memory=708580 CPUtime=1056.71 cores=0,2
/proc/52935/stat : 52935 (ExactPR-S) R 52932 52935 51655 0 -1 4194304 187634 0 0 0 105473 198 0 0 20 0 1 0 56029021 765067264 177145 18446744073709551615 94233785618432 94233794918469 140732379316896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94233796704576 94233796743656 94233813958656 140732379318657 140732379318794 140732379318794 140732379324396 0
/proc/52935/statm: 186784 177145 3424 2271 0 181422 0
Current children cumulated CPU time: 1056.71 s
Current children cumulated vsize: 747136 KiB
Current children cumulated memory: 708580 KiB

Child status: 30

Real time (s): 1061.69
CPU time (s): 1056.81
CPU user time (s): 1054.79
CPU system time (s): 2.01162
CPU usage (%): 99.5398
Max. virtual memory (cumulated for all children) (KiB): 1117396
Max. memory (cumulated for all children) (KiB): 1005656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1054.79
system time used= 2.01162
maximum resident set size= 1011220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187656
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= 110
involuntary context switches= 2334


# summary of solver processes directly reported to runsolver:
#   pid: 52935
#   total CPU time (s): 1056.81
#   total CPU user time (s): 1054.79
#   total CPU system time (s): 2.01162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26675 second user time and 9.14144 second system time

The end