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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447328-1721354465/watcher-4447328-1721354465 -o /tmp/evaluation-result-4447328-1721354465/solver-4447328-1721354465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721353264-1006955 --watchdog 3760 ./LS-MabP -f HOME/instance-4447328-1721354465.opb -t 3600 -s 1339552258 --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
Linux 4.18.0-301.1.el8.x86_64
solver pid=
1008220solver pid=
1008220, runsolver pid=1008217
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 4.10 4.12 4.00 5/258 1008221
/proc/meminfo: memFree=125627644/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=24360 memory=11748 CPUtime=0.1 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 1683 0 0 0 10 0 0 0 20 0 1 0 187613896 24944640 2937 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6090 2937 1105 2753 0 2743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24360 KiB
Current children cumulated memory: 11748 KiB

[startup+0.204791 s]*
/proc/loadavg: 4.10 4.12 4.00 5/258 1008221
/proc/meminfo: memFree=125627476/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=24360 memory=11748 CPUtime=0.2 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 1683 0 0 0 20 0 0 0 20 0 1 0 187613896 24944640 2937 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6090 2937 1105 2753 0 2743 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24360 KiB
Current children cumulated memory: 11748 KiB

[startup+0.3044 s]*
/proc/loadavg: 4.10 4.12 4.00 5/258 1008221
/proc/meminfo: memFree=125627336/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=24360 memory=11748 CPUtime=0.3 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 1683 0 0 0 30 0 0 0 20 0 1 0 187613896 24944640 2937 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6090 2937 1105 2753 0 2743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24360 KiB
Current children cumulated memory: 11748 KiB

[startup+0.700116 s]
/proc/loadavg: 4.10 4.12 4.00 5/258 1008221
/proc/meminfo: memFree=125625516/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13512 CPUtime=0.68 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2129 0 0 0 66 2 0 0 20 0 1 0 187613896 26701824 3378 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3378 1153 2753 0 3172 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13512 KiB

[startup+1.50012 s]
/proc/loadavg: 4.10 4.12 4.00 5/258 1008221
/proc/meminfo: memFree=125625300/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13512 CPUtime=1.48 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2129 0 0 0 141 7 0 0 20 0 1 0 187613896 26701824 3378 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3378 1153 2753 0 3172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13512 KiB

[startup+3.10479 s]
/proc/loadavg: 4.10 4.12 4.00 5/258 1008221
/proc/meminfo: memFree=125625300/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13512 CPUtime=3.09 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2129 0 0 0 292 17 0 0 20 0 1 0 187613896 26701824 3378 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3378 1153 2753 0 3172 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13512 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.12 4.00 7/258 1008221
/proc/meminfo: memFree=125625284/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13512 CPUtime=6.28 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2129 0 0 0 594 34 0 0 20 0 1 0 187613896 26701824 3378 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3378 1153 2753 0 3172 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13512 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.11 4.00 5/258 1008222
/proc/meminfo: memFree=125625336/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13512 CPUtime=12.66 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2129 0 0 0 1197 69 0 0 20 0 1 0 187613896 26701824 3378 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3378 1153 2753 0 3172 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13512 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 4.11 4.00 5/258 1008224
/proc/meminfo: memFree=125625052/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=25.43 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2139 0 0 0 2404 139 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+51.1047 s]
/proc/loadavg: 4.04 4.10 4.00 5/257 1008228
/proc/meminfo: memFree=125625080/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=50.97 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2147 0 0 0 4810 287 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.01 5/257 1008237
/proc/meminfo: memFree=125624740/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=102.05 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2153 0 0 0 9617 588 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/257 1008249
/proc/meminfo: memFree=125624440/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=161.9 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2155 0 0 0 15254 936 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/257 1008260
/proc/meminfo: memFree=125623960/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=221.75 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2159 0 0 0 20887 1288 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/255 1008270
/proc/meminfo: memFree=125623700/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=281.61 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2161 0 0 0 26520 1641 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/255 1008280
/proc/meminfo: memFree=125623436/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=341.47 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2163 0 0 0 32155 1992 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/255 1008291
/proc/meminfo: memFree=125623032/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=401.32 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2165 0 0 0 37790 2342 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/254 1008301
/proc/meminfo: memFree=125622776/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=461.18 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2167 0 0 0 43433 2685 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0

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

/proc/loadavg: 4.09 4.11 4.06 5/257 1008480
/proc/meminfo: memFree=125617632/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1418.86 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2199 0 0 0 133630 8256 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1418.86 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1482.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/256 1008875
/proc/meminfo: memFree=125616408/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1478.72 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2201 0 0 0 139263 8609 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1478.72 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/256 1008885
/proc/meminfo: memFree=125616576/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1538.57 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2203 0 0 0 144895 8962 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1538.57 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1602.3 s]
/proc/loadavg: 4.04 4.09 4.06 5/256 1008896
/proc/meminfo: memFree=125616324/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1598.43 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2205 0 0 0 150527 9316 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1598.43 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1662.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/258 1009076
/proc/meminfo: memFree=125615836/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1658.28 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2207 0 0 0 156169 9659 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1658.28 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1722.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/259 1009087
/proc/meminfo: memFree=125615532/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1718.14 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2209 0 0 0 161800 10014 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1718.14 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/261 1009156
/proc/meminfo: memFree=125615060/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1777.99 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 167429 10370 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1777.99 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

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

# cumulated CPU time of all completed processes:  user=1722.14 s, system=106.685 s

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

[startup+1792 s]*
/proc/loadavg: 4.07 4.10 4.07 5/261 1009158
/proc/meminfo: memFree=125614972/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1787.68 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 168338 10430 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1787.68 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1817.6 s]
/proc/loadavg: 4.05 4.09 4.07 5/259 1009163
/proc/meminfo: memFree=125614800/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1813.21 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 170741 10580 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1813.21 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1824 s]*
/proc/loadavg: 4.12 4.10 4.07 5/259 1009163
/proc/meminfo: memFree=125614800/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1819.6 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 171343 10617 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1819.6 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1827.2 s]
/proc/loadavg: 4.11 4.10 4.07 5/259 1009165
/proc/meminfo: memFree=125614792/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1822.79 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 171645 10634 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1822.79 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1830.4 s]
/proc/loadavg: 4.11 4.10 4.07 5/259 1009165
/proc/meminfo: memFree=125614796/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1825.97 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 171944 10653 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1825.97 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1832 s]*
/proc/loadavg: 4.10 4.10 4.07 5/259 1009165
/proc/meminfo: memFree=125614784/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1827.58 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 172096 10662 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1827.58 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1832.8 s]
/proc/loadavg: 4.10 4.10 4.07 5/259 1009165
/proc/meminfo: memFree=125614784/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1828.37 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 172171 10666 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1828.37 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

[startup+1833.2 s]
/proc/loadavg: 4.10 4.10 4.07 5/259 1009165
/proc/meminfo: memFree=125614808/131524600 swapFree=131071996/131071996
[pid=1008220] ppid=1008217 vsize=26076 memory=13776 CPUtime=1828.77 cores=0,2
/proc/1008220/stat : 1008220 (LS-MabP) R 1008217 1008220 1006945 0 -1 4194304 2211 0 0 0 172209 10668 0 0 20 0 1 0 187613896 26701824 3444 134679101440 4194304 15467897 140721931719472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23154688 140721931723800 140721931723909 140721931723909 140721931730926 0
/proc/1008220/statm: 6519 3444 1153 2753 0 3172 0
Current children cumulated CPU time: 1828.77 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 13776 KiB

Child status: 0

Real time (s): 1833.25
CPU time (s): 1828.83
CPU user time (s): 1722.14
CPU system time (s): 106.685
CPU usage (%): 99.7588
Max. virtual memory (cumulated for all children) (KiB): 26076
Max. memory (cumulated for all children) (KiB): 13776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1722.14
system time used= 106.685
maximum resident set size= 14764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2506
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= 3
involuntary context switches= 12783


# summary of solver processes directly reported to runsolver:
#   pid: 1008220
#   total CPU time (s): 1828.83
#   total CPU user time (s): 1722.14
#   total CPU system time (s): 106.685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.17886 second user time and 6.13252 second system time

The end