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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427867-1722769582/watcher-4427867-1722769582 -o /tmp/evaluation-result-4427867-1722769582/solver-4427867-1722769582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722769582-245030 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427867-1722769582.opb -t 3558 -s 787304997 

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
solver pid=245074, runsolver pid=245067
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 0.17 0.11 0.09 6/256 245091
/proc/meminfo: memFree=125793568/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=27932 memory=14292 CPUtime=0.09 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 2086 0 0 0 9 0 0 0 20 0 1 0 43558111 28602368 3573 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 6983 3573 1073 2753 0 3636 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27932 KiB
Current children cumulated memory: 14292 KiB

[startup+0.205853 s]*
/proc/loadavg: 0.17 0.11 0.09 6/256 245091
/proc/meminfo: memFree=125773708/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=32028 memory=16344 CPUtime=0.2 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 2602 0 0 0 20 0 0 0 20 0 1 0 43558111 32796672 4086 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 8007 4086 1073 2753 0 4660 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32028 KiB
Current children cumulated memory: 16344 KiB

[startup+0.305581 s]*
/proc/loadavg: 0.17 0.11 0.09 6/256 245091
/proc/meminfo: memFree=125717800/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=46064 memory=32172 CPUtime=0.3 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 4549 0 0 0 30 0 0 0 20 0 1 0 43558111 47169536 8043 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 11516 8043 1073 2753 0 8169 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46064 KiB
Current children cumulated memory: 32172 KiB

[startup+0.700196 s]
/proc/loadavg: 0.17 0.11 0.09 6/256 245091
/proc/meminfo: memFree=125651188/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=67652 memory=53944 CPUtime=0.69 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 9240 0 0 0 68 1 0 0 20 0 1 0 43558111 69275648 13486 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 16913 13486 1105 2753 0 13566 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67652 KiB
Current children cumulated memory: 53944 KiB

[startup+1.5002 s]
/proc/loadavg: 0.48 0.17 0.12 6/256 245091
/proc/meminfo: memFree=125650304/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=67652 memory=53944 CPUtime=1.49 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 9240 0 0 0 148 1 0 0 20 0 1 0 43558111 69275648 13486 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 16913 13486 1105 2753 0 13566 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67652 KiB
Current children cumulated memory: 53944 KiB

[startup+3.10599 s]
/proc/loadavg: 0.48 0.17 0.12 6/256 245093
/proc/meminfo: memFree=124706016/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=256056 memory=238348 CPUtime=3.09 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 55334 0 0 0 301 8 0 0 20 0 1 0 43558111 262201344 59587 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 64014 59587 2689 2753 0 60667 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 256056 KiB
Current children cumulated memory: 238348 KiB

[startup+6.30017 s]
/proc/loadavg: 0.76 0.24 0.14 6/256 245093
/proc/meminfo: memFree=123968476/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=593628 memory=527308 CPUtime=6.28 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 88477 0 0 0 611 17 0 0 20 0 1 0 43558111 607875072 131827 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 148407 131827 2833 2753 0 145060 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 593628 KiB
Current children cumulated memory: 527308 KiB

[startup+12.7001 s]
/proc/loadavg: 1.02 0.30 0.16 6/256 245094
/proc/meminfo: memFree=123898548/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=620548 memory=539748 CPUtime=12.66 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 90045 0 0 0 1249 17 0 0 20 0 1 0 43558111 635441152 134937 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 155137 134937 2833 2753 0 151790 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 620548 KiB
Current children cumulated memory: 539748 KiB

[startup+25.5002 s]
/proc/loadavg: 1.48 0.42 0.20 6/256 245096
/proc/meminfo: memFree=123794868/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=656060 memory=550360 CPUtime=25.43 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 91697 0 0 0 2525 18 0 0 20 0 1 0 43558111 671805440 137590 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 164015 137590 2833 2753 0 160668 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 656060 KiB
Current children cumulated memory: 550360 KiB

[startup+51.1062 s]
/proc/loadavg: 2.40 0.72 0.31 6/256 245099
/proc/meminfo: memFree=123436728/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=902460 memory=670892 CPUtime=50.96 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 121870 0 0 0 5073 23 0 0 20 0 1 0 43558111 924119040 167723 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 225615 167723 2833 2753 0 222268 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 902460 KiB
Current children cumulated memory: 670892 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 1.47 0.59 6/256 245110
/proc/meminfo: memFree=123330216/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=972072 memory=740480 CPUtime=102 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 145737 0 0 0 10173 27 0 0 20 0 1 0 43558111 995401728 185120 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 243018 185120 2833 2753 0 239671 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 972072 KiB
Current children cumulated memory: 740480 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 1.96 0.81 6/256 245122
/proc/meminfo: memFree=123093924/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=972072 memory=740480 CPUtime=161.81 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 145750 0 0 0 16154 27 0 0 20 0 1 0 43558111 995401728 185120 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 243018 185120 2833 2753 0 239671 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 972072 KiB
Current children cumulated memory: 740480 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 2.42 1.05 6/256 245134
/proc/meminfo: memFree=122827168/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1041416 memory=803756 CPUtime=221.62 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 167112 0 0 0 22132 30 0 0 20 0 1 0 43558111 1066409984 200939 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 260354 200939 2833 2753 0 257007 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1041416 KiB
Current children cumulated memory: 803756 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 2.73 1.24 6/258 245148
/proc/meminfo: memFree=122624720/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1132828 memory=883932 CPUtime=281.44 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 185480 0 0 0 28111 33 0 0 20 0 1 0 43558111 1160015872 220983 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 283207 220983 2833 2753 0 279860 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 1132828 KiB
Current children cumulated memory: 883932 KiB

[startup+342.3 s]
/proc/loadavg: 4.40 3.04 1.44 6/257 245158
/proc/meminfo: memFree=122500052/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1175712 memory=910048 CPUtime=341.26 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 186982 0 0 0 34092 34 0 0 20 0 1 0 43558111 1203929088 227512 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 293928 227512 2833 2753 0 290581 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1175712 KiB
Current children cumulated memory: 910048 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.25 1.61 6/257 245169
/proc/meminfo: memFree=122314912/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1195536 memory=924436 CPUtime=401.09 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 189046 0 0 0 40074 35 0 0 20 0 1 0 43558111 1224228864 231109 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 298884 231109 2833 2753 0 295537 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 1195536 KiB
Current children cumulated memory: 924436 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.42 1.78 6/257 245181
/proc/meminfo: memFree=122127512/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1232664 memory=966696 CPUtime=460.92 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 204972 0 0 0 46055 37 0 0 20 0 1 0 43558111 1262247936 241674 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0

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

/proc/loadavg: 4.07 4.09 4.01 6/262 246865
/proc/meminfo: memFree=121739184/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3154.25 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332197 0 0 0 313157 2268 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/262 246877
/proc/meminfo: memFree=121717296/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3214.11 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332260 0 0 0 319047 2364 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.02 6/258 246899
/proc/meminfo: memFree=121707832/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3273.97 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332302 0 0 0 324937 2460 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3273.97 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.02 6/258 246910
/proc/meminfo: memFree=121705412/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3333.82 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332365 0 0 0 330823 2559 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/258 246921
/proc/meminfo: memFree=121704976/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3393.68 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332407 0 0 0 336711 2657 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.03 6/256 246931
/proc/meminfo: memFree=121704168/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3453.54 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332470 0 0 0 342603 2751 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.03 6/256 246942
/proc/meminfo: memFree=121703252/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3513.39 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332512 0 0 0 348491 2848 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

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

# cumulated CPU time of all completed processes:  user=3528.78 s, system=29.2461 s

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

[startup+3532.8 s]
/proc/loadavg: 4.13 4.11 4.03 6/256 246944
/proc/meminfo: memFree=121702844/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3523.87 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332533 0 0 0 349519 2868 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3523.87 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3545.6 s]
/proc/loadavg: 4.19 4.13 4.04 6/256 246946
/proc/meminfo: memFree=121702916/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3536.64 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332533 0 0 0 350775 2889 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3536.64 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3558.4 s]
/proc/loadavg: 4.14 4.12 4.04 6/256 246948
/proc/meminfo: memFree=121702972/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3549.41 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332554 0 0 0 352030 2911 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3549.41 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3561.6 s]
/proc/loadavg: 4.14 4.12 4.04 6/256 246948
/proc/meminfo: memFree=121703000/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3552.6 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332554 0 0 0 352346 2914 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3552.6 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3564.8 s]
/proc/loadavg: 4.13 4.12 4.03 6/256 246949
/proc/meminfo: memFree=121702888/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3555.8 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332554 0 0 0 352659 2921 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3555.8 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3566.4 s]
/proc/loadavg: 4.13 4.12 4.03 6/256 246949
/proc/meminfo: memFree=121702880/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3557.39 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332554 0 0 0 352816 2923 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3557.39 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3566.8 s]
/proc/loadavg: 4.13 4.12 4.03 6/256 246949
/proc/meminfo: memFree=121702880/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3557.79 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332554 0 0 0 352855 2924 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3557.79 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

[startup+3567 s]*
/proc/loadavg: 4.12 4.12 4.03 6/256 246949
/proc/meminfo: memFree=121702888/131524600 swapFree=131071996/131071996
[pid=245074] ppid=245067 vsize=1350620 memory=1139072 CPUtime=3558 cores=5,7
/proc/245074/stat : 245074 (LS-MabSP) R 245067 245074 245017 0 -1 4194304 332616 0 0 0 352876 2924 0 0 20 0 1 0 43558111 1383034880 284768 134679101440 4194304 15467897 140736034740400 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35229696 140736034743327 140736034743429 140736034743429 140736034750445 0
/proc/245074/statm: 337655 284768 3179 2753 0 334308 0
Current children cumulated CPU time: 3558 s
Current children cumulated vsize: 1350620 KiB
Current children cumulated memory: 1139072 KiB

Child status: 0

Real time (s): 3567.03
CPU time (s): 3558.03
CPU user time (s): 3528.78
CPU system time (s): 29.2461
CPU usage (%): 99.7477
Max. virtual memory (cumulated for all children) (KiB): 1844576
Max. memory (cumulated for all children) (KiB): 1552908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.78
system time used= 29.2461
maximum resident set size= 1552908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332727
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= 77
involuntary context switches= 1442


# summary of solver processes directly reported to runsolver:
#   pid: 245074
#   total CPU time (s): 3558.03
#   total CPU user time (s): 3528.78
#   total CPU system time (s): 29.2461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59489 second user time and 17.4599 second system time

The end