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: 63968 MiB (62842 MiB free)
  memory of node 1: 64473 MiB (62533 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430353-1721126416/watcher-4430353-1721126416 -o /tmp/evaluation-result-4430353-1721126416/solver-4430353-1721126416 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721126429-852131 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430353-1721126416.opb --time_limit=3600 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=852189, runsolver pid=852177

[startup+0.100729 s]*
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128265408/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=0.09 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7133 0 0 0 9 0 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+0.20588 s]*
/proc/loadavg: 1.26 2.66 3.56 6/258 852195
/proc/meminfo: memFree=128257520/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=0.2 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7169 0 0 0 16 4 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+0.306556 s]*
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128256992/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=0.3 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7169 0 0 0 22 8 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+0.700231 s]
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128256452/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=0.69 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7169 0 0 0 47 22 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+1.50018 s]
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128256372/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=1.49 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7169 0 0 0 95 54 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+3.10655 s]
/proc/loadavg: 1.26 2.66 3.56 8/258 852197
/proc/meminfo: memFree=128256028/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=3.09 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7171 0 0 0 189 120 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+6.30016 s]
/proc/loadavg: 1.48 2.68 3.56 8/258 852197
/proc/meminfo: memFree=128256088/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=6.27 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7173 0 0 0 373 254 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+12.7001 s]
/proc/loadavg: 1.69 2.71 3.56 8/258 852198
/proc/meminfo: memFree=128255956/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=12.66 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7177 0 0 0 725 541 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 2.77 3.57 8/258 852200
/proc/meminfo: memFree=128254496/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=34968 CPUtime=25.44 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7181 0 0 0 1428 1116 0 0 20 0 1 0 164810563 49762304 8742 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 8742 903 29 0 8523 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 34968 KiB

[startup+51.1064 s]
/proc/loadavg: 2.88 2.89 3.59 8/258 852203
/proc/meminfo: memFree=128251644/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=51.01 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7210 0 0 0 2841 2260 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 3.08 3.62 8/258 852213
/proc/meminfo: memFree=128247732/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=102.11 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7232 0 0 0 5646 4565 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.26 3.65 8/258 852225
/proc/meminfo: memFree=128246788/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=161.98 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7254 0 0 0 9024 7174 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.43 3.68 8/258 852235
/proc/meminfo: memFree=128245920/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=221.87 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7265 0 0 0 12540 9647 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.55 3.71 8/258 852245
/proc/meminfo: memFree=128245076/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=281.75 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7276 0 0 0 16353 11822 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.67 3.74 8/254 852256
/proc/meminfo: memFree=128244436/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=341.64 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7287 0 0 0 19926 14238 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 341.64 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.76 3.77 8/254 852266
/proc/meminfo: memFree=128243828/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=401.52 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7298 0 0 0 23766 16386 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 401.52 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+462.3 s]
/proc/loadavg: 5.25 4.19 3.92 8/254 852276
/proc/meminfo: memFree=128243076/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=461.41 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7309 0 0 0 27797 18344 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0

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

/proc/loadavg: 4.08 4.11 4.09 8/257 853962
/proc/meminfo: memFree=128309032/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3216.06 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7815 0 0 0 199016 122590 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3216.06 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.10 8/257 853972
/proc/meminfo: memFree=128308208/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3275.95 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7826 0 0 0 202810 124785 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3275.95 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/255 853982
/proc/meminfo: memFree=128307624/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3335.83 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7837 0 0 0 206356 127227 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3335.83 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 8/255 853992
/proc/meminfo: memFree=128307060/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3395.71 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7848 0 0 0 209767 129804 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3395.71 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 8/254 854003
/proc/meminfo: memFree=128306348/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3455.6 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7859 0 0 0 213440 132120 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3455.6 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 8/254 854014
/proc/meminfo: memFree=128305760/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3515.48 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7870 0 0 0 217012 134536 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3515.48 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/254 854024
/proc/meminfo: memFree=128304976/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3575.36 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 221383 136153 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3575.36 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3606.99 s]
# the end of solver process 852189 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2230.9 s, system=1369.11 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.09 8/254 854024
/proc/meminfo: memFree=128304976/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3577.07 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 221479 136228 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3577.07 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.13 4.09 8/254 854025
/proc/meminfo: memFree=128304856/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3589.83 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 222327 136656 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3589.83 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3603.2 s]
/proc/loadavg: 4.15 4.12 4.09 8/254 854027
/proc/meminfo: memFree=128304780/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3596.22 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 222781 136841 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3596.22 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3604.8 s]
/proc/loadavg: 4.15 4.12 4.09 8/254 854028
/proc/meminfo: memFree=128304640/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3597.81 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 222912 136869 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3597.81 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3605.6 s]
/proc/loadavg: 4.14 4.12 4.09 8/254 854028
/proc/meminfo: memFree=128304744/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3598.61 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 222979 136882 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3598.61 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3606.4 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 854056
/proc/meminfo: memFree=128371468/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3599.42 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 223045 136897 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3599.42 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3606.8 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 854056
/proc/meminfo: memFree=128371468/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3599.81 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 223078 136903 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3599.81 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

[startup+3606.9 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 854056
/proc/meminfo: memFree=128371468/131524600 swapFree=131071996/131071996
[pid=852189] ppid=852177 vsize=48596 memory=37428 CPUtime=3599.91 cores=4,6
/proc/852189/stat : 852189 (DLS-PBO) R 852177 852189 852120 0 -1 4194304 7881 0 0 0 223085 136906 0 0 20 0 1 0 164810563 49762304 9357 134679101440 4194304 4311573 140730446927840 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 26841088 140730446930972 140730446931079 140730446931079 140730446938094 0
/proc/852189/statm: 12149 9357 903 29 0 8523 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 48596 KiB
Current children cumulated memory: 37428 KiB

Child status: 0

Real time (s): 3606.99
CPU time (s): 3600.01
CPU user time (s): 2230.9
CPU system time (s): 1369.11
CPU usage (%): 99.8065
Max. virtual memory (cumulated for all children) (KiB): 48596
Max. memory (cumulated for all children) (KiB): 37428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2230.9
system time used= 1369.11
maximum resident set size= 37428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7884
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= 14
involuntary context switches= 919


# summary of solver processes directly reported to runsolver:
#   pid: 852189
#   total CPU time (s): 3600.01
#   total CPU user time (s): 2230.9
#   total CPU system time (s): 1369.11

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9267 second user time and 17.498 second system time

The end