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: 63968 MiB (61363 MiB free)
  memory of node 1: 64473 MiB (61748 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434316-1721060057/watcher-4434316-1721060057 -o /tmp/evaluation-result-4434316-1721060057/solver-4434316-1721060057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721056269-812987 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434316-1721060057.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
solver pid=815393, runsolver pid=815390
Current StackSize limit: 8192 KiB


[startup+0.100943 s]*
/proc/loadavg: 4.11 4.12 4.09 6/261 815398
/proc/meminfo: memFree=126062568/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=6936 memory=5544 CPUtime=0.1 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 940 0 0 0 10 0 0 0 20 0 1 0 158176266 7102464 1386 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 1734 1386 580 659 0 938 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 16868 KiB
Current children cumulated memory: 8304 KiB

[startup+0.205764 s]*
/proc/loadavg: 4.11 4.12 4.09 5/261 815398
/proc/meminfo: memFree=126060560/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=9436 memory=8016 CPUtime=0.2 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 1595 0 0 0 20 0 0 0 20 0 1 0 158176266 9662464 2004 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 2359 2004 580 659 0 1563 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19368 KiB
Current children cumulated memory: 10776 KiB

[startup+0.305921 s]*
/proc/loadavg: 4.11 4.12 4.09 5/261 815398
/proc/meminfo: memFree=126058028/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=11928 memory=10172 CPUtime=0.29 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 2266 0 0 0 29 0 0 0 20 0 1 0 158176266 12214272 2543 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 2982 2543 580 659 0 2186 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21860 KiB
Current children cumulated memory: 12932 KiB

[startup+0.700274 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 815398
/proc/meminfo: memFree=126053516/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=54712 memory=51584 CPUtime=0.68 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 12921 0 0 0 66 2 0 0 20 0 1 0 158176266 56025088 12896 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 13678 12896 628 659 0 12882 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64644 KiB
Current children cumulated memory: 54344 KiB

[startup+1.50025 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 815400
/proc/meminfo: memFree=126015604/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=55580 memory=52376 CPUtime=1.48 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 13129 0 0 0 146 2 0 0 20 0 1 0 158176266 56913920 13094 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 13895 13094 628 659 0 13099 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65512 KiB
Current children cumulated memory: 55136 KiB

[startup+3.10595 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 815400
/proc/meminfo: memFree=126009832/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=59208 memory=55204 CPUtime=3.08 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 16824 0 0 0 305 3 0 0 20 0 1 0 158176266 60628992 13801 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 14802 13801 644 659 0 14006 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 69140 KiB
Current children cumulated memory: 57964 KiB

[startup+6.30024 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 815400
/proc/meminfo: memFree=126003452/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=64568 memory=62056 CPUtime=6.27 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 18653 0 0 0 623 4 0 0 20 0 1 0 158176266 66117632 15514 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 16142 15514 660 659 0 15346 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74500 KiB
Current children cumulated memory: 64816 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 815401
/proc/meminfo: memFree=125999828/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=67968 memory=65468 CPUtime=12.64 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 19519 0 0 0 1260 4 0 0 20 0 1 0 158176266 69599232 16367 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 16992 16367 660 659 0 16196 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 77900 KiB
Current children cumulated memory: 68228 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/261 815403
/proc/meminfo: memFree=126004812/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=73028 memory=70444 CPUtime=25.4 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 20790 0 0 0 2536 4 0 0 20 0 1 0 158176266 74780672 17611 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 18257 17611 660 659 0 17461 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 82960 KiB
Current children cumulated memory: 73204 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 815407
/proc/meminfo: memFree=125982888/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=76844 memory=74380 CPUtime=50.92 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 21772 0 0 0 5088 4 0 0 20 0 1 0 158176266 78688256 18595 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 19211 18595 660 659 0 18415 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 86776 KiB
Current children cumulated memory: 77140 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 815416
/proc/meminfo: memFree=125977780/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=80736 memory=78268 CPUtime=101.95 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 24147 0 0 0 10190 5 0 0 20 0 1 0 158176266 82673664 19567 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 20184 19567 660 659 0 19388 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 90668 KiB
Current children cumulated memory: 81028 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 815426
/proc/meminfo: memFree=125991284/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=88736 memory=86240 CPUtime=161.75 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 36285 0 0 0 16165 10 0 0 20 0 1 0 158176266 90865664 21560 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 22184 21560 660 659 0 21388 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 98668 KiB
Current children cumulated memory: 89000 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 815437
/proc/meminfo: memFree=125982228/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=67472 memory=65220 CPUtime=221.56 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 40401 0 0 0 22144 12 0 0 20 0 1 0 158176266 69091328 16305 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 16868 16305 660 659 0 16072 0
Current children cumulated CPU time: 221.56 s

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

/proc/loadavg: 4.21 4.17 4.13 5/259 817130
/proc/meminfo: memFree=125615500/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=181064 memory=180132 CPUtime=3032.47 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 129653 0 0 0 303168 79 0 0 20 0 1 0 158176266 185409536 45033 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 45266 45033 660 659 0 44470 0
Current children cumulated CPU time: 3032.47 s
Current children cumulated vsize: 190996 KiB
Current children cumulated memory: 182892 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/258 817140
/proc/meminfo: memFree=125653864/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=181040 memory=180108 CPUtime=3092.28 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 130790 0 0 0 309147 81 0 0 20 0 1 0 158176266 185384960 45027 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 45260 45027 660 659 0 44464 0
Current children cumulated CPU time: 3092.28 s
Current children cumulated vsize: 190972 KiB
Current children cumulated memory: 182868 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/258 817150
/proc/meminfo: memFree=125668504/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=183784 memory=182852 CPUtime=3152.09 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 132661 0 0 0 315126 83 0 0 20 0 1 0 158176266 188194816 45713 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 45946 45713 660 659 0 45150 0
Current children cumulated CPU time: 3152.09 s
Current children cumulated vsize: 193716 KiB
Current children cumulated memory: 185612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/258 817161
/proc/meminfo: memFree=125640332/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=186844 memory=185912 CPUtime=3211.89 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 133786 0 0 0 321104 85 0 0 20 0 1 0 158176266 191328256 46478 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 46711 46478 660 659 0 45915 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 196776 KiB
Current children cumulated memory: 188672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/258 817171
/proc/meminfo: memFree=125617932/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=179580 memory=178648 CPUtime=3271.7 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 135985 0 0 0 327082 88 0 0 20 0 1 0 158176266 183889920 44662 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 44895 44662 660 659 0 44099 0
Current children cumulated CPU time: 3271.7 s
Current children cumulated vsize: 189512 KiB
Current children cumulated memory: 181408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/259 817182
/proc/meminfo: memFree=125711124/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=183812 memory=182880 CPUtime=3331.5 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 137096 0 0 0 333061 89 0 0 20 0 1 0 158176266 188223488 45720 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 45953 45720 660 659 0 45157 0
Current children cumulated CPU time: 3331.5 s
Current children cumulated vsize: 193744 KiB
Current children cumulated memory: 185640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/262 817199
/proc/meminfo: memFree=125679956/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=176940 memory=176008 CPUtime=3391.31 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 139326 0 0 0 339039 92 0 0 20 0 1 0 158176266 181186560 44002 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 44235 44002 660 659 0 43439 0
Current children cumulated CPU time: 3391.31 s
Current children cumulated vsize: 186872 KiB
Current children cumulated memory: 178768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/262 817359
/proc/meminfo: memFree=123718016/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=179568 memory=178468 CPUtime=3451.1 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 140790 0 0 0 345017 93 0 0 20 0 1 0 158176266 183877632 44617 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 44892 44617 660 659 0 44096 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 189500 KiB
Current children cumulated memory: 181228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/262 817371
/proc/meminfo: memFree=121893520/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=184504 memory=183448 CPUtime=3510.9 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 142075 0 0 0 350995 95 0 0 20 0 1 0 158176266 188932096 45862 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 46126 45862 660 659 0 45330 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 194436 KiB
Current children cumulated memory: 186208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/262 817382
/proc/meminfo: memFree=121546060/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=193180 memory=191960 CPUtime=3570.68 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 143866 0 0 0 356972 96 0 0 20 0 1 0 158176266 197816320 47990 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 48295 47990 660 659 0 47499 0
Current children cumulated CPU time: 3570.68 s
Current children cumulated vsize: 203112 KiB
Current children cumulated memory: 194720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 817392
/proc/meminfo: memFree=119948728/131524596 swapFree=131071996/131071996
[pid=815393] ppid=815390 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/815393/stat : 815393 (naps-1.03.sh) S 815390 815393 812977 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 158176265 10170368 690 134679101440 94336164311040 94336165390360 140727432421632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94336167488816 94336167536004 94336182370304 140727432426468 140727432426593 140727432426593 140727432433608 0
/proc/815393/statm: 2483 690 612 264 0 134 0
[pid=815398] ppid=815393 vsize=154916 memory=153876 CPUtime=3600.08 cores=0,2
/proc/815398/stat : 815398 (naps-1.03) R 815393 815393 812977 0 -1 4194304 143866 0 0 0 359912 96 0 0 20 0 1 0 158176266 158633984 38469 134679101440 4194304 6891213 140720830060720 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23592960 140720830063605 140720830063717 140720830063717 140720830070731 0
/proc/815398/statm: 38729 38469 660 659 0 37933 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 164848 KiB
Current children cumulated memory: 156636 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.13 s, system=0.971164 s

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

Child status: 10

Real time (s): 3611.8
CPU time (s): 3600.1
CPU user time (s): 3599.13
CPU system time (s): 0.971164
CPU usage (%): 99.6759
Max. virtual memory (cumulated for all children) (KiB): 244520
Max. memory (cumulated for all children) (KiB): 236268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 0.971164
maximum resident set size= 233508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144347
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= 45
involuntary context switches= 25197


# summary of solver processes directly reported to runsolver:
#   pid: 815393
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.13
#   total CPU system time (s): 0.971164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.10581 second user time and 18.3698 second system time

The end