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: 63931 MiB (37047 MiB free)
  memory of node 1: 64510 MiB (63129 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463880-1722351802/watcher-4463880-1722351802 -o /tmp/evaluation-result-4463880-1722351802/solver-4463880-1722351802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722351699-13903 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463880-1722351802.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=14142, runsolver pid=14139
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 3.57 1.99 1.64 5/264 14147
/proc/meminfo: memFree=102549104/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=32512 memory=28640 CPUtime=0.09 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 6643 0 0 0 9 0 0 0 20 0 1 0 1778748 33292288 7160 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 8128 7160 468 659 0 7332 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42444 KiB
Current children cumulated memory: 31320 KiB

[startup+0.206104 s]*
/proc/loadavg: 3.57 1.99 1.64 5/264 14147
/proc/meminfo: memFree=102541700/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=33104 memory=29524 CPUtime=0.18 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 8493 0 0 0 18 0 0 0 20 0 1 0 1778748 33898496 7381 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 8276 7381 468 659 0 7480 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 43036 KiB
Current children cumulated memory: 32204 KiB

[startup+0.305936 s]*
/proc/loadavg: 3.57 1.99 1.64 5/264 14147
/proc/meminfo: memFree=102531600/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=40260 memory=34540 CPUtime=0.28 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 9738 0 0 0 28 0 0 0 20 0 1 0 1778748 41226240 8635 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 10065 8635 468 659 0 9269 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50192 KiB
Current children cumulated memory: 37220 KiB

[startup+0.70024 s]
/proc/loadavg: 3.57 1.99 1.64 5/264 14147
/proc/meminfo: memFree=102494744/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=88380 memory=82512 CPUtime=0.68 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 20077 0 0 0 66 2 0 0 20 0 1 0 1778748 90501120 20628 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 22095 20628 468 659 0 21299 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98312 KiB
Current children cumulated memory: 85192 KiB

[startup+1.50026 s]
/proc/loadavg: 3.57 1.99 1.64 5/264 14147
/proc/meminfo: memFree=102434548/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=109736 memory=102972 CPUtime=1.47 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 22089 0 0 0 144 3 0 0 20 0 1 0 1778748 112369664 25743 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 27434 25743 468 659 0 26638 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 119668 KiB
Current children cumulated memory: 105652 KiB

[startup+3.10575 s]
/proc/loadavg: 3.60 2.02 1.65 5/264 14147
/proc/meminfo: memFree=102163744/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=109276 memory=102860 CPUtime=3.07 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 23094 0 0 0 304 3 0 0 20 0 1 0 1778748 111898624 25715 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 27319 25715 468 659 0 26523 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 119208 KiB
Current children cumulated memory: 105540 KiB

[startup+6.30026 s]
/proc/loadavg: 3.60 2.02 1.65 5/264 14149
/proc/meminfo: memFree=101229360/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=132552 memory=109432 CPUtime=6.26 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 23494 0 0 0 622 4 0 0 20 0 1 0 1778748 135733248 27358 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 33138 27358 468 659 0 32342 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142484 KiB
Current children cumulated memory: 112112 KiB

[startup+12.7002 s]
/proc/loadavg: 3.66 2.09 1.68 5/264 14149
/proc/meminfo: memFree=99736332/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=212692 memory=166428 CPUtime=12.64 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 24680 0 0 0 1258 6 0 0 20 0 1 0 1778748 217796608 41607 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 53173 41607 468 659 0 52377 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222624 KiB
Current children cumulated memory: 169108 KiB

[startup+25.5003 s]
/proc/loadavg: 3.72 2.15 1.70 5/264 14152
/proc/meminfo: memFree=97945836/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=132740 memory=128800 CPUtime=25.4 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 25758 0 0 0 2532 8 0 0 20 0 1 0 1778748 135925760 32200 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 33185 32200 468 659 0 32389 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 142672 KiB
Current children cumulated memory: 131480 KiB

[startup+51.1059 s]
/proc/loadavg: 3.81 2.30 1.77 5/264 14156
/proc/meminfo: memFree=99993384/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=151480 memory=147540 CPUtime=50.93 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 28176 0 0 0 5080 13 0 0 20 0 1 0 1778748 155115520 36885 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 37870 36885 468 659 0 37074 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 161412 KiB
Current children cumulated memory: 150220 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 2.60 1.90 5/263 14164
/proc/meminfo: memFree=98667028/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=234280 memory=220556 CPUtime=101.97 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 31990 0 0 0 10177 20 0 0 20 0 1 0 1778748 239902720 55139 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 58570 55139 468 659 0 57774 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 244212 KiB
Current children cumulated memory: 223236 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 2.89 2.05 5/260 14223
/proc/meminfo: memFree=107926752/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=265100 memory=255700 CPUtime=161.78 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 35477 0 0 0 16152 26 0 0 20 0 1 0 1778748 271462400 63925 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 66275 63925 468 659 0 65479 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 258380 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 3.15 2.19 5/259 14284
/proc/meminfo: memFree=106568876/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=315188 memory=293724 CPUtime=221.58 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 39587 0 0 0 22126 32 0 0 20 0 1 0 1778748 322752512 73431 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 78797 73431 468 659 0 78001 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 325120 KiB

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

/proc/loadavg: 4.15 4.14 4.07 5/261 15725
/proc/meminfo: memFree=124742880/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=422636 memory=414748 CPUtime=3033.51 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 115531 0 0 0 303204 147 0 0 20 0 1 0 1778748 432779264 103687 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 105659 103687 468 659 0 104863 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 432568 KiB
Current children cumulated memory: 417428 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.07 5/261 15736
/proc/meminfo: memFree=124590636/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=504360 memory=466168 CPUtime=3093.35 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 116335 0 0 0 309186 149 0 0 20 0 1 0 1778748 516464640 116542 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 126090 116542 468 659 0 125294 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 514292 KiB
Current children cumulated memory: 468848 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/260 16130
/proc/meminfo: memFree=124360956/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=638812 memory=514792 CPUtime=3153.18 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 117521 0 0 0 315168 150 0 0 20 0 1 0 1778748 654143488 128698 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 159703 128698 468 659 0 158907 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 648744 KiB
Current children cumulated memory: 517472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/260 16140
/proc/meminfo: memFree=124337560/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=426344 memory=416652 CPUtime=3213.01 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 118946 0 0 0 321148 153 0 0 20 0 1 0 1778748 436576256 104163 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 106586 104163 468 659 0 105790 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 436276 KiB
Current children cumulated memory: 419332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/260 16152
/proc/meminfo: memFree=124714972/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=507900 memory=452360 CPUtime=3272.84 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 119830 0 0 0 327130 154 0 0 20 0 1 0 1778748 520089600 113090 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 126975 113090 468 659 0 126179 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 517832 KiB
Current children cumulated memory: 455040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.08 5/261 16331
/proc/meminfo: memFree=124532772/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=641648 memory=525060 CPUtime=3332.69 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 120825 0 0 0 333113 156 0 0 20 0 1 0 1778748 657047552 131265 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 160412 131265 468 659 0 159616 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 651580 KiB
Current children cumulated memory: 527740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/262 16342
/proc/meminfo: memFree=124635888/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=382464 memory=363416 CPUtime=3392.53 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 122114 0 0 0 339094 159 0 0 20 0 1 0 1778748 391643136 90854 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 95616 90854 468 659 0 94820 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 392396 KiB
Current children cumulated memory: 366096 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/262 16368
/proc/meminfo: memFree=125032028/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=432552 memory=414616 CPUtime=3452.36 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 122834 0 0 0 345076 160 0 0 20 0 1 0 1778748 442933248 103654 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 108138 103654 468 659 0 107342 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 442484 KiB
Current children cumulated memory: 417296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/262 16378
/proc/meminfo: memFree=124820064/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=513940 memory=463812 CPUtime=3512.21 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 123585 0 0 0 351059 162 0 0 20 0 1 0 1778748 526274560 115953 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 128485 115953 468 659 0 127689 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 523872 KiB
Current children cumulated memory: 466492 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/262 16388
/proc/meminfo: memFree=124709480/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=515120 memory=499440 CPUtime=3572.05 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 124040 0 0 0 357042 163 0 0 20 0 1 0 1778748 527482880 124860 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 128780 124860 468 659 0 127984 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 525052 KiB
Current children cumulated memory: 502120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 16443
/proc/meminfo: memFree=124790424/131524600 swapFree=131071996/131071996
[pid=14142] ppid=14139 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/14142/stat : 14142 (naps-1.03.sh) S 14139 14142 13891 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 1778748 10170368 670 134679101440 94744494428160 94744495507480 140725656064080 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94744497605936 94744497653124 94744501194752 140725656073183 140725656073312 140725656073312 140725656080328 0
/proc/14142/statm: 2483 670 590 264 0 134 0
[pid=14147] ppid=14142 vsize=648728 memory=514624 CPUtime=3600.08 cores=1,3
/proc/14147/stat : 14147 (naps-1.03a2) R 14142 14142 13891 0 -1 4194304 124943 0 0 0 359845 163 0 0 20 0 1 0 1778748 664297472 128656 134679101440 4194304 6891597 140736431605664 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36483072 140736431608810 140736431608928 140736431608928 140736431615945 0
/proc/14147/statm: 162182 128656 468 659 0 161386 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 658660 KiB
Current children cumulated memory: 517304 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.45 s, system=1.638 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): 3610.4
CPU time (s): 3600.09
CPU user time (s): 3598.45
CPU system time (s): 1.638
CPU usage (%): 99.7144
Max. virtual memory (cumulated for all children) (KiB): 665644
Max. memory (cumulated for all children) (KiB): 560332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.45
system time used= 1.638
maximum resident set size= 622088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125418
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= 190
involuntary context switches= 4448


# summary of solver processes directly reported to runsolver:
#   pid: 14142
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.45
#   total CPU system time (s): 1.638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27579 second user time and 18.3647 second system time

The end