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: 64059 MiB (59697 MiB free)
  memory of node 1: 64510 MiB (63026 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434133-1721162706/watcher-4434133-1721162706 -o /tmp/evaluation-result-4434133-1721162706/solver-4434133-1721162706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721162579-870179 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434133-1721162706.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=870776, runsolver pid=870773

[startup+0.100096 s]*
/proc/loadavg: 3.97 3.88 4.03 6/252 870781
/proc/meminfo: memFree=125657904/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=16268 memory=14624 CPUtime=0.1 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 3287 0 0 0 10 0 0 0 20 0 1 0 168429327 16658432 3656 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 4067 3656 468 659 0 3271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26200 KiB
Current children cumulated memory: 17384 KiB

[startup+0.212949 s]*
/proc/loadavg: 3.97 3.88 4.03 5/252 870781
/proc/meminfo: memFree=125644120/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=29652 memory=27824 CPUtime=0.21 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 6625 0 0 0 20 1 0 0 20 0 1 0 168429327 30363648 6956 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 7413 6956 468 659 0 6617 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 30584 KiB

[startup+0.313254 s]*
/proc/loadavg: 3.97 3.88 4.03 5/252 870781
/proc/meminfo: memFree=125633368/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=41908 memory=39968 CPUtime=0.31 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 9653 0 0 0 30 1 0 0 20 0 1 0 168429327 42913792 9992 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 10477 9992 468 659 0 9681 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51840 KiB
Current children cumulated memory: 42728 KiB

[startup+0.700391 s]
/proc/loadavg: 3.97 3.88 4.03 5/252 870781
/proc/meminfo: memFree=125611048/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=82192 memory=80420 CPUtime=0.68 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 18197 0 0 0 65 3 0 0 20 0 1 0 168429327 84164608 20105 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 20548 20105 468 659 0 19752 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 92124 KiB
Current children cumulated memory: 83180 KiB

[startup+1.5004 s]
/proc/loadavg: 3.97 3.88 4.03 5/252 870781
/proc/meminfo: memFree=125558568/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=167860 memory=165244 CPUtime=1.48 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 37174 0 0 0 142 6 0 0 20 0 1 0 168429327 171888640 41311 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 41965 41311 468 659 0 41169 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 177792 KiB
Current children cumulated memory: 168004 KiB

[startup+3.11318 s]
/proc/loadavg: 3.97 3.88 4.03 5/252 870783
/proc/meminfo: memFree=125435500/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=243252 memory=234080 CPUtime=3.09 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 51268 0 0 0 300 9 0 0 20 0 1 0 168429327 249090048 58520 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 60813 58520 468 659 0 60017 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 253184 KiB
Current children cumulated memory: 236840 KiB

[startup+6.30041 s]
/proc/loadavg: 3.97 3.88 4.03 5/252 870783
/proc/meminfo: memFree=125425912/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=254720 memory=243608 CPUtime=6.27 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 52134 0 0 0 617 10 0 0 20 0 1 0 168429327 260833280 60902 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 63680 60902 468 659 0 62884 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 264652 KiB
Current children cumulated memory: 246368 KiB

[startup+12.7004 s]
/proc/loadavg: 4.05 3.90 4.03 5/252 870784
/proc/meminfo: memFree=125421016/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=257060 memory=248516 CPUtime=12.64 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 52857 0 0 0 1254 10 0 0 20 0 1 0 168429327 263229440 62129 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 64265 62129 468 659 0 63469 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 266992 KiB
Current children cumulated memory: 251276 KiB

[startup+25.5004 s]
/proc/loadavg: 4.04 3.91 4.03 5/252 870786
/proc/meminfo: memFree=125425764/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=271384 memory=246748 CPUtime=25.39 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 54348 0 0 0 2528 11 0 0 20 0 1 0 168429327 277897216 61687 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 67846 61687 468 659 0 67050 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 281316 KiB
Current children cumulated memory: 249508 KiB

[startup+51.1132 s]
/proc/loadavg: 4.08 3.93 4.04 5/252 870790
/proc/meminfo: memFree=125359404/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=278812 memory=268476 CPUtime=50.92 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 55332 0 0 0 5079 13 0 0 20 0 1 0 168429327 285503488 67119 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 69703 67119 468 659 0 68907 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 288744 KiB
Current children cumulated memory: 271236 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 3.95 4.03 5/249 870800
/proc/meminfo: memFree=125360824/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=309160 memory=280768 CPUtime=101.9 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 55621 0 0 0 10177 13 0 0 20 0 1 0 168429327 316579840 70192 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 77290 70192 468 659 0 76494 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 319092 KiB
Current children cumulated memory: 283528 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.99 4.04 5/245 870810
/proc/meminfo: memFree=125355836/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=309160 memory=282816 CPUtime=161.65 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 55932 0 0 0 16151 14 0 0 20 0 1 0 168429327 316579840 70704 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 77290 70704 468 659 0 76494 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 319092 KiB
Current children cumulated memory: 285576 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.02 4.04 5/245 870820
/proc/meminfo: memFree=125339024/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=309160 memory=282816 CPUtime=221.41 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 56803 0 0 0 22124 17 0 0 20 0 1 0 168429327 316579840 70704 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 77290 70704 468 659 0 76494 0
Current children cumulated CPU time: 221.41 s

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

/proc/loadavg: 4.12 4.13 4.16 5/247 872666
/proc/meminfo: memFree=124762912/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=409884 memory=382764 CPUtime=3090.94 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 93938 0 0 0 309004 90 0 0 20 0 1 0 168429327 419721216 95691 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 102471 95691 468 659 0 101675 0
Current children cumulated CPU time: 3090.94 s
Current children cumulated vsize: 419816 KiB
Current children cumulated memory: 385524 KiB

[startup+3162.3 s]
/proc/loadavg: 4.33 4.17 4.17 5/247 872676
/proc/meminfo: memFree=124730376/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=459972 memory=410616 CPUtime=3150.7 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 94313 0 0 0 314979 91 0 0 20 0 1 0 168429327 471011328 102654 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 114993 102654 468 659 0 114197 0
Current children cumulated CPU time: 3150.7 s
Current children cumulated vsize: 469904 KiB
Current children cumulated memory: 413376 KiB

[startup+3222.3 s]
/proc/loadavg: 4.69 4.32 4.22 5/245 872686
/proc/meminfo: memFree=124786512/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=380024 memory=371104 CPUtime=3210.46 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 94848 0 0 0 320954 92 0 0 20 0 1 0 168429327 389144576 92776 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 95006 92776 468 659 0 94210 0
Current children cumulated CPU time: 3210.46 s
Current children cumulated vsize: 389956 KiB
Current children cumulated memory: 373864 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.28 4.21 5/245 872697
/proc/meminfo: memFree=124712344/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=460932 memory=409400 CPUtime=3270.21 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 95828 0 0 0 326928 93 0 0 20 0 1 0 168429327 471994368 102350 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 115233 102350 468 659 0 114437 0
Current children cumulated CPU time: 3270.21 s
Current children cumulated vsize: 470864 KiB
Current children cumulated memory: 412160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.24 4.20 5/248 872712
/proc/meminfo: memFree=124792184/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=334012 memory=327216 CPUtime=3330 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 95915 0 0 0 332905 95 0 0 20 0 1 0 168429327 342028288 81804 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 83503 81804 468 659 0 82707 0
Current children cumulated CPU time: 3330 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 329976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/248 872722
/proc/meminfo: memFree=124715220/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=414152 memory=393176 CPUtime=3389.79 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 97670 0 0 0 338883 96 0 0 20 0 1 0 168429327 424091648 98294 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 103538 98294 468 659 0 102742 0
Current children cumulated CPU time: 3389.79 s
Current children cumulated vsize: 424084 KiB
Current children cumulated memory: 395936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/248 872733
/proc/meminfo: memFree=124689396/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=464240 memory=424996 CPUtime=3449.58 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 98054 0 0 0 344861 97 0 0 20 0 1 0 168429327 475381760 106249 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 116060 106249 468 659 0 115264 0
Current children cumulated CPU time: 3449.58 s
Current children cumulated vsize: 474172 KiB
Current children cumulated memory: 427756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/248 872793
/proc/meminfo: memFree=124258588/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=383332 memory=366116 CPUtime=3509.37 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 98404 0 0 0 350838 99 0 0 20 0 1 0 168429327 392531968 91529 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 95833 91529 468 659 0 95037 0
Current children cumulated CPU time: 3509.37 s
Current children cumulated vsize: 393264 KiB
Current children cumulated memory: 368876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.15 4.17 5/248 872804
/proc/meminfo: memFree=124196288/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=414152 memory=405464 CPUtime=3569.15 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 99058 0 0 0 356815 100 0 0 20 0 1 0 168429327 424091648 101366 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 103538 101366 468 659 0 102742 0
Current children cumulated CPU time: 3569.15 s
Current children cumulated vsize: 424084 KiB
Current children cumulated memory: 408224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/248 872809
/proc/meminfo: memFree=124202412/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=464240 memory=422948 CPUtime=3600.03 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 99418 0 0 0 359903 100 0 0 20 0 1 0 168429327 475381760 105737 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 116060 105737 468 659 0 115264 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 474172 KiB
Current children cumulated memory: 425708 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.04 s, system=1.01486 s

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

[startup+3613.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/248 872809
/proc/meminfo: memFree=124202412/131655788 swapFree=131071996/131071996
[pid=870776] ppid=870773 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/870776/stat : 870776 (naps-1.03.sh) S 870773 870776 870169 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 168429326 10170368 690 134679101440 94693508726784 94693509806104 140727685741952 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94693511904560 94693511951748 94693530812416 140727685747680 140727685747809 140727685747809 140727685754824 0
/proc/870776/statm: 2483 690 611 264 0 134 0
[pid=870781] ppid=870776 vsize=464240 memory=422948 CPUtime=3600.03 cores=0,2
/proc/870781/stat : 870781 (naps-1.03) R 870776 870776 870169 0 -1 4194304 99418 0 0 0 359903 100 0 0 20 0 1 0 168429327 475381760 105737 134679101440 4194304 6891213 140735500392256 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16887808 140735500395505 140735500395621 140735500395621 140735500402635 0
/proc/870781/statm: 116060 105737 468 659 0 115264 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 474172 KiB
Current children cumulated memory: 425708 KiB

Child status: 10

Real time (s): 3613.3
CPU time (s): 3600.06
CPU user time (s): 3599.04
CPU system time (s): 1.01486
CPU usage (%): 99.6334
Max. virtual memory (cumulated for all children) (KiB): 474172
Max. memory (cumulated for all children) (KiB): 448364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.01486
maximum resident set size= 445604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99895
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= 71
involuntary context switches= 24650


# summary of solver processes directly reported to runsolver:
#   pid: 870776
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.04
#   total CPU system time (s): 1.01486

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.345 second user time and 36.1637 second system time

The end