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-4430348-1721126416/watcher-4430348-1721126416 -o /tmp/evaluation-result-4430348-1721126416/solver-4430348-1721126416 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721126429-852130 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430348-1721126416.opb --time_limit=3600 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
solver pid=852188, runsolver pid=852176
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128266416/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=0.1 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7026 0 0 0 9 1 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+0.206609 s]*
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128257520/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=0.2 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7045 0 0 0 15 5 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+0.305912 s]*
/proc/loadavg: 1.26 2.66 3.56 6/258 852195
/proc/meminfo: memFree=128256992/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=0.3 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7045 0 0 0 21 9 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+0.700188 s]
/proc/loadavg: 1.26 2.66 3.56 6/258 852195
/proc/meminfo: memFree=128256452/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=0.69 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7045 0 0 0 46 23 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+1.50023 s]
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128256372/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=1.49 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7045 0 0 0 91 58 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+3.1066 s]
/proc/loadavg: 1.26 2.66 3.56 7/258 852197
/proc/meminfo: memFree=128256028/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=3.09 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7047 0 0 0 184 125 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+6.30019 s]
/proc/loadavg: 1.48 2.68 3.56 7/258 852197
/proc/meminfo: memFree=128256088/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=6.27 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7049 0 0 0 360 267 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+12.7002 s]
/proc/loadavg: 1.69 2.71 3.56 7/258 852198
/proc/meminfo: memFree=128255956/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=12.65 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7053 0 0 0 707 558 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 2.77 3.57 6/258 852200
/proc/meminfo: memFree=128254496/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=25.41 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7058 0 0 0 1394 1147 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+51.1065 s]
/proc/loadavg: 2.88 2.89 3.59 7/258 852203
/proc/meminfo: memFree=128251644/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=34536 CPUtime=50.95 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7064 0 0 0 2802 2293 0 0 20 0 1 0 164810563 49176576 8634 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 8634 908 29 0 8380 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 34536 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 3.08 3.62 6/258 852213
/proc/meminfo: memFree=128247732/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=102.02 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7088 0 0 0 5584 4618 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.26 3.65 6/258 852225
/proc/meminfo: memFree=128246788/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=161.89 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7110 0 0 0 8855 7334 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.43 3.68 6/258 852235
/proc/meminfo: memFree=128245920/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=221.76 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7121 0 0 0 12163 10013 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.55 3.71 6/258 852245
/proc/meminfo: memFree=128245076/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=281.64 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7132 0 0 0 15487 12677 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.67 3.74 6/254 852256
/proc/meminfo: memFree=128244436/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=341.5 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7143 0 0 0 19091 15059 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.76 3.77 6/254 852266
/proc/meminfo: memFree=128243828/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=401.38 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7154 0 0 0 23003 17135 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+462.3 s]
/proc/loadavg: 5.25 4.19 3.92 7/254 852276
/proc/meminfo: memFree=128243076/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=461.25 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7165 0 0 0 26504 19621 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0

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

/proc/loadavg: 4.12 4.12 4.09 6/257 853951
/proc/meminfo: memFree=128309640/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3155.59 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7660 0 0 0 190374 125185 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3155.59 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/257 853962
/proc/meminfo: memFree=128309032/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3215.46 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7671 0 0 0 193534 128012 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3215.46 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.10 6/257 853972
/proc/meminfo: memFree=128308208/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3275.33 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7682 0 0 0 196895 130638 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3275.33 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 853982
/proc/meminfo: memFree=128307624/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3335.21 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7693 0 0 0 200419 133102 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3335.21 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/255 853992
/proc/meminfo: memFree=128307060/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3395.08 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7704 0 0 0 204111 135397 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3395.08 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/254 854003
/proc/meminfo: memFree=128306348/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3454.95 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7715 0 0 0 207410 138085 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3454.95 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/254 854014
/proc/meminfo: memFree=128305760/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3514.82 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7726 0 0 0 210832 140650 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3514.82 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/254 854024
/proc/meminfo: memFree=128304976/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3574.7 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 214530 142940 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3574.7 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

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

# cumulated CPU time of all completed processes:  user=2159.37 s, system=1440.63 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 7/254 854024
/proc/meminfo: memFree=128304976/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3576.4 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 214663 142977 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3576.4 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.13 4.09 7/254 854025
/proc/meminfo: memFree=128304856/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3589.18 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 215401 143517 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3589.18 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3603.2 s]
/proc/loadavg: 4.15 4.12 4.09 6/254 854027
/proc/meminfo: memFree=128304780/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3595.56 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 215724 143832 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3595.56 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3604.8 s]
/proc/loadavg: 4.15 4.12 4.09 6/254 854028
/proc/meminfo: memFree=128304640/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3597.15 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 215800 143915 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3597.15 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3606.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 854056
/proc/meminfo: memFree=128371468/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3598.75 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 215876 143999 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3598.75 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3607.2 s]
/proc/loadavg: 4.14 4.12 4.09 4/252 854120
/proc/meminfo: memFree=128216024/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3599.55 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 215912 144043 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

[startup+3607.6 s]
/proc/loadavg: 4.14 4.12 4.09 4/252 854120
/proc/meminfo: memFree=128216024/131524600 swapFree=131071996/131071996
[pid=852188] ppid=852176 vsize=48024 memory=36780 CPUtime=3599.94 cores=0,2
/proc/852188/stat : 852188 (DLS-PBO) R 852176 852188 852120 0 -1 4194304 7737 0 0 0 215934 144060 0 0 20 0 1 0 164810563 49176576 9195 134679101440 4194304 4311573 140727307968224 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 17973248 140727307973660 140727307973767 140727307973767 140727307980782 0
/proc/852188/statm: 12006 9195 908 29 0 8380 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 36780 KiB

Child status: 0

Real time (s): 3607.65
CPU time (s): 3600.01
CPU user time (s): 2159.37
CPU system time (s): 1440.63
CPU usage (%): 99.7882
Max. virtual memory (cumulated for all children) (KiB): 48024
Max. memory (cumulated for all children) (KiB): 36780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2159.37
system time used= 1440.63
maximum resident set size= 36780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7740
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= 13
involuntary context switches= 25164


# summary of solver processes directly reported to runsolver:
#   pid: 852188
#   total CPU time (s): 3600.01
#   total CPU user time (s): 2159.37
#   total CPU system time (s): 1440.63

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1139 second user time and 17.7717 second system time

The end