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: 63968 MiB (62607 MiB free)
  memory of node 1: 64473 MiB (63755 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428712-1722788590/watcher-4428712-1722788590 -o /tmp/evaluation-result-4428712-1722788590/solver-4428712-1722788590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722781456-242609 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428712-1722788590.opb -t 3558 -s 2122877086 --no-s 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=246707, runsolver pid=246704
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389856/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21792 memory=9764 CPUtime=0.1 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1176 0 0 0 10 0 0 0 20 0 1 0 45460096 22315008 2441 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5448 2441 1169 2753 0 2101 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21792 KiB
Current children cumulated memory: 9764 KiB

[startup+0.205271 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389776/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=0.2 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 20 0 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+0.304639 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389636/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=0.3 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 29 1 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+0.70014 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389496/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=0.69 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 67 2 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+1.50014 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389440/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=1.49 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 142 7 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3.10413 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389484/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3.08 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 294 14 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+6.30011 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389456/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=6.28 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 595 33 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 246709
/proc/meminfo: memFree=129373984/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=12.66 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 1196 70 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 246711
/proc/meminfo: memFree=129373888/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=25.43 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 2396 147 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+51.1042 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246716
/proc/meminfo: memFree=129372968/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=50.98 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 4795 303 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 246727
/proc/meminfo: memFree=129369172/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=102.06 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 9598 608 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 247122
/proc/meminfo: memFree=129468036/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=161.93 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 15241 952 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/255 247132
/proc/meminfo: memFree=129467308/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=221.8 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 20886 1294 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 247144
/proc/meminfo: memFree=129466548/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=281.66 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 26526 1640 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+342.3 s]
/proc/loadavg: 4.32 4.14 4.11 5/257 247325
/proc/meminfo: memFree=129465504/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=341.53 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 32156 1997 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/257 247335
/proc/meminfo: memFree=129465168/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=401.4 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 37801 2339 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/258 247404
/proc/meminfo: memFree=129463840/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=461.26 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 43429 2697 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0

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

/proc/loadavg: 4.06 4.14 4.11 5/254 248484
/proc/meminfo: memFree=129429616/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3215.12 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 302568 18944 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3215.12 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/254 248497
/proc/meminfo: memFree=129428708/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3274.99 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 308205 19294 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3274.99 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/254 248507
/proc/meminfo: memFree=129428120/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3334.86 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 313837 19649 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3334.86 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/254 248517
/proc/meminfo: memFree=129427256/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3394.73 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 319482 19991 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3394.73 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/257 248533
/proc/meminfo: memFree=129426264/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3454.6 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 325115 20345 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3454.6 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 248544
/proc/meminfo: memFree=129425576/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3514.46 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 330743 20703 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3514.46 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

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

# cumulated CPU time of all completed processes:  user=3348.4 s, system=209.607 s

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

[startup+3532.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 248546
/proc/meminfo: memFree=129425408/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3524.93 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 331732 20761 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3524.93 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3545.6 s]
/proc/loadavg: 4.22 4.13 4.10 5/257 248548
/proc/meminfo: memFree=129425324/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3537.7 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 332931 20839 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3537.7 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3558.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 248551
/proc/meminfo: memFree=129424860/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3550.48 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 334133 20915 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3550.48 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3561.6 s]
/proc/loadavg: 3.99 4.09 4.09 3/243 248613
/proc/meminfo: memFree=129472360/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3553.67 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 334433 20934 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3553.67 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3563.2 s]
/proc/loadavg: 3.99 4.09 4.09 3/243 248613
/proc/meminfo: memFree=129472360/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3555.26 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 334582 20944 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3555.26 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3564.8 s]
/proc/loadavg: 3.99 4.09 4.09 3/243 248613
/proc/meminfo: memFree=129472360/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3556.86 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 334733 20953 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3556.86 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3565.6 s]
/proc/loadavg: 3.99 4.09 4.09 2/236 248644
/proc/meminfo: memFree=129547660/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3557.66 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 334807 20959 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3557.66 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3565.8 s]
/proc/loadavg: 3.99 4.09 4.09 2/236 248644
/proc/meminfo: memFree=129547660/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3557.87 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 334827 20960 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3557.87 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

[startup+3565.9 s]
/proc/loadavg: 3.99 4.09 4.09 2/236 248644
/proc/meminfo: memFree=129547660/131524600 swapFree=131063756/131071996
[pid=246707] ppid=246704 vsize=21712 memory=9684 CPUtime=3557.96 cores=0,2
/proc/246707/stat : 246707 (LS-MabP) R 246704 246707 242599 0 -1 4194304 1371 0 0 0 334836 20960 0 0 20 0 1 0 45460096 22233088 2421 134679101440 4194304 15467897 140733776299840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53395456 140733776303129 140733776303238 140733776303238 140733776310254 0
/proc/246707/statm: 5428 2421 1169 2753 0 2081 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 21712 KiB
Current children cumulated memory: 9684 KiB

Child status: 0

Real time (s): 3565.94
CPU time (s): 3558.01
CPU user time (s): 3348.4
CPU system time (s): 209.607
CPU usage (%): 99.7776
Max. virtual memory (cumulated for all children) (KiB): 21792
Max. memory (cumulated for all children) (KiB): 9764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3348.4
system time used= 209.607
maximum resident set size= 9764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1425
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= 2
involuntary context switches= 24354


# summary of solver processes directly reported to runsolver:
#   pid: 246707
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3348.4
#   total CPU system time (s): 209.607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87243 second user time and 10.2054 second system time

The end