runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60831 MiB free)
  memory of node 1: 64473 MiB (62998 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428186-1722773151/watcher-4428186-1722773151 -o /tmp/evaluation-result-4428186-1722773151/solver-4428186-1722773151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722769582-238914 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428186-1722773151.opb -t 3558 -s 704629819 

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=240932, runsolver pid=240928

[startup+0.100948 s]*
/proc/loadavg: 4.10 4.14 4.06 4/250 240958
/proc/meminfo: memFree=126725264/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=64640 memory=52600 CPUtime=0.09 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 11116 0 0 0 8 1 0 0 20 0 1 0 43915336 66191360 13150 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 16160 13150 2301 2403 0 13270 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64640 KiB
Current children cumulated memory: 52600 KiB

[startup+0.205947 s]*
/proc/loadavg: 4.10 4.14 4.06 4/250 240958
/proc/meminfo: memFree=126664856/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=78652 memory=67036 CPUtime=0.19 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 15228 0 0 0 17 2 0 0 20 0 1 0 43915336 80539648 16759 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 19663 16759 2301 2403 0 16773 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78652 KiB
Current children cumulated memory: 67036 KiB

[startup+0.305931 s]*
/proc/loadavg: 4.10 4.14 4.06 5/250 240958
/proc/meminfo: memFree=126588780/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=79632 memory=68004 CPUtime=0.29 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 15458 0 0 0 27 2 0 0 20 0 1 0 43915336 81543168 17001 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 19908 17001 2349 2403 0 17018 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79632 KiB
Current children cumulated memory: 68004 KiB

[startup+0.700183 s]
/proc/loadavg: 4.10 4.14 4.06 5/250 240958
/proc/meminfo: memFree=126473764/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=170932 memory=145616 CPUtime=0.68 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 30771 0 0 0 63 5 0 0 20 0 1 0 43915336 175034368 36404 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 42733 36404 2429 2403 0 39843 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 170932 KiB
Current children cumulated memory: 145616 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.14 4.06 5/253 240964
/proc/meminfo: memFree=126399224/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=200736 memory=174088 CPUtime=1.47 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 37980 0 0 0 141 6 0 0 20 0 1 0 43915336 205553664 43522 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 50184 43522 2445 2403 0 47294 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 200736 KiB
Current children cumulated memory: 174088 KiB

[startup+3.10556 s]
/proc/loadavg: 4.10 4.14 4.06 5/255 240996
/proc/meminfo: memFree=125881632/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=200736 memory=174088 CPUtime=3.07 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 37980 0 0 0 301 6 0 0 20 0 1 0 43915336 205553664 43522 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 50184 43522 2445 2403 0 47294 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 200736 KiB
Current children cumulated memory: 174088 KiB

[startup+6.30017 s]
/proc/loadavg: 4.09 4.14 4.06 5/255 240996
/proc/meminfo: memFree=125777204/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=200736 memory=174088 CPUtime=6.26 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 37985 0 0 0 620 6 0 0 20 0 1 0 43915336 205553664 43522 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 50184 43522 2445 2403 0 47294 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 200736 KiB
Current children cumulated memory: 174088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.14 4.06 5/255 240998
/proc/meminfo: memFree=125765804/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=202460 memory=175480 CPUtime=12.64 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 39133 0 0 0 1257 7 0 0 20 0 1 0 43915336 207319040 43870 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 50615 43870 2477 2403 0 47725 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 202460 KiB
Current children cumulated memory: 175480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.07 5/255 240999
/proc/meminfo: memFree=125671632/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=211548 memory=176248 CPUtime=25.41 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 39163 0 0 0 2534 7 0 0 20 0 1 0 43915336 216625152 44062 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 52887 44062 2477 2403 0 49997 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 211548 KiB
Current children cumulated memory: 176248 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.13 4.07 5/255 241004
/proc/meminfo: memFree=125616176/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=238796 memory=203520 CPUtime=50.95 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 45889 0 0 0 5087 8 0 0 20 0 1 0 43915336 244527104 50880 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 59699 50880 2477 2403 0 56809 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 238796 KiB
Current children cumulated memory: 203520 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/255 241014
/proc/meminfo: memFree=125585576/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=238796 memory=216036 CPUtime=102.01 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 46055 0 0 0 10193 8 0 0 20 0 1 0 43915336 244527104 54009 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 59699 54009 2477 2403 0 56809 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 238796 KiB
Current children cumulated memory: 216036 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/256 241026
/proc/meminfo: memFree=125473356/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=279812 memory=240712 CPUtime=161.86 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 51800 0 0 0 16177 9 0 0 20 0 1 0 43915336 286527488 60178 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 69953 60178 2477 2403 0 67063 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 279812 KiB
Current children cumulated memory: 240712 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/255 241036
/proc/meminfo: memFree=125360396/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=411572 memory=346896 CPUtime=221.7 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 79586 0 0 0 22157 13 0 0 20 0 1 0 43915336 421449728 86724 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 102893 86724 2477 2403 0 100003 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 411572 KiB
Current children cumulated memory: 346896 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/258 241051
/proc/meminfo: memFree=125279328/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=411572 memory=348104 CPUtime=281.55 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 79933 0 0 0 28142 13 0 0 20 0 1 0 43915336 421449728 87026 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 102893 87026 2477 2403 0 100003 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 411572 KiB
Current children cumulated memory: 348104 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.08 5/258 241062
/proc/meminfo: memFree=125265536/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=411572 memory=349020 CPUtime=341.39 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 80257 0 0 0 34126 13 0 0 20 0 1 0 43915336 421449728 87255 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 102893 87255 2477 2403 0 100003 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 411572 KiB
Current children cumulated memory: 349020 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/258 241072
/proc/meminfo: memFree=125235856/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=411572 memory=349432 CPUtime=401.24 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 80405 0 0 0 40111 13 0 0 20 0 1 0 43915336 421449728 87358 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 102893 87358 2477 2403 0 100003 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 411572 KiB
Current children cumulated memory: 349432 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 241083
/proc/meminfo: memFree=125225416/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=411572 memory=349436 CPUtime=461.09 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 80475 0 0 0 46096 13 0 0 20 0 1 0 43915336 421449728 87359 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0

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

/proc/loadavg: 4.19 4.18 4.12 5/258 242751
/proc/meminfo: memFree=125381016/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3214.48 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102872 0 0 0 318091 3357 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3214.48 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/259 242764
/proc/meminfo: memFree=125380588/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3274.35 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102876 0 0 0 323937 3498 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.26 4.16 5/257 242786
/proc/meminfo: memFree=125380164/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3334.22 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102880 0 0 0 329786 3636 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.15 5/257 242796
/proc/meminfo: memFree=125379800/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3394.09 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102884 0 0 0 335644 3765 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3394.09 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.23 4.16 5/257 242806
/proc/meminfo: memFree=125379464/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3453.96 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102888 0 0 0 341504 3892 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3453.96 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/255 242818
/proc/meminfo: memFree=125379112/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3513.82 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 347351 4031 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3513.82 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

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

# cumulated CPU time of all completed processes:  user=3516.61 s, system=41.401 s

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

[startup+3532.8 s]
/proc/loadavg: 4.12 4.19 4.15 5/255 242819
/proc/meminfo: memFree=125379084/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3524.3 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 348374 4056 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3524.3 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3545.6 s]
/proc/loadavg: 4.11 4.19 4.15 5/255 242822
/proc/meminfo: memFree=125378844/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3537.07 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 349624 4083 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3537.07 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3558.4 s]
/proc/loadavg: 4.15 4.19 4.15 5/255 242823
/proc/meminfo: memFree=125378896/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3549.84 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 350866 4118 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3549.84 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3561.6 s]
/proc/loadavg: 4.14 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378860/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3553.04 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 351177 4127 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3553.04 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3564.8 s]
/proc/loadavg: 4.14 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3556.23 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 351488 4135 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3556.23 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3565.6 s]
/proc/loadavg: 4.14 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3557.03 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 351565 4138 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3557.03 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3566 s]*
/proc/loadavg: 4.13 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3557.43 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 351604 4139 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3557.43 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3566.4 s]
/proc/loadavg: 4.13 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3557.82 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 351643 4139 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

[startup+3566.5 s]
/proc/loadavg: 4.13 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240932] ppid=240928 vsize=383784 memory=376896 CPUtime=3557.92 cores=5,7
/proc/240932/stat : 240932 (LS-MabS) R 240928 240932 238901 0 -1 4194304 102892 0 0 0 351653 4139 0 0 20 0 1 0 43915336 392994816 94224 134679101440 4194304 14036057 140721290460576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 21975040 140721290466337 140721290466438 140721290466438 140721290473454 0
/proc/240932/statm: 95946 94224 2508 2403 0 93056 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 376896 KiB

Child status: 0

Real time (s): 3566.58
CPU time (s): 3558.01
CPU user time (s): 3516.61
CPU system time (s): 41.401
CPU usage (%): 99.7598
Max. virtual memory (cumulated for all children) (KiB): 516816
Max. memory (cumulated for all children) (KiB): 470128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3516.61
system time used= 41.401
maximum resident set size= 470128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102895
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= 36
involuntary context switches= 1208


# summary of solver processes directly reported to runsolver:
#   pid: 240932
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3516.61
#   total CPU system time (s): 41.401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35792 second user time and 13.9588 second system time

The end