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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519000-1751550548/watcher-4519000-1751550548 -o /tmp/evaluation-result-4519000-1751550548/solver-4519000-1751550548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751550548-79625 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4519000-1751550548.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79675, runsolver pid=79666
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 0.79 1.10 1.48 5/266 79697
/proc/meminfo: memFree=127873088/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=9252 memory=7628 CPUtime=0.07 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 1521 0 0 0 7 0 0 0 20 0 1 0 70677344 9474048 1907 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 2313 1907 576 696 0 1474 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13444 KiB
Current children cumulated memory: 10700 KiB

[startup+0.205683 s]*
/proc/loadavg: 0.79 1.10 1.48 4/264 79705
/proc/meminfo: memFree=127866064/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=17256 memory=14804 CPUtime=0.17 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 3587 0 0 0 17 0 0 0 20 0 1 0 70677344 17670144 3701 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 4314 3701 608 696 0 3475 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 21448 KiB
Current children cumulated memory: 17876 KiB

[startup+0.305733 s]*
/proc/loadavg: 0.79 1.10 1.48 5/264 79705
/proc/meminfo: memFree=127860020/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=18688 memory=16340 CPUtime=0.27 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 3950 0 0 0 27 0 0 0 20 0 1 0 70677344 19136512 4085 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 4672 4085 608 696 0 3833 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 22880 KiB
Current children cumulated memory: 19412 KiB

[startup+0.70017 s]
/proc/loadavg: 0.79 1.10 1.48 4/264 79705
/proc/meminfo: memFree=127853860/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=20444 memory=18476 CPUtime=0.66 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 6278 0 0 0 66 0 0 0 20 0 1 0 70677344 20934656 4619 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 5111 4619 640 696 0 4272 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 24636 KiB
Current children cumulated memory: 21548 KiB

[startup+1.50019 s]
/proc/loadavg: 0.79 1.10 1.48 4/264 79705
/proc/meminfo: memFree=127843304/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=22868 memory=20692 CPUtime=1.46 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 7266 0 0 0 145 1 0 0 20 0 1 0 70677344 23416832 5173 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 5717 5173 640 696 0 4878 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 27060 KiB
Current children cumulated memory: 23764 KiB

[startup+3.10524 s]
/proc/loadavg: 1.13 1.16 1.50 5/269 79745
/proc/meminfo: memFree=127842740/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=21444 memory=19092 CPUtime=3.06 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 9279 0 0 0 305 1 0 0 20 0 1 0 70677344 21958656 4773 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 5361 4773 640 696 0 4522 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 25636 KiB
Current children cumulated memory: 22164 KiB

[startup+6.30012 s]
/proc/loadavg: 1.13 1.16 1.50 5/269 79745
/proc/meminfo: memFree=127834404/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=20292 memory=18540 CPUtime=6.24 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 10815 0 0 0 623 1 0 0 20 0 1 0 70677344 20779008 4635 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 5073 4635 640 696 0 4234 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 24484 KiB
Current children cumulated memory: 21612 KiB

[startup+12.7002 s]
/proc/loadavg: 1.36 1.21 1.51 5/270 79794
/proc/meminfo: memFree=127816756/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=25140 memory=23192 CPUtime=12.62 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 13162 0 0 0 1261 1 0 0 20 0 1 0 70677344 25743360 5798 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 6285 5798 640 696 0 5446 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 29332 KiB
Current children cumulated memory: 26264 KiB

[startup+25.5002 s]
/proc/loadavg: 1.95 1.35 1.55 5/270 79795
/proc/meminfo: memFree=127801376/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=29124 memory=27168 CPUtime=25.39 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 14853 0 0 0 2537 2 0 0 20 0 1 0 70677344 29822976 6792 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 7281 6792 640 696 0 6442 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 33316 KiB
Current children cumulated memory: 30240 KiB

[startup+51.1055 s]
/proc/loadavg: 2.73 1.58 1.62 5/270 79795
/proc/meminfo: memFree=127790856/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=36252 memory=34336 CPUtime=50.92 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 16124 0 0 0 5090 2 0 0 20 0 1 0 70677344 37122048 8584 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 9063 8584 640 696 0 8224 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 37408 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.97 1.76 5/270 79797
/proc/meminfo: memFree=127767464/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=38752 memory=36836 CPUtime=101.96 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 21535 0 0 0 10192 4 0 0 20 0 1 0 70677344 39682048 9209 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 9688 9209 640 696 0 8849 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 42944 KiB
Current children cumulated memory: 39908 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 2.46 1.94 5/269 79799
/proc/meminfo: memFree=127720624/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=43812 memory=42212 CPUtime=161.78 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 22824 0 0 0 16174 4 0 0 20 0 1 0 70677344 44863488 10553 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 10953 10553 640 696 0 10114 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 48004 KiB
Current children cumulated memory: 45284 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 2.84 2.11 5/270 79802
/proc/meminfo: memFree=127699088/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=50944 memory=49380 CPUtime=221.6 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 26266 0 0 0 22154 6 0 0 20 0 1 0 70677344 52166656 12345 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 12736 12345 640 696 0 11897 0
Current children cumulated CPU time: 221.6 s

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

/proc/loadavg: 4.10 4.10 4.02 5/267 79953
/proc/meminfo: memFree=127443416/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=144740 memory=143076 CPUtime=3033.68 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 63525 0 0 0 303322 46 0 0 20 0 1 0 70677344 148213760 35769 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 36185 35769 640 696 0 35346 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 148932 KiB
Current children cumulated memory: 146148 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/268 79956
/proc/meminfo: memFree=127433448/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=144740 memory=143076 CPUtime=3093.5 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 63539 0 0 0 309303 47 0 0 20 0 1 0 70677344 148213760 35769 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 36185 35769 640 696 0 35346 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 148932 KiB
Current children cumulated memory: 146148 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/268 79958
/proc/meminfo: memFree=127410188/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=107784 memory=106364 CPUtime=3153.32 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 63935 0 0 0 315283 49 0 0 20 0 1 0 70677344 110370816 26591 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 26946 26591 640 696 0 26107 0
Current children cumulated CPU time: 3153.32 s
Current children cumulated vsize: 111976 KiB
Current children cumulated memory: 109436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.13 4.04 5/268 79960
/proc/meminfo: memFree=127365564/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=123800 memory=122212 CPUtime=3213.14 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 66770 0 0 0 321263 51 0 0 20 0 1 0 70677344 126771200 30553 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 30950 30553 640 696 0 30111 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 127992 KiB
Current children cumulated memory: 125284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.04 5/269 79965
/proc/meminfo: memFree=127381760/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=123800 memory=122212 CPUtime=3272.96 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 66807 0 0 0 327244 52 0 0 20 0 1 0 70677344 126771200 30553 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 30950 30553 640 696 0 30111 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 127992 KiB
Current children cumulated memory: 125284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/272 79975
/proc/meminfo: memFree=127422392/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=123800 memory=122212 CPUtime=3332.78 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 66817 0 0 0 333226 52 0 0 20 0 1 0 70677344 126771200 30553 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 30950 30553 640 696 0 30111 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 127992 KiB
Current children cumulated memory: 125284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/271 79977
/proc/meminfo: memFree=127343704/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=156444 memory=154812 CPUtime=3392.6 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 67314 0 0 0 339207 53 0 0 20 0 1 0 70677344 160198656 38703 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 39111 38703 640 696 0 38272 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 160636 KiB
Current children cumulated memory: 157884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/271 79979
/proc/meminfo: memFree=127330964/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=138700 memory=137132 CPUtime=3452.42 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 68026 0 0 0 345189 53 0 0 20 0 1 0 70677344 142028800 34283 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 34675 34283 640 696 0 33836 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 140204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/271 79980
/proc/meminfo: memFree=127401536/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=112544 memory=108236 CPUtime=3512.24 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 70879 0 0 0 351168 56 0 0 20 0 1 0 70677344 115245056 27059 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 28136 27059 640 696 0 27297 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 116736 KiB
Current children cumulated memory: 111308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/271 79982
/proc/meminfo: memFree=127412904/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=116532 memory=112928 CPUtime=3572.05 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 71681 0 0 0 357149 56 0 0 20 0 1 0 70677344 119328768 28232 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 29133 28232 640 696 0 28294 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 120724 KiB
Current children cumulated memory: 116000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.09 4.11 4.05 5/271 79983
/proc/meminfo: memFree=127367312/131250000 swapFree=33010684/33010684
[pid=79675] ppid=79666 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/79675/stat : 79675 (naps-1.03a6.sh) S 79666 79675 79615 0 -1 4194304 230 206 0 0 0 0 0 0 20 0 1 0 70677342 4292608 768 18446744073709551615 94378006794240 94378007688773 140728106406832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94378007927824 94378007975568 94378030788608 140728106412455 140728106412549 140728106412549 140728106418151 0
/proc/79675/statm: 1048 768 704 219 0 110 0
[pid=79690] ppid=79675 vsize=116604 memory=115012 CPUtime=3600.07 cores=0,2
/proc/79690/stat : 79690 (naps-1.03a6) R 79675 79675 79615 0 -1 4194304 72810 0 0 0 359949 58 0 0 20 0 1 0 70677344 119402496 28753 18446744073709551615 4198400 7047149 140724213993536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27938816 140724213995892 140724213996006 140724213996006 140724214001609 0
/proc/79690/statm: 29151 28753 640 696 0 28312 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 120796 KiB
Current children cumulated memory: 118084 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.49 s, system=0.58587 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.4
CPU time (s): 3600.08
CPU user time (s): 3599.49
CPU system time (s): 0.58587
CPU usage (%): 99.7141
Max. virtual memory (cumulated for all children) (KiB): 181796
Max. memory (cumulated for all children) (KiB): 179168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.58587
maximum resident set size= 179792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73258
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= 280
involuntary context switches= 5109


# summary of solver processes directly reported to runsolver:
#   pid: 79675
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.49
#   total CPU system time (s): 0.58587

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13206 second user time and 17.746 second system time

The end