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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428345-1722809650/watcher-4428345-1722809650 -o /tmp/evaluation-result-4428345-1722809650/solver-4428345-1722809650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722806084-258371 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428345-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
solver pid=260999, runsolver pid=260992
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 4.09 4.30 4.20 7/244 261000
/proc/meminfo: memFree=126756656/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=39672 memory=30796 CPUtime=0.1 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 5697 0 0 0 9 1 0 0 20 0 1 0 47560669 40624128 7699 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 9918 7699 2237 2403 0 7028 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39672 KiB
Current children cumulated memory: 30796 KiB

[startup+0.214433 s]*
/proc/loadavg: 4.09 4.30 4.20 8/244 261000
/proc/meminfo: memFree=126707220/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=46048 memory=36464 CPUtime=0.22 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 7057 0 0 0 20 2 0 0 20 0 1 0 47560669 47153152 9116 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 11512 9116 2333 2403 0 8622 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 36464 KiB

[startup+0.314076 s]*
/proc/loadavg: 4.09 4.30 4.20 9/244 261000
/proc/meminfo: memFree=126657608/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=51112 memory=40904 CPUtime=0.31 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 8143 0 0 0 29 2 0 0 20 0 1 0 47560669 52338688 10226 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 12778 10226 2349 2403 0 9888 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51112 KiB
Current children cumulated memory: 40904 KiB

[startup+0.700373 s]
/proc/loadavg: 4.09 4.30 4.20 6/244 261000
/proc/meminfo: memFree=126613824/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=84200 memory=71596 CPUtime=0.69 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 16196 0 0 0 64 5 0 0 20 0 1 0 47560669 86220800 17899 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 21050 17899 2461 2403 0 18160 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84200 KiB
Current children cumulated memory: 71596 KiB

[startup+1.50034 s]
/proc/loadavg: 4.09 4.30 4.20 7/244 261000
/proc/meminfo: memFree=126532236/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=88640 memory=77992 CPUtime=1.49 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 20032 0 0 0 143 6 0 0 20 0 1 0 47560669 90767360 19498 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 22160 19498 2461 2403 0 19270 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88640 KiB
Current children cumulated memory: 77992 KiB

[startup+3.11291 s]
/proc/loadavg: 4.09 4.30 4.20 6/244 261000
/proc/meminfo: memFree=126394260/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=93856 memory=82220 CPUtime=3.09 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 22846 0 0 0 303 6 0 0 20 0 1 0 47560669 96108544 20555 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 23464 20555 2461 2403 0 20574 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93856 KiB
Current children cumulated memory: 82220 KiB

[startup+6.30031 s]
/proc/loadavg: 4.09 4.29 4.20 6/244 261002
/proc/meminfo: memFree=126298936/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=126196 memory=114896 CPUtime=6.27 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 32120 0 0 0 619 8 0 0 20 0 1 0 47560669 129224704 28724 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 31549 28724 2461 2403 0 28659 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126196 KiB
Current children cumulated memory: 114896 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.31 4.21 8/244 261002
/proc/meminfo: memFree=126266212/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=144400 memory=132332 CPUtime=12.65 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 36544 0 0 0 1256 9 0 0 20 0 1 0 47560669 147865600 33083 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 36100 33083 2461 2403 0 33210 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 144400 KiB
Current children cumulated memory: 132332 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.29 4.20 7/244 261005
/proc/meminfo: memFree=126191188/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=155344 memory=143664 CPUtime=25.41 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 41628 0 0 0 2531 10 0 0 20 0 1 0 47560669 159072256 35916 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 38836 35916 2461 2403 0 35946 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 155344 KiB
Current children cumulated memory: 143664 KiB

[startup+51.1129 s]
/proc/loadavg: 4.08 4.27 4.20 6/244 261008
/proc/meminfo: memFree=126113604/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=176708 memory=165088 CPUtime=50.94 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 47393 0 0 0 5082 12 0 0 20 0 1 0 47560669 180948992 41272 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 44177 41272 2461 2403 0 41287 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 176708 KiB
Current children cumulated memory: 165088 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.25 4.19 8/242 261017
/proc/meminfo: memFree=125981936/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=185736 memory=174640 CPUtime=101.97 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 81068 0 0 0 10178 19 0 0 20 0 1 0 47560669 190193664 43660 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 46434 43660 2461 2403 0 43544 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 185736 KiB
Current children cumulated memory: 174640 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.24 4.19 6/242 261028
/proc/meminfo: memFree=125964612/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=201164 memory=189152 CPUtime=161.78 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 135640 0 0 0 16150 28 0 0 20 0 1 0 47560669 205991936 47288 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 50291 47288 2461 2403 0 47401 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 201164 KiB
Current children cumulated memory: 189152 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.20 4.18 6/242 261038
/proc/meminfo: memFree=125959684/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=220816 memory=209884 CPUtime=221.6 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 140835 0 0 0 22131 29 0 0 20 0 1 0 47560669 226115584 52471 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 55204 52471 2461 2403 0 52314 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 220816 KiB
Current children cumulated memory: 209884 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.18 6/242 261051
/proc/meminfo: memFree=125949012/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=220816 memory=210036 CPUtime=281.41 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 140917 0 0 0 28112 29 0 0 20 0 1 0 47560669 226115584 52509 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 55204 52509 2461 2403 0 52314 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 220816 KiB
Current children cumulated memory: 210036 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.17 4.17 6/241 261062
/proc/meminfo: memFree=125920568/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=236644 memory=224440 CPUtime=341.23 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 144547 0 0 0 34092 31 0 0 20 0 1 0 47560669 242323456 56110 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 59161 56110 2461 2403 0 56271 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 236644 KiB
Current children cumulated memory: 224440 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.18 4.18 6/244 261077
/proc/meminfo: memFree=125886132/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=236688 memory=224580 CPUtime=401.04 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 144575 0 0 0 40073 31 0 0 20 0 1 0 47560669 242368512 56145 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 59172 56145 2461 2403 0 56282 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 236688 KiB
Current children cumulated memory: 224580 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.16 4.17 6/244 261088
/proc/meminfo: memFree=125863512/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=236688 memory=224580 CPUtime=460.86 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 144583 0 0 0 46055 31 0 0 20 0 1 0 47560669 242368512 56145 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0

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

/proc/loadavg: 4.20 4.42 4.30 6/241 262779
/proc/meminfo: memFree=125725404/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3214.2 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151258 0 0 0 319063 2357 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.38 4.28 6/241 262790
/proc/meminfo: memFree=125724308/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3274.09 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151261 0 0 0 324973 2436 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3274.09 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.36 4.28 6/241 262802
/proc/meminfo: memFree=125723612/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3333.98 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151264 0 0 0 330858 2540 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.29 4.26 6/244 262817
/proc/meminfo: memFree=125722956/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3393.88 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151267 0 0 0 336758 2630 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.26 4.25 6/244 262828
/proc/meminfo: memFree=125722224/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3453.77 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151270 0 0 0 342666 2711 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.23 4.24 6/244 262839
/proc/meminfo: memFree=125721336/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3513.67 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151273 0 0 0 348556 2811 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

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

# cumulated CPU time of all completed processes:  user=3529.2 s, system=28.8031 s

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

[startup+3532.8 s]
/proc/loadavg: 4.08 4.22 4.24 6/244 262841
/proc/meminfo: memFree=125721228/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3524.15 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151273 0 0 0 349586 2829 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3524.15 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3545.6 s]
/proc/loadavg: 4.14 4.23 4.24 8/244 262844
/proc/meminfo: memFree=125721108/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3536.93 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151273 0 0 0 350845 2848 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3536.93 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.22 4.24 6/244 262847
/proc/meminfo: memFree=125720728/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3549.71 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151276 0 0 0 352101 2870 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3549.71 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3561.6 s]
/proc/loadavg: 4.11 4.21 4.24 6/244 262847
/proc/meminfo: memFree=125720736/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3552.91 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151276 0 0 0 352417 2874 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3552.91 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.21 4.24 6/244 262848
/proc/meminfo: memFree=125720640/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3556.1 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151276 0 0 0 352732 2878 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3556.1 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3565.6 s]
/proc/loadavg: 4.10 4.21 4.24 8/244 262848
/proc/meminfo: memFree=125720784/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3556.89 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151276 0 0 0 352811 2878 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3556.89 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3566.4 s]
/proc/loadavg: 4.10 4.21 4.24 6/244 262848
/proc/meminfo: memFree=125720776/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3557.69 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151276 0 0 0 352890 2879 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3557.69 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3566.6 s]
/proc/loadavg: 4.10 4.21 4.24 6/244 262848
/proc/meminfo: memFree=125720776/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3557.89 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151276 0 0 0 352909 2880 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3557.89 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

[startup+3566.7 s]
/proc/loadavg: 4.10 4.21 4.24 6/244 262848
/proc/meminfo: memFree=125720776/131655788 swapFree=131071996/131071996
[pid=260999] ppid=260992 vsize=231440 memory=224500 CPUtime=3557.99 cores=1,3
/proc/260999/stat : 260999 (LS-MabS) R 260992 260999 258359 0 -1 4194304 151276 0 0 0 352919 2880 0 0 20 0 1 0 47560669 236994560 56125 134679101440 4194304 14036057 140724408866784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53645312 140724408869921 140724408870022 140724408870022 140724408877038 0
/proc/260999/statm: 57860 56125 2492 2403 0 54970 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 231440 KiB
Current children cumulated memory: 224500 KiB

Child status: 0

Real time (s): 3566.7
CPU time (s): 3558
CPU user time (s): 3529.2
CPU system time (s): 28.8031
CPU usage (%): 99.7561
Max. virtual memory (cumulated for all children) (KiB): 255820
Max. memory (cumulated for all children) (KiB): 246768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.2
system time used= 28.8031
maximum resident set size= 246768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151283
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= 90
involuntary context switches= 4125


# summary of solver processes directly reported to runsolver:
#   pid: 260999
#   total CPU time (s): 3558
#   total CPU user time (s): 3529.2
#   total CPU system time (s): 28.8031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0533 second user time and 32.361 second system time

The end