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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456056-1721718429/watcher-4456056-1721718429 -o /tmp/evaluation-result-4456056-1721718429/solver-4456056-1721718429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721718429-79325 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456056-1721718429.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
solver pid=79374, runsolver pid=79368
Current StackSize limit: 8192 KiB


[startup+0.100594 s]*
/proc/loadavg: 0.99 1.19 1.58 6/247 79405
/proc/meminfo: memFree=127141676/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=17608 memory=15788 CPUtime=0.1 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 3911 0 0 0 9 1 0 0 20 0 1 0 7832161 18030592 3947 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 4402 3947 612 659 0 3606 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27540 KiB
Current children cumulated memory: 18540 KiB

[startup+0.223558 s]*
/proc/loadavg: 0.99 1.19 1.58 7/247 79405
/proc/meminfo: memFree=127130672/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=22676 memory=21164 CPUtime=0.21 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 5403 0 0 0 20 1 0 0 20 0 1 0 7832161 23220224 5291 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 5669 5291 612 659 0 4873 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32608 KiB
Current children cumulated memory: 23916 KiB

[startup+0.312759 s]*
/proc/loadavg: 0.99 1.19 1.58 5/247 79405
/proc/meminfo: memFree=127119024/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=34996 memory=32584 CPUtime=0.3 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 8816 0 0 0 28 2 0 0 20 0 1 0 7832161 35835904 8146 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 8749 8146 612 659 0 7953 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44928 KiB
Current children cumulated memory: 35336 KiB

[startup+0.700421 s]
/proc/loadavg: 0.99 1.19 1.58 5/247 79405
/proc/meminfo: memFree=127084752/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=40900 memory=37984 CPUtime=0.68 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 10112 0 0 0 65 3 0 0 20 0 1 0 7832161 41881600 9496 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 10225 9496 644 659 0 9429 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 40736 KiB

[startup+1.50048 s]
/proc/loadavg: 0.99 1.19 1.58 5/247 79405
/proc/meminfo: memFree=126809000/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=59968 memory=57240 CPUtime=1.47 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 18260 0 0 0 141 6 0 0 20 0 1 0 7832161 61407232 14310 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 14992 14310 660 659 0 14196 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 69900 KiB
Current children cumulated memory: 59992 KiB

[startup+3.11396 s]
/proc/loadavg: 0.99 1.19 1.58 5/247 79405
/proc/meminfo: memFree=125117488/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=65144 memory=57960 CPUtime=3.08 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 21412 0 0 0 301 7 0 0 20 0 1 0 7832161 66707456 14490 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 16286 14490 660 659 0 15490 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 60712 KiB

[startup+6.30043 s]
/proc/loadavg: 1.23 1.24 1.60 5/247 79407
/proc/meminfo: memFree=124335892/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=65144 memory=60008 CPUtime=6.26 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 21414 0 0 0 619 7 0 0 20 0 1 0 7832161 66707456 15002 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 16286 15002 660 659 0 15490 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 62760 KiB

[startup+12.7004 s]
/proc/loadavg: 1.45 1.28 1.61 5/247 79407
/proc/meminfo: memFree=123795248/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=65144 memory=60008 CPUtime=12.64 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 21424 0 0 0 1257 7 0 0 20 0 1 0 7832161 66707456 15002 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 16286 15002 660 659 0 15490 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 62760 KiB

[startup+25.5005 s]
/proc/loadavg: 2.08 1.43 1.65 5/247 79410
/proc/meminfo: memFree=123832012/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=78692 memory=73320 CPUtime=25.39 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 23772 0 0 0 2532 7 0 0 20 0 1 0 7832161 80580608 18330 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 19673 18330 660 659 0 18877 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 88624 KiB
Current children cumulated memory: 76072 KiB

[startup+51.1138 s]
/proc/loadavg: 2.74 1.64 1.72 5/246 79463
/proc/meminfo: memFree=123551132/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=80048 memory=75316 CPUtime=50.9 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 27565 0 0 0 5082 8 0 0 20 0 1 0 7832161 81969152 18829 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 20012 18829 660 659 0 19216 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 89980 KiB
Current children cumulated memory: 78068 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.02 1.84 5/246 79520
/proc/meminfo: memFree=123872100/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=72772 memory=68256 CPUtime=101.9 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 32361 0 0 0 10180 10 0 0 20 0 1 0 7832161 74518528 17064 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 18193 17064 660 659 0 17397 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 82704 KiB
Current children cumulated memory: 71008 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.43 2.00 5/246 79681
/proc/meminfo: memFree=123291320/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=96724 memory=91872 CPUtime=161.67 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 39191 0 0 0 16154 13 0 0 20 0 1 0 7832161 99045376 22968 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 24181 22968 660 659 0 23385 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 106656 KiB
Current children cumulated memory: 94624 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 2.78 2.15 5/249 80045
/proc/meminfo: memFree=125803764/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=102044 memory=97176 CPUtime=221.46 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 44237 0 0 0 22129 17 0 0 20 0 1 0 7832161 104493056 24294 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 25511 24294 660 659 0 24715 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 111976 KiB

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

/proc/79384/statm: 51320 49922 660 659 0 50524 0
Current children cumulated CPU time: 3090.84 s
Current children cumulated vsize: 215212 KiB
Current children cumulated memory: 202440 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/250 82606
/proc/meminfo: memFree=105070544/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=214252 memory=208660 CPUtime=3150.6 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 171836 0 0 0 314876 184 0 0 20 0 1 0 7832161 219394048 52165 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 53563 52165 660 659 0 52767 0
Current children cumulated CPU time: 3150.6 s
Current children cumulated vsize: 224184 KiB
Current children cumulated memory: 211412 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/250 82619
/proc/meminfo: memFree=105092968/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=205540 memory=199948 CPUtime=3210.38 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 174492 0 0 0 320848 190 0 0 20 0 1 0 7832161 210472960 49987 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 51385 49987 660 659 0 50589 0
Current children cumulated CPU time: 3210.38 s
Current children cumulated vsize: 215472 KiB
Current children cumulated memory: 202700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/249 82641
/proc/meminfo: memFree=105087964/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=208932 memory=203340 CPUtime=3270.15 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 176768 0 0 0 326820 195 0 0 20 0 1 0 7832161 213946368 50835 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 52233 50835 660 659 0 51437 0
Current children cumulated CPU time: 3270.15 s
Current children cumulated vsize: 218864 KiB
Current children cumulated memory: 206092 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/249 82652
/proc/meminfo: memFree=103831620/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=232372 memory=227248 CPUtime=3329.92 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 181305 0 0 0 332791 201 0 0 20 0 1 0 7832161 237948928 56812 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 58093 56812 660 659 0 57297 0
Current children cumulated CPU time: 3329.92 s
Current children cumulated vsize: 242304 KiB
Current children cumulated memory: 230000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/247 82662
/proc/meminfo: memFree=101831712/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=216684 memory=209400 CPUtime=3389.69 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 182368 0 0 0 338765 204 0 0 20 0 1 0 7832161 221884416 52350 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 54171 52350 660 659 0 53375 0
Current children cumulated CPU time: 3389.69 s
Current children cumulated vsize: 226616 KiB
Current children cumulated memory: 212152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/247 82672
/proc/meminfo: memFree=103894260/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=217640 memory=210356 CPUtime=3449.46 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 184698 0 0 0 344737 209 0 0 20 0 1 0 7832161 222863360 52589 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 54410 52589 660 659 0 53614 0
Current children cumulated CPU time: 3449.46 s
Current children cumulated vsize: 227572 KiB
Current children cumulated memory: 213108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/245 82682
/proc/meminfo: memFree=104253800/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=217196 memory=209912 CPUtime=3509.23 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 187179 0 0 0 350709 214 0 0 20 0 1 0 7832161 222408704 52478 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 54299 52478 660 659 0 53503 0
Current children cumulated CPU time: 3509.23 s
Current children cumulated vsize: 227128 KiB
Current children cumulated memory: 212664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.07 5/245 82693
/proc/meminfo: memFree=105652052/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=217028 memory=209744 CPUtime=3569 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 188794 0 0 0 356682 218 0 0 20 0 1 0 7832161 222236672 52436 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 54257 52436 660 659 0 53461 0
Current children cumulated CPU time: 3569 s
Current children cumulated vsize: 226960 KiB
Current children cumulated memory: 212496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 4.18 4.14 4.08 5/245 82699
/proc/meminfo: memFree=105737808/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=221488 memory=214204 CPUtime=3600.08 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 189671 0 0 0 359788 220 0 0 20 0 1 0 7832161 226803712 53551 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 55372 53551 660 659 0 54576 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 231420 KiB
Current children cumulated memory: 216956 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.004007 s, system=0.004042 s

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

# cumulated CPU time of all completed processes:  user=3597.89 s, system=2.2118 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3613.5 s]
/proc/loadavg: 4.18 4.14 4.08 5/245 82699
/proc/meminfo: memFree=105737808/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79368 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/79374/stat : 79374 (naps-1.03.sh) S 79368 79374 79315 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 7832160 10170368 688 134679101440 94811242450944 94811243530264 140735083655808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94811245628720 94811245675908 94811267227648 140735083664355 140735083664480 140735083664480 140735083671496 0
/proc/79374/statm: 2483 688 610 264 0 134 0
[pid=79384] ppid=79374 vsize=221488 memory=214204 CPUtime=3600.08 cores=0,2
/proc/79384/stat : 79384 (naps-1.03) R 79374 79374 79315 0 -1 4194304 189671 0 0 0 359788 220 0 0 20 0 1 0 7832161 226803712 53551 134679101440 4194304 6891213 140730119358048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 14123008 140730119361524 140730119361636 140730119361636 140730119368651 0
/proc/79384/statm: 55372 53551 660 659 0 54576 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 231420 KiB
Current children cumulated memory: 216956 KiB

Child status: 10

Real time (s): 3613.51
CPU time (s): 3600.1
CPU user time (s): 3597.89
CPU system time (s): 2.2118
CPU usage (%): 99.6291
Max. virtual memory (cumulated for all children) (KiB): 316904
Max. memory (cumulated for all children) (KiB): 296660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.89
system time used= 2.2118
maximum resident set size= 301200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190136
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= 29
involuntary context switches= 24668


# summary of solver processes directly reported to runsolver:
#   pid: 79374,79384
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.89
#   total CPU system time (s): 2.2118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9966 second user time and 34.8507 second system time

The end