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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=76386, runsolver pid=76383
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.06 4.02 3.36 5/268 76390
/proc/meminfo: memFree=92777080/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=19844 memory=18216 CPUtime=0.07 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 4621 0 0 0 7 0 0 0 20 0 1 0 70071396 20320256 4554 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 4961 4554 608 696 0 4122 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 24036 KiB
Current children cumulated memory: 21160 KiB

[startup+0.20584 s]*
/proc/loadavg: 4.06 4.02 3.36 5/268 76390
/proc/meminfo: memFree=92777080/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=21172 memory=18984 CPUtime=0.17 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 4835 0 0 0 17 0 0 0 20 0 1 0 70071396 21680128 4746 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 5293 4746 608 696 0 4454 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 25364 KiB
Current children cumulated memory: 21928 KiB

[startup+0.305653 s]*
/proc/loadavg: 4.06 4.02 3.36 5/268 76390
/proc/meminfo: memFree=92777080/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=22996 memory=20904 CPUtime=0.28 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 5294 0 0 0 27 1 0 0 20 0 1 0 70071396 23547904 5226 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 5749 5226 608 696 0 4910 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27188 KiB
Current children cumulated memory: 23848 KiB

[startup+0.700215 s]
/proc/loadavg: 4.06 4.02 3.36 5/268 76390
/proc/meminfo: memFree=92777080/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=31052 memory=28532 CPUtime=0.66 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 9322 0 0 0 65 1 0 0 20 0 1 0 70071396 31797248 7133 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 7763 7133 608 696 0 6924 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 35244 KiB
Current children cumulated memory: 31476 KiB

[startup+1.50022 s]
/proc/loadavg: 4.06 4.02 3.36 5/268 76390
/proc/meminfo: memFree=92777332/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=31228 memory=29248 CPUtime=1.46 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 10590 0 0 0 145 1 0 0 20 0 1 0 70071396 31977472 7312 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 7807 7312 608 696 0 6968 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 35420 KiB
Current children cumulated memory: 32192 KiB

[startup+3.10554 s]
/proc/loadavg: 4.05 4.01 3.36 5/268 76390
/proc/meminfo: memFree=92777352/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=32064 memory=30016 CPUtime=3.07 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 11174 0 0 0 305 2 0 0 20 0 1 0 70071396 32833536 7504 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 8016 7504 608 696 0 7177 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 32960 KiB

[startup+6.30021 s]
/proc/loadavg: 4.05 4.01 3.36 5/268 76390
/proc/meminfo: memFree=92770164/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=30448 memory=28476 CPUtime=6.25 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 14358 0 0 0 622 3 0 0 20 0 1 0 70071396 31178752 7119 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 7612 7119 608 696 0 6773 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 31420 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.01 3.37 5/268 76390
/proc/meminfo: memFree=92761972/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=34880 memory=32872 CPUtime=12.63 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 16855 0 0 0 1260 3 0 0 20 0 1 0 70071396 35717120 8218 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 8720 8218 608 696 0 7881 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 35816 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.03 3.38 5/268 76390
/proc/meminfo: memFree=90233988/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=39500 memory=37488 CPUtime=25.39 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 19725 0 0 0 2534 5 0 0 20 0 1 0 70071396 40448000 9372 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 9875 9372 608 696 0 9036 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 40432 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.03 3.40 5/269 76392
/proc/meminfo: memFree=92469020/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=57260 memory=54776 CPUtime=50.93 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 23451 0 0 0 5085 8 0 0 20 0 1 0 70071396 58634240 13694 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 14315 13694 608 696 0 13476 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 61452 KiB
Current children cumulated memory: 57720 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.04 3.44 5/269 76394
/proc/meminfo: memFree=94986808/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=102116 memory=100100 CPUtime=101.99 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 26425 0 0 0 10187 12 0 0 20 0 1 0 70071396 104566784 25025 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 25529 25025 608 696 0 24690 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 106308 KiB
Current children cumulated memory: 103044 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.06 3.49 5/269 76407
/proc/meminfo: memFree=96530304/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=130764 memory=128744 CPUtime=161.82 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 26963 0 0 0 16169 13 0 0 20 0 1 0 70071396 133902336 32186 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 32691 32186 608 696 0 31852 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 134956 KiB
Current children cumulated memory: 131688 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.05 3.52 5/269 76410
/proc/meminfo: memFree=96239972/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=100836 memory=99140 CPUtime=221.66 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 34444 0 0 0 22144 22 0 0 20 0 1 0 70071396 103256064 24785 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 25209 24785 608 696 0 24370 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 105028 KiB

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

/proc/76390/statm: 44584 44069 608 696 0 43745 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 182528 KiB
Current children cumulated memory: 179220 KiB

[startup+3102.3 s]
/proc/loadavg: 1.08 1.42 2.54 2/248 76649
/proc/meminfo: memFree=113015076/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=179992 memory=177736 CPUtime=3093.85 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 192133 0 0 0 309092 293 0 0 20 0 1 0 70071396 184311808 44434 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 44998 44434 608 696 0 44159 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 184184 KiB
Current children cumulated memory: 180680 KiB

[startup+3162.3 s]
/proc/loadavg: 1.07 1.35 2.44 2/248 76653
/proc/meminfo: memFree=113011896/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=182756 memory=180076 CPUtime=3153.71 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 194725 0 0 0 315074 297 0 0 20 0 1 0 70071396 187142144 45019 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 45689 45019 608 696 0 44850 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 186948 KiB
Current children cumulated memory: 183020 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.32 2.36 2/247 76655
/proc/meminfo: memFree=113008476/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=188788 memory=186888 CPUtime=3213.58 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 197291 0 0 0 321057 301 0 0 20 0 1 0 70071396 193318912 46722 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 47197 46722 608 696 0 46358 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 192980 KiB
Current children cumulated memory: 189832 KiB

[startup+3282.3 s]
/proc/loadavg: 1.04 1.26 2.27 2/248 76658
/proc/meminfo: memFree=112935700/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=260492 memory=258680 CPUtime=3273.44 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 203386 0 0 0 327037 307 0 0 20 0 1 0 70071396 266743808 64670 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 65123 64670 608 696 0 64284 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 264684 KiB
Current children cumulated memory: 261624 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.24 2.20 2/248 76660
/proc/meminfo: memFree=112910444/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=287244 memory=284628 CPUtime=3333.31 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 209321 0 0 0 333013 318 0 0 20 0 1 0 70071396 294137856 71157 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 71811 71157 608 696 0 70972 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 291436 KiB
Current children cumulated memory: 287572 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.21 2.13 2/248 76662
/proc/meminfo: memFree=112864920/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=339988 memory=336996 CPUtime=3393.18 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 223006 0 0 0 338988 330 0 0 20 0 1 0 70071396 348147712 84249 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 84997 84249 608 696 0 84158 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 344180 KiB
Current children cumulated memory: 339940 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.18 2.06 2/248 76669
/proc/meminfo: memFree=112850156/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=350044 memory=347064 CPUtime=3453.04 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 225703 0 0 0 344965 339 0 0 20 0 1 0 70071396 358445056 86766 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 87511 86766 608 696 0 86672 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 354236 KiB
Current children cumulated memory: 350008 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.16 2.00 2/248 76672
/proc/meminfo: memFree=112858820/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=337184 memory=335484 CPUtime=3512.9 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 227265 0 0 0 350941 349 0 0 20 0 1 0 70071396 345276416 83871 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 84296 83871 608 696 0 83457 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 341376 KiB
Current children cumulated memory: 338428 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.15 1.94 2/247 76674
/proc/meminfo: memFree=112642436/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=556160 memory=552036 CPUtime=3572.76 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 248575 0 0 0 356914 362 0 0 20 0 1 0 70071396 569507840 138009 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 139040 138009 608 696 0 138201 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 560352 KiB
Current children cumulated memory: 554980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 1.12 1.15 1.92 2/248 76679
/proc/meminfo: memFree=112651484/131249996 swapFree=33010160/33010684
[pid=76386] ppid=76383 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76386/stat : 76386 (naps-1.03a6.sh) S 76383 76386 75000 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 70071394 4292608 736 18446744073709551615 93930983698432 93930984592965 140726012556336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930984832016 93930984879760 93931000598528 140726012557735 140726012557829 140726012557829 140726012563431 0
/proc/76386/statm: 1048 736 672 219 0 110 0
[pid=76390] ppid=76386 vsize=547248 memory=544180 CPUtime=3600 cores=4,6
/proc/76390/stat : 76390 (naps-1.03a6) R 76386 76386 75000 0 -1 4194304 249476 0 0 0 359632 368 0 0 20 0 1 0 70071396 560381952 136045 18446744073709551615 4198400 7047149 140734955153712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30343168 140734955161972 140734955162086 140734955162086 140734955167689 0
/proc/76390/statm: 136812 136045 608 696 0 135973 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 551440 KiB
Current children cumulated memory: 547124 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001126 s, system=0.00322 s

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

# cumulated CPU time of all completed processes:  user=3596.33 s, system=3.69403 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

Child status: 10

Real time (s): 3609.61
CPU time (s): 3600.02
CPU user time (s): 3596.33
CPU system time (s): 3.69403
CPU usage (%): 99.7345
Max. virtual memory (cumulated for all children) (KiB): 800052
Max. memory (cumulated for all children) (KiB): 795720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.33
system time used= 3.69403
maximum resident set size= 792776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 2399


# summary of solver processes directly reported to runsolver:
#   pid: 76386,76390
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.33
#   total CPU system time (s): 3.69403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26029 second user time and 16.4379 second system time

The end