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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496862-1751388168/watcher-4496862-1751388168 -o /tmp/evaluation-result-4496862-1751388168/solver-4496862-1751388168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751384418-64561 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4496862-1751388168.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=65531, runsolver pid=65528

[startup+0.100104 s]*
/proc/loadavg: 4.17 4.14 4.08 6/255 65535
/proc/meminfo: memFree=120736840/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=5608 memory=3968 CPUtime=0.08 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 543 0 0 0 8 0 0 0 20 0 1 0 54495927 5742592 992 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 1402 992 544 696 0 563 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9800 KiB
Current children cumulated memory: 7040 KiB

[startup+0.213257 s]*
/proc/loadavg: 4.17 4.14 4.08 5/255 65535
/proc/meminfo: memFree=120732744/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=6216 memory=4608 CPUtime=0.19 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 650 0 0 0 19 0 0 0 20 0 1 0 54495927 6365184 1152 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 1554 1152 576 696 0 715 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10408 KiB
Current children cumulated memory: 7680 KiB

[startup+0.31324 s]*
/proc/loadavg: 4.17 4.14 4.08 5/255 65535
/proc/meminfo: memFree=120720584/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=6216 memory=4608 CPUtime=0.29 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 656 0 0 0 29 0 0 0 20 0 1 0 54495927 6365184 1152 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 1554 1152 576 696 0 715 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10408 KiB
Current children cumulated memory: 7680 KiB

[startup+0.700403 s]
/proc/loadavg: 4.17 4.14 4.08 5/255 65535
/proc/meminfo: memFree=120667848/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=20848 memory=15648 CPUtime=0.66 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 3515 0 0 0 66 0 0 0 20 0 1 0 54495927 21348352 3912 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 5212 3912 576 696 0 4373 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 25040 KiB
Current children cumulated memory: 18720 KiB

[startup+1.5004 s]
/proc/loadavg: 4.17 4.14 4.08 5/255 65535
/proc/meminfo: memFree=120372344/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=236476 memory=224820 CPUtime=1.46 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 36618 0 0 0 135 11 0 0 20 0 1 0 54495927 242151424 56205 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 59119 56205 608 696 0 58280 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 240668 KiB
Current children cumulated memory: 227892 KiB

[startup+3.11308 s]
/proc/loadavg: 4.17 4.14 4.08 5/255 65535
/proc/meminfo: memFree=119394864/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=417032 memory=392904 CPUtime=3.07 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 49963 0 0 0 290 17 0 0 20 0 1 0 54495927 427040768 98226 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 104258 98226 608 696 0 103419 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 421224 KiB
Current children cumulated memory: 395976 KiB

[startup+6.30039 s]
/proc/loadavg: 4.15 4.13 4.08 5/255 65535
/proc/meminfo: memFree=119210552/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=465492 memory=441276 CPUtime=6.25 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 50908 0 0 0 607 18 0 0 20 0 1 0 54495927 476663808 110319 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 116373 110319 608 696 0 115534 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 469684 KiB
Current children cumulated memory: 444348 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.13 4.08 5/255 65535
/proc/meminfo: memFree=119046128/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=552032 memory=523480 CPUtime=12.62 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 58490 0 0 0 1235 27 0 0 20 0 1 0 54495927 565280768 130870 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 138008 130870 640 696 0 137169 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 556224 KiB
Current children cumulated memory: 526552 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.12 4.08 5/255 65535
/proc/meminfo: memFree=119124908/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=490240 memory=476124 CPUtime=25.39 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 64554 0 0 0 2502 37 0 0 20 0 1 0 54495927 502005760 119031 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 122560 119031 640 696 0 121721 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 494432 KiB
Current children cumulated memory: 479196 KiB

[startup+51.1131 s]
/proc/loadavg: 4.13 4.13 4.08 5/255 65536
/proc/meminfo: memFree=119256932/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=491204 memory=477076 CPUtime=50.93 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 66437 0 0 0 5054 39 0 0 20 0 1 0 54495927 502992896 119269 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 122801 119269 640 696 0 121962 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 495396 KiB
Current children cumulated memory: 480148 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 65538
/proc/meminfo: memFree=118668512/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=451756 memory=438188 CPUtime=101.96 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 69025 0 0 0 10154 42 0 0 20 0 1 0 54495927 462598144 109547 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 112939 109547 640 696 0 112100 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 455948 KiB
Current children cumulated memory: 441260 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 65539
/proc/meminfo: memFree=117831120/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=451756 memory=438420 CPUtime=161.78 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 71487 0 0 0 16134 44 0 0 20 0 1 0 54495927 462598144 109605 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 112939 109605 640 696 0 112100 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 455948 KiB
Current children cumulated memory: 441492 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/253 65541
/proc/meminfo: memFree=115569404/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=454668 memory=440472 CPUtime=221.6 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 73066 0 0 0 22114 46 0 0 20 0 1 0 54495927 465580032 110118 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 113667 110118 640 696 0 112828 0
Current children cumulated CPU time: 221.6 s

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

/proc/65535/statm: 144288 125441 640 696 0 143449 0
Current children cumulated CPU time: 3092.5 s
Current children cumulated vsize: 581344 KiB
Current children cumulated memory: 504836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/254 65739
/proc/meminfo: memFree=111853588/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=578972 memory=503584 CPUtime=3152.31 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 119113 0 0 0 315099 132 0 0 20 0 1 0 54495927 592867328 125896 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 144743 125896 640 696 0 143904 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 583164 KiB
Current children cumulated memory: 506656 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/254 65741
/proc/meminfo: memFree=111858864/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=581744 memory=506356 CPUtime=3212.13 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 119679 0 0 0 321079 134 0 0 20 0 1 0 54495927 595705856 126589 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 145436 126589 640 696 0 144597 0
Current children cumulated CPU time: 3212.13 s
Current children cumulated vsize: 585936 KiB
Current children cumulated memory: 509428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 65745
/proc/meminfo: memFree=111892596/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=578132 memory=502744 CPUtime=3271.93 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 120396 0 0 0 327058 135 0 0 20 0 1 0 54495927 592007168 125686 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 144533 125686 640 696 0 143694 0
Current children cumulated CPU time: 3271.93 s
Current children cumulated vsize: 582324 KiB
Current children cumulated memory: 505816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/254 65748
/proc/meminfo: memFree=111887964/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=579228 memory=503840 CPUtime=3331.74 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 120863 0 0 0 333038 136 0 0 20 0 1 0 54495927 593129472 125960 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 144807 125960 640 696 0 143968 0
Current children cumulated CPU time: 3331.74 s
Current children cumulated vsize: 583420 KiB
Current children cumulated memory: 506912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/254 65750
/proc/meminfo: memFree=111521388/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=580328 memory=504940 CPUtime=3391.56 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 121586 0 0 0 339019 137 0 0 20 0 1 0 54495927 594255872 126235 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 145082 126235 640 696 0 144243 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 584520 KiB
Current children cumulated memory: 508012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/254 65752
/proc/meminfo: memFree=111538036/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=578836 memory=503448 CPUtime=3451.38 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 122471 0 0 0 344999 139 0 0 20 0 1 0 54495927 592728064 125862 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 144709 125862 640 696 0 143870 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 583028 KiB
Current children cumulated memory: 506520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/255 65759
/proc/meminfo: memFree=111538952/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=578992 memory=503604 CPUtime=3511.19 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 122915 0 0 0 350979 140 0 0 20 0 1 0 54495927 592887808 125901 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 144748 125901 640 696 0 143909 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 583184 KiB
Current children cumulated memory: 506676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.69 4.27 4.16 4/250 65797
/proc/meminfo: memFree=120619404/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=579040 memory=503652 CPUtime=3570.99 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 123316 0 0 0 356958 141 0 0 20 0 1 0 54495927 592936960 125913 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 144760 125913 640 696 0 143921 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 583232 KiB
Current children cumulated memory: 506724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.60 4.29 4.17 5/256 66003
/proc/meminfo: memFree=118773472/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=580072 memory=504684 CPUtime=3600.07 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 123981 0 0 0 359862 145 0 0 20 0 1 0 54495927 593993728 126171 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 145018 126171 640 696 0 144179 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 584264 KiB
Current children cumulated memory: 507756 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.00067 s, system=0.009049 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3598.63 s, system=1.47571 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+3611.5 s]
/proc/loadavg: 4.60 4.29 4.17 5/256 66003
/proc/meminfo: memFree=118773472/131382112 swapFree=33010684/33010684
[pid=65531] ppid=65528 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/65531/stat : 65531 (naps-1.03a6.sh) S 65528 65531 64549 0 -1 4194304 228 205 0 0 0 0 0 0 20 0 1 0 54495925 4292608 768 18446744073709551615 94556430524416 94556431418949 140726920794832 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94556431658000 94556431705744 94556445356032 140726920796583 140726920796677 140726920796677 140726920802279 0
/proc/65531/statm: 1048 768 704 219 0 110 0
[pid=65535] ppid=65531 vsize=580072 memory=504684 CPUtime=3600.07 cores=1,3
/proc/65535/stat : 65535 (naps-1.03a6) R 65531 65531 64549 0 -1 4194304 123981 0 0 0 359862 145 0 0 20 0 1 0 54495927 593993728 126171 18446744073709551615 4198400 7047149 140728504578848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13586432 140728504584564 140728504584678 140728504584678 140728504590281 0
/proc/65535/statm: 145018 126171 640 696 0 144179 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 584264 KiB
Current children cumulated memory: 507756 KiB

Child status: 10

Real time (s): 3611.51
CPU time (s): 3600.11
CPU user time (s): 3598.63
CPU system time (s): 1.47571
CPU usage (%): 99.6842
Max. virtual memory (cumulated for all children) (KiB): 644704
Max. memory (cumulated for all children) (KiB): 602564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.47571
maximum resident set size= 599492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124415
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= 138
involuntary context switches= 1417


# summary of solver processes directly reported to runsolver:
#   pid: 65531,65535
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.63
#   total CPU system time (s): 1.47571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9388 second user time and 36.8099 second system time

The end