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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430354-1721127183/watcher-4430354-1721127183 -o /tmp/evaluation-result-4430354-1721127183/solver-4430354-1721127183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721127195-843254 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430354-1721127183.opb --time_limit=3600 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=843316, runsolver pid=843313
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128281904/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=20092 memory=7784 CPUtime=0.1 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 1220 0 0 0 10 0 0 0 20 0 1 0 164874971 20574208 1946 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 5023 1946 880 29 0 1397 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20092 KiB
Current children cumulated memory: 7784 KiB

[startup+0.212515 s]*
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128248212/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=23656 memory=12272 CPUtime=0.21 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 2318 0 0 0 21 0 0 0 20 0 1 0 164874971 24223744 3068 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 5914 3068 880 29 0 2288 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23656 KiB
Current children cumulated memory: 12272 KiB

[startup+0.31238 s]*
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128220400/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34452 CPUtime=0.31 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7043 0 0 0 28 3 0 0 20 0 1 0 164874971 49147904 8613 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8613 895 29 0 8373 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34452 KiB

[startup+0.700306 s]
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128211560/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34452 CPUtime=0.69 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7045 0 0 0 51 18 0 0 20 0 1 0 164874971 49147904 8613 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8613 895 29 0 8373 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34452 KiB

[startup+1.50033 s]
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128135684/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34452 CPUtime=1.48 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7045 0 0 0 100 48 0 0 20 0 1 0 164874971 49147904 8613 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8613 895 29 0 8373 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34452 KiB

[startup+3.11201 s]
/proc/loadavg: 1.32 1.14 1.33 6/246 843317
/proc/meminfo: memFree=128135156/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34452 CPUtime=3.09 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7047 0 0 0 201 108 0 0 20 0 1 0 164874971 49147904 8613 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8613 895 29 0 8373 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34452 KiB

[startup+6.30023 s]
/proc/loadavg: 1.54 1.19 1.35 6/246 843317
/proc/meminfo: memFree=128135124/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34452 CPUtime=6.27 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7049 0 0 0 387 240 0 0 20 0 1 0 164874971 49147904 8613 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8613 895 29 0 8373 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34452 KiB

[startup+12.7002 s]
/proc/loadavg: 1.73 1.24 1.36 6/246 843319
/proc/meminfo: memFree=128135128/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34452 CPUtime=12.65 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7053 0 0 0 751 514 0 0 20 0 1 0 164874971 49147904 8613 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8613 895 29 0 8373 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34452 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 1.37 1.40 6/246 843320
/proc/meminfo: memFree=128134756/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34452 CPUtime=25.42 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7057 0 0 0 1481 1061 0 0 20 0 1 0 164874971 49147904 8613 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8613 895 29 0 8373 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34452 KiB

[startup+51.1119 s]
/proc/loadavg: 2.91 1.60 1.48 6/246 843325
/proc/meminfo: memFree=128130972/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=34656 CPUtime=50.96 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7063 0 0 0 2949 2147 0 0 20 0 1 0 164874971 49147904 8664 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8664 895 29 0 8373 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 34656 KiB

[startup+102.3 s]
/proc/loadavg: 4.39 2.18 1.68 6/246 843334
/proc/meminfo: memFree=128125188/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35396 CPUtime=102.01 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7073 0 0 0 6006 4195 0 0 20 0 1 0 164874971 49147904 8849 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8849 895 29 0 8373 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35396 KiB

[startup+162.3 s]
/proc/loadavg: 5.43 2.92 1.97 6/243 843728
/proc/meminfo: memFree=128124316/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=161.87 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7097 0 0 0 9981 6206 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+222.3 s]
/proc/loadavg: 5.36 3.38 2.19 6/243 843738
/proc/meminfo: memFree=128123764/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=221.74 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7107 0 0 0 13954 8220 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+282.3 s]
/proc/loadavg: 4.56 3.51 2.31 6/243 843748
/proc/meminfo: memFree=128123412/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=281.61 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7119 0 0 0 17949 10212 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 3.66 2.44 6/244 843928
/proc/meminfo: memFree=128122940/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=341.48 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7130 0 0 0 21556 12592 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+402.3 s]
/proc/loadavg: 4.25 3.76 2.56 6/244 843939
/proc/meminfo: memFree=128122688/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=401.36 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7141 0 0 0 25218 14918 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.80 2.65 6/246 843953
/proc/meminfo: memFree=128122180/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=461.22 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7152 0 0 0 28816 17306 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0

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

/proc/loadavg: 4.12 4.12 4.04 6/242 845068
/proc/meminfo: memFree=128108632/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3155.37 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7646 0 0 0 198134 117403 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3155.37 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/242 845078
/proc/meminfo: memFree=128108332/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3215.25 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7658 0 0 0 201897 119628 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3215.25 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.04 6/242 845088
/proc/meminfo: memFree=128108004/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3275.12 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7668 0 0 0 206091 121421 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3275.12 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.04 6/242 845098
/proc/meminfo: memFree=128107792/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3334.99 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7679 0 0 0 209904 123595 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3334.99 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.04 6/242 845109
/proc/meminfo: memFree=128107480/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3394.86 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7691 0 0 0 213518 125968 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3394.86 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.05 6/245 845124
/proc/meminfo: memFree=128107136/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3454.72 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7702 0 0 0 217157 128315 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3454.72 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.04 6/245 845134
/proc/meminfo: memFree=128106940/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3514.59 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7713 0 0 0 220984 130475 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3514.59 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.05 6/245 845145
/proc/meminfo: memFree=128106632/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3574.46 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 225039 132407 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3574.46 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

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

# cumulated CPU time of all completed processes:  user=2265.72 s, system=1334.28 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.09 4.05 6/245 845145
/proc/meminfo: memFree=128106528/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3576.17 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 225139 132478 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3576.17 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.05 6/245 845146
/proc/meminfo: memFree=128106608/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3588.93 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 225858 133035 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3588.93 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3603.2 s]
/proc/loadavg: 4.09 4.09 4.05 6/245 845148
/proc/meminfo: memFree=128106588/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3595.31 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 226247 133284 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3595.31 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3606.4 s]
/proc/loadavg: 4.08 4.08 4.05 4/240 845177
/proc/meminfo: memFree=128227924/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3598.5 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 226460 133390 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3598.5 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3607.2 s]
/proc/loadavg: 4.08 4.08 4.05 4/239 845226
/proc/meminfo: memFree=128142916/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3599.3 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 226520 133410 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3607.6 s]
/proc/loadavg: 4.08 4.08 4.05 4/239 845226
/proc/meminfo: memFree=128142916/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3599.7 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 226550 133420 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

[startup+3607.8 s]
/proc/loadavg: 4.08 4.08 4.05 4/239 845226
/proc/meminfo: memFree=128142916/131655788 swapFree=131071996/131071996
[pid=843316] ppid=843313 vsize=47996 memory=35980 CPUtime=3599.9 cores=0,2
/proc/843316/stat : 843316 (DLS-PBO) R 843313 843316 843244 0 -1 4194304 7724 0 0 0 226564 133426 0 0 20 0 1 0 164874971 49147904 8995 134679101440 4194304 4311573 140736020227888 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 18587648 140736020235292 140736020235399 140736020235399 140736020242414 0
/proc/843316/statm: 11999 8995 895 29 0 8373 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 35980 KiB

Child status: 0

Real time (s): 3607.89
CPU time (s): 3600
CPU user time (s): 2265.72
CPU system time (s): 1334.28
CPU usage (%): 99.7814
Max. virtual memory (cumulated for all children) (KiB): 47996
Max. memory (cumulated for all children) (KiB): 35980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2265.72
system time used= 1334.28
maximum resident set size= 35980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7727
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= 11
involuntary context switches= 25154


# summary of solver processes directly reported to runsolver:
#   pid: 843316
#   total CPU time (s): 3600
#   total CPU user time (s): 2265.72
#   total CPU system time (s): 1334.28

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1532 second user time and 29.7912 second system time

The end