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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522358-1751586097/watcher-4522358-1751586097 -o /tmp/evaluation-result-4522358-1751586097/solver-4522358-1751586097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751582056-81472 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4522358-1751586097.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=82518, runsolver pid=82515
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.18 4.12 4.10 5/268 82522
/proc/meminfo: memFree=101962452/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=8416 memory=6784 CPUtime=0.08 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 1234 0 0 0 8 0 0 0 20 0 1 0 74288314 8617984 1696 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 2104 1696 544 696 0 1265 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 12608 KiB
Current children cumulated memory: 9856 KiB

[startup+0.205839 s]*
/proc/loadavg: 4.18 4.12 4.10 5/268 82522
/proc/meminfo: memFree=101961696/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=11292 memory=9600 CPUtime=0.18 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 1976 0 0 0 18 0 0 0 20 0 1 0 74288314 11563008 2400 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 2823 2400 544 696 0 1984 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 15484 KiB
Current children cumulated memory: 12672 KiB

[startup+0.305751 s]*
/proc/loadavg: 4.18 4.12 4.10 5/268 82522
/proc/meminfo: memFree=101961696/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=11292 memory=9600 CPUtime=0.28 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 1983 0 0 0 28 0 0 0 20 0 1 0 74288314 11563008 2400 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 2823 2400 544 696 0 1984 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 15484 KiB
Current children cumulated memory: 12672 KiB

[startup+0.700182 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 82522
/proc/meminfo: memFree=101960688/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=11292 memory=9600 CPUtime=0.67 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 1992 0 0 0 67 0 0 0 20 0 1 0 74288314 11563008 2400 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 2823 2400 544 696 0 1984 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 15484 KiB
Current children cumulated memory: 12672 KiB

[startup+1.50019 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 82522
/proc/meminfo: memFree=101912692/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=130212 memory=127388 CPUtime=1.46 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 21510 0 0 0 141 5 0 0 20 0 1 0 74288314 133337088 31847 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 32553 31847 544 696 0 31714 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 134404 KiB
Current children cumulated memory: 130460 KiB

[startup+3.10564 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 82522
/proc/meminfo: memFree=101711036/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=270780 memory=262992 CPUtime=3.07 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 54902 0 0 0 295 12 0 0 20 0 1 0 74288314 277278720 65748 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 67695 65748 544 696 0 66856 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 274972 KiB
Current children cumulated memory: 266064 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 82522
/proc/meminfo: memFree=101456824/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=519844 memory=505304 CPUtime=6.26 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 113973 0 0 0 604 22 0 0 20 0 1 0 74288314 532320256 126326 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 129961 126326 544 696 0 129122 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 524036 KiB
Current children cumulated memory: 508376 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 82522
/proc/meminfo: memFree=100242056/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=965552 memory=963900 CPUtime=12.64 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 216185 0 0 0 1222 42 0 0 20 0 1 0 74288314 988725248 240975 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 241388 240975 544 696 0 240549 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 969744 KiB
Current children cumulated memory: 966972 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 82524
/proc/meminfo: memFree=100892864/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=1208756 memory=1179024 CPUtime=25.4 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 222958 0 0 0 2493 47 0 0 20 0 1 0 74288314 1237766144 294756 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 302189 294756 544 696 0 301350 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1212948 KiB
Current children cumulated memory: 1182096 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 82524
/proc/meminfo: memFree=100501856/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=1295188 memory=1261776 CPUtime=50.93 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 255149 0 0 0 5040 53 0 0 20 0 1 0 74288314 1326272512 315444 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 323797 315444 544 696 0 322958 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1299380 KiB
Current children cumulated memory: 1264848 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 82526
/proc/meminfo: memFree=96840532/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5307316 memory=5071648 CPUtime=101.97 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 512381 0 0 0 10017 180 0 0 20 0 1 0 74288314 5434691584 1267912 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1326829 1267912 608 696 0 1325990 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 5311508 KiB
Current children cumulated memory: 5074720 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 82529
/proc/meminfo: memFree=96644324/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5450344 memory=5084512 CPUtime=161.79 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 517206 0 0 0 15993 186 0 0 20 0 1 0 74288314 5581152256 1271128 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1362586 1271128 608 696 0 1361747 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 5454536 KiB
Current children cumulated memory: 5087584 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 82531
/proc/meminfo: memFree=96488804/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5746136 memory=5380428 CPUtime=221.62 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 529002 0 0 0 21905 257 0 0 20 0 1 0 74288314 5884043264 1345107 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1436534 1345107 608 696 0 1435695 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 5750328 KiB

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

/proc/82522/statm: 1484765 1405992 608 696 0 1483926 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 5943252 KiB
Current children cumulated memory: 5627040 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/268 82696
/proc/meminfo: memFree=85470500/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5939060 memory=5623968 CPUtime=3153.13 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 732718 0 0 0 314105 1208 0 0 20 0 1 0 74288314 6081597440 1405992 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1484765 1405992 608 696 0 1483926 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 5943252 KiB
Current children cumulated memory: 5627040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 82794
/proc/meminfo: memFree=84147124/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5939060 memory=5623968 CPUtime=3212.96 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 733233 0 0 0 320085 1211 0 0 20 0 1 0 74288314 6081597440 1405992 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1484765 1405992 608 696 0 1483926 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 5943252 KiB
Current children cumulated memory: 5627040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 82802
/proc/meminfo: memFree=77917648/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5939060 memory=5623968 CPUtime=3272.8 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 733895 0 0 0 326067 1213 0 0 20 0 1 0 74288314 6081597440 1405992 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1484765 1405992 608 696 0 1483926 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 5943252 KiB
Current children cumulated memory: 5627040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/271 82862
/proc/meminfo: memFree=89087328/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5939060 memory=5623968 CPUtime=3332.64 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 734629 0 0 0 332050 1214 0 0 20 0 1 0 74288314 6081597440 1405992 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1484765 1405992 608 696 0 1483926 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 5943252 KiB
Current children cumulated memory: 5627040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 82866
/proc/meminfo: memFree=83421720/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5939060 memory=5623968 CPUtime=3392.48 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 735261 0 0 0 338031 1217 0 0 20 0 1 0 74288314 6081597440 1405992 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1484765 1405992 608 696 0 1483926 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 5943252 KiB
Current children cumulated memory: 5627040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 82868
/proc/meminfo: memFree=83364976/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5947152 memory=5632068 CPUtime=3452.3 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 737137 0 0 0 343998 1232 0 0 20 0 1 0 74288314 6089883648 1408017 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1486788 1408017 608 696 0 1485949 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 5951344 KiB
Current children cumulated memory: 5635140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 82918
/proc/meminfo: memFree=98814376/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5947152 memory=5632068 CPUtime=3512.11 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 738025 0 0 0 349978 1233 0 0 20 0 1 0 74288314 6089883648 1408017 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1486788 1408017 608 696 0 1485949 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 5951344 KiB
Current children cumulated memory: 5635140 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 82921
/proc/meminfo: memFree=98774264/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5947152 memory=5632068 CPUtime=3571.92 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 738546 0 0 0 355957 1235 0 0 20 0 1 0 74288314 6089883648 1408017 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1486788 1408017 608 696 0 1485949 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 5951344 KiB
Current children cumulated memory: 5635140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.17 4.12 4.10 5/271 82921
/proc/meminfo: memFree=98776784/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5947152 memory=5632068 CPUtime=3600.03 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 739004 0 0 0 358767 1236 0 0 20 0 1 0 74288314 6089883648 1408017 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1486788 1408017 608 696 0 1485949 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5951344 KiB
Current children cumulated memory: 5635140 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.5 s]
# the end of solver process 82518 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000402 s, system=0.004063 s

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

# cumulated CPU time of all completed processes:  user=3587.67 s, system=12.4709 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.5 s]
/proc/loadavg: 4.17 4.12 4.10 5/271 82921
/proc/meminfo: memFree=98776784/131249996 swapFree=33010160/33010684
[pid=82518] ppid=82515 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82518/stat : 82518 (naps-1.03a6.sh) S 82515 82518 81459 0 -1 4194304 229 206 0 0 0 0 0 0 20 0 1 0 74288313 4292608 768 18446744073709551615 94814995681280 94814996575813 140725317479776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94814996814864 94814996862608 94815027642368 140725317482919 140725317483013 140725317483013 140725317488615 0
/proc/82518/statm: 1048 768 704 219 0 110 0
[pid=82522] ppid=82518 vsize=5947152 memory=5632068 CPUtime=3600.03 cores=5,7
/proc/82522/stat : 82522 (naps-1.03a6) R 82518 82518 81459 0 -1 4194304 739004 0 0 0 358767 1236 0 0 20 0 1 0 74288314 6089883648 1408017 18446744073709551615 4198400 7047149 140728802733488 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23678976 140728802740596 140728802740710 140728802740710 140728802746313 0
/proc/82522/statm: 1486788 1408017 608 696 0 1485949 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5951344 KiB
Current children cumulated memory: 5635140 KiB

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.14
CPU user time (s): 3587.67
CPU system time (s): 12.4709
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 8340636
Max. memory (cumulated for all children) (KiB): 7820940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 12.4709
maximum resident set size= 7817868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 739440
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= 170
involuntary context switches= 19112


# summary of solver processes directly reported to runsolver:
#   pid: 82518,82522
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3587.67
#   total CPU system time (s): 12.4709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87163 second user time and 16.7154 second system time

The end