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

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

solver pid=271830, runsolver pid=271819

[startup+0.100674 s]*
/proc/loadavg: 1.41 2.75 3.62 6/256 271832
/proc/meminfo: memFree=117570180/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=0.09 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 4 5 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+0.204902 s]*
/proc/loadavg: 1.41 2.75 3.62 5/253 271840
/proc/meminfo: memFree=117571160/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=0.19 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 8 11 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+0.305518 s]*
/proc/loadavg: 1.41 2.75 3.62 5/255 271846
/proc/meminfo: memFree=117569444/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=0.3 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 13 17 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+0.700148 s]
/proc/loadavg: 1.41 2.75 3.62 6/258 271878
/proc/meminfo: memFree=117564384/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=0.68 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 28 40 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+1.50015 s]
/proc/loadavg: 1.41 2.75 3.62 6/258 271878
/proc/meminfo: memFree=117564004/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=1.48 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 60 88 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3.10459 s]
/proc/loadavg: 1.62 2.77 3.62 6/258 271878
/proc/meminfo: memFree=117564024/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3.09 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 122 187 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+6.30014 s]
/proc/loadavg: 1.62 2.77 3.62 6/258 271878
/proc/meminfo: memFree=117564140/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=6.27 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 236 391 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+12.7001 s]
/proc/loadavg: 2.07 2.83 3.63 6/258 271880
/proc/meminfo: memFree=117563804/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=12.66 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 473 793 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+25.5001 s]
/proc/loadavg: 2.36 2.87 3.64 6/258 271881
/proc/meminfo: memFree=117563800/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=25.44 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 946 1598 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+51.1046 s]
/proc/loadavg: 3.00 2.98 3.65 6/258 271886
/proc/meminfo: memFree=117562760/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=51 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 1868 3232 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.17 3.68 6/258 271897
/proc/meminfo: memFree=117561828/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=102.1 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 3737 6473 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 3.42 3.73 6/256 272290
/proc/meminfo: memFree=117561300/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=161.99 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 5930 10269 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+222.3 s]
/proc/loadavg: 4.47 3.65 3.79 6/256 272300
/proc/meminfo: memFree=117560080/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=221.88 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 8096 14092 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 221.88 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+282.3 s]
/proc/loadavg: 4.51 3.82 3.85 6/256 272311
/proc/meminfo: memFree=117559228/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=281.77 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 10261 17916 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 281.77 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+342.3 s]
/proc/loadavg: 4.28 3.88 3.87 6/256 272491
/proc/meminfo: memFree=117558160/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=341.67 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 12451 21716 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 341.67 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 3.94 3.89 6/256 272501
/proc/meminfo: memFree=117557460/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=401.55 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 14605 25550 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 401.55 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.00 3.92 6/258 272526
/proc/meminfo: memFree=117556828/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=461.44 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 16773 29371 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 461.44 s

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

/proc/loadavg: 4.15 4.17 4.14 6/254 273664
/proc/meminfo: memFree=117622188/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3216.43 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 116892 204751 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3216.43 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.19 4.14 6/254 273674
/proc/meminfo: memFree=117621116/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3276.32 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 119080 208552 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3276.32 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.21 4.15 6/254 273684
/proc/meminfo: memFree=117620400/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3336.21 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 121252 212369 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3336.21 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.15 6/254 273695
/proc/meminfo: memFree=117619712/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3396.1 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 123437 216173 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3396.1 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.19 4.15 6/256 273709
/proc/meminfo: memFree=117619072/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3455.99 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 125604 219995 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3455.99 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.15 6/256 273719
/proc/meminfo: memFree=117618388/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3515.88 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 127787 223801 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3515.88 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.20 4.16 6/256 273732
/proc/meminfo: memFree=117617384/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3575.77 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 129956 227621 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3575.77 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

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

# cumulated CPU time of all completed processes:  user=1308.39 s, system=2291.62 s

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

[startup+3584 s]*
/proc/loadavg: 4.25 4.20 4.16 6/256 273732
/proc/meminfo: memFree=117617420/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3577.47 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130015 227732 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3577.47 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3596.8 s]
/proc/loadavg: 4.21 4.19 4.16 6/256 273734
/proc/meminfo: memFree=117617308/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3590.24 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130487 228537 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3590.24 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3603.2 s]
/proc/loadavg: 4.18 4.18 4.16 6/256 273735
/proc/meminfo: memFree=117617296/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3596.64 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130715 228949 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3596.64 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3604.8 s]
/proc/loadavg: 4.18 4.18 4.16 6/256 273736
/proc/meminfo: memFree=117617204/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3598.23 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130773 229050 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3598.23 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3605.6 s]
/proc/loadavg: 4.18 4.18 4.16 6/256 273736
/proc/meminfo: memFree=117617140/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3599.03 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130803 229100 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3599.03 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3606 s]*
/proc/loadavg: 4.18 4.18 4.16 5/256 273782
/proc/meminfo: memFree=117614028/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3599.44 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130817 229127 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3599.44 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3606.4 s]
/proc/loadavg: 4.18 4.18 4.16 5/256 273782
/proc/meminfo: memFree=117614028/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3599.83 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130831 229152 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3599.83 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

[startup+3606.5 s]
/proc/loadavg: 4.18 4.18 4.16 5/256 273782
/proc/meminfo: memFree=117614028/131524600 swapFree=131071728/131071996
[pid=271830] ppid=271819 vsize=17420 memory=5960 CPUtime=3599.93 cores=4,6
/proc/271830/stat : 271830 (DLS-PBO) R 271819 271830 271758 0 -1 4194304 774 0 0 0 130835 229158 0 0 20 0 1 0 24123642 17838080 1490 134679101440 4194304 4311573 140727618192464 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 36810752 140727618196508 140727618196615 140727618196615 140727618203630 0
/proc/271830/statm: 4355 1490 889 29 0 729 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 5960 KiB

Child status: 0

Real time (s): 3606.57
CPU time (s): 3600.01
CPU user time (s): 1308.39
CPU system time (s): 2291.62
CPU usage (%): 99.8181
Max. virtual memory (cumulated for all children) (KiB): 17420
Max. memory (cumulated for all children) (KiB): 5960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1308.39
system time used= 2291.62
maximum resident set size= 6452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 777
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= 5
involuntary context switches= 2829


# summary of solver processes directly reported to runsolver:
#   pid: 271830
#   total CPU time (s): 3600.01
#   total CPU user time (s): 1308.39
#   total CPU system time (s): 2291.62

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12203 second user time and 11.8445 second system time

The end