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: 64096 MiB (61985 MiB free)
  memory of node 1: 64473 MiB (63518 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458094-1722827628/watcher-4458094-1722827628 -o /tmp/evaluation-result-4458094-1722827628/solver-4458094-1722827628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722827628-270870 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4458094-1722827628.opb -t 3558 -s 794702572 --no-s 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
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=270917, runsolver pid=270909

[startup+0.100592 s]*
/proc/loadavg: 3.55 4.02 4.20 6/244 270930
/proc/meminfo: memFree=128495596/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=0.09 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 975 0 0 0 8 1 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+0.217589 s]*
/proc/loadavg: 3.55 4.02 4.20 6/244 270930
/proc/meminfo: memFree=128494448/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=0.2 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 975 0 0 0 18 2 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+0.312683 s]*
/proc/loadavg: 3.55 4.02 4.20 5/244 270930
/proc/meminfo: memFree=128493808/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=0.29 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 976 0 0 0 26 3 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+0.700254 s]
/proc/loadavg: 3.55 4.02 4.20 5/244 270930
/proc/meminfo: memFree=128493248/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=0.67 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 976 0 0 0 61 6 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+1.50025 s]
/proc/loadavg: 3.55 4.02 4.20 6/244 270930
/proc/meminfo: memFree=128492996/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=1.47 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 993 0 0 0 131 16 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+3.11298 s]
/proc/loadavg: 3.55 4.02 4.20 6/244 270930
/proc/meminfo: memFree=128493016/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=3.08 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 993 0 0 0 276 32 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+6.30023 s]
/proc/loadavg: 3.58 4.02 4.20 6/244 270930
/proc/meminfo: memFree=128493052/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=6.26 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 993 0 0 0 568 58 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+12.7002 s]
/proc/loadavg: 3.62 4.02 4.20 6/244 270931
/proc/meminfo: memFree=128493036/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=12.65 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 993 0 0 0 1147 118 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+25.5003 s]
/proc/loadavg: 3.78 4.04 4.20 6/244 270933
/proc/meminfo: memFree=128492892/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=9724 CPUtime=25.43 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 993 0 0 0 2310 233 0 0 20 0 1 0 49133891 22941696 2431 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2431 1073 2753 0 2254 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 9724 KiB

[startup+51.1117 s]
/proc/loadavg: 3.93 4.05 4.20 6/244 270937
/proc/meminfo: memFree=128491020/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=50.99 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 998 0 0 0 4571 528 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2512 1073 2753 0 2254 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10048 KiB

[startup+102.3 s]
/proc/loadavg: 4.01 4.06 4.19 6/244 270947
/proc/meminfo: memFree=128490352/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=102.07 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1003 0 0 0 9174 1033 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2512 1073 2753 0 2254 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10048 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.06 4.18 6/242 270959
/proc/meminfo: memFree=128489692/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=161.95 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1006 0 0 0 14624 1571 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2512 1073 2753 0 2254 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10048 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.06 4.17 6/242 270970
/proc/meminfo: memFree=128488640/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=221.81 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1007 0 0 0 19988 2193 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2512 1073 2753 0 2254 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10048 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.08 4.17 6/241 270981
/proc/meminfo: memFree=128488208/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=281.68 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1008 0 0 0 25209 2959 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2512 1073 2753 0 2254 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10048 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.08 4.17 6/241 270992
/proc/meminfo: memFree=128487148/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=341.55 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1009 0 0 0 30544 3611 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2512 1073 2753 0 2254 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10048 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.16 6/241 271003
/proc/meminfo: memFree=128486692/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=401.42 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1010 0 0 0 36012 4130 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2512 1073 2753 0 2254 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10048 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.16 6/244 271018
/proc/meminfo: memFree=128485660/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10048 CPUtime=461.3 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1011 0 0 0 41348 4782 0 0 20 0 1 0 49133891 22941696 2512 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0

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

/proc/loadavg: 4.11 4.11 4.09 6/241 272706
/proc/meminfo: memFree=128552824/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3215.44 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1057 0 0 0 289643 31901 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3215.44 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/241 272716
/proc/meminfo: memFree=128552112/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3275.31 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1058 0 0 0 295116 32415 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3275.31 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3342.3 s]
/proc/loadavg: 4.91 4.31 4.15 6/241 272727
/proc/meminfo: memFree=128551300/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3335.18 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1059 0 0 0 300536 32982 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3335.18 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3402.3 s]
/proc/loadavg: 5.62 4.65 4.29 6/241 272737
/proc/meminfo: memFree=128550756/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3395.06 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1060 0 0 0 305877 33629 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3395.06 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3462.3 s]
/proc/loadavg: 5.29 4.72 4.33 6/244 272752
/proc/meminfo: memFree=128549824/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3454.93 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1061 0 0 0 311078 34415 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3454.93 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.67 4.66 4.34 6/244 272762
/proc/meminfo: memFree=128548812/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3514.8 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1062 0 0 0 316383 35097 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3514.8 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

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

# cumulated CPU time of all completed processes:  user=3202.42 s, system=355.584 s

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

[startup+3532.8 s]
/proc/loadavg: 4.57 4.64 4.33 6/244 272764
/proc/meminfo: memFree=128548740/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3525.28 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1062 0 0 0 317341 35187 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3525.28 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3545.6 s]
/proc/loadavg: 4.48 4.62 4.33 6/244 272767
/proc/meminfo: memFree=128548464/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3538.05 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 318478 35327 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3538.05 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3558.4 s]
/proc/loadavg: 4.45 4.60 4.33 6/244 272769
/proc/meminfo: memFree=128548432/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3550.82 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 319614 35468 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3550.82 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3561.6 s]
/proc/loadavg: 4.41 4.59 4.33 6/244 272770
/proc/meminfo: memFree=128548332/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3554.01 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 319894 35507 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3554.01 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3563.2 s]
/proc/loadavg: 4.41 4.59 4.33 6/244 272770
/proc/meminfo: memFree=128548284/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3555.61 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 320034 35527 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3555.61 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3564.8 s]
/proc/loadavg: 4.41 4.59 4.33 6/239 272778
/proc/meminfo: memFree=128555260/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3557.21 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 320173 35548 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3557.21 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3565.2 s]
/proc/loadavg: 4.41 4.59 4.33 7/241 272856
/proc/meminfo: memFree=128547940/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3557.6 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 320208 35552 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3557.6 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3565.4 s]
/proc/loadavg: 4.41 4.59 4.33 7/241 272856
/proc/meminfo: memFree=128547940/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3557.81 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 320225 35556 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3557.81 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

[startup+3565.5 s]
/proc/loadavg: 4.41 4.59 4.33 7/241 272856
/proc/meminfo: memFree=128547940/131655788 swapFree=131071996/131071996
[pid=270917] ppid=270909 vsize=22404 memory=10200 CPUtime=3557.91 cores=5,7
/proc/270917/stat : 270917 (LS-MabP) R 270909 270917 270857 0 -1 4194304 1063 0 0 0 320234 35557 0 0 20 0 1 0 49133891 22941696 2550 134679101440 4194304 15467897 140733454219936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 52367360 140733454226458 140733454226566 140733454226566 140733454233582 0
/proc/270917/statm: 5601 2550 1089 2753 0 2254 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 10200 KiB

Child status: 0

Real time (s): 3565.59
CPU time (s): 3558
CPU user time (s): 3202.42
CPU system time (s): 355.584
CPU usage (%): 99.7873
Max. virtual memory (cumulated for all children) (KiB): 22404
Max. memory (cumulated for all children) (KiB): 10200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3202.42
system time used= 355.584
maximum resident set size= 10304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1067
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= 918


# summary of solver processes directly reported to runsolver:
#   pid: 270917
#   total CPU time (s): 3558
#   total CPU user time (s): 3202.42
#   total CPU system time (s): 355.584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0933 second user time and 28.7635 second system time

The end