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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427926-1722809650/watcher-4427926-1722809650 -o /tmp/evaluation-result-4427926-1722809650/solver-4427926-1722809650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722806084-262607 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427926-1722809650.opb -t 3558 -s 893628007 

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=265231, runsolver pid=265228

[startup+0.100539 s]*
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127803232/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=24984 memory=11120 CPUtime=0.09 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 1826 0 0 0 9 0 0 0 20 0 1 0 47560572 25583616 2780 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 6246 2780 1153 2753 0 2899 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24984 KiB
Current children cumulated memory: 11120 KiB

[startup+0.205401 s]*
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127788916/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=37020 memory=22112 CPUtime=0.2 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 3539 0 0 0 20 0 0 0 20 0 1 0 47560572 37908480 5528 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 9255 5528 1153 2753 0 5908 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37020 KiB
Current children cumulated memory: 22112 KiB

[startup+0.305435 s]*
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127785344/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=0.29 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 28 1 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+0.700224 s]
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127763208/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=0.69 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 58 11 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+1.50018 s]
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127733116/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=1.48 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 120 28 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3.10533 s]
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127642344/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3.09 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 244 65 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+6.30015 s]
/proc/loadavg: 4.18 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127634556/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=6.27 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 489 138 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.15 4.06 5/258 265233
/proc/meminfo: memFree=127630644/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=12.67 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 981 286 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.06 5/258 265236
/proc/meminfo: memFree=127586888/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=25.45 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 1954 591 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+51.105 s]
/proc/loadavg: 4.16 4.15 4.06 5/258 265240
/proc/meminfo: memFree=127586148/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=51.01 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 3902 1199 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.07 5/255 265250
/proc/meminfo: memFree=127584836/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=102.13 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 7779 2434 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/255 265261
/proc/meminfo: memFree=127583712/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=162.04 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 12335 3869 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/255 265272
/proc/meminfo: memFree=127581392/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=221.95 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 16909 5286 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 221.95 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/255 265283
/proc/meminfo: memFree=127575752/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=281.86 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 21474 6712 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 281.86 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/255 265293
/proc/meminfo: memFree=127563924/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=341.78 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 26033 8145 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 341.78 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/259 265310
/proc/meminfo: memFree=127558168/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=401.69 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 30600 9569 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 401.69 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/259 265321
/proc/meminfo: memFree=127554776/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=461.6 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 35181 10979 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0

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

/proc/loadavg: 4.22 4.22 4.14 5/258 267022
/proc/meminfo: memFree=127361584/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3217.81 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 245713 76068 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3217.81 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/258 267033
/proc/meminfo: memFree=127360564/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3277.73 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 250273 77500 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3277.73 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.20 4.14 5/256 267044
/proc/meminfo: memFree=127359748/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3337.66 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 254851 78915 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3337.66 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/258 267058
/proc/meminfo: memFree=127358956/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3397.59 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 259447 80312 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3397.59 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/258 267069
/proc/meminfo: memFree=127358296/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3457.51 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 264038 81713 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3457.51 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/257 267080
/proc/meminfo: memFree=127357620/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3517.44 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 268624 83120 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3517.44 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

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

# cumulated CPU time of all completed processes:  user=2717.32 s, system=840.685 s

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

[startup+3532.8 s]
/proc/loadavg: 4.16 4.17 4.13 5/257 267082
/proc/meminfo: memFree=127357468/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3527.92 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 269424 83368 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3527.92 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3545.6 s]
/proc/loadavg: 4.13 4.16 4.13 5/257 267084
/proc/meminfo: memFree=127357280/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3540.71 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 270413 83658 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3540.71 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3552 s]*
/proc/loadavg: 4.11 4.15 4.13 5/257 267086
/proc/meminfo: memFree=127356992/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3547.1 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 270895 83815 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3547.1 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3558.4 s]
/proc/loadavg: 4.10 4.15 4.13 5/257 267086
/proc/meminfo: memFree=127357032/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3553.49 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 271382 83967 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3553.49 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3560 s]*
/proc/loadavg: 4.10 4.15 4.13 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3555.09 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 271507 84002 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3555.09 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3561.6 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127356992/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3556.69 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 271630 84039 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3556.69 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3562.4 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3557.48 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 271691 84057 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3557.48 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3562.8 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3557.88 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 271722 84066 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3557.88 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

[startup+3562.9 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265231] ppid=265228 vsize=41040 memory=29488 CPUtime=3557.98 cores=1,3
/proc/265231/stat : 265231 (LS-MabSP) R 265228 265231 262595 0 -1 4194304 4056 0 0 0 271730 84068 0 0 20 0 1 0 47560572 42024960 7372 134679101440 4194304 15467897 140728290962288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46383104 140728290968607 140728290968709 140728290968709 140728290975725 0
/proc/265231/statm: 10260 7372 2753 2753 0 6913 0
Current children cumulated CPU time: 3557.98 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 29488 KiB

Child status: 0

Real time (s): 3562.92
CPU time (s): 3558.01
CPU user time (s): 2717.32
CPU system time (s): 840.685
CPU usage (%): 99.8622
Max. virtual memory (cumulated for all children) (KiB): 41040
Max. memory (cumulated for all children) (KiB): 29488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2717.32
system time used= 840.685
maximum resident set size= 31620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4060
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= 1149


# summary of solver processes directly reported to runsolver:
#   pid: 265231
#   total CPU time (s): 3558.01
#   total CPU user time (s): 2717.32
#   total CPU system time (s): 840.685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06985 second user time and 12.033 second system time

The end