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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426514-1720905719/watcher-4426514-1720905719 -o /tmp/evaluation-result-4426514-1720905719/solver-4426514-1720905719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720905539-722363 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426514-1720905719.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=723027, runsolver pid=723024

[startup+0.100092 s]*
/proc/loadavg: 4.03 3.29 3.12 5/247 723032
/proc/meminfo: memFree=107002660/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=26844 memory=24408 CPUtime=0.1 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 6594 0 0 0 9 1 0 0 20 0 1 0 142730797 27488256 6102 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 6711 6102 596 659 0 5915 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36776 KiB
Current children cumulated memory: 27128 KiB

[startup+0.213145 s]*
/proc/loadavg: 4.03 3.29 3.12 5/247 723032
/proc/meminfo: memFree=106961796/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=32312 memory=30072 CPUtime=0.2 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 7989 0 0 0 19 1 0 0 20 0 1 0 142730797 33087488 7518 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 8078 7518 628 659 0 7282 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42244 KiB
Current children cumulated memory: 32792 KiB

[startup+0.312964 s]*
/proc/loadavg: 4.03 3.29 3.12 5/247 723032
/proc/meminfo: memFree=106932192/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=34236 memory=31452 CPUtime=0.31 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 8314 0 0 0 29 2 0 0 20 0 1 0 142730797 35057664 7863 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 8559 7863 644 659 0 7763 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44168 KiB
Current children cumulated memory: 34172 KiB

[startup+0.700368 s]
/proc/loadavg: 4.03 3.29 3.12 5/247 723032
/proc/meminfo: memFree=106863324/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=38744 memory=36616 CPUtime=0.68 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 12728 0 0 0 65 3 0 0 20 0 1 0 142730797 39673856 9154 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 9686 9154 644 659 0 8890 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48676 KiB
Current children cumulated memory: 39336 KiB

[startup+1.50036 s]
/proc/loadavg: 4.03 3.29 3.12 5/247 723032
/proc/meminfo: memFree=106714064/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=55168 memory=50404 CPUtime=1.48 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 16186 0 0 0 144 4 0 0 20 0 1 0 142730797 56492032 12601 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 13792 12601 660 659 0 12996 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65100 KiB
Current children cumulated memory: 53124 KiB

[startup+3.11262 s]
/proc/loadavg: 4.03 3.30 3.12 5/247 723032
/proc/meminfo: memFree=106180568/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=57080 memory=52276 CPUtime=3.08 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 19028 0 0 0 304 4 0 0 20 0 1 0 142730797 58449920 13069 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 14270 13069 660 659 0 13474 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67012 KiB
Current children cumulated memory: 54996 KiB

[startup+6.30032 s]
/proc/loadavg: 4.03 3.30 3.12 5/247 723032
/proc/meminfo: memFree=105370768/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=57080 memory=54324 CPUtime=6.26 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 19039 0 0 0 622 4 0 0 20 0 1 0 142730797 58449920 13581 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 14270 13581 660 659 0 13474 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67012 KiB
Current children cumulated memory: 57044 KiB

[startup+12.7003 s]
/proc/loadavg: 4.02 3.32 3.13 5/247 723035
/proc/meminfo: memFree=103854440/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=57080 memory=54324 CPUtime=12.64 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 19043 0 0 0 1260 4 0 0 20 0 1 0 142730797 58449920 13581 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 14270 13581 660 659 0 13474 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67012 KiB
Current children cumulated memory: 57044 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 3.38 3.15 5/248 723039
/proc/meminfo: memFree=98447204/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=66356 memory=63640 CPUtime=25.41 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 20346 0 0 0 2536 5 0 0 20 0 1 0 142730797 67948544 15910 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 16589 15910 660 659 0 15793 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76288 KiB
Current children cumulated memory: 66360 KiB

[startup+51.1128 s]
/proc/loadavg: 4.18 3.45 3.18 5/248 723099
/proc/meminfo: memFree=128504800/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=57240 memory=54656 CPUtime=50.93 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 26163 0 0 0 5086 7 0 0 20 0 1 0 142730797 58613760 13664 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 14310 13664 660 659 0 13514 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 67172 KiB
Current children cumulated memory: 57376 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 3.55 3.23 5/248 723108
/proc/meminfo: memFree=128453244/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=71104 memory=68248 CPUtime=101.94 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 32877 0 0 0 10183 11 0 0 20 0 1 0 142730797 72810496 17062 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 17776 17062 660 659 0 16980 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 81036 KiB
Current children cumulated memory: 70968 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 3.67 3.29 5/246 723119
/proc/meminfo: memFree=128366300/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=97084 memory=94244 CPUtime=161.73 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 40536 0 0 0 16157 16 0 0 20 0 1 0 142730797 99414016 23561 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 24271 23561 660 659 0 23475 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 107016 KiB
Current children cumulated memory: 96964 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 3.79 3.36 5/246 723512
/proc/meminfo: memFree=128363796/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=116548 memory=114224 CPUtime=221.52 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 41869 0 0 0 22135 17 0 0 20 0 1 0 142730797 119345152 28556 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 29137 28556 660 659 0 28341 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 126480 KiB

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

/proc/loadavg: 4.19 4.31 4.18 5/249 725357
/proc/meminfo: memFree=127373184/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=243896 memory=242588 CPUtime=3032.77 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 186902 0 0 0 303020 257 0 0 20 0 1 0 142730797 249749504 60647 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 60974 60647 660 659 0 60178 0
Current children cumulated CPU time: 3032.77 s
Current children cumulated vsize: 253828 KiB
Current children cumulated memory: 245308 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.28 4.18 5/247 725367
/proc/meminfo: memFree=127581004/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=242416 memory=241108 CPUtime=3092.56 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 190702 0 0 0 308992 264 0 0 20 0 1 0 142730797 248233984 60277 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 60604 60277 660 659 0 59808 0
Current children cumulated CPU time: 3092.56 s
Current children cumulated vsize: 252348 KiB
Current children cumulated memory: 243828 KiB

[startup+3162.3 s]
/proc/loadavg: 4.31 4.29 4.19 5/245 725378
/proc/meminfo: memFree=127674020/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=244836 memory=243528 CPUtime=3152.36 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 193206 0 0 0 314967 269 0 0 20 0 1 0 142730797 250712064 60882 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 61209 60882 660 659 0 60413 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 254768 KiB
Current children cumulated memory: 246248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.28 4.19 5/243 725389
/proc/meminfo: memFree=127681904/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=249904 memory=248596 CPUtime=3212.14 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 195513 0 0 0 320939 275 0 0 20 0 1 0 142730797 255901696 62149 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 62476 62149 660 659 0 61680 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 259836 KiB
Current children cumulated memory: 251316 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.25 4.18 5/243 725399
/proc/meminfo: memFree=127610284/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=248232 memory=246924 CPUtime=3271.94 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 198421 0 0 0 326913 281 0 0 20 0 1 0 142730797 254189568 61731 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 62058 61731 660 659 0 61262 0
Current children cumulated CPU time: 3271.94 s
Current children cumulated vsize: 258164 KiB
Current children cumulated memory: 249644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.25 4.18 5/243 725410
/proc/meminfo: memFree=127686500/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=266700 memory=265392 CPUtime=3331.72 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 201526 0 0 0 332886 286 0 0 20 0 1 0 142730797 273100800 66348 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 66675 66348 660 659 0 65879 0
Current children cumulated CPU time: 3331.72 s
Current children cumulated vsize: 276632 KiB
Current children cumulated memory: 268112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/242 725419
/proc/meminfo: memFree=127595708/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=245796 memory=244488 CPUtime=3391.52 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 204080 0 0 0 338859 293 0 0 20 0 1 0 142730797 251695104 61122 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 61449 61122 660 659 0 60653 0
Current children cumulated CPU time: 3391.52 s
Current children cumulated vsize: 255728 KiB
Current children cumulated memory: 247208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/243 725431
/proc/meminfo: memFree=127693420/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=246248 memory=244940 CPUtime=3451.3 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 206309 0 0 0 344832 298 0 0 20 0 1 0 142730797 252157952 61235 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 61562 61235 660 659 0 60766 0
Current children cumulated CPU time: 3451.3 s
Current children cumulated vsize: 256180 KiB
Current children cumulated memory: 247660 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/245 725495
/proc/meminfo: memFree=128215644/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=246696 memory=245388 CPUtime=3511.1 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 209632 0 0 0 350807 303 0 0 20 0 1 0 142730797 252616704 61347 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 61674 61347 660 659 0 60878 0
Current children cumulated CPU time: 3511.1 s
Current children cumulated vsize: 256628 KiB
Current children cumulated memory: 248108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/245 725505
/proc/meminfo: memFree=124827340/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=244700 memory=243392 CPUtime=3570.88 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 212336 0 0 0 356779 309 0 0 20 0 1 0 142730797 250572800 60848 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 61175 60848 660 659 0 60379 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 254632 KiB
Current children cumulated memory: 246112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.21 4.20 4.18 6/245 725712
/proc/meminfo: memFree=126534148/131655788 swapFree=131071996/131071996
[pid=723027] ppid=723024 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/723027/stat : 723027 (naps-1.03.sh) S 723024 723027 720147 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142730797 10170368 680 134679101440 94761749016576 94761750095896 140728604549280 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94761752194352 94761752241540 94761776128000 140728604558260 140728604558385 140728604558385 140728604565448 0
/proc/723027/statm: 2483 680 601 264 0 134 0
[pid=723032] ppid=723027 vsize=249432 memory=248124 CPUtime=3600.08 cores=0,2
/proc/723032/stat : 723032 (naps-1.03) R 723027 723027 720147 0 -1 4194304 213972 0 0 0 359695 313 0 0 20 0 1 0 142730797 255418368 62031 134679101440 4194304 6891213 140721718116976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38391808 140721718121413 140721718121525 140721718121525 140721718128587 0
/proc/723032/statm: 62358 62031 660 659 0 61562 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 259364 KiB
Current children cumulated memory: 250844 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.96 s, system=3.13701 s

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

Child status: 10

Real time (s): 3611.6
CPU time (s): 3600.1
CPU user time (s): 3596.96
CPU system time (s): 3.13701
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 442072
Max. memory (cumulated for all children) (KiB): 432760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.96
system time used= 3.13701
maximum resident set size= 430040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214449
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= 40
involuntary context switches= 25177


# summary of solver processes directly reported to runsolver:
#   pid: 723027
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.96
#   total CPU system time (s): 3.13701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1054 second user time and 35.3841 second system time

The end