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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=831481, runsolver pid=831478

[startup+0.100665 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128127188/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=0.1 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 4 6 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+0.205145 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128126472/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=0.2 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 8 12 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+0.30445 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128126212/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=0.3 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 12 18 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+0.700141 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128125932/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=0.69 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 28 41 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+1.50015 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128125904/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=1.48 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 58 90 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+3.10407 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831545
/proc/meminfo: memFree=128132316/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3.08 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 122 186 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+6.30014 s]
/proc/loadavg: 4.22 4.16 4.10 5/256 831545
/proc/meminfo: memFree=128132340/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=6.28 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 252 376 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=12.66 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 492 774 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=25.45 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 964 1581 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+51.1044 s]
/proc/loadavg: 4.31 4.20 4.12 5/256 831552
/proc/meminfo: memFree=128131420/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=51.01 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 1952 3149 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=102.13 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 3852 6361 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=162.04 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 6120 10084 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=221.93 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 8344 13849 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 221.93 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=281.83 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 10714 17469 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 281.83 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=341.75 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 12962 21213 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 341.75 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=401.65 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 15401 24764 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 401.65 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=461.55 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 17989 28166 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0

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

/proc/loadavg: 4.18 4.15 4.10 5/260 833283
/proc/meminfo: memFree=128091928/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3217.13 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 138282 183431 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3217.13 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3277.03 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 140904 186799 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3277.03 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3336.93 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 143235 190458 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3336.93 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3396.84 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 145576 194108 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3396.84 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3456.75 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 148570 197105 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3456.75 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3516.65 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 151144 200521 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3516.65 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3576.55 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 153757 203898 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3576.55 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

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

# cumulated CPU time of all completed processes:  user=1549.52 s, system=2050.49 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3578.26 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 153823 204003 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3578.26 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3591.03 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 154564 204539 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3591.03 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+3600 s]*
/proc/loadavg: 4.04 4.09 4.08 5/255 833410
/proc/meminfo: memFree=128087304/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3594.23 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 154720 204703 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3594.23 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3597.42 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 154850 204892 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3597.42 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3599.01 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 154912 204989 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3599.01 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+3605.2 s]
/proc/loadavg: 4.04 4.09 4.08 5/255 833412
/proc/meminfo: memFree=128086912/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3599.42 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 154928 205014 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3599.42 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 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=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3599.81 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 154943 205038 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3599.81 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

[startup+3605.7 s]
/proc/loadavg: 4.04 4.09 4.08 5/255 833412
/proc/meminfo: memFree=128086912/131524600 swapFree=131071996/131071996
[pid=831481] ppid=831478 vsize=17504 memory=5884 CPUtime=3599.92 cores=5,7
/proc/831481/stat : 831481 (DLS-PBO) R 831478 831481 826759 0 -1 4194304 779 0 0 0 154948 205044 0 0 20 0 1 0 160823758 17924096 1471 134679101440 4194304 4311573 140736141563040 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 16519168 140736141571100 140736141571207 140736141571207 140736141578222 0
/proc/831481/statm: 4376 1471 867 29 0 750 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 5884 KiB

Child status: 0

Real time (s): 3605.78
CPU time (s): 3600.01
CPU user time (s): 1549.52
CPU system time (s): 2050.49
CPU usage (%): 99.8399
Max. virtual memory (cumulated for all children) (KiB): 17504
Max. memory (cumulated for all children) (KiB): 5884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1549.52
system time used= 2050.49
maximum resident set size= 6340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782
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= 4
involuntary context switches= 906


# summary of solver processes directly reported to runsolver:
#   pid: 831481
#   total CPU time (s): 3600.01
#   total CPU user time (s): 1549.52
#   total CPU system time (s): 2050.49

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83181 second user time and 10.2507 second system time

The end