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: 63931 MiB (61837 MiB free)
  memory of node 1: 64510 MiB (63292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430198-1721079341/watcher-4430198-1721079341 -o /tmp/evaluation-result-4430198-1721079341/solver-4430198-1721079341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721079353-826771 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430198-1721079341.opb --time_limit=3600 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=826822, runsolver pid=826817

[startup+0.100136 s]*
/proc/loadavg: 3.83 4.08 4.10 5/257 826833
/proc/meminfo: memFree=128100388/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=25896 memory=14372 CPUtime=0.09 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 2869 0 0 0 9 0 0 0 20 0 1 0 160102355 26517504 3593 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 6474 3593 877 29 0 2848 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25896 KiB
Current children cumulated memory: 14372 KiB

[startup+0.205716 s]*
/proc/loadavg: 3.83 4.08 4.10 5/257 826833
/proc/meminfo: memFree=128067748/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45440 CPUtime=0.2 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9185 0 0 0 18 2 0 0 20 0 1 0 160102355 59801600 11360 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11360 909 29 0 10974 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45440 KiB

[startup+0.305756 s]*
/proc/loadavg: 3.83 4.08 4.10 5/257 826833
/proc/meminfo: memFree=128067264/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45440 CPUtime=0.3 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9185 0 0 0 25 5 0 0 20 0 1 0 160102355 59801600 11360 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11360 909 29 0 10974 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45440 KiB

[startup+0.700234 s]
/proc/loadavg: 3.83 4.08 4.10 5/257 826833
/proc/meminfo: memFree=128066752/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45440 CPUtime=0.68 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9187 0 0 0 53 15 0 0 20 0 1 0 160102355 59801600 11360 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11360 909 29 0 10974 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45440 KiB

[startup+1.50023 s]
/proc/loadavg: 3.83 4.08 4.10 5/257 826833
/proc/meminfo: memFree=128066600/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45440 CPUtime=1.48 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9187 0 0 0 112 36 0 0 20 0 1 0 160102355 59801600 11360 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11360 909 29 0 10974 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45440 KiB

[startup+3.10573 s]
/proc/loadavg: 3.85 4.08 4.10 5/257 826833
/proc/meminfo: memFree=128066592/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45440 CPUtime=3.08 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9190 0 0 0 224 84 0 0 20 0 1 0 160102355 59801600 11360 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11360 909 29 0 10974 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45440 KiB

[startup+6.30021 s]
/proc/loadavg: 3.85 4.08 4.10 5/257 826835
/proc/meminfo: memFree=128066568/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45440 CPUtime=6.28 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9193 0 0 0 434 194 0 0 20 0 1 0 160102355 59801600 11360 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11360 909 29 0 10974 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45440 KiB

[startup+12.7002 s]
/proc/loadavg: 3.87 4.08 4.10 5/257 826835
/proc/meminfo: memFree=128065728/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45440 CPUtime=12.67 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9199 0 0 0 845 422 0 0 20 0 1 0 160102355 59801600 11360 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11360 909 29 0 10974 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45440 KiB

[startup+25.5002 s]
/proc/loadavg: 3.97 4.09 4.10 5/257 826836
/proc/meminfo: memFree=128065724/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=45600 CPUtime=25.43 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9209 0 0 0 1704 839 0 0 20 0 1 0 160102355 59801600 11400 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11400 909 29 0 10974 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45600 KiB

[startup+51.1056 s]
/proc/loadavg: 4.04 4.10 4.10 5/257 826842
/proc/meminfo: memFree=128063584/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=50.98 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9255 0 0 0 3391 1707 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/257 826853
/proc/meminfo: memFree=128062868/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=102.09 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9287 0 0 0 6720 3489 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/256 826863
/proc/meminfo: memFree=128062060/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=161.98 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9319 0 0 0 10629 5569 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 826873
/proc/meminfo: memFree=128061128/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=221.87 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9335 0 0 0 14553 7634 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 826888
/proc/meminfo: memFree=128060208/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=281.76 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9351 0 0 0 18476 9700 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 826899
/proc/meminfo: memFree=128059436/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=341.66 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9367 0 0 0 22389 11777 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 341.66 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 826913
/proc/meminfo: memFree=128058764/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=401.55 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9383 0 0 0 26313 13842 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 401.55 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 826924
/proc/meminfo: memFree=128057960/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=461.44 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 9399 0 0 0 30221 15923 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0

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

/proc/loadavg: 4.09 4.13 4.15 5/257 829082
/proc/meminfo: memFree=128116140/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3156.67 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10119 0 0 0 209613 106054 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3156.67 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/258 829093
/proc/meminfo: memFree=128115544/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3216.57 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10135 0 0 0 213602 108055 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3216.57 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/262 829163
/proc/meminfo: memFree=128114660/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3276.46 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10151 0 0 0 217583 110063 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3276.46 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/261 829175
/proc/meminfo: memFree=128113680/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3336.36 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10167 0 0 0 221586 112050 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3336.36 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/261 829186
/proc/meminfo: memFree=128113180/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3396.25 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10183 0 0 0 225583 114042 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3396.25 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/260 829197
/proc/meminfo: memFree=128112384/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3456.14 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10199 0 0 0 229609 116005 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3456.14 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/259 829208
/proc/meminfo: memFree=128111752/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3516.03 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10215 0 0 0 233615 117988 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3516.03 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.14 4.14 5/255 829218
/proc/meminfo: memFree=128111036/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3575.93 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 237609 119984 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3575.93 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

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

# cumulated CPU time of all completed processes:  user=2392.2 s, system=1207.81 s

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

[startup+3584 s]*
/proc/loadavg: 4.28 4.16 4.14 5/255 829218
/proc/meminfo: memFree=128111044/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3577.63 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 237722 120041 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3577.63 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3596.8 s]
/proc/loadavg: 4.24 4.15 4.14 5/255 829222
/proc/meminfo: memFree=128110948/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3590.4 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 238580 120460 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3590.4 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3603.2 s]
/proc/loadavg: 4.20 4.15 4.14 5/255 829222
/proc/meminfo: memFree=128110720/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3596.79 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 239008 120671 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3596.79 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3604.8 s]
/proc/loadavg: 4.20 4.15 4.14 5/255 829223
/proc/meminfo: memFree=128110828/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3598.39 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 239113 120726 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3598.39 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3605.6 s]
/proc/loadavg: 4.20 4.15 4.14 5/255 829223
/proc/meminfo: memFree=128110684/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3599.19 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 239167 120752 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3599.19 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3606 s]*
/proc/loadavg: 4.20 4.15 4.14 5/255 829224
/proc/meminfo: memFree=128110820/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3599.59 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 239193 120766 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

[startup+3606.4 s]
/proc/loadavg: 4.20 4.15 4.14 5/255 829224
/proc/meminfo: memFree=128110820/131524600 swapFree=131071996/131071996
[pid=826822] ppid=826817 vsize=58400 memory=47136 CPUtime=3599.99 cores=1,3
/proc/826822/stat : 826822 (DLS-PBO) R 826817 826822 826759 0 -1 4194304 10231 0 0 0 239219 120780 0 0 20 0 1 0 160102355 59801600 11784 134679101440 4194304 4311573 140729462198400 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 10825728 140729462207516 140729462207623 140729462207623 140729462214638 0
/proc/826822/statm: 14600 11784 909 29 0 10974 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 47136 KiB

Child status: 0

Real time (s): 3606.42
CPU time (s): 3600.01
CPU user time (s): 2392.2
CPU system time (s): 1207.81
CPU usage (%): 99.8224
Max. virtual memory (cumulated for all children) (KiB): 58400
Max. memory (cumulated for all children) (KiB): 47136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.2
system time used= 1207.81
maximum resident set size= 47136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10234
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= 1062


# summary of solver processes directly reported to runsolver:
#   pid: 826822
#   total CPU time (s): 3600.01
#   total CPU user time (s): 2392.2
#   total CPU system time (s): 1207.81

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7253 second user time and 16.4843 second system time

The end