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: 64059 MiB (62010 MiB free)
  memory of node 1: 64510 MiB (63275 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430356-1721127183/watcher-4430356-1721127183 -o /tmp/evaluation-result-4430356-1721127183/solver-4430356-1721127183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721127195-843256 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430356-1721127183.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=843302, runsolver pid=843296

[startup+0.100879 s]*
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128285264/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=19108 memory=7460 CPUtime=0.1 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 1168 0 0 0 10 0 0 0 20 0 1 0 164874969 19566592 1865 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 4777 1865 864 29 0 1151 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19108 KiB
Current children cumulated memory: 7460 KiB

[startup+0.213182 s]*
/proc/loadavg: 1.32 1.14 1.33 5/246 843317
/proc/meminfo: memFree=128249556/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=0.21 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 16 5 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+0.314352 s]*
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128221072/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=0.31 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 22 9 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+0.700301 s]
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128212232/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=0.68 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 42 26 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+1.50027 s]
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128135684/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=1.48 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 84 64 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+3.11307 s]
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128135156/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=3.09 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 165 144 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+6.30024 s]
/proc/loadavg: 1.54 1.19 1.35 6/246 843317
/proc/meminfo: memFree=128135124/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=6.27 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 323 304 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+12.7002 s]
/proc/loadavg: 1.73 1.24 1.36 6/246 843319
/proc/meminfo: memFree=128135128/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=12.65 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 623 642 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+25.5003 s]
/proc/loadavg: 2.08 1.33 1.39 6/246 843320
/proc/meminfo: memFree=128134756/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=25.44 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 1243 1301 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+51.1123 s]
/proc/loadavg: 2.91 1.60 1.48 6/246 843325
/proc/meminfo: memFree=128130972/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=19528 CPUtime=51.01 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4213 0 0 0 2477 2624 0 0 20 0 1 0 164874969 32776192 4882 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 4882 879 29 0 4376 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 19528 KiB

[startup+102.3 s]
/proc/loadavg: 4.39 2.18 1.68 6/246 843334
/proc/meminfo: memFree=128125188/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20016 CPUtime=102.1 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4243 0 0 0 4961 5249 0 0 20 0 1 0 164874969 32776192 5004 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5004 879 29 0 4376 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20016 KiB

[startup+162.3 s]
/proc/loadavg: 5.43 2.92 1.97 6/243 843728
/proc/meminfo: memFree=128124316/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=161.98 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4268 0 0 0 8015 8183 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+222.3 s]
/proc/loadavg: 5.36 3.38 2.19 6/243 843738
/proc/meminfo: memFree=128123764/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=221.85 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4278 0 0 0 11342 10843 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+282.3 s]
/proc/loadavg: 4.56 3.51 2.31 6/243 843748
/proc/meminfo: memFree=128123412/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=281.73 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4288 0 0 0 14781 13392 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 3.66 2.44 6/244 843928
/proc/meminfo: memFree=128122940/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=341.6 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4293 0 0 0 17905 16255 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 341.6 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+402.3 s]
/proc/loadavg: 4.25 3.76 2.56 6/244 843939
/proc/meminfo: memFree=128122696/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=401.48 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4293 0 0 0 20873 19275 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 401.48 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.80 2.65 6/246 843953
/proc/meminfo: memFree=128122180/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=461.35 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4298 0 0 0 24060 22075 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0

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

/proc/loadavg: 4.12 4.12 4.04 6/242 845068
/proc/meminfo: memFree=128108640/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3155.73 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4523 0 0 0 163016 152557 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3155.73 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/242 845078
/proc/meminfo: memFree=128108332/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3215.61 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4528 0 0 0 166156 155405 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3215.61 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.04 6/242 845088
/proc/meminfo: memFree=128108044/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3275.49 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4533 0 0 0 169255 158294 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3275.49 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.04 6/242 845098
/proc/meminfo: memFree=128107792/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3335.36 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4538 0 0 0 172290 161246 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3335.36 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.04 6/242 845109
/proc/meminfo: memFree=128107488/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3395.24 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4543 0 0 0 175318 164206 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3395.24 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.05 6/245 845124
/proc/meminfo: memFree=128107136/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3455.11 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4548 0 0 0 178361 167150 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3455.11 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.04 6/245 845134
/proc/meminfo: memFree=128106940/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3514.99 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4553 0 0 0 181447 170052 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3514.99 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.05 6/245 845145
/proc/meminfo: memFree=128106632/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3574.87 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4558 0 0 0 184763 172724 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3574.87 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

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

# cumulated CPU time of all completed processes:  user=1860.79 s, system=1739.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.09 4.05 6/245 845145
/proc/meminfo: memFree=128106528/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3576.56 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4558 0 0 0 184849 172807 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3576.56 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.05 6/245 845146
/proc/meminfo: memFree=128106608/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3589.33 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4563 0 0 0 185530 173403 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3589.33 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3603.2 s]
/proc/loadavg: 4.09 4.09 4.05 6/245 845148
/proc/meminfo: memFree=128106588/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3595.71 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4563 0 0 0 185856 173715 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3595.71 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3604.8 s]
/proc/loadavg: 4.09 4.09 4.05 6/245 845148
/proc/meminfo: memFree=128106564/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3597.31 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4563 0 0 0 185939 173792 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3597.31 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3606.4 s]
/proc/loadavg: 4.08 4.08 4.05 4/240 845177
/proc/meminfo: memFree=128227924/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3598.91 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4563 0 0 0 186014 173877 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3598.91 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3607.2 s]
/proc/loadavg: 4.08 4.08 4.05 5/240 845225
/proc/meminfo: memFree=128132836/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3599.7 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4563 0 0 0 186061 173909 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

[startup+3607.4 s]
/proc/loadavg: 4.08 4.08 4.05 5/240 845225
/proc/meminfo: memFree=128132836/131655788 swapFree=131071996/131071996
[pid=843302] ppid=843296 vsize=32008 memory=20156 CPUtime=3599.91 cores=1,3
/proc/843302/stat : 843302 (DLS-PBO) R 843296 843302 843244 0 -1 4194304 4563 0 0 0 186075 173916 0 0 20 0 1 0 164874969 32776192 5039 134679101440 4194304 4311573 140731833176800 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 5709824 140731833185308 140731833185415 140731833185415 140731833192430 0
/proc/843302/statm: 8002 5039 879 29 0 4376 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 20156 KiB

Child status: 0

Real time (s): 3607.49
CPU time (s): 3600
CPU user time (s): 1860.79
CPU system time (s): 1739.21
CPU usage (%): 99.7925
Max. virtual memory (cumulated for all children) (KiB): 32008
Max. memory (cumulated for all children) (KiB): 20156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1860.79
system time used= 1739.21
maximum resident set size= 20156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4566
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= 9
involuntary context switches= 1060


# summary of solver processes directly reported to runsolver:
#   pid: 843302
#   total CPU time (s): 3600
#   total CPU user time (s): 1860.79
#   total CPU system time (s): 1739.21

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4578 second user time and 29.5298 second system time

The end