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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430328-1721117004/watcher-4430328-1721117004 -o /tmp/evaluation-result-4430328-1721117004/solver-4430328-1721117004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721117017-844245 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430328-1721117004.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
Current StackSize limit: 8192 KiB

solver pid=844293, runsolver pid=844288

[startup+0.100876 s]*
/proc/loadavg: 2.06 2.39 3.15 7/259 844309
/proc/meminfo: memFree=129468944/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=0.09 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 4 5 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+0.206161 s]*
/proc/loadavg: 2.06 2.39 3.15 5/259 844309
/proc/meminfo: memFree=129468236/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=0.19 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 8 11 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+0.30538 s]*
/proc/loadavg: 2.06 2.39 3.15 5/259 844309
/proc/meminfo: memFree=129467720/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=0.3 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 12 18 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+0.700155 s]
/proc/loadavg: 2.06 2.39 3.15 5/259 844309
/proc/meminfo: memFree=129467192/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=0.68 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 26 42 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+1.50017 s]
/proc/loadavg: 2.06 2.39 3.15 5/257 844309
/proc/meminfo: memFree=129467080/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=1.49 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 54 95 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3.10572 s]
/proc/loadavg: 2.54 2.49 3.17 5/257 844309
/proc/meminfo: memFree=129467044/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3.09 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 110 199 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+6.30015 s]
/proc/loadavg: 2.54 2.49 3.17 5/257 844311
/proc/meminfo: memFree=129466736/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=6.27 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 217 410 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+12.7001 s]
/proc/loadavg: 2.89 2.56 3.19 5/257 844311
/proc/meminfo: memFree=129466896/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=12.66 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 437 829 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+25.5001 s]
/proc/loadavg: 3.42 2.70 3.23 5/257 844314
/proc/meminfo: memFree=129466772/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=25.44 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 881 1663 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+51.1056 s]
/proc/loadavg: 3.84 2.85 3.27 5/257 844317
/proc/meminfo: memFree=129466060/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=50.98 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 1759 3339 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+102.3 s]
/proc/loadavg: 4.32 3.14 3.34 5/257 844325
/proc/meminfo: memFree=129465648/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=102.06 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 3514 6692 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.30 3.39 5/255 844336
/proc/meminfo: memFree=129465284/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=161.92 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 5552 10640 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 3.47 3.44 5/255 844346
/proc/meminfo: memFree=129462872/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=221.79 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 7583 14596 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 3.60 3.49 5/255 844356
/proc/meminfo: memFree=129462604/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=281.66 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 9618 18548 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.69 3.53 5/254 844367
/proc/meminfo: memFree=129462440/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=341.52 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 11691 22461 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.77 3.57 5/254 844377
/proc/meminfo: memFree=129462084/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=401.39 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 13740 26399 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.83 3.60 5/255 844392
/proc/meminfo: memFree=129461764/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=461.25 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 15801 30324 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0

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

/proc/loadavg: 4.18 4.16 4.10 5/256 845879
/proc/meminfo: memFree=129447568/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3155.2 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 107977 207543 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3155.2 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/256 845889
/proc/meminfo: memFree=129447740/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3215.07 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 110022 211485 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3215.07 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 845900
/proc/meminfo: memFree=129447212/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3274.93 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 112089 215404 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3274.93 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 846078
/proc/meminfo: memFree=129447004/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3334.79 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 114154 219325 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3334.79 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 846088
/proc/meminfo: memFree=129446672/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3394.66 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 116193 223273 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3394.66 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 846113
/proc/meminfo: memFree=129446328/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3454.53 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 118228 227225 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3454.53 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 846123
/proc/meminfo: memFree=129446116/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3514.4 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 120277 231163 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/256 846134
/proc/meminfo: memFree=129445944/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3574.26 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 122298 235128 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

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

# cumulated CPU time of all completed processes:  user=1231.89 s, system=2368.11 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.14 4.10 5/256 846134
/proc/meminfo: memFree=129445960/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3575.97 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 122354 235243 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3575.97 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 846137
/proc/meminfo: memFree=129445876/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3588.73 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 122800 236073 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3588.73 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3603.2 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 846137
/proc/meminfo: memFree=129445888/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3595.11 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 123019 236492 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3595.11 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3606.4 s]
/proc/loadavg: 4.14 4.13 4.10 4/253 846140
/proc/meminfo: memFree=129479996/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3598.31 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 123131 236700 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3598.31 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3607.2 s]
/proc/loadavg: 4.14 4.13 4.10 4/252 846246
/proc/meminfo: memFree=129405444/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3599.1 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 123158 236752 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3599.1 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3607.6 s]
/proc/loadavg: 4.14 4.13 4.10 4/252 846246
/proc/meminfo: memFree=129405444/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3599.5 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 123172 236778 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3599.5 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

[startup+3608 s]*
/proc/loadavg: 4.12 4.13 4.09 5/255 846278
/proc/meminfo: memFree=129022352/131524600 swapFree=131071996/131071996
[pid=844293] ppid=844288 vsize=17900 memory=6512 CPUtime=3599.9 cores=0,2
/proc/844293/stat : 844293 (DLS-PBO) R 844288 844293 844235 0 -1 4194304 865 0 0 0 123186 236804 0 0 20 0 1 0 163867066 18329600 1628 134679101440 4194304 4311573 140730021142096 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 22093824 140730021147676 140730021147783 140730021147783 140730021154798 0
/proc/844293/statm: 4475 1628 894 29 0 849 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 17900 KiB
Current children cumulated memory: 6512 KiB

Child status: 0

Real time (s): 3608.09
CPU time (s): 3600
CPU user time (s): 1231.89
CPU system time (s): 2368.11
CPU usage (%): 99.7758
Max. virtual memory (cumulated for all children) (KiB): 17900
Max. memory (cumulated for all children) (KiB): 6512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1231.89
system time used= 2368.11
maximum resident set size= 6776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 868
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= 4
involuntary context switches= 25285


# summary of solver processes directly reported to runsolver:
#   pid: 844293
#   total CPU time (s): 3600
#   total CPU user time (s): 1231.89
#   total CPU system time (s): 2368.11

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93516 second user time and 15.7527 second system time

The end