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

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

solver pid=226191, runsolver pid=226178

[startup+0.100556 s]*
/proc/loadavg: 1.07 1.08 1.28 9/259 226197
/proc/meminfo: memFree=126605116/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=0.09 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 4 5 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+0.205874 s]*
/proc/loadavg: 1.07 1.08 1.28 5/259 226197
/proc/meminfo: memFree=126603936/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=0.2 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 9 11 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+0.305215 s]*
/proc/loadavg: 1.07 1.08 1.28 6/259 226197
/proc/meminfo: memFree=126602808/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=0.29 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 12 17 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+0.700139 s]
/proc/loadavg: 1.07 1.08 1.28 8/259 226197
/proc/meminfo: memFree=126602192/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=0.69 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 28 41 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+1.50014 s]
/proc/loadavg: 1.07 1.08 1.28 8/259 226197
/proc/meminfo: memFree=126602064/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=1.49 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 63 86 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3.10558 s]
/proc/loadavg: 1.39 1.15 1.30 8/259 226197
/proc/meminfo: memFree=126602096/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3.09 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 138 171 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+6.30013 s]
/proc/loadavg: 1.39 1.15 1.30 8/259 226197
/proc/meminfo: memFree=126602204/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=6.28 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 285 343 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+12.7001 s]
/proc/loadavg: 1.79 1.24 1.33 8/259 226199
/proc/meminfo: memFree=126601424/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=12.66 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 559 707 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+25.5001 s]
/proc/loadavg: 2.13 1.33 1.36 8/259 226200
/proc/meminfo: memFree=126600468/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=25.45 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 1063 1482 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+51.1054 s]
/proc/loadavg: 2.85 1.56 1.44 8/259 226205
/proc/meminfo: memFree=126599808/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=51.01 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 1993 3108 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 1.99 1.59 8/259 226213
/proc/meminfo: memFree=126598732/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=102.13 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 3822 6391 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.38 1.75 8/256 226223
/proc/meminfo: memFree=126598160/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=162.04 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 5935 10269 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.70 1.91 8/256 226234
/proc/meminfo: memFree=126596848/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=221.94 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 8055 14139 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 221.94 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.97 2.05 8/255 226244
/proc/meminfo: memFree=126596256/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=281.85 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 10190 17995 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 281.85 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.19 2.18 8/254 226255
/proc/meminfo: memFree=126595624/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=341.76 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 12325 21851 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 341.76 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.36 2.31 8/256 226269
/proc/meminfo: memFree=126594564/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=401.66 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 14449 25717 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 401.66 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.51 2.43 8/256 226280
/proc/meminfo: memFree=126593700/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=461.56 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 16569 29587 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 461.56 s

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

/proc/loadavg: 4.09 4.22 4.11 8/256 227730
/proc/meminfo: memFree=126558864/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3217.35 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 115365 206370 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3217.35 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.23 4.11 8/256 227909
/proc/meminfo: memFree=126557452/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3277.25 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 117537 210188 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3277.25 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.20 4.11 8/256 227920
/proc/meminfo: memFree=126557220/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3337.16 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 119720 213996 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3337.16 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.19 4.11 8/256 227930
/proc/meminfo: memFree=126556440/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3397.07 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 121892 217815 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3397.07 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.10 8/259 228001
/proc/meminfo: memFree=126555724/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3456.98 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 124066 221632 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3456.98 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.10 8/259 228012
/proc/meminfo: memFree=126554636/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3516.89 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 126259 225430 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3516.89 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.11 8/258 228022
/proc/meminfo: memFree=126554152/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3576.79 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 128412 229267 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3576.79 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

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

# cumulated CPU time of all completed processes:  user=1292.56 s, system=2307.45 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.18 4.10 8/258 228022
/proc/meminfo: memFree=126554168/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3578.5 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 128475 229375 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3578.5 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.17 4.10 8/258 228024
/proc/meminfo: memFree=126554316/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3591.27 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 128940 230187 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3591.27 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3600 s]*
/proc/loadavg: 4.13 4.17 4.10 8/258 228025
/proc/meminfo: memFree=126554204/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3594.47 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 129054 230393 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3594.47 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3603.2 s]
/proc/loadavg: 4.12 4.16 4.10 8/258 228026
/proc/meminfo: memFree=126553956/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3597.67 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 129172 230595 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3597.67 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3604.8 s]
/proc/loadavg: 4.12 4.16 4.10 8/258 228026
/proc/meminfo: memFree=126554152/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3599.27 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 129232 230695 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3599.27 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3605.2 s]
/proc/loadavg: 4.12 4.16 4.10 8/258 228026
/proc/meminfo: memFree=126554040/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3599.66 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 129245 230721 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3599.66 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3605.4 s]
/proc/loadavg: 4.12 4.16 4.10 8/258 228026
/proc/meminfo: memFree=126554040/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3599.86 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 129251 230735 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3599.86 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

[startup+3605.5 s]
/proc/loadavg: 4.12 4.16 4.10 8/258 228026
/proc/meminfo: memFree=126554040/131524600 swapFree=131056028/131071996
[pid=226191] ppid=226178 vsize=16308 memory=4896 CPUtime=3599.96 cores=5,7
/proc/226191/stat : 226191 (DLS-PBO) R 226178 226191 226123 0 -1 4194304 514 0 0 0 129254 230742 0 0 20 0 1 0 25452947 16699392 1224 134679101440 4194304 4311573 140736980206048 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14352384 140736980210716 140736980210823 140736980210823 140736980217838 0
/proc/226191/statm: 4077 1224 882 29 0 451 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 16308 KiB
Current children cumulated memory: 4896 KiB

Child status: 0

Real time (s): 3605.54
CPU time (s): 3600.01
CPU user time (s): 1292.56
CPU system time (s): 2307.45
CPU usage (%): 99.8466
Max. virtual memory (cumulated for all children) (KiB): 16308
Max. memory (cumulated for all children) (KiB): 4896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1292.56
system time used= 2307.45
maximum resident set size= 5396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 908


# summary of solver processes directly reported to runsolver:
#   pid: 226191
#   total CPU time (s): 3600.01
#   total CPU user time (s): 1292.56
#   total CPU system time (s): 2307.45

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74053 second user time and 15.0848 second system time

The end