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: 64096 MiB (60038 MiB free)
  memory of node 1: 64473 MiB (56982 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463502-1722354394/watcher-4463502-1722354394 -o /tmp/evaluation-result-4463502-1722354394/solver-4463502-1722354394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722351984-14358 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463502-1722354394.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=16603, runsolver pid=16600

[startup+0.100107 s]*
/proc/loadavg: 4.07 4.15 4.02 5/246 16608
/proc/meminfo: memFree=119820936/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=14596 memory=12904 CPUtime=0.09 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 3160 0 0 0 9 0 0 0 20 0 1 0 2035940 14946304 3226 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 3649 3226 580 659 0 2853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24528 KiB
Current children cumulated memory: 15636 KiB

[startup+0.213551 s]*
/proc/loadavg: 4.07 4.15 4.02 5/246 16608
/proc/meminfo: memFree=119813200/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=25496 memory=23052 CPUtime=0.21 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 6244 0 0 0 20 1 0 0 20 0 1 0 2035940 26107904 5763 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 6374 5763 580 659 0 5578 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35428 KiB
Current children cumulated memory: 25784 KiB

[startup+0.313433 s]*
/proc/loadavg: 4.07 4.15 4.02 5/246 16608
/proc/meminfo: memFree=119803428/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=29964 memory=27540 CPUtime=0.31 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 7341 0 0 0 30 1 0 0 20 0 1 0 2035940 30683136 6885 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 7491 6885 580 659 0 6695 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39896 KiB
Current children cumulated memory: 30272 KiB

[startup+0.700375 s]
/proc/loadavg: 4.07 4.15 4.02 5/246 16608
/proc/meminfo: memFree=119785036/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=56844 memory=53360 CPUtime=0.69 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 13842 0 0 0 66 3 0 0 20 0 1 0 2035940 58208256 13340 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 14211 13340 580 659 0 13415 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66776 KiB
Current children cumulated memory: 56092 KiB

[startup+1.50045 s]
/proc/loadavg: 4.07 4.15 4.02 6/246 16608
/proc/meminfo: memFree=119743236/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=130552 memory=125980 CPUtime=1.48 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 28384 0 0 0 143 5 0 0 20 0 1 0 2035940 133685248 31495 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 32638 31495 580 659 0 31842 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 128712 KiB

[startup+3.1132 s]
/proc/loadavg: 4.07 4.15 4.02 5/246 16608
/proc/meminfo: memFree=119659420/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=174620 memory=170712 CPUtime=3.09 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 39546 0 0 0 302 7 0 0 20 0 1 0 2035940 178810880 42678 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 43655 42678 612 659 0 42859 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173444 KiB

[startup+6.30041 s]
/proc/loadavg: 4.15 4.16 4.03 5/246 16610
/proc/meminfo: memFree=119658968/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=174620 memory=170712 CPUtime=6.27 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 39546 0 0 0 620 7 0 0 20 0 1 0 2035940 178810880 42678 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 43655 42678 612 659 0 42859 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173444 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.16 4.03 5/246 16610
/proc/meminfo: memFree=119655760/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=174620 memory=170712 CPUtime=12.64 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 39546 0 0 0 1257 7 0 0 20 0 1 0 2035940 178810880 42678 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 43655 42678 612 659 0 42859 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173444 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.15 4.02 5/246 16613
/proc/meminfo: memFree=119696964/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=174620 memory=170712 CPUtime=25.41 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 39550 0 0 0 2533 8 0 0 20 0 1 0 2035940 178810880 42678 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 43655 42678 612 659 0 42859 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173444 KiB

[startup+51.1132 s]
/proc/loadavg: 4.30 4.19 4.04 6/246 16666
/proc/meminfo: memFree=120592096/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=174620 memory=170712 CPUtime=50.93 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 39555 0 0 0 5085 8 0 0 20 0 1 0 2035940 178810880 42678 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 43655 42678 612 659 0 42859 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173444 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.04 5/246 16675
/proc/meminfo: memFree=119085224/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1499120 memory=1418632 CPUtime=101.94 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 235624 0 0 0 10127 67 0 0 20 0 1 0 2035940 1535098880 354658 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 374780 354658 644 659 0 373984 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1509052 KiB
Current children cumulated memory: 1421364 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.05 6/246 16687
/proc/meminfo: memFree=117769740/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1720972 memory=1642468 CPUtime=161.71 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 311720 0 0 0 15998 173 0 0 20 0 1 0 2035940 1762275328 410617 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 430243 410617 660 659 0 429447 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1730904 KiB
Current children cumulated memory: 1645200 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.20 4.06 6/248 16702
/proc/meminfo: memFree=117150504/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1736984 memory=1657532 CPUtime=221.48 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 330973 0 0 0 21904 244 0 0 20 0 1 0 2035940 1778671616 414383 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 434246 414383 660 659 0 433450 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1746916 KiB

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

/proc/16608/statm: 440106 423657 660 659 0 439310 0
Current children cumulated CPU time: 3031.9 s
Current children cumulated vsize: 1770356 KiB
Current children cumulated memory: 1697360 KiB

[startup+3102.3 s]
/proc/loadavg: 1.07 1.41 2.39 2/221 18506
/proc/meminfo: memFree=120675472/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1765624 memory=1699828 CPUtime=3091.68 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 515703 0 0 0 308256 912 0 0 20 0 1 0 2035940 1807998976 424957 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 441406 424957 660 659 0 440610 0
Current children cumulated CPU time: 3091.68 s
Current children cumulated vsize: 1775556 KiB
Current children cumulated memory: 1702560 KiB

[startup+3162.3 s]
/proc/loadavg: 1.17 1.38 2.32 2/221 18518
/proc/meminfo: memFree=120635712/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1805120 memory=1739324 CPUtime=3151.46 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 523808 0 0 0 314214 932 0 0 20 0 1 0 2035940 1848442880 434831 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 451280 434831 660 659 0 450484 0
Current children cumulated CPU time: 3151.46 s
Current children cumulated vsize: 1815052 KiB
Current children cumulated memory: 1742056 KiB

[startup+3222.3 s]
/proc/loadavg: 1.06 1.31 2.23 2/223 18533
/proc/meminfo: memFree=120634724/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1805120 memory=1739324 CPUtime=3211.25 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 524362 0 0 0 320193 932 0 0 20 0 1 0 2035940 1848442880 434831 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 451280 434831 660 659 0 450484 0
Current children cumulated CPU time: 3211.25 s
Current children cumulated vsize: 1815052 KiB
Current children cumulated memory: 1742056 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.28 2.16 2/224 18545
/proc/meminfo: memFree=120634196/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1805120 memory=1739332 CPUtime=3271.03 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 524877 0 0 0 326171 932 0 0 20 0 1 0 2035940 1848442880 434833 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 451280 434833 660 659 0 450484 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 1815052 KiB
Current children cumulated memory: 1742064 KiB

[startup+3342.3 s]
/proc/loadavg: 1.17 1.26 2.10 2/224 18556
/proc/meminfo: memFree=120633136/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1805120 memory=1739332 CPUtime=3330.8 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 525395 0 0 0 332148 932 0 0 20 0 1 0 2035940 1848442880 434833 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 451280 434833 660 659 0 450484 0
Current children cumulated CPU time: 3330.8 s
Current children cumulated vsize: 1815052 KiB
Current children cumulated memory: 1742064 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.23 2.03 2/224 18568
/proc/meminfo: memFree=120626032/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1811536 memory=1745748 CPUtime=3390.59 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 526644 0 0 0 338119 940 0 0 20 0 1 0 2035940 1855012864 436437 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 452884 436437 660 659 0 452088 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 1821468 KiB
Current children cumulated memory: 1748480 KiB

[startup+3462.3 s]
/proc/loadavg: 1.17 1.21 1.98 2/224 18579
/proc/meminfo: memFree=120625196/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1811536 memory=1745748 CPUtime=3450.37 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 527164 0 0 0 344097 940 0 0 20 0 1 0 2035940 1855012864 436437 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 452884 436437 660 659 0 452088 0
Current children cumulated CPU time: 3450.37 s
Current children cumulated vsize: 1821468 KiB
Current children cumulated memory: 1748480 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.19 1.92 2/224 18590
/proc/meminfo: memFree=120624292/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1811536 memory=1745748 CPUtime=3510.15 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 527682 0 0 0 350075 940 0 0 20 0 1 0 2035940 1855012864 436437 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 452884 436437 660 659 0 452088 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 1821468 KiB
Current children cumulated memory: 1748480 KiB

[startup+3582.3 s]
/proc/loadavg: 1.16 1.18 1.87 2/222 18601
/proc/meminfo: memFree=120623680/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1811536 memory=1745748 CPUtime=3570.02 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 528178 0 0 0 356062 940 0 0 20 0 1 0 2035940 1855012864 436437 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 452884 436437 660 659 0 452088 0
Current children cumulated CPU time: 3570.02 s
Current children cumulated vsize: 1821468 KiB
Current children cumulated memory: 1748480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 1.09 1.16 1.84 2/221 18606
/proc/meminfo: memFree=120623716/131655788 swapFree=131071996/131071996
[pid=16603] ppid=16600 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/16603/stat : 16603 (naps-1.03.sh) S 16600 16603 14348 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 2035939 10170368 683 134679101440 94695152132096 94695153211416 140733154455664 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94695155309872 94695155357060 94695175757824 140733154460643 140733154460768 140733154460768 140733154467784 0
/proc/16603/statm: 2483 683 605 264 0 134 0
[pid=16608] ppid=16603 vsize=1811536 memory=1745748 CPUtime=3600.04 cores=0,2
/proc/16608/stat : 16608 (naps-1.03a2) R 16603 16603 14348 0 -1 4194304 530232 0 0 0 359058 946 0 0 20 0 1 0 2035940 1855012864 436437 134679101440 4194304 6891597 140727635583136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28340224 140727635592174 140727635592288 140727635592288 140727635599305 0
/proc/16608/statm: 452884 436437 660 659 0 452088 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1821468 KiB
Current children cumulated memory: 1748480 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002798 s, system=0.003335 s

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

# cumulated CPU time of all completed processes:  user=3590.59 s, system=9.47799 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): 3612.41
CPU time (s): 3600.07
CPU user time (s): 3590.59
CPU system time (s): 9.47799
CPU usage (%): 99.6584
Max. virtual memory (cumulated for all children) (KiB): 2165932
Max. memory (cumulated for all children) (KiB): 2086264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.59
system time used= 9.47799
maximum resident set size= 2083532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530693
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= 210
involuntary context switches= 25192


# summary of solver processes directly reported to runsolver:
#   pid: 16603,16608
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3590.59
#   total CPU system time (s): 9.47799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4162 second user time and 37.7525 second system time

The end