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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=852186, runsolver pid=852174

[startup+0.100784 s]*
/proc/loadavg: 1.26 2.66 3.56 8/258 852195
/proc/meminfo: memFree=128265408/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=34972 CPUtime=0.09 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7673 0 0 0 8 1 0 0 20 0 1 0 164810563 49954816 8743 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8743 918 29 0 8570 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 34972 KiB

[startup+0.205923 s]*
/proc/loadavg: 1.26 2.66 3.56 6/258 852195
/proc/meminfo: memFree=128257520/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=0.2 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7740 0 0 0 16 4 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 KiB

[startup+0.30648 s]*
/proc/loadavg: 1.26 2.66 3.56 7/258 852195
/proc/meminfo: memFree=128256992/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=0.3 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7740 0 0 0 22 8 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 KiB

[startup+0.700217 s]
/proc/loadavg: 1.26 2.66 3.56 7/258 852195
/proc/meminfo: memFree=128256452/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=0.68 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7740 0 0 0 46 22 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 KiB

[startup+1.50019 s]
/proc/loadavg: 1.26 2.66 3.56 7/258 852195
/proc/meminfo: memFree=128256372/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=1.48 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7740 0 0 0 96 52 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 KiB

[startup+3.10652 s]
/proc/loadavg: 1.26 2.66 3.56 7/258 852197
/proc/meminfo: memFree=128256028/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=3.09 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7741 0 0 0 187 122 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 KiB

[startup+6.30017 s]
/proc/loadavg: 1.48 2.68 3.56 7/258 852197
/proc/meminfo: memFree=128256088/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=6.28 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7743 0 0 0 374 254 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 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=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=12.66 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7745 0 0 0 728 538 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 2.77 3.57 7/258 852200
/proc/meminfo: memFree=128254496/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=25.44 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7747 0 0 0 1433 1111 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 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=852186] ppid=852174 vsize=48784 memory=35236 CPUtime=51 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7750 0 0 0 2879 2221 0 0 20 0 1 0 164810563 49954816 8809 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 8809 918 29 0 8570 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 35236 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 3.08 3.62 7/258 852213
/proc/meminfo: memFree=128247732/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=102.11 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7781 0 0 0 5641 4570 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.26 3.65 7/258 852225
/proc/meminfo: memFree=128246788/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=162.02 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7803 0 0 0 8978 7224 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 162.02 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.43 3.68 7/258 852235
/proc/meminfo: memFree=128245920/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=221.92 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7814 0 0 0 12296 9896 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.55 3.71 7/258 852245
/proc/meminfo: memFree=128245076/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=281.82 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7825 0 0 0 15700 12482 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 281.82 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.67 3.74 7/254 852256
/proc/meminfo: memFree=128244436/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=341.72 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7836 0 0 0 19077 15095 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 341.72 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.76 3.77 7/254 852266
/proc/meminfo: memFree=128243828/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=401.63 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7847 0 0 0 22491 17672 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 401.63 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 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=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=461.55 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 7858 0 0 0 26153 20002 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0

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

/proc/loadavg: 4.08 4.11 4.09 7/257 853962
/proc/meminfo: memFree=128309032/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3217.19 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8364 0 0 0 198518 123201 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3217.19 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.10 7/257 853972
/proc/meminfo: memFree=128308208/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3277.11 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8375 0 0 0 202238 125473 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3277.11 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 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=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3337.01 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8386 0 0 0 205590 128111 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3337.01 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 7/255 853992
/proc/meminfo: memFree=128307060/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3396.91 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8397 0 0 0 208951 130740 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3396.91 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 7/254 854003
/proc/meminfo: memFree=128306348/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3456.82 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8408 0 0 0 212594 133088 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3456.82 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 7/254 854014
/proc/meminfo: memFree=128305760/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3516.73 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8419 0 0 0 216186 135487 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3516.73 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/254 854024
/proc/meminfo: memFree=128304976/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3576.63 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 219638 138025 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3576.63 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

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

# cumulated CPU time of all completed processes:  user=2210.68 s, system=1389.32 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=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3578.33 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 219740 138093 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3578.33 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 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=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3591.1 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 220578 138532 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3591.1 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.09 7/254 854025
/proc/meminfo: memFree=128304864/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3594.3 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 220765 138665 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3594.3 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 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=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3597.49 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 220937 138812 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3597.49 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3604.8 s]
/proc/loadavg: 4.15 4.12 4.09 7/254 854028
/proc/meminfo: memFree=128304640/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3599.09 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 221021 138888 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3599.09 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3605.2 s]
/proc/loadavg: 4.14 4.12 4.09 7/254 854028
/proc/meminfo: memFree=128304744/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3599.49 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 221041 138908 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3605.6 s]
/proc/loadavg: 4.14 4.12 4.09 7/254 854028
/proc/meminfo: memFree=128304744/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3599.89 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 221062 138927 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3599.89 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

[startup+3605.7 s]
/proc/loadavg: 4.14 4.12 4.09 7/254 854028
/proc/meminfo: memFree=128304744/131524600 swapFree=131071996/131071996
[pid=852186] ppid=852174 vsize=48784 memory=36392 CPUtime=3599.99 cores=1,3
/proc/852186/stat : 852186 (DLS-PBO) R 852174 852186 852120 0 -1 4194304 8430 0 0 0 221067 138932 0 0 20 0 1 0 164810563 49954816 9098 134679101440 4194304 4311573 140734244207808 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 28979200 140734244209692 140734244209799 140734244209799 140734244216814 0
/proc/852186/statm: 12196 9098 918 29 0 8570 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 36392 KiB

Child status: 0

Real time (s): 3605.7
CPU time (s): 3600
CPU user time (s): 2210.68
CPU system time (s): 1389.32
CPU usage (%): 99.8419
Max. virtual memory (cumulated for all children) (KiB): 48784
Max. memory (cumulated for all children) (KiB): 36392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2210.68
system time used= 1389.32
maximum resident set size= 36392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8433
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= 929


# summary of solver processes directly reported to runsolver:
#   pid: 852186
#   total CPU time (s): 3600
#   total CPU user time (s): 2210.68
#   total CPU system time (s): 1389.32

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89043 second user time and 17.6827 second system time

The end