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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430285-1721063233/watcher-4430285-1721063233 -o /tmp/evaluation-result-4430285-1721063233/solver-4430285-1721063233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721059639-809532 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430285-1721063233.opb --time_limit=3600 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=811520, runsolver pid=811517

[startup+0.100364 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128085884/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=54648 memory=36580 CPUtime=0.09 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 7679 0 0 0 8 1 0 0 20 0 1 0 158486777 55959552 9145 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13662 9145 891 29 0 10036 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54648 KiB
Current children cumulated memory: 36580 KiB

[startup+0.205613 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128081852/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=0.19 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8640 0 0 0 15 4 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+0.305511 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128081712/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=0.29 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8640 0 0 0 22 7 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+0.700209 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 811521
/proc/meminfo: memFree=128081572/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=0.69 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8640 0 0 0 50 19 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.11 4.09 4/252 811535
/proc/meminfo: memFree=128083412/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=1.48 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8640 0 0 0 105 43 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+3.10547 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 811613
/proc/meminfo: memFree=128038728/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=3.09 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8642 0 0 0 220 89 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+6.30022 s]
/proc/loadavg: 4.06 4.11 4.09 5/255 811615
/proc/meminfo: memFree=128038584/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=6.27 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8644 0 0 0 444 183 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.11 4.09 5/255 811615
/proc/meminfo: memFree=128038604/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=12.66 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8648 0 0 0 878 388 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/255 811618
/proc/meminfo: memFree=128038456/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=25.43 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8652 0 0 0 1712 831 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 811621
/proc/meminfo: memFree=128037912/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=50.97 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8658 0 0 0 3365 1732 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 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=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=102.05 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8662 0 0 0 6628 3577 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 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=811520] ppid=811517 vsize=55044 memory=40600 CPUtime=161.92 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8666 0 0 0 10437 5755 0 0 20 0 1 0 158486777 56365056 10150 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10150 907 29 0 10135 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 40600 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=221.78 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8690 0 0 0 14166 8012 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=281.64 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8703 0 0 0 17821 10343 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=341.51 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8716 0 0 0 21508 12643 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+402.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/256 811687
/proc/meminfo: memFree=128027820/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=401.36 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8729 0 0 0 25197 14939 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=461.23 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 8742 0 0 0 28868 17255 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0

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

/proc/loadavg: 4.15 4.10 4.09 5/257 813371
/proc/meminfo: memFree=128012804/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3214.85 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9340 0 0 0 199318 122167 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3214.85 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 813381
/proc/meminfo: memFree=128012852/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3274.71 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9353 0 0 0 203006 124465 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3274.71 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3334.58 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9366 0 0 0 206774 126684 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3334.58 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.42 4.19 4.12 5/255 813403
/proc/meminfo: memFree=128012328/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3394.43 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9379 0 0 0 210542 128901 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3394.43 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3454.3 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9392 0 0 0 214271 131159 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3454.3 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3514.15 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9405 0 0 0 218016 133399 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3514.15 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.13 5/254 813433
/proc/meminfo: memFree=128011452/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3574.02 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 221780 135622 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

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

# cumulated CPU time of all completed processes:  user=2234.04 s, system=1365.97 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=128011488/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3575.72 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 221888 135684 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3575.72 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3588.48 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 222694 136154 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3603.2 s]
/proc/loadavg: 4.16 4.17 4.12 5/254 813437
/proc/meminfo: memFree=128011364/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3594.87 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 223085 136402 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3594.87 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 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=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3598.06 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 223283 136523 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3598.06 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3607.2 s]
/proc/loadavg: 4.22 4.19 4.13 4/252 813439
/proc/meminfo: memFree=128049860/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3598.86 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 223332 136554 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3598.86 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3608 s]*
/proc/loadavg: 4.22 4.19 4.13 5/254 813485
/proc/meminfo: memFree=128035468/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3599.67 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 223382 136585 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3599.67 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3608.2 s]
/proc/loadavg: 4.22 4.19 4.13 5/254 813485
/proc/meminfo: memFree=128035468/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3599.85 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 223394 136591 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

[startup+3608.3 s]
/proc/loadavg: 4.22 4.19 4.13 5/254 813485
/proc/meminfo: memFree=128035468/131524600 swapFree=131071996/131071996
[pid=811520] ppid=811517 vsize=55044 memory=43120 CPUtime=3599.96 cores=4,6
/proc/811520/stat : 811520 (DLS-PBO) R 811517 811520 809521 0 -1 4194304 9418 0 0 0 223401 136595 0 0 20 0 1 0 158486777 56365056 10780 134679101440 4194304 4311573 140726635929056 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 32903168 140726635930652 140726635930759 140726635930759 140726635937774 0
/proc/811520/statm: 13761 10780 907 29 0 10135 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 43120 KiB

Child status: 0

Real time (s): 3608.34
CPU time (s): 3600.01
CPU user time (s): 2234.04
CPU system time (s): 1365.97
CPU usage (%): 99.7691
Max. virtual memory (cumulated for all children) (KiB): 55044
Max. memory (cumulated for all children) (KiB): 43120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2234.04
system time used= 1365.97
maximum resident set size= 43120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9422
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= 15
involuntary context switches= 2716


# summary of solver processes directly reported to runsolver:
#   pid: 811520
#   total CPU time (s): 3600.01
#   total CPU user time (s): 2234.04
#   total CPU system time (s): 1365.97

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12235 second user time and 16.6748 second system time

The end