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: 63665 MiB (62978 MiB free)
  memory of node 1: 64507 MiB (56684 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497000-1751389953/watcher-4497000-1751389953 -o /tmp/evaluation-result-4497000-1751389953/solver-4497000-1751389953 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51546 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4497000-1751389953.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=52128, runsolver pid=52125
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 52132
/proc/meminfo: memFree=122529960/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=5112 memory=3712 CPUtime=0.08 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 424 0 0 0 8 0 0 0 20 0 1 0 54675167 5234688 928 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 1278 928 576 696 0 439 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9304 KiB
Current children cumulated memory: 6656 KiB

[startup+0.205572 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 52132
/proc/meminfo: memFree=122496696/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=29724 memory=25768 CPUtime=0.18 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 5692 0 0 0 18 0 0 0 20 0 1 0 54675167 30437376 6442 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 7431 6442 576 696 0 6592 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33916 KiB
Current children cumulated memory: 28712 KiB

[startup+0.305633 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 52132
/proc/meminfo: memFree=122410888/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=91924 memory=86720 CPUtime=0.29 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 18126 0 0 0 26 3 0 0 20 0 1 0 54675167 94130176 21680 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 22981 21680 576 696 0 22142 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 96116 KiB
Current children cumulated memory: 89664 KiB

[startup+0.700201 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 52132
/proc/meminfo: memFree=122308064/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=196940 memory=187548 CPUtime=0.67 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 32387 0 0 0 62 5 0 0 20 0 1 0 54675167 201666560 46887 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 49235 46887 608 696 0 48396 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 201132 KiB
Current children cumulated memory: 190492 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 52132
/proc/meminfo: memFree=122210784/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=222832 memory=209148 CPUtime=1.47 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 35204 0 0 0 141 6 0 0 20 0 1 0 54675167 228179968 52287 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 55708 52287 608 696 0 54869 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 227024 KiB
Current children cumulated memory: 212092 KiB

[startup+3.10557 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 52146
/proc/meminfo: memFree=128471096/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=253800 memory=241476 CPUtime=3.05 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 39304 0 0 0 295 10 0 0 20 0 1 0 54675167 259891200 60369 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 63450 60369 608 696 0 62611 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 257992 KiB
Current children cumulated memory: 244420 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 52229
/proc/meminfo: memFree=128836816/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=347804 memory=304948 CPUtime=6.2 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 43073 0 0 0 603 17 0 0 20 0 1 0 54675167 356151296 76237 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 86951 76237 608 696 0 86112 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 307892 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 52277
/proc/meminfo: memFree=128772236/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=293668 memory=257892 CPUtime=12.57 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 46020 0 0 0 1239 18 0 0 20 0 1 0 54675167 300716032 64473 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 73417 64473 608 696 0 72578 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 260836 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 52277
/proc/meminfo: memFree=128592788/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=316872 memory=281192 CPUtime=25.33 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 46801 0 0 0 2514 19 0 0 20 0 1 0 54675167 324476928 70298 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 79218 70298 608 696 0 78379 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 321064 KiB
Current children cumulated memory: 284136 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 52278
/proc/meminfo: memFree=128673044/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=318776 memory=283112 CPUtime=50.85 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 47357 0 0 0 5066 19 0 0 20 0 1 0 54675167 326426624 70778 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 79694 70778 608 696 0 78855 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 322968 KiB
Current children cumulated memory: 286056 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 52284
/proc/meminfo: memFree=128697520/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=282888 memory=247976 CPUtime=101.89 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 50270 0 0 0 10168 21 0 0 20 0 1 0 54675167 289677312 61994 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 70722 61994 608 696 0 69883 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 287080 KiB
Current children cumulated memory: 250920 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 52286
/proc/meminfo: memFree=128684560/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=284156 memory=249736 CPUtime=161.73 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 54215 0 0 0 16148 25 0 0 20 0 1 0 54675167 290975744 62434 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 71039 62434 608 696 0 70200 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 288348 KiB
Current children cumulated memory: 252680 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 52288
/proc/meminfo: memFree=128651784/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=286132 memory=253120 CPUtime=221.57 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 58689 0 0 0 22128 29 0 0 20 0 1 0 54675167 292999168 63280 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 71533 63280 608 696 0 70694 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 290324 KiB

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

/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 151855 0 0 0 147586 185 0 0 20 0 1 0 54675167 816693248 172615 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 199388 172615 608 696 0 198549 0
Current children cumulated CPU time: 1477.71 s
Current children cumulated vsize: 801744 KiB
Current children cumulated memory: 693404 KiB

[startup+1542.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/267 52347
/proc/meminfo: memFree=127925716/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=784512 memory=681564 CPUtime=1537.53 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 154753 0 0 0 153564 189 0 0 20 0 1 0 54675167 803340288 170391 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 196128 170391 608 696 0 195289 0
Current children cumulated CPU time: 1537.53 s
Current children cumulated vsize: 788704 KiB
Current children cumulated memory: 684508 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 52349
/proc/meminfo: memFree=127953704/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=783752 memory=681040 CPUtime=1597.38 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 156326 0 0 0 159545 193 0 0 20 0 1 0 54675167 802562048 170260 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 195938 170260 608 696 0 195099 0
Current children cumulated CPU time: 1597.38 s
Current children cumulated vsize: 787944 KiB
Current children cumulated memory: 683984 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 52351
/proc/meminfo: memFree=127916016/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=822236 memory=719800 CPUtime=1657.21 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 158661 0 0 0 165524 197 0 0 20 0 1 0 54675167 841969664 179950 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205559 179950 608 696 0 204720 0
Current children cumulated CPU time: 1657.21 s
Current children cumulated vsize: 826428 KiB
Current children cumulated memory: 722744 KiB

[startup+1722.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/267 52353
/proc/meminfo: memFree=127945636/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=779688 memory=677048 CPUtime=1717.04 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 160115 0 0 0 171504 200 0 0 20 0 1 0 54675167 798400512 169262 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 194922 169262 608 696 0 194083 0
Current children cumulated CPU time: 1717.04 s
Current children cumulated vsize: 783880 KiB
Current children cumulated memory: 679992 KiB

[startup+1782.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 52355
/proc/meminfo: memFree=127866848/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=823620 memory=721244 CPUtime=1776.86 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 163297 0 0 0 177481 205 0 0 20 0 1 0 54675167 843386880 180311 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205905 180311 608 696 0 205066 0
Current children cumulated CPU time: 1776.86 s
Current children cumulated vsize: 827812 KiB
Current children cumulated memory: 724188 KiB

[startup+1788.6 s]
# the end of solver process 52128 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1781.1 s, system=2.06325 s

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

[startup+1782.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 52355
/proc/meminfo: memFree=127866848/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=823620 memory=721244 CPUtime=1776.96 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 163297 0 0 0 177491 205 0 0 20 0 1 0 54675167 843386880 180311 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205905 180311 608 696 0 205066 0
Current children cumulated CPU time: 1776.96 s
Current children cumulated vsize: 827812 KiB
Current children cumulated memory: 724188 KiB

[startup+1785.6 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 52355
/proc/meminfo: memFree=127907052/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=823620 memory=721244 CPUtime=1780.15 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 163297 0 0 0 177810 205 0 0 20 0 1 0 54675167 843386880 180311 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205905 180311 608 696 0 205066 0
Current children cumulated CPU time: 1780.15 s
Current children cumulated vsize: 827812 KiB
Current children cumulated memory: 724188 KiB

[startup+1787.2 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 52355
/proc/meminfo: memFree=127915440/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=823620 memory=721244 CPUtime=1781.75 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 163297 0 0 0 177970 205 0 0 20 0 1 0 54675167 843386880 180311 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205905 180311 608 696 0 205066 0
Current children cumulated CPU time: 1781.75 s
Current children cumulated vsize: 827812 KiB
Current children cumulated memory: 724188 KiB

[startup+1788 s]*
/proc/loadavg: 4.06 4.10 4.09 5/267 52355
/proc/meminfo: memFree=127915692/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=823620 memory=721244 CPUtime=1782.55 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 163297 0 0 0 178050 205 0 0 20 0 1 0 54675167 843386880 180311 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205905 180311 608 696 0 205066 0
Current children cumulated CPU time: 1782.55 s
Current children cumulated vsize: 827812 KiB
Current children cumulated memory: 724188 KiB

[startup+1788.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 52355
/proc/meminfo: memFree=127915692/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=823620 memory=721244 CPUtime=1782.95 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 163297 0 0 0 178090 205 0 0 20 0 1 0 54675167 843386880 180311 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205905 180311 608 696 0 205066 0
Current children cumulated CPU time: 1782.95 s
Current children cumulated vsize: 827812 KiB
Current children cumulated memory: 724188 KiB

[startup+1788.5 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 52355
/proc/meminfo: memFree=127915692/131250000 swapFree=33010416/33010684
[pid=52128] ppid=52125 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52128/stat : 52128 (naps-1.03a6.sh) S 52125 52128 51532 0 -1 4194304 232 204 0 0 0 0 0 0 20 0 1 0 54675166 4292608 736 18446744073709551615 94862791901184 94862792795717 140727593936000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94862793034768 94862793082512 94862822592512 140727593941415 140727593941509 140727593941509 140727593947111 0
/proc/52128/statm: 1048 736 672 219 0 110 0
[pid=52132] ppid=52128 vsize=823620 memory=721244 CPUtime=1783.05 cores=4,6
/proc/52132/stat : 52132 (naps-1.03a6) R 52128 52128 51532 0 -1 4194304 163297 0 0 0 178100 205 0 0 20 0 1 0 54675167 843386880 180311 18446744073709551615 4198400 7047149 140734642785872 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30928896 140734642792820 140734642792934 140734642792934 140734642798537 0
/proc/52132/statm: 205905 180311 608 696 0 205066 0
Current children cumulated CPU time: 1783.05 s
Current children cumulated vsize: 827812 KiB
Current children cumulated memory: 724188 KiB

Child status: 30

Real time (s): 1788.6
CPU time (s): 1783.16
CPU user time (s): 1781.1
CPU system time (s): 2.06325
CPU usage (%): 99.696
Max. virtual memory (cumulated for all children) (KiB): 923584
Max. memory (cumulated for all children) (KiB): 819232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.1
system time used= 2.06325
maximum resident set size= 825204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163746
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= 194
involuntary context switches= 1341


# summary of solver processes directly reported to runsolver:
#   pid: 52128
#   total CPU time (s): 1783.16
#   total CPU user time (s): 1781.1
#   total CPU system time (s): 2.06325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53031 second user time and 8.16176 second system time

The end