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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427938-1722809652/watcher-4427938-1722809652 -o /tmp/evaluation-result-4427938-1722809652/solver-4427938-1722809652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722806085-257746 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427938-1722809652.opb -t 3558 -s 712155603 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=260261, runsolver pid=260254

[startup+0.100155 s]*
/proc/loadavg: 4.22 4.19 4.10 5/252 260262
/proc/meminfo: memFree=126792348/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=23040 memory=10432 CPUtime=0.09 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 1637 0 0 0 9 0 0 0 20 0 1 0 47565679 23592960 2608 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 5760 2608 1073 2753 0 2413 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23040 KiB
Current children cumulated memory: 10432 KiB

[startup+0.205398 s]*
/proc/loadavg: 4.22 4.19 4.10 4/252 260262
/proc/meminfo: memFree=126773924/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=39888 memory=26148 CPUtime=0.19 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 6281 0 0 0 19 0 0 0 20 0 1 0 47565679 40845312 6537 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 9972 6537 1105 2753 0 6625 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39888 KiB
Current children cumulated memory: 26148 KiB

[startup+0.305498 s]*
/proc/loadavg: 4.22 4.19 4.10 5/252 260262
/proc/meminfo: memFree=126762908/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=39888 memory=26148 CPUtime=0.29 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 6281 0 0 0 29 0 0 0 20 0 1 0 47565679 40845312 6537 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 9972 6537 1105 2753 0 6625 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39888 KiB
Current children cumulated memory: 26148 KiB

[startup+0.700216 s]
/proc/loadavg: 4.22 4.19 4.10 5/252 260262
/proc/meminfo: memFree=126740016/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=39888 memory=26148 CPUtime=0.68 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 6281 0 0 0 68 0 0 0 20 0 1 0 47565679 40845312 6537 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 9972 6537 1105 2753 0 6625 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39888 KiB
Current children cumulated memory: 26148 KiB

[startup+1.50018 s]
/proc/loadavg: 4.22 4.19 4.10 5/252 260262
/proc/meminfo: memFree=126738864/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=39888 memory=26148 CPUtime=1.48 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 6281 0 0 0 148 0 0 0 20 0 1 0 47565679 40845312 6537 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 9972 6537 1105 2753 0 6625 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39888 KiB
Current children cumulated memory: 26148 KiB

[startup+3.10513 s]
/proc/loadavg: 4.22 4.19 4.10 7/255 260316
/proc/meminfo: memFree=129524076/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=140296 memory=128800 CPUtime=3.08 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 31281 0 0 0 304 4 0 0 20 0 1 0 47565679 143663104 32200 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 35074 32200 2817 2753 0 31727 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 140296 KiB
Current children cumulated memory: 128800 KiB

[startup+6.30016 s]
/proc/loadavg: 4.20 4.18 4.10 6/257 260348
/proc/meminfo: memFree=129262592/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=141668 memory=129844 CPUtime=6.27 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 31551 0 0 0 623 4 0 0 20 0 1 0 47565679 145068032 32461 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 35417 32461 2817 2753 0 32070 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 141668 KiB
Current children cumulated memory: 129844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.18 4.10 7/257 260348
/proc/meminfo: memFree=129253876/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=153632 memory=137612 CPUtime=12.65 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 33434 0 0 0 1261 4 0 0 20 0 1 0 47565679 157319168 34403 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 38408 34403 2849 2753 0 35061 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 153632 KiB
Current children cumulated memory: 137612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.20 4.11 6/257 260352
/proc/meminfo: memFree=129236848/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=175620 memory=152384 CPUtime=25.41 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 37138 0 0 0 2537 4 0 0 20 0 1 0 47565679 179834880 38096 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 43905 38096 2849 2753 0 40558 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 175620 KiB
Current children cumulated memory: 152384 KiB

[startup+51.1053 s]
/proc/loadavg: 4.20 4.19 4.10 7/257 260355
/proc/meminfo: memFree=129180184/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=240536 memory=205492 CPUtime=50.96 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 48892 0 0 0 5089 7 0 0 20 0 1 0 47565679 246308864 51373 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 60134 51373 2849 2753 0 56787 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 240536 KiB
Current children cumulated memory: 205492 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.10 6/255 260363
/proc/meminfo: memFree=129176148/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=260304 memory=207308 CPUtime=102.02 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 49397 0 0 0 10195 7 0 0 20 0 1 0 47565679 266551296 51827 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 65076 51827 2849 2753 0 61729 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 260304 KiB
Current children cumulated memory: 207308 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.10 7/255 260373
/proc/meminfo: memFree=129140912/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=292968 memory=239304 CPUtime=161.87 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 57441 0 0 0 16178 9 0 0 20 0 1 0 47565679 299999232 59826 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 73242 59826 2849 2753 0 69895 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 292968 KiB
Current children cumulated memory: 239304 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.09 6/255 260385
/proc/meminfo: memFree=129108560/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=292968 memory=243272 CPUtime=221.71 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 57644 0 0 0 22162 9 0 0 20 0 1 0 47565679 299999232 60818 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 73242 60818 2849 2753 0 69895 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 292968 KiB
Current children cumulated memory: 243272 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.14 4.09 7/255 260395
/proc/meminfo: memFree=129085888/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=292968 memory=257116 CPUtime=281.55 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 57708 0 0 0 28146 9 0 0 20 0 1 0 47565679 299999232 64279 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 73242 64279 2849 2753 0 69895 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 292968 KiB
Current children cumulated memory: 257116 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.17 4.10 7/254 260405
/proc/meminfo: memFree=129060180/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=292968 memory=281652 CPUtime=341.4 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 57863 0 0 0 34131 9 0 0 20 0 1 0 47565679 299999232 70413 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 73242 70413 2849 2753 0 69895 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 292968 KiB
Current children cumulated memory: 281652 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.10 7/257 260420
/proc/meminfo: memFree=129051224/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=292968 memory=281652 CPUtime=401.24 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 57971 0 0 0 40115 9 0 0 20 0 1 0 47565679 299999232 70413 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 73242 70413 2849 2753 0 69895 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 292968 KiB
Current children cumulated memory: 281652 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.18 4.11 6/257 260431
/proc/meminfo: memFree=129048996/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=305928 memory=283700 CPUtime=461.07 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 58591 0 0 0 46098 9 0 0 20 0 1 0 47565679 313270272 70925 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0

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

/proc/loadavg: 4.10 4.11 4.09 6/254 262096
/proc/meminfo: memFree=128818116/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3155.32 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84219 0 0 0 309143 6389 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3155.32 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/254 262108
/proc/meminfo: memFree=128817776/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3215.22 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84229 0 0 0 314855 6667 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3215.22 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/254 262118
/proc/meminfo: memFree=128817476/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3275.11 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84239 0 0 0 320571 6940 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3275.11 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.15 4.10 6/254 262128
/proc/meminfo: memFree=128817232/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3335 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84249 0 0 0 326299 7201 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3335 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.10 6/257 262143
/proc/meminfo: memFree=128816824/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3394.9 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84259 0 0 0 331992 7498 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3394.9 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.52 4.28 4.15 6/257 262155
/proc/meminfo: memFree=128816488/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3454.79 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84269 0 0 0 337693 7786 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3454.79 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.26 4.15 6/257 262165
/proc/meminfo: memFree=128816136/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3514.69 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 343413 8056 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3514.69 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

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

# cumulated CPU time of all completed processes:  user=3475.61 s, system=82.4111 s

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

[startup+3532.8 s]
/proc/loadavg: 4.25 4.25 4.15 6/257 262166
/proc/meminfo: memFree=128816068/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3525.17 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 344414 8103 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3525.17 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3545.6 s]
/proc/loadavg: 4.19 4.24 4.15 6/257 262169
/proc/meminfo: memFree=128816080/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3537.95 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 345646 8149 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3537.95 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3558.4 s]
/proc/loadavg: 4.24 4.25 4.15 6/257 262172
/proc/meminfo: memFree=128815964/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3550.72 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 346869 8203 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3550.72 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3561.6 s]
/proc/loadavg: 4.22 4.24 4.15 6/257 262172
/proc/meminfo: memFree=128815940/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3553.92 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 347175 8217 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3553.92 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3563.2 s]
/proc/loadavg: 4.22 4.24 4.15 6/257 262173
/proc/meminfo: memFree=128815912/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3555.52 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 347325 8227 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3555.52 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3564.8 s]
/proc/loadavg: 4.22 4.24 4.15 7/257 262173
/proc/meminfo: memFree=128815880/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3557.12 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 347476 8236 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3557.12 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3565.2 s]
/proc/loadavg: 4.20 4.24 4.15 6/257 262173
/proc/meminfo: memFree=128815940/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3557.51 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 347513 8238 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3557.51 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

[startup+3565.6 s]
/proc/loadavg: 4.20 4.24 4.15 6/257 262173
/proc/meminfo: memFree=128815940/131524600 swapFree=131071996/131071996
[pid=260261] ppid=260254 vsize=429588 memory=412964 CPUtime=3557.91 cores=1,3
/proc/260261/stat : 260261 (LS-MabSP) R 260254 260261 257734 0 -1 4194304 84279 0 0 0 347551 8240 0 0 20 0 1 0 47565679 439898112 103241 134679101440 4194304 15467897 140720541312224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23949312 140720541316127 140720541316229 140720541316229 140720541323245 0
/proc/260261/statm: 107397 103241 2849 2753 0 104050 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 429588 KiB
Current children cumulated memory: 412964 KiB

Child status: 0

Real time (s): 3565.7
CPU time (s): 3558.02
CPU user time (s): 3475.61
CPU system time (s): 82.4111
CPU usage (%): 99.7847
Max. virtual memory (cumulated for all children) (KiB): 464564
Max. memory (cumulated for all children) (KiB): 430624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3475.61
system time used= 82.4111
maximum resident set size= 430804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84334
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= 27
involuntary context switches= 1492


# summary of solver processes directly reported to runsolver:
#   pid: 260261
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3475.61
#   total CPU system time (s): 82.4111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00582 second user time and 12.2069 second system time

The end