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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433813-1721100554/watcher-4433813-1721100554 -o /tmp/evaluation-result-4433813-1721100554/solver-4433813-1721100554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721093243-849488 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433813-1721100554.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10069 s]*
/proc/loadavg: 4.14 4.13 4.09 5/262 853930
/proc/meminfo: memFree=125304436/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=35620 memory=31112 CPUtime=0.08 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 6410 0 0 0 8 0 0 0 20 0 1 0 162217866 36474880 7778 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 8905 7778 468 659 0 8109 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 33804 KiB

[startup+0.205678 s]*
/proc/loadavg: 4.14 4.13 4.09 5/262 853930
/proc/meminfo: memFree=125301604/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=35620 memory=31636 CPUtime=0.19 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 6544 0 0 0 19 0 0 0 20 0 1 0 162217866 36474880 7909 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 8905 7909 468 659 0 8109 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 34328 KiB

[startup+0.305644 s]*
/proc/loadavg: 4.14 4.13 4.09 5/262 853930
/proc/meminfo: memFree=125301324/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=35620 memory=31636 CPUtime=0.29 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 6544 0 0 0 29 0 0 0 20 0 1 0 162217866 36474880 7909 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 8905 7909 468 659 0 8109 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 34328 KiB

[startup+0.700266 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 853930
/proc/meminfo: memFree=125301156/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=35620 memory=31636 CPUtime=0.68 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 6544 0 0 0 68 0 0 0 20 0 1 0 162217866 36474880 7909 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 8905 7909 468 659 0 8109 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 34328 KiB

[startup+1.50026 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 853930
/proc/meminfo: memFree=125301156/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=35620 memory=31900 CPUtime=1.47 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 6591 0 0 0 147 0 0 0 20 0 1 0 162217866 36474880 7975 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 8905 7975 468 659 0 8109 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 34592 KiB

[startup+3.10554 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 853931
/proc/meminfo: memFree=125297288/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=38296 memory=35328 CPUtime=3.07 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 7435 0 0 0 307 0 0 0 20 0 1 0 162217866 39215104 8832 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 9574 8832 468 659 0 8778 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 48228 KiB
Current children cumulated memory: 38020 KiB

[startup+6.30024 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 853931
/proc/meminfo: memFree=125293836/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=41016 memory=38152 CPUtime=6.27 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 7674 0 0 0 626 1 0 0 20 0 1 0 162217866 42000384 9538 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 10254 9538 468 659 0 9458 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50948 KiB
Current children cumulated memory: 40844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 853933
/proc/meminfo: memFree=125293504/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=47432 memory=42192 CPUtime=12.64 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 9099 0 0 0 1263 1 0 0 20 0 1 0 162217866 48570368 10548 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 11858 10548 468 659 0 11062 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57364 KiB
Current children cumulated memory: 44884 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 853934
/proc/meminfo: memFree=125283756/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=54572 memory=51860 CPUtime=25.41 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 10315 0 0 0 2539 2 0 0 20 0 1 0 162217866 55881728 12965 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 13643 12965 468 659 0 12847 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64504 KiB
Current children cumulated memory: 54552 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 853937
/proc/meminfo: memFree=125272768/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=71304 memory=68716 CPUtime=50.94 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 10479 0 0 0 5092 2 0 0 20 0 1 0 162217866 73015296 17179 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 17826 17179 468 659 0 17030 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 81236 KiB
Current children cumulated memory: 71408 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 854007
/proc/meminfo: memFree=125222256/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=90160 memory=86948 CPUtime=101.99 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 11179 0 0 0 10196 3 0 0 20 0 1 0 162217866 92323840 21737 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 22540 21737 468 659 0 21744 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 100092 KiB
Current children cumulated memory: 89640 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 854017
/proc/meminfo: memFree=125223812/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=91904 memory=89328 CPUtime=161.82 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 11816 0 0 0 16179 3 0 0 20 0 1 0 162217866 94109696 22332 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 22976 22332 468 659 0 22180 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 101836 KiB
Current children cumulated memory: 92020 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 854027
/proc/meminfo: memFree=125203520/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=96324 memory=93748 CPUtime=221.66 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 13109 0 0 0 22161 5 0 0 20 0 1 0 162217866 98635776 23437 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 24081 23437 468 659 0 23285 0
Current children cumulated CPU time: 221.66 s

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

/proc/loadavg: 4.13 4.12 4.14 5/260 855106
/proc/meminfo: memFree=124939664/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=229956 memory=215008 CPUtime=3033.48 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 59109 0 0 0 303263 85 0 0 20 0 1 0 162217866 235474944 53752 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 57489 53752 468 659 0 56693 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 239888 KiB
Current children cumulated memory: 217700 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/261 855120
/proc/meminfo: memFree=124885532/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=260776 memory=251860 CPUtime=3093.3 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 59641 0 0 0 309244 86 0 0 20 0 1 0 162217866 267034624 62965 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 65194 62965 468 659 0 64398 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 270708 KiB
Current children cumulated memory: 254552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/261 855130
/proc/meminfo: memFree=124931192/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=260776 memory=243680 CPUtime=3153.13 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 60595 0 0 0 315226 87 0 0 20 0 1 0 162217866 267034624 60920 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 65194 60920 468 659 0 64398 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 270708 KiB
Current children cumulated memory: 246372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/260 855140
/proc/meminfo: memFree=124942188/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=229956 memory=217028 CPUtime=3212.96 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 61547 0 0 0 321207 89 0 0 20 0 1 0 162217866 235474944 54257 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 57489 54257 468 659 0 56693 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 239888 KiB
Current children cumulated memory: 219720 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/260 855152
/proc/meminfo: memFree=124884532/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=260776 memory=258016 CPUtime=3272.79 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 62176 0 0 0 327189 90 0 0 20 0 1 0 162217866 267034624 64504 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 65194 64504 468 659 0 64398 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 270708 KiB
Current children cumulated memory: 260708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/260 855162
/proc/meminfo: memFree=124900596/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=229956 memory=227296 CPUtime=3332.62 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 63137 0 0 0 333170 92 0 0 20 0 1 0 162217866 235474944 56824 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 57489 56824 468 659 0 56693 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 239888 KiB
Current children cumulated memory: 229988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/260 855556
/proc/meminfo: memFree=124907384/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=310864 memory=259068 CPUtime=3392.44 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 64053 0 0 0 339152 92 0 0 20 0 1 0 162217866 318324736 64767 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 77716 64767 468 659 0 76920 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 320796 KiB
Current children cumulated memory: 261760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/260 855566
/proc/meminfo: memFree=124907732/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=260776 memory=237440 CPUtime=3452.27 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 65243 0 0 0 345133 94 0 0 20 0 1 0 162217866 267034624 59360 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 65194 59360 468 659 0 64398 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 270708 KiB
Current children cumulated memory: 240132 KiB

[startup+3522.3 s]
/proc/loadavg: 3.52 3.96 4.05 2/238 855672
/proc/meminfo: memFree=129317956/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=180636 memory=178908 CPUtime=3512.1 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 65889 0 0 0 351115 95 0 0 20 0 1 0 162217866 184971264 44727 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 45159 44727 468 659 0 44363 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 190568 KiB
Current children cumulated memory: 181600 KiB

[startup+3582.3 s]
/proc/loadavg: 1.97 3.43 3.86 2/239 855850
/proc/meminfo: memFree=129240960/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=260776 memory=258004 CPUtime=3571.97 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 66761 0 0 0 357100 97 0 0 20 0 1 0 162217866 267034624 64501 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 65194 64501 468 659 0 64398 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 270708 KiB
Current children cumulated memory: 260696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 1.70 3.25 3.79 2/239 855853
/proc/meminfo: memFree=129269932/131524600 swapFree=131071996/131071996
[pid=853925] ppid=853922 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/853925/stat : 853925 (naps-1.03.sh) S 853922 853925 849476 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 162217865 10170368 673 134679101440 94121233170432 94121234249752 140726409559472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94121236348208 94121236395396 94121247133696 140726409565152 140726409565281 140726409565281 140726409572296 0
/proc/853925/statm: 2483 673 593 264 0 134 0
[pid=853930] ppid=853925 vsize=229956 memory=227296 CPUtime=3600 cores=1,3
/proc/853930/stat : 853930 (naps-1.03) R 853925 853925 849476 0 -1 4194304 67105 0 0 0 359902 98 0 0 20 0 1 0 162217866 235474944 56824 134679101440 4194304 6891213 140736760419968 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14471168 140736760427505 140736760427621 140736760427621 140736760434635 0
/proc/853930/statm: 57489 56824 468 659 0 56693 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 239888 KiB
Current children cumulated memory: 229988 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=0.988379 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.02
CPU user time (s): 3599.03
CPU system time (s): 0.988379
CPU usage (%): 99.7124
Max. virtual memory (cumulated for all children) (KiB): 320796
Max. memory (cumulated for all children) (KiB): 281012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 0.988379
maximum resident set size= 278320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67584
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= 37
involuntary context switches= 3846


# summary of solver processes directly reported to runsolver:
#   pid: 853925
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 0.988379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79179 second user time and 16.7091 second system time

The end