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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430284-1721063232/watcher-4430284-1721063232 -o /tmp/evaluation-result-4430284-1721063232/solver-4430284-1721063232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721059639-809533 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430284-1721063232.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
solver pid=811488, runsolver pid=811485
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.07 4.11 4.09 6/252 811504
/proc/meminfo: memFree=128126188/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=37396 CPUtime=0.09 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 7819 0 0 0 8 1 0 0 20 0 1 0 158486758 56332288 9349 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 9349 903 29 0 10127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 37396 KiB

[startup+0.205553 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128117364/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40624 CPUtime=0.2 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8622 0 0 0 16 4 0 0 20 0 1 0 158486758 56332288 10156 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10156 919 29 0 10127 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40624 KiB

[startup+0.305528 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128082188/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40624 CPUtime=0.3 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8622 0 0 0 23 7 0 0 20 0 1 0 158486758 56332288 10156 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10156 919 29 0 10127 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40624 KiB

[startup+0.700214 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128081712/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40624 CPUtime=0.68 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8622 0 0 0 49 19 0 0 20 0 1 0 158486758 56332288 10156 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10156 919 29 0 10127 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40624 KiB

[startup+1.50022 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128081604/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40624 CPUtime=1.48 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8622 0 0 0 105 43 0 0 20 0 1 0 158486758 56332288 10156 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10156 919 29 0 10127 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40624 KiB

[startup+3.10547 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 811613
/proc/meminfo: memFree=128038664/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40676 CPUtime=3.09 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8952 0 0 0 219 90 0 0 20 0 1 0 158486758 56332288 10169 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10169 919 29 0 10127 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40676 KiB

[startup+6.30022 s]
/proc/loadavg: 4.06 4.11 4.09 5/255 811615
/proc/meminfo: memFree=128038568/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40676 CPUtime=6.28 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8954 0 0 0 443 185 0 0 20 0 1 0 158486758 56332288 10169 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10169 919 29 0 10127 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40676 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.11 4.09 5/255 811615
/proc/meminfo: memFree=128038640/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40676 CPUtime=12.65 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8958 0 0 0 878 387 0 0 20 0 1 0 158486758 56332288 10169 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10169 919 29 0 10127 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40676 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/255 811618
/proc/meminfo: memFree=128038556/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40676 CPUtime=25.42 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8962 0 0 0 1715 827 0 0 20 0 1 0 158486758 56332288 10169 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10169 919 29 0 10127 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40676 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 811621
/proc/meminfo: memFree=128037884/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40676 CPUtime=50.96 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8968 0 0 0 3363 1733 0 0 20 0 1 0 158486758 56332288 10169 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10169 919 29 0 10127 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40676 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 811629
/proc/meminfo: memFree=128037496/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=40676 CPUtime=102.02 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8972 0 0 0 6620 3582 0 0 20 0 1 0 158486758 56332288 10169 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10169 919 29 0 10127 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 40676 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 811639
/proc/meminfo: memFree=128035300/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=161.87 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 8988 0 0 0 10420 5767 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 811655
/proc/meminfo: memFree=128028592/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=221.74 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9002 0 0 0 14089 8085 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 811665
/proc/meminfo: memFree=128028476/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=281.63 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9015 0 0 0 17779 10384 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 811675
/proc/meminfo: memFree=128028152/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=341.5 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9028 0 0 0 21473 12677 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+402.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/256 811687
/proc/meminfo: memFree=128027828/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=401.39 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9041 0 0 0 25128 15011 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/256 811697
/proc/meminfo: memFree=128027484/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=461.27 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9054 0 0 0 28813 17314 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0

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

/proc/loadavg: 4.15 4.10 4.09 5/257 813371
/proc/meminfo: memFree=128012804/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3215.88 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9652 0 0 0 198824 122764 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3215.88 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 813381
/proc/meminfo: memFree=128012844/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3275.76 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9665 0 0 0 202522 125054 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3275.76 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 813391
/proc/meminfo: memFree=128012632/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3335.63 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9678 0 0 0 206289 127274 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3335.63 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.42 4.19 4.12 5/255 813403
/proc/meminfo: memFree=128012336/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3395.51 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9691 0 0 0 210003 129548 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3395.51 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.20 4.13 5/255 813413
/proc/meminfo: memFree=128012056/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3455.39 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9704 0 0 0 213686 131853 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3455.39 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.19 4.13 5/255 813423
/proc/meminfo: memFree=128011732/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3515.28 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9717 0 0 0 217396 134132 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3515.28 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.13 5/254 813433
/proc/meminfo: memFree=128011460/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3575.16 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 221083 136433 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3575.16 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

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

# cumulated CPU time of all completed processes:  user=2226.3 s, system=1373.7 s

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

[startup+3584 s]*
/proc/loadavg: 4.22 4.19 4.13 5/254 813433
/proc/meminfo: memFree=128011460/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3576.86 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 221195 136491 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3576.86 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.18 4.12 5/254 813436
/proc/meminfo: memFree=128011364/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3589.63 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 221995 136968 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3589.63 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3603.2 s]
/proc/loadavg: 4.16 4.17 4.12 5/254 813437
/proc/meminfo: memFree=128011348/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3596.01 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 222390 137211 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3596.01 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3604.8 s]
/proc/loadavg: 4.16 4.17 4.12 5/254 813437
/proc/meminfo: memFree=128011364/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3597.61 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 222489 137272 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3597.61 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3606.4 s]
/proc/loadavg: 4.22 4.19 4.13 5/254 813439
/proc/meminfo: memFree=128011264/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3599.2 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 222584 137336 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3599.2 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3606.8 s]
/proc/loadavg: 4.22 4.19 4.13 5/254 813439
/proc/meminfo: memFree=128011264/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3599.6 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 222607 137353 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3599.6 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3607 s]*
/proc/loadavg: 4.22 4.19 4.13 5/254 813439
/proc/meminfo: memFree=128011264/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3599.81 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 222618 137363 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3599.81 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

[startup+3607.11 s]
/proc/loadavg: 4.22 4.19 4.13 5/254 813439
/proc/meminfo: memFree=128011264/131524600 swapFree=131071996/131071996
[pid=811488] ppid=811485 vsize=55012 memory=42528 CPUtime=3599.92 cores=1,3
/proc/811488/stat : 811488 (DLS-PBO) R 811485 811488 809521 0 -1 4194304 9730 0 0 0 222625 137367 0 0 20 0 1 0 158486758 56332288 10632 134679101440 4194304 4311573 140725161152960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 35192832 140725161157660 140725161157767 140725161157767 140725161164782 0
/proc/811488/statm: 13753 10632 919 29 0 10127 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 55012 KiB
Current children cumulated memory: 42528 KiB

Child status: 0

Real time (s): 3607.19
CPU time (s): 3600
CPU user time (s): 2226.3
CPU system time (s): 1373.7
CPU usage (%): 99.8008
Max. virtual memory (cumulated for all children) (KiB): 55012
Max. memory (cumulated for all children) (KiB): 42528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2226.3
system time used= 1373.7
maximum resident set size= 42528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9733
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= 933


# summary of solver processes directly reported to runsolver:
#   pid: 811488
#   total CPU time (s): 3600
#   total CPU user time (s): 2226.3
#   total CPU system time (s): 1373.7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49468 second user time and 14.2095 second system time

The end