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: 63708 MiB (61715 MiB free)
  memory of node 1: 64465 MiB (62837 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519644-1751557771/watcher-4519644-1751557771 -o /tmp/evaluation-result-4519644-1751557771/solver-4519644-1751557771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751550548-79625 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4519644-1751557771.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=80463, runsolver pid=80459

[startup+0.10006 s]*
/proc/loadavg: 4.09 4.10 4.09 4/265 80476
/proc/meminfo: memFree=127526880/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=30832 memory=28496 CPUtime=0.08 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 7725 0 0 0 7 1 0 0 20 0 1 0 71399674 31571968 7124 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 7708 7124 608 696 0 6869 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 35024 KiB
Current children cumulated memory: 31440 KiB

[startup+0.205592 s]*
/proc/loadavg: 4.09 4.10 4.09 4/265 80479
/proc/meminfo: memFree=127523168/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=32052 memory=29648 CPUtime=0.18 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 8015 0 0 0 17 1 0 0 20 0 1 0 71399674 32821248 7412 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 8013 7412 608 696 0 7174 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 36244 KiB
Current children cumulated memory: 32592 KiB

[startup+0.305641 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 80492
/proc/meminfo: memFree=127522900/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=33916 memory=30800 CPUtime=0.28 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 8306 0 0 0 27 1 0 0 20 0 1 0 71399674 34729984 7700 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 8479 7700 608 696 0 7640 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38108 KiB
Current children cumulated memory: 33744 KiB

[startup+0.700212 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 80510
/proc/meminfo: memFree=127527700/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=37196 memory=34068 CPUtime=0.66 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 8620 0 0 0 65 1 0 0 20 0 1 0 71399674 38088704 8517 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 9299 8517 608 696 0 8460 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 41388 KiB
Current children cumulated memory: 37012 KiB

[startup+1.50015 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 80510
/proc/meminfo: memFree=127519732/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=45428 memory=42800 CPUtime=1.45 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 13801 0 0 0 143 2 0 0 20 0 1 0 71399674 46518272 10700 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 11357 10700 640 696 0 10518 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 49620 KiB
Current children cumulated memory: 45744 KiB

[startup+3.10541 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 80510
/proc/meminfo: memFree=127500332/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=46092 memory=43776 CPUtime=3.05 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 16919 0 0 0 302 3 0 0 20 0 1 0 71399674 47198208 10944 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 11523 10944 640 696 0 10684 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 50284 KiB
Current children cumulated memory: 46720 KiB

[startup+6.3002 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 80510
/proc/meminfo: memFree=127481016/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=45304 memory=43212 CPUtime=6.24 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 19356 0 0 0 620 4 0 0 20 0 1 0 71399674 46391296 10803 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 11326 10803 640 696 0 10487 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 49496 KiB
Current children cumulated memory: 46156 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 80558
/proc/meminfo: memFree=127281872/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=53400 memory=51312 CPUtime=12.61 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 21655 0 0 0 1257 4 0 0 20 0 1 0 71399674 54681600 12828 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 13350 12828 640 696 0 12511 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 57592 KiB
Current children cumulated memory: 54256 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 80558
/proc/meminfo: memFree=127140100/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=64816 memory=61744 CPUtime=25.37 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 24238 0 0 0 2532 5 0 0 20 0 1 0 71399674 66371584 15436 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 16204 15436 640 696 0 15365 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 69008 KiB
Current children cumulated memory: 64688 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 80559
/proc/meminfo: memFree=127133432/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=79556 memory=77620 CPUtime=50.89 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 26732 0 0 0 5083 6 0 0 20 0 1 0 71399674 81465344 19405 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 19889 19405 640 696 0 19050 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 83748 KiB
Current children cumulated memory: 80564 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 80560
/proc/meminfo: memFree=127001204/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=89464 memory=88120 CPUtime=101.91 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 30507 0 0 0 10184 7 0 0 20 0 1 0 71399674 91611136 22030 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 22366 22030 640 696 0 21527 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 91064 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 80562
/proc/meminfo: memFree=126948456/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=138136 memory=136628 CPUtime=161.74 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 35190 0 0 0 16164 10 0 0 20 0 1 0 71399674 141451264 34157 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 34534 34157 640 696 0 33695 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 142328 KiB
Current children cumulated memory: 139572 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 80564
/proc/meminfo: memFree=126968964/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=133988 memory=132404 CPUtime=221.58 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 37663 0 0 0 22146 12 0 0 20 0 1 0 71399674 137203712 33101 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 33497 33101 640 696 0 32658 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 138180 KiB

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

/proc/loadavg: 4.11 4.11 4.09 5/266 80716
/proc/meminfo: memFree=126202504/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=294100 memory=292620 CPUtime=3033.84 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 105800 0 0 0 303276 108 0 0 20 0 1 0 71399674 301158400 73155 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 73525 73155 640 696 0 72686 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 298292 KiB
Current children cumulated memory: 295564 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 80718
/proc/meminfo: memFree=126206360/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=289080 memory=287600 CPUtime=3093.68 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 107553 0 0 0 309255 113 0 0 20 0 1 0 71399674 296017920 71900 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 72270 71900 640 696 0 71431 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 293272 KiB
Current children cumulated memory: 290544 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 80720
/proc/meminfo: memFree=126184784/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=287088 memory=285608 CPUtime=3153.52 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 109454 0 0 0 315235 117 0 0 20 0 1 0 71399674 293978112 71402 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 71772 71402 640 696 0 70933 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 291280 KiB
Current children cumulated memory: 288552 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 80723
/proc/meminfo: memFree=126172600/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=285528 memory=284048 CPUtime=3213.36 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 110971 0 0 0 321217 119 0 0 20 0 1 0 71399674 292380672 71012 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 71382 71012 640 696 0 70543 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 289720 KiB
Current children cumulated memory: 286992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80728
/proc/meminfo: memFree=126138268/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=287652 memory=286172 CPUtime=3273.2 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 112052 0 0 0 327198 122 0 0 20 0 1 0 71399674 294555648 71543 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 71913 71543 640 696 0 71074 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 291844 KiB
Current children cumulated memory: 289116 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 80735
/proc/meminfo: memFree=126145316/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=281652 memory=280172 CPUtime=3333.03 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 113769 0 0 0 333178 125 0 0 20 0 1 0 71399674 288411648 70043 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 70413 70043 640 696 0 69574 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 285844 KiB
Current children cumulated memory: 283116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 80738
/proc/meminfo: memFree=126201508/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=290348 memory=288868 CPUtime=3392.87 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 115709 0 0 0 339158 129 0 0 20 0 1 0 71399674 297316352 72217 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 72587 72217 640 696 0 71748 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 294540 KiB
Current children cumulated memory: 291812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 80740
/proc/meminfo: memFree=126230236/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=301500 memory=300020 CPUtime=3452.71 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 116653 0 0 0 345139 132 0 0 20 0 1 0 71399674 308736000 75005 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 75375 75005 640 696 0 74536 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 305692 KiB
Current children cumulated memory: 302964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 80742
/proc/meminfo: memFree=126224720/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=304812 memory=303332 CPUtime=3512.55 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 118056 0 0 0 351120 135 0 0 20 0 1 0 71399674 312127488 75833 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 76203 75833 640 696 0 75364 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 309004 KiB
Current children cumulated memory: 306276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80744
/proc/meminfo: memFree=126166752/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=299428 memory=297948 CPUtime=3572.38 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 119351 0 0 0 357100 138 0 0 20 0 1 0 71399674 306614272 74487 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 74857 74487 640 696 0 74018 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 303620 KiB
Current children cumulated memory: 300892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 80744
/proc/meminfo: memFree=126160592/131250000 swapFree=33010684/33010684
[pid=80463] ppid=80459 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/80463/stat : 80463 (naps-1.03a6.sh) S 80459 80463 79615 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 71399672 4292608 736 18446744073709551615 94585710985216 94585711879749 140732894131536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94585712118800 94585712166544 94585741778944 140732894140839 140732894140933 140732894140933 140732894146535 0
/proc/80463/statm: 1048 736 672 219 0 110 0
[pid=80470] ppid=80463 vsize=307028 memory=305548 CPUtime=3600.02 cores=0,2
/proc/80470/stat : 80470 (naps-1.03a6) R 80463 80463 79615 0 -1 4194304 120061 0 0 0 359862 140 0 0 20 0 1 0 71399674 314396672 76387 18446744073709551615 4198400 7047149 140723342250528 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21839872 140723342256500 140723342256614 140723342256614 140723342262217 0
/proc/80470/statm: 76757 76387 640 696 0 75918 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 311220 KiB
Current children cumulated memory: 308492 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.01 s]
# the end of solver process 80463 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.63 s, system=1.41059 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.04
CPU user time (s): 3598.63
CPU system time (s): 1.41059
CPU usage (%): 99.7238
Max. virtual memory (cumulated for all children) (KiB): 388076
Max. memory (cumulated for all children) (KiB): 385252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.41059
maximum resident set size= 382308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120507
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= 207
involuntary context switches= 5128


# summary of solver processes directly reported to runsolver:
#   pid: 80463
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.63
#   total CPU system time (s): 1.41059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38993 second user time and 16.4096 second system time

The end