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: 64059 MiB (36266 MiB free)
  memory of node 1: 64510 MiB (43119 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463848-1722352960/watcher-4463848-1722352960 -o /tmp/evaluation-result-4463848-1722352960/solver-4463848-1722352960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722352577-13564 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463848-1722352960.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=14670, runsolver pid=14667
Current StackSize limit: 8192 KiB


[startup+0.100514 s]*
/proc/loadavg: 4.18 3.39 2.58 5/250 14675
/proc/meminfo: memFree=81284800/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=12188 memory=5724 CPUtime=0.1 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 1111 0 0 0 10 0 0 0 20 0 1 0 1891607 12480512 1431 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 3047 1431 436 659 0 2251 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22120 KiB
Current children cumulated memory: 8452 KiB

[startup+0.213433 s]*
/proc/loadavg: 4.18 3.39 2.58 5/250 14675
/proc/meminfo: memFree=81272084/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=22516 memory=18016 CPUtime=0.21 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 3748 0 0 0 20 1 0 0 20 0 1 0 1891607 23056384 4504 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 5629 4504 468 659 0 4833 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32448 KiB
Current children cumulated memory: 20744 KiB

[startup+0.313827 s]*
/proc/loadavg: 4.18 3.39 2.58 5/250 14675
/proc/meminfo: memFree=81272676/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=19932 memory=16804 CPUtime=0.31 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 4219 0 0 0 30 1 0 0 20 0 1 0 1891607 20410368 4201 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 4983 4201 468 659 0 4187 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29864 KiB
Current children cumulated memory: 19532 KiB

[startup+0.700391 s]
/proc/loadavg: 4.18 3.39 2.58 5/250 14675
/proc/meminfo: memFree=81271528/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=20620 memory=17332 CPUtime=0.68 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 4390 0 0 0 67 1 0 0 20 0 1 0 1891607 21114880 4333 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 5155 4333 468 659 0 4359 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30552 KiB
Current children cumulated memory: 20060 KiB

[startup+1.50044 s]
/proc/loadavg: 4.18 3.39 2.58 5/250 14675
/proc/meminfo: memFree=81265668/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=20752 memory=17596 CPUtime=1.48 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 4422 0 0 0 147 1 0 0 20 0 1 0 1891607 21250048 4399 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 5188 4399 468 659 0 4392 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30684 KiB
Current children cumulated memory: 20324 KiB

[startup+3.11297 s]
/proc/loadavg: 4.16 3.40 2.58 5/250 14675
/proc/meminfo: memFree=81098520/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=21016 memory=17860 CPUtime=3.09 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 4488 0 0 0 308 1 0 0 20 0 1 0 1891607 21520384 4465 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 5254 4465 468 659 0 4458 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30948 KiB
Current children cumulated memory: 20588 KiB

[startup+6.30042 s]
/proc/loadavg: 4.16 3.40 2.58 5/250 14675
/proc/meminfo: memFree=80445728/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=21388 memory=18388 CPUtime=6.27 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 4605 0 0 0 626 1 0 0 20 0 1 0 1891607 21901312 4597 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 5347 4597 468 659 0 4551 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31320 KiB
Current children cumulated memory: 21116 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 3.41 2.59 5/250 14676
/proc/meminfo: memFree=80085636/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=22184 memory=18916 CPUtime=12.65 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 4769 0 0 0 1264 1 0 0 20 0 1 0 1891607 22716416 4729 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 5546 4729 468 659 0 4750 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32116 KiB
Current children cumulated memory: 21644 KiB

[startup+25.5005 s]
/proc/loadavg: 4.11 3.44 2.61 5/250 14678
/proc/meminfo: memFree=77869952/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=1983600 memory=1880532 CPUtime=25.43 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 172885 0 0 0 2492 51 0 0 20 0 1 0 1891607 2031206400 470133 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 495900 470133 468 659 0 495104 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1993532 KiB
Current children cumulated memory: 1883260 KiB

[startup+51.1133 s]
/proc/loadavg: 4.13 3.51 2.66 5/250 14682
/proc/meminfo: memFree=75734248/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=2716372 memory=2497848 CPUtime=50.97 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 236664 0 0 0 5013 84 0 0 20 0 1 0 1891607 2781564928 624462 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 679093 624462 468 659 0 678297 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2726304 KiB
Current children cumulated memory: 2500576 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 3.60 2.74 5/250 14692
/proc/meminfo: memFree=74927288/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=2725052 memory=2522432 CPUtime=102.02 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 237288 0 0 0 10117 85 0 0 20 0 1 0 1891607 2790453248 630608 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 681263 630608 468 659 0 680467 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2734984 KiB
Current children cumulated memory: 2525160 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 3.70 2.83 8/253 14875
/proc/meminfo: memFree=71249020/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3708208 memory=3302464 CPUtime=161.85 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 310298 0 0 0 16067 118 0 0 20 0 1 0 1891607 3797204992 825616 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 927052 825616 468 659 0 926256 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3718140 KiB
Current children cumulated memory: 3305192 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 3.79 2.91 5/250 15200
/proc/meminfo: memFree=85599492/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3840468 memory=3332032 CPUtime=221.69 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 311290 0 0 0 22048 121 0 0 20 0 1 0 1891607 3932639232 833008 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 960117 833008 468 659 0 959321 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 3850400 KiB

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

/proc/14675/statm: 965922 857380 468 659 0 965126 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3432248 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/247 16904
/proc/meminfo: memFree=81127284/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3731428 memory=3339596 CPUtime=3153.38 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 387097 0 0 0 315069 269 0 0 20 0 1 0 1891607 3820982272 834899 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 932857 834899 468 659 0 932061 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3342324 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/245 16916
/proc/meminfo: memFree=79585608/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3863688 memory=3366032 CPUtime=3213.2 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 388812 0 0 0 321049 271 0 0 20 0 1 0 1891607 3956416512 841508 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 965922 841508 468 659 0 965126 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3368760 KiB

[startup+3282.3 s]
/proc/loadavg: 3.19 3.89 4.01 3/229 16987
/proc/meminfo: memFree=121307480/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3863688 memory=3392656 CPUtime=3273 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 390153 0 0 0 327029 271 0 0 20 0 1 0 1891607 3956416512 848164 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 965922 848164 468 659 0 965126 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3395384 KiB

[startup+3342.3 s]
/proc/loadavg: 2.55 3.58 3.89 3/229 16999
/proc/meminfo: memFree=121284208/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3863688 memory=3423376 CPUtime=3332.83 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 391361 0 0 0 333010 273 0 0 20 0 1 0 1891607 3956416512 855844 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 965922 855844 468 659 0 965126 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3426104 KiB

[startup+3402.3 s]
/proc/loadavg: 2.26 3.30 3.78 3/229 17010
/proc/meminfo: memFree=121336860/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3863688 memory=3361936 CPUtime=3392.64 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 393785 0 0 0 338987 277 0 0 20 0 1 0 1891607 3956416512 840484 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 965922 840484 468 659 0 965126 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3364664 KiB

[startup+3462.3 s]
/proc/loadavg: 2.19 3.09 3.67 3/232 17026
/proc/meminfo: memFree=121303580/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3863688 memory=3394704 CPUtime=3452.46 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 395027 0 0 0 344968 278 0 0 20 0 1 0 1891607 3956416512 848676 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 965922 848676 468 659 0 965126 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3397432 KiB

[startup+3522.3 s]
/proc/loadavg: 2.18 2.92 3.58 3/232 17036
/proc/meminfo: memFree=121286188/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3863688 memory=3421328 CPUtime=3512.28 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 396200 0 0 0 350949 279 0 0 20 0 1 0 1891607 3956416512 855332 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 965922 855332 468 659 0 965126 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3424056 KiB

[startup+3582.3 s]
/proc/loadavg: 2.11 2.77 3.48 3/232 17046
/proc/meminfo: memFree=121315528/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3871704 memory=3366032 CPUtime=3572.1 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 399211 0 0 0 356926 284 0 0 20 0 1 0 1891607 3964624896 841508 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 967926 841508 468 659 0 967130 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 3881636 KiB
Current children cumulated memory: 3368760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 2.13 2.71 3.44 3/232 17053
/proc/meminfo: memFree=121325488/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3871704 memory=3384464 CPUtime=3600.01 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 399814 0 0 0 359716 285 0 0 20 0 1 0 1891607 3964624896 846116 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 967926 846116 468 659 0 967130 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3881636 KiB
Current children cumulated memory: 3387192 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00207 s, system=0.005118 s

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

# cumulated CPU time of all completed processes:  user=3597.17 s, system=2.87 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+3610.3 s]
/proc/loadavg: 2.13 2.71 3.44 3/232 17053
/proc/meminfo: memFree=121325488/131655788 swapFree=131071996/131071996
[pid=14670] ppid=14667 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/14670/stat : 14670 (naps-1.03.sh) S 14667 14670 13552 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 1891606 10170368 682 134679101440 93828226551808 93828227631128 140723750499024 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93828229729584 93828229776772 93828238970880 140723750503391 140723750503520 140723750503520 140723750510536 0
/proc/14670/statm: 2483 682 604 264 0 134 0
[pid=14675] ppid=14670 vsize=3871704 memory=3384464 CPUtime=3600.01 cores=1,3
/proc/14675/stat : 14675 (naps-1.03a2) R 14670 14670 13552 0 -1 4194304 399814 0 0 0 359716 285 0 0 20 0 1 0 1891607 3964624896 846116 134679101440 4194304 6891597 140732277009904 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40894464 140732277011434 140732277011552 140732277011552 140732277018569 0
/proc/14675/statm: 967926 846116 468 659 0 967130 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3881636 KiB
Current children cumulated memory: 3387192 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.04
CPU user time (s): 3597.17
CPU system time (s): 2.87
CPU usage (%): 99.7154
Max. virtual memory (cumulated for all children) (KiB): 4085236
Max. memory (cumulated for all children) (KiB): 3632520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.17
system time used= 2.87
maximum resident set size= 3629792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400277
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= 284
involuntary context switches= 5464


# summary of solver processes directly reported to runsolver:
#   pid: 14670,14675
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3597.17
#   total CPU system time (s): 2.87

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7273 second user time and 35.551 second system time

The end