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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461284-1722075869/watcher-4461284-1722075869 -o /tmp/evaluation-result-4461284-1722075869/solver-4461284-1722075869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722075775-322317 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461284-1722075869.wbo 

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

solver pid=322604, runsolver pid=322601

[startup+0.100445 s]*
/proc/loadavg: 3.78 3.28 3.27 5/252 322609
/proc/meminfo: memFree=101038760/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=20124 memory=13612 CPUtime=0.1 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 3326 0 0 0 9 1 0 0 20 0 1 0 43575894 20606976 3403 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 5031 3403 468 659 0 4235 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30056 KiB
Current children cumulated memory: 16344 KiB

[startup+0.214298 s]*
/proc/loadavg: 3.78 3.28 3.27 6/252 322609
/proc/meminfo: memFree=101007936/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=30964 memory=25524 CPUtime=0.21 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 5811 0 0 0 19 2 0 0 20 0 1 0 43575894 31707136 6381 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 7741 6381 468 659 0 6945 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40896 KiB
Current children cumulated memory: 28256 KiB

[startup+0.314349 s]*
/proc/loadavg: 3.78 3.28 3.27 5/252 322609
/proc/meminfo: memFree=100989020/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=30180 memory=25136 CPUtime=0.31 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 6672 0 0 0 29 2 0 0 20 0 1 0 43575894 30904320 6284 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 7545 6284 468 659 0 6749 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40112 KiB
Current children cumulated memory: 27868 KiB

[startup+0.700448 s]
/proc/loadavg: 3.78 3.28 3.27 5/252 322609
/proc/meminfo: memFree=100921672/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=44324 memory=39928 CPUtime=0.69 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 10743 0 0 0 65 4 0 0 20 0 1 0 43575894 45387776 9982 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 11081 9982 468 659 0 10285 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54256 KiB
Current children cumulated memory: 42660 KiB

[startup+1.50045 s]
/proc/loadavg: 3.78 3.28 3.27 5/252 322609
/proc/meminfo: memFree=100783004/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=139836 memory=127508 CPUtime=1.48 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 27517 0 0 0 140 8 0 0 20 0 1 0 43575894 143192064 31877 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 34959 31877 468 659 0 34163 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149768 KiB
Current children cumulated memory: 130240 KiB

[startup+3.11393 s]
/proc/loadavg: 3.78 3.28 3.27 5/252 322610
/proc/meminfo: memFree=100363572/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=170860 memory=165392 CPUtime=3.09 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 32631 0 0 0 299 10 0 0 20 0 1 0 43575894 174960640 41348 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 42715 41348 468 659 0 41919 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 180792 KiB
Current children cumulated memory: 168124 KiB

[startup+6.30044 s]
/proc/loadavg: 3.79 3.29 3.28 5/252 322610
/proc/meminfo: memFree=99933936/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=182464 memory=175780 CPUtime=6.27 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 33752 0 0 0 616 11 0 0 20 0 1 0 43575894 186843136 43945 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 45616 43945 468 659 0 44820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 192396 KiB
Current children cumulated memory: 178512 KiB

[startup+12.7004 s]
/proc/loadavg: 3.89 3.32 3.29 5/252 322612
/proc/meminfo: memFree=99216968/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=212812 memory=188136 CPUtime=12.65 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 34656 0 0 0 1253 12 0 0 20 0 1 0 43575894 217919488 47034 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 53203 47034 468 659 0 52407 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 222744 KiB
Current children cumulated memory: 190868 KiB

[startup+25.5005 s]
/proc/loadavg: 3.99 3.37 3.30 5/252 322613
/proc/meminfo: memFree=97232276/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=212812 memory=190328 CPUtime=25.42 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 36164 0 0 0 2527 15 0 0 20 0 1 0 43575894 217919488 47582 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 53203 47582 468 659 0 52407 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 222744 KiB
Current children cumulated memory: 193060 KiB

[startup+51.1141 s]
/proc/loadavg: 4.28 3.48 3.34 5/252 322617
/proc/meminfo: memFree=94382164/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=262132 memory=224848 CPUtime=50.97 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 38765 0 0 0 5077 20 0 0 20 0 1 0 43575894 268423168 56212 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 65533 56212 468 659 0 64737 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 272064 KiB
Current children cumulated memory: 227580 KiB

[startup+102.3 s]
/proc/loadavg: 4.79 3.75 3.44 5/252 323011
/proc/meminfo: memFree=91158168/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=262132 memory=237228 CPUtime=102.03 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 43075 0 0 0 10177 26 0 0 20 0 1 0 43575894 268423168 59307 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 65533 59307 468 659 0 64737 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 272064 KiB
Current children cumulated memory: 239960 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 3.80 3.48 5/251 323021
/proc/meminfo: memFree=89528876/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=305900 memory=297040 CPUtime=161.88 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 47680 0 0 0 16155 33 0 0 20 0 1 0 43575894 313241600 74260 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 76475 74260 468 659 0 75679 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 315832 KiB
Current children cumulated memory: 299772 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.85 3.52 5/247 323081
/proc/meminfo: memFree=101284240/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=275080 memory=257848 CPUtime=221.72 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 50701 0 0 0 22135 37 0 0 20 0 1 0 43575894 281681920 64462 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 68770 64462 468 659 0 67974 0
Current children cumulated CPU time: 221.72 s

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

/proc/loadavg: 4.14 4.17 4.14 5/245 324456
/proc/meminfo: memFree=125149720/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=541812 memory=477448 CPUtime=3093.61 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 124445 0 0 0 309194 167 0 0 20 0 1 0 43575894 554815488 119362 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 135453 119362 468 659 0 134657 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 551744 KiB
Current children cumulated memory: 480180 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.18 4.14 6/245 324466
/proc/meminfo: memFree=124966788/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=543444 memory=509444 CPUtime=3153.42 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 124963 0 0 0 315175 167 0 0 20 0 1 0 43575894 556486656 127361 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 135861 127361 468 659 0 135065 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 553376 KiB
Current children cumulated memory: 512176 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/245 324476
/proc/meminfo: memFree=124987744/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=464628 memory=426780 CPUtime=3213.24 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 126428 0 0 0 321154 170 0 0 20 0 1 0 43575894 475779072 106695 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 116157 106695 468 659 0 115361 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 474560 KiB
Current children cumulated memory: 429512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/246 324488
/proc/meminfo: memFree=124837700/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=546016 memory=472344 CPUtime=3273.04 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 126784 0 0 0 327133 171 0 0 20 0 1 0 43575894 559120384 118086 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 136504 118086 468 659 0 135708 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 555948 KiB
Current children cumulated memory: 475076 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/246 324498
/proc/meminfo: memFree=124732088/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=546016 memory=509304 CPUtime=3332.89 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 126981 0 0 0 333116 173 0 0 20 0 1 0 43575894 559120384 127326 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 136504 127326 468 659 0 135708 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 555948 KiB
Current children cumulated memory: 512036 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/249 324513
/proc/meminfo: memFree=124772228/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=465492 memory=430424 CPUtime=3392.74 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 128452 0 0 0 339098 176 0 0 20 0 1 0 43575894 476663808 107606 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 116373 107606 468 659 0 115577 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 475424 KiB
Current children cumulated memory: 433156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/249 324525
/proc/meminfo: memFree=125300652/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=546880 memory=477560 CPUtime=3452.59 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 129210 0 0 0 345083 176 0 0 20 0 1 0 43575894 560005120 119390 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 136720 119390 468 659 0 135924 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 556812 KiB
Current children cumulated memory: 480292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/249 324535
/proc/meminfo: memFree=125135824/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=548172 memory=511368 CPUtime=3512.45 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 129719 0 0 0 351067 178 0 0 20 0 1 0 43575894 561328128 127842 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 137043 127842 468 659 0 136247 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 558104 KiB
Current children cumulated memory: 514100 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/248 324595
/proc/meminfo: memFree=125480216/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=418644 memory=414544 CPUtime=3572.3 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 130842 0 0 0 357050 180 0 0 20 0 1 0 43575894 428691456 103636 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 104661 103636 468 659 0 103865 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 428576 KiB
Current children cumulated memory: 417276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.11 4.12 4.12 5/248 324598
/proc/meminfo: memFree=124302740/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=468732 memory=438224 CPUtime=3600.03 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 131154 0 0 0 359822 181 0 0 20 0 1 0 43575894 479981568 109556 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 117183 109556 468 659 0 116387 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 478664 KiB
Current children cumulated memory: 440956 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.23 s, system=1.81573 s

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

[startup+3610.11 s]
/proc/loadavg: 4.11 4.12 4.12 5/248 324598
/proc/meminfo: memFree=124302740/131655788 swapFree=131058040/131071996
[pid=322604] ppid=322601 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/322604/stat : 322604 (naps-1.03.sh) S 322601 322604 322306 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43575893 10170368 683 134679101440 94918035779584 94918036858904 140735242437520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94918038957360 94918039004548 94918062936064 140735242445789 140735242445918 140735242445918 140735242452936 0
/proc/322604/statm: 2483 683 606 264 0 134 0
[pid=322609] ppid=322604 vsize=468732 memory=438224 CPUtime=3600.03 cores=4,6
/proc/322609/stat : 322609 (naps-1.03) R 322604 322604 322306 0 -1 4194304 131154 0 0 0 359822 181 0 0 20 0 1 0 43575894 479981568 109556 134679101440 4194304 6891597 140723300256128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22048768 140723300262894 140723300263010 140723300263010 140723300270027 0
/proc/322609/statm: 117183 109556 468 659 0 116387 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 478664 KiB
Current children cumulated memory: 440956 KiB

Child status: 10

Real time (s): 3610.12
CPU time (s): 3600.05
CPU user time (s): 3598.23
CPU system time (s): 1.81573
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 769212
Max. memory (cumulated for all children) (KiB): 591932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.23
system time used= 1.81573
maximum resident set size= 618572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131630
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= 127
involuntary context switches= 4386


# summary of solver processes directly reported to runsolver:
#   pid: 322604
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.23
#   total CPU system time (s): 1.81573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7259 second user time and 43.8619 second system time

The end