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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=852187, runsolver pid=852175
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128266416/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=34740 CPUtime=0.1 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7094 0 0 0 9 1 0 0 20 0 1 0 164810563 49647616 8685 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8685 925 29 0 8495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 34740 KiB

[startup+0.206673 s]*
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128257520/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=35004 CPUtime=0.2 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7155 0 0 0 16 4 0 0 20 0 1 0 164810563 49647616 8751 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8751 925 29 0 8495 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 35004 KiB

[startup+0.305806 s]*
/proc/loadavg: 1.26 2.66 3.56 5/258 852195
/proc/meminfo: memFree=128256992/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=35004 CPUtime=0.3 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7155 0 0 0 23 7 0 0 20 0 1 0 164810563 49647616 8751 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8751 925 29 0 8495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 35004 KiB

[startup+0.700189 s]
/proc/loadavg: 1.26 2.66 3.56 5/258 852195
/proc/meminfo: memFree=128256452/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=35004 CPUtime=0.69 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7155 0 0 0 49 20 0 0 20 0 1 0 164810563 49647616 8751 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8751 925 29 0 8495 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 35004 KiB

[startup+1.50023 s]
/proc/loadavg: 1.26 2.66 3.56 7/258 852195
/proc/meminfo: memFree=128256372/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=35004 CPUtime=1.48 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7156 0 0 0 98 50 0 0 20 0 1 0 164810563 49647616 8751 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8751 925 29 0 8495 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 35004 KiB

[startup+3.10641 s]
/proc/loadavg: 1.26 2.66 3.56 7/258 852197
/proc/meminfo: memFree=128256028/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=35004 CPUtime=3.09 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7158 0 0 0 188 121 0 0 20 0 1 0 164810563 49647616 8751 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8751 925 29 0 8495 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 35004 KiB

[startup+6.3002 s]
/proc/loadavg: 1.48 2.68 3.56 7/258 852197
/proc/meminfo: memFree=128256088/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=35004 CPUtime=6.28 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7160 0 0 0 378 250 0 0 20 0 1 0 164810563 49647616 8751 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8751 925 29 0 8495 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 35004 KiB

[startup+12.7002 s]
/proc/loadavg: 1.69 2.71 3.56 5/258 852198
/proc/meminfo: memFree=128255956/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=35004 CPUtime=12.67 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7164 0 0 0 733 534 0 0 20 0 1 0 164810563 49647616 8751 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 8751 925 29 0 8495 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 35004 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=25.43 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7181 0 0 0 1436 1107 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+51.1065 s]
/proc/loadavg: 2.88 2.89 3.59 5/258 852203
/proc/meminfo: memFree=128251644/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=51 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7214 0 0 0 2839 2261 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=102.11 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7236 0 0 0 5681 4530 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.26 3.65 5/258 852225
/proc/meminfo: memFree=128246788/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=162.02 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7258 0 0 0 9117 7085 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 162.02 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.43 3.68 5/258 852235
/proc/meminfo: memFree=128245920/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=221.92 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7269 0 0 0 12636 9556 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.55 3.71 5/258 852245
/proc/meminfo: memFree=128245076/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=281.83 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7280 0 0 0 16152 12031 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 281.83 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=341.74 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7291 0 0 0 20438 13736 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 341.74 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=401.64 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7302 0 0 0 24176 15988 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 401.64 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+462.3 s]
/proc/loadavg: 5.25 4.19 3.92 5/254 852276
/proc/meminfo: memFree=128243076/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=461.55 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7313 0 0 0 28255 17900 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0

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

/proc/loadavg: 4.12 4.12 4.09 6/257 853951
/proc/meminfo: memFree=128309640/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3157.31 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7808 0 0 0 198153 117578 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3157.31 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 853962
/proc/meminfo: memFree=128309032/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3217.21 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7819 0 0 0 201604 120117 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3217.21 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/257 853972
/proc/meminfo: memFree=128308208/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3277.11 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7830 0 0 0 205054 122657 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3277.11 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/255 853982
/proc/meminfo: memFree=128307624/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3337.02 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7841 0 0 0 208956 124746 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3337.02 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3396.92 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7852 0 0 0 212353 127339 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3396.92 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3456.83 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7863 0 0 0 215889 129794 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3456.83 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3516.73 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7874 0 0 0 219339 132334 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3516.73 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 854024
/proc/meminfo: memFree=128304976/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3576.64 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 222937 134727 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3576.64 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

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

# cumulated CPU time of all completed processes:  user=2241.79 s, system=1358.21 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 5/254 854024
/proc/meminfo: memFree=128304976/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3578.34 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 223011 134823 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3578.34 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.13 4.09 5/254 854025
/proc/meminfo: memFree=128304856/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3591.12 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 223669 135443 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3591.12 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.09 6/254 854025
/proc/meminfo: memFree=128304864/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3594.32 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 223844 135588 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3594.32 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3603.2 s]
/proc/loadavg: 4.15 4.12 4.09 7/254 854027
/proc/meminfo: memFree=128304780/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3597.51 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 224035 135716 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3597.51 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 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=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3599.1 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 224124 135786 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3599.1 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3605.2 s]
/proc/loadavg: 4.14 4.12 4.09 6/254 854028
/proc/meminfo: memFree=128304744/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3599.5 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 224149 135801 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3599.5 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

[startup+3605.6 s]
/proc/loadavg: 4.14 4.12 4.09 6/254 854028
/proc/meminfo: memFree=128304744/131524600 swapFree=131071996/131071996
[pid=852187] ppid=852175 vsize=48484 memory=36188 CPUtime=3599.9 cores=5,7
/proc/852187/stat : 852187 (DLS-PBO) R 852175 852187 852120 0 -1 4194304 7885 0 0 0 224173 135817 0 0 20 0 1 0 164810563 49647616 9047 134679101440 4194304 4311573 140730113808160 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 29159424 140730113811484 140730113811591 140730113811591 140730113818606 0
/proc/852187/statm: 12121 9047 925 29 0 8495 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 36188 KiB

Child status: 0

Real time (s): 3605.69
CPU time (s): 3600.01
CPU user time (s): 2241.79
CPU system time (s): 1358.21
CPU usage (%): 99.8422
Max. virtual memory (cumulated for all children) (KiB): 48484
Max. memory (cumulated for all children) (KiB): 36188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2241.79
system time used= 1358.21
maximum resident set size= 36188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7888
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= 11
involuntary context switches= 1180


# summary of solver processes directly reported to runsolver:
#   pid: 852187
#   total CPU time (s): 3600.01
#   total CPU user time (s): 2241.79
#   total CPU system time (s): 1358.21

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86121 second user time and 18.0112 second system time

The end