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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430226-1721086555/watcher-4430226-1721086555 -o /tmp/evaluation-result-4430226-1721086555/solver-4430226-1721086555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721079353-826770 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430226-1721086555.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=831496, runsolver pid=831493

[startup+0.100539 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128126624/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=0.09 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 4 5 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+0.205333 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128126332/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=0.19 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 7 12 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+0.304262 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128126212/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=0.29 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 11 18 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+0.700144 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128125932/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=0.68 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 27 41 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+1.50014 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128125904/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=1.49 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 60 89 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3.10467 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831545
/proc/meminfo: memFree=128132332/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3.08 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 124 184 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+6.30013 s]
/proc/loadavg: 4.22 4.16 4.10 5/256 831545
/proc/meminfo: memFree=128132340/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=6.28 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 249 379 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+12.7001 s]
/proc/loadavg: 4.29 4.17 4.11 5/256 831546
/proc/meminfo: memFree=128132296/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=12.67 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 492 775 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+25.5001 s]
/proc/loadavg: 4.37 4.20 4.12 5/256 831549
/proc/meminfo: memFree=128132000/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=25.44 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 991 1553 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+51.1045 s]
/proc/loadavg: 4.31 4.20 4.12 5/256 831552
/proc/meminfo: memFree=128131420/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=51.01 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 1968 3133 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/256 831563
/proc/meminfo: memFree=128130612/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=102.11 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 3901 6310 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.15 4.10 5/255 831573
/proc/meminfo: memFree=128129844/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=162.01 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 6193 10008 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/255 831583
/proc/meminfo: memFree=128128768/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=221.9 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 8454 13736 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 221.9 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 831599
/proc/meminfo: memFree=128127956/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=281.79 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 10745 17434 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 281.79 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 831611
/proc/meminfo: memFree=128127132/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=341.69 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 13031 21138 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 341.69 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+402.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/258 831623
/proc/meminfo: memFree=128126084/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=401.58 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 15321 24837 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 401.58 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/258 831633
/proc/meminfo: memFree=128125684/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=461.49 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 782 0 0 0 17563 28586 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0

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

/proc/loadavg: 4.10 4.13 4.09 5/259 833272
/proc/meminfo: memFree=128092572/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3156.8 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 129799 185881 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3156.8 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/260 833283
/proc/meminfo: memFree=128091928/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3216.7 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 132091 189579 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3216.7 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/262 833353
/proc/meminfo: memFree=128090732/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3276.59 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 134475 193184 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3276.59 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/261 833364
/proc/meminfo: memFree=128090376/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3336.49 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 136778 196871 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3336.49 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 833376
/proc/meminfo: memFree=128089484/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3396.39 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 139106 200533 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3396.39 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 833387
/proc/meminfo: memFree=128089000/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3456.28 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 141515 204113 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3456.28 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 833398
/proc/meminfo: memFree=128088040/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3516.18 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 143933 207685 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3516.18 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 833409
/proc/meminfo: memFree=128087484/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3576.07 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 146235 211372 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3576.07 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

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

# cumulated CPU time of all completed processes:  user=1471.36 s, system=2128.64 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.10 4.09 5/255 833409
/proc/meminfo: memFree=128087444/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3577.78 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 146302 211476 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3577.78 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 833410
/proc/meminfo: memFree=128087304/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3590.55 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 146783 212272 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3590.55 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3603.2 s]
/proc/loadavg: 4.04 4.09 4.08 5/255 833412
/proc/meminfo: memFree=128086912/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3596.94 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 147024 212670 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3596.94 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3604.8 s]
/proc/loadavg: 4.04 4.09 4.08 5/255 833412
/proc/meminfo: memFree=128086912/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3598.53 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 147081 212772 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3598.53 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3605.6 s]
/proc/loadavg: 4.04 4.09 4.08 5/255 833412
/proc/meminfo: memFree=128086912/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3599.33 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 147108 212825 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3599.33 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3606 s]*
/proc/loadavg: 4.04 4.09 4.08 3/241 833475
/proc/meminfo: memFree=128097364/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3599.74 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 147124 212850 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3599.74 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

[startup+3606.2 s]
/proc/loadavg: 4.04 4.09 4.08 3/241 833475
/proc/meminfo: memFree=128097364/131524600 swapFree=131071996/131071996
[pid=831496] ppid=831493 vsize=17508 memory=6300 CPUtime=3599.94 cores=4,6
/proc/831496/stat : 831496 (DLS-PBO) R 831493 831496 826759 0 -1 4194304 784 0 0 0 147133 212861 0 0 20 0 1 0 160823765 17928192 1575 134679101440 4194304 4311573 140736440240848 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4331680 4334284 13451264 140736440243228 140736440243335 140736440243335 140736440250350 0
/proc/831496/statm: 4377 1575 909 29 0 751 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 6300 KiB

Child status: 0

Real time (s): 3606.26
CPU time (s): 3600
CPU user time (s): 1471.36
CPU system time (s): 2128.64
CPU usage (%): 99.8265
Max. virtual memory (cumulated for all children) (KiB): 17508
Max. memory (cumulated for all children) (KiB): 6300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1471.36
system time used= 2128.64
maximum resident set size= 6448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 787
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= 3
involuntary context switches= 2712


# summary of solver processes directly reported to runsolver:
#   pid: 831496
#   total CPU time (s): 3600
#   total CPU user time (s): 1471.36
#   total CPU system time (s): 2128.64

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52071 second user time and 11.0147 second system time

The end