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

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

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=240995, runsolver pid=240992
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.10 4.14 4.06 8/255 240996
/proc/meminfo: memFree=126371320/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=42268 memory=22320 CPUtime=0.09 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 4933 0 0 0 9 0 0 0 20 0 1 0 43915462 43282432 5515 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 10567 5515 749 2403 0 7677 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42268 KiB
Current children cumulated memory: 22320 KiB

[startup+0.205875 s]*
/proc/loadavg: 4.10 4.14 4.06 5/255 240996
/proc/meminfo: memFree=126325336/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=86560 memory=71908 CPUtime=0.2 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 16083 0 0 0 18 2 0 0 20 0 1 0 43915462 88637440 17911 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 21640 17977 2237 2403 0 18750 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 71908 KiB

[startup+0.305712 s]*
/proc/loadavg: 4.10 4.14 4.06 5/255 240996
/proc/meminfo: memFree=126174796/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=133748 memory=117076 CPUtime=0.3 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 27365 0 0 0 27 3 0 0 20 0 1 0 43915462 136957952 29269 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 33437 29269 2301 2403 0 30547 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133748 KiB
Current children cumulated memory: 117076 KiB

[startup+0.700272 s]
/proc/loadavg: 4.10 4.14 4.06 5/255 240996
/proc/meminfo: memFree=126112812/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=178400 memory=162456 CPUtime=0.69 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 40946 0 0 0 64 5 0 0 20 0 1 0 43915462 182681600 40614 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 44600 40614 2349 2403 0 41710 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 178400 KiB
Current children cumulated memory: 162456 KiB

[startup+1.50021 s]
/proc/loadavg: 4.10 4.14 4.06 5/255 240996
/proc/meminfo: memFree=126004224/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=203884 memory=184172 CPUtime=1.49 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 46073 0 0 0 143 6 0 0 20 0 1 0 43915462 208777216 46043 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 50971 46043 2365 2403 0 48081 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 203884 KiB
Current children cumulated memory: 184172 KiB

[startup+3.10564 s]
/proc/loadavg: 4.10 4.14 4.06 5/255 240996
/proc/meminfo: memFree=125777700/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=440516 memory=378020 CPUtime=3.08 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 75177 0 0 0 297 11 0 0 20 0 1 0 43915462 451088384 94505 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 110129 94505 2445 2403 0 107239 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 440516 KiB
Current children cumulated memory: 378020 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.14 4.06 5/255 240996
/proc/meminfo: memFree=125769560/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=440516 memory=378284 CPUtime=6.27 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 75248 0 0 0 615 12 0 0 20 0 1 0 43915462 451088384 94571 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 110129 94571 2445 2403 0 107239 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 440516 KiB
Current children cumulated memory: 378284 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.14 4.06 5/255 240998
/proc/meminfo: memFree=125765820/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=441052 memory=379308 CPUtime=12.65 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 75507 0 0 0 1253 12 0 0 20 0 1 0 43915462 451637248 94827 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 110263 94827 2445 2403 0 107373 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 441052 KiB
Current children cumulated memory: 379308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.07 5/255 240999
/proc/meminfo: memFree=125671528/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=441612 memory=380348 CPUtime=25.4 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 75829 0 0 0 2528 12 0 0 20 0 1 0 43915462 452210688 95087 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 110403 95087 2461 2403 0 107513 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 441612 KiB
Current children cumulated memory: 380348 KiB

[startup+51.1052 s]
/proc/loadavg: 4.09 4.13 4.07 5/255 241004
/proc/meminfo: memFree=125615840/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=465016 memory=394772 CPUtime=50.93 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 79590 0 0 0 5080 13 0 0 20 0 1 0 43915462 476176384 98693 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 116254 98693 2477 2403 0 113364 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 465016 KiB
Current children cumulated memory: 394772 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/255 241014
/proc/meminfo: memFree=125585968/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=493888 memory=402964 CPUtime=101.95 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 82067 0 0 0 10181 14 0 0 20 0 1 0 43915462 505741312 100741 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 123472 100741 2477 2403 0 120582 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 493888 KiB
Current children cumulated memory: 402964 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/256 241026
/proc/meminfo: memFree=125472908/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=509976 memory=405052 CPUtime=161.74 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 82635 0 0 0 16159 15 0 0 20 0 1 0 43915462 522215424 101263 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 127494 101263 2477 2403 0 124604 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 509976 KiB
Current children cumulated memory: 405052 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/255 241036
/proc/meminfo: memFree=125360432/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=509976 memory=405052 CPUtime=221.52 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 82645 0 0 0 22136 16 0 0 20 0 1 0 43915462 522215424 101263 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 127494 101263 2477 2403 0 124604 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 509976 KiB
Current children cumulated memory: 405052 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/258 241051
/proc/meminfo: memFree=125279264/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=509976 memory=405240 CPUtime=281.31 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 82655 0 0 0 28115 16 0 0 20 0 1 0 43915462 522215424 101310 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 127494 101310 2477 2403 0 124604 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 509976 KiB
Current children cumulated memory: 405240 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.08 5/258 241062
/proc/meminfo: memFree=125265508/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=509976 memory=405240 CPUtime=341.08 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 82665 0 0 0 34091 17 0 0 20 0 1 0 43915462 522215424 101310 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 127494 101310 2477 2403 0 124604 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 509976 KiB
Current children cumulated memory: 405240 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/258 241072
/proc/meminfo: memFree=125235748/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=536424 memory=431836 CPUtime=400.85 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 100332 0 0 0 40065 20 0 0 20 0 1 0 43915462 549298176 107959 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 134106 107959 2477 2403 0 131216 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 536424 KiB
Current children cumulated memory: 431836 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 241083
/proc/meminfo: memFree=125225400/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=536424 memory=431836 CPUtime=460.62 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 100342 0 0 0 46041 21 0 0 20 0 1 0 43915462 549298176 107959 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0

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

/proc/loadavg: 4.38 4.21 4.13 5/259 242740
/proc/meminfo: memFree=125380848/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3152.19 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119549 0 0 0 313138 2081 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/258 242751
/proc/meminfo: memFree=125381004/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3212.04 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119561 0 0 0 319041 2163 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/259 242764
/proc/meminfo: memFree=125380580/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3271.88 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119573 0 0 0 324940 2248 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.26 4.16 5/257 242786
/proc/meminfo: memFree=125380192/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3331.71 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119585 0 0 0 330833 2338 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3331.71 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.15 5/257 242796
/proc/meminfo: memFree=125379836/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3391.54 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119597 0 0 0 336726 2428 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3391.54 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.23 4.16 5/257 242806
/proc/meminfo: memFree=125379484/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3451.39 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119609 0 0 0 342623 2516 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/255 242818
/proc/meminfo: memFree=125379148/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3511.22 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119621 0 0 0 348516 2606 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3511.22 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

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

# cumulated CPU time of all completed processes:  user=3531.25 s, system=26.7598 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=125379092/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3521.7 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119621 0 0 0 349549 2621 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3521.7 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3545.6 s]
/proc/loadavg: 4.18 4.20 4.15 5/255 242822
/proc/meminfo: memFree=125378980/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3534.47 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119621 0 0 0 350807 2640 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3534.47 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3558.4 s]
/proc/loadavg: 4.15 4.19 4.15 5/255 242823
/proc/meminfo: memFree=125378924/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3547.22 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119624 0 0 0 352063 2659 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3547.22 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3564.8 s]
/proc/loadavg: 4.13 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3553.61 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119624 0 0 0 352693 2668 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3553.61 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3566.4 s]
/proc/loadavg: 4.13 4.19 4.15 5/253 242957
/proc/meminfo: memFree=126415300/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3555.21 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119624 0 0 0 352850 2671 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3555.21 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3568 s]*
/proc/loadavg: 4.13 4.19 4.15 5/256 242964
/proc/meminfo: memFree=126250072/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3556.8 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119624 0 0 0 353007 2673 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3556.8 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3568.8 s]
/proc/loadavg: 4.13 4.19 4.15 5/256 242964
/proc/meminfo: memFree=126250072/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3557.6 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119624 0 0 0 353085 2675 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3557.6 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

[startup+3569.2 s]
/proc/loadavg: 4.12 4.18 4.15 5/256 242965
/proc/meminfo: memFree=126321852/131524600 swapFree=131071996/131071996
[pid=240995] ppid=240992 vsize=339320 memory=306048 CPUtime=3558 cores=0,2
/proc/240995/stat : 240995 (LS-MabS) R 240992 240995 238901 0 -1 4194304 119624 0 0 0 353125 2675 0 0 20 0 1 0 43915462 347463680 76512 134679101440 4194304 14036057 140722021802800 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 33222656 140722021811233 140722021811334 140722021811334 140722021818350 0
/proc/240995/statm: 84830 76512 2508 2403 0 81940 0
Current children cumulated CPU time: 3558 s
Current children cumulated vsize: 339320 KiB
Current children cumulated memory: 306048 KiB

Child status: 0

Real time (s): 3569.2
CPU time (s): 3558.01
CPU user time (s): 3531.25
CPU system time (s): 26.7598
CPU usage (%): 99.6864
Max. virtual memory (cumulated for all children) (KiB): 645620
Max. memory (cumulated for all children) (KiB): 542180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.25
system time used= 26.7598
maximum resident set size= 542180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119630
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= 31
involuntary context switches= 24385


# summary of solver processes directly reported to runsolver:
#   pid: 240995
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3531.25
#   total CPU system time (s): 26.7598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09372 second user time and 16.1885 second system time

The end