runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62272 MiB free)
  memory of node 1: 64510 MiB (58169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434224-1721071437/watcher-4434224-1721071437 -o /tmp/evaluation-result-4434224-1721071437/solver-4434224-1721071437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721063459-838782 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434224-1721071437.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100091 s]*
/proc/loadavg: 4.17 4.14 4.10 5/262 843592
/proc/meminfo: memFree=123328324/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=7972 memory=6648 CPUtime=0.09 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 1172 0 0 0 9 0 0 0 20 0 1 0 159309065 8163328 1662 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 1993 1662 580 659 0 1197 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17904 KiB
Current children cumulated memory: 9308 KiB

[startup+0.205721 s]*
/proc/loadavg: 4.17 4.14 4.10 5/262 843592
/proc/meminfo: memFree=123321760/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=14736 memory=13392 CPUtime=0.2 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 2879 0 0 0 20 0 0 0 20 0 1 0 159309065 15089664 3348 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 3684 3348 580 659 0 2888 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24668 KiB
Current children cumulated memory: 16052 KiB

[startup+0.305685 s]*
/proc/loadavg: 4.17 4.14 4.10 5/262 843592
/proc/meminfo: memFree=123312212/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=24244 memory=22632 CPUtime=0.29 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 5239 0 0 0 29 0 0 0 20 0 1 0 159309065 24825856 5658 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 6061 5658 580 659 0 5265 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34176 KiB
Current children cumulated memory: 25292 KiB

[startup+0.700259 s]
/proc/loadavg: 4.17 4.14 4.10 5/262 843592
/proc/meminfo: memFree=123292920/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=61428 memory=59820 CPUtime=0.69 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 15354 0 0 0 66 3 0 0 20 0 1 0 159309065 62902272 14955 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 15357 14955 596 659 0 14561 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71360 KiB
Current children cumulated memory: 62480 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.14 4.10 5/262 843592
/proc/meminfo: memFree=123273348/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=95012 memory=91508 CPUtime=1.49 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 22678 0 0 0 142 7 0 0 20 0 1 0 159309065 97292288 22877 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 23753 22877 596 659 0 22957 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 104944 KiB
Current children cumulated memory: 94168 KiB

[startup+3.10559 s]
/proc/loadavg: 4.24 4.16 4.10 5/262 843592
/proc/meminfo: memFree=123078632/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=263344 memory=255076 CPUtime=3.08 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 48925 0 0 0 296 12 0 0 20 0 1 0 159309065 269664256 63769 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 65836 63769 644 659 0 65040 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 273276 KiB
Current children cumulated memory: 257736 KiB

[startup+6.30026 s]
/proc/loadavg: 4.24 4.16 4.10 5/262 843592
/proc/meminfo: memFree=123053940/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=286572 memory=279776 CPUtime=6.28 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 52833 0 0 0 613 15 0 0 20 0 1 0 159309065 293449728 69944 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 71643 69944 660 659 0 70847 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 296504 KiB
Current children cumulated memory: 282436 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.16 4.10 5/262 843593
/proc/meminfo: memFree=123026564/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=286980 memory=279940 CPUtime=12.66 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 52963 0 0 0 1251 15 0 0 20 0 1 0 159309065 293867520 69985 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 71745 69985 660 659 0 70949 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 296912 KiB
Current children cumulated memory: 282600 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.15 4.10 5/262 843595
/proc/meminfo: memFree=123026928/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=286980 memory=280144 CPUtime=25.42 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 53006 0 0 0 2527 15 0 0 20 0 1 0 159309065 293867520 70036 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 71745 70036 660 659 0 70949 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 296912 KiB
Current children cumulated memory: 282804 KiB

[startup+51.1057 s]
/proc/loadavg: 4.18 4.15 4.10 5/263 843600
/proc/meminfo: memFree=123031500/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=286980 memory=280144 CPUtime=50.96 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 53049 0 0 0 5081 15 0 0 20 0 1 0 159309065 293867520 70036 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 71745 70036 660 659 0 70949 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 296912 KiB
Current children cumulated memory: 282804 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/262 843993
/proc/meminfo: memFree=122992492/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=288356 memory=281520 CPUtime=102.02 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 53442 0 0 0 10186 16 0 0 20 0 1 0 159309065 295276544 70380 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 72089 70380 660 659 0 71293 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 298288 KiB
Current children cumulated memory: 284180 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/262 844003
/proc/meminfo: memFree=123051408/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=288356 memory=282328 CPUtime=161.84 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 53691 0 0 0 16168 16 0 0 20 0 1 0 159309065 295276544 70582 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 72089 70582 660 659 0 71293 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 298288 KiB
Current children cumulated memory: 284988 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/262 844014
/proc/meminfo: memFree=123079120/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=357676 memory=345204 CPUtime=221.66 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 54671 0 0 0 22148 18 0 0 20 0 1 0 159309065 366260224 86301 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 89419 86301 660 659 0 88623 0
Current children cumulated CPU time: 221.66 s

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

/proc/loadavg: 3.19 3.57 3.87 4/251 845526
/proc/meminfo: memFree=123650288/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=386984 memory=378488 CPUtime=3093.89 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 97236 0 0 0 309280 109 0 0 20 0 1 0 159309065 396271616 94622 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 96746 94622 660 659 0 95950 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 396916 KiB
Current children cumulated memory: 381148 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.48 3.82 4/253 845540
/proc/meminfo: memFree=123694640/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=341752 memory=333376 CPUtime=3153.72 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 97557 0 0 0 315263 109 0 0 20 0 1 0 159309065 349954048 83344 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 85438 83344 660 659 0 84642 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 351684 KiB
Current children cumulated memory: 336036 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.40 3.77 4/253 845551
/proc/meminfo: memFree=123693916/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=341752 memory=333376 CPUtime=3213.54 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 98229 0 0 0 321244 110 0 0 20 0 1 0 159309065 349954048 83344 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 85438 83344 660 659 0 84642 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 351684 KiB
Current children cumulated memory: 336036 KiB

[startup+3282.3 s]
/proc/loadavg: 3.14 3.36 3.73 4/253 845562
/proc/meminfo: memFree=123641740/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=390312 memory=381936 CPUtime=3273.37 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 98749 0 0 0 327226 111 0 0 20 0 1 0 159309065 399679488 95484 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 97578 95484 660 659 0 96782 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 400244 KiB
Current children cumulated memory: 384596 KiB

[startup+3342.3 s]
/proc/loadavg: 3.13 3.32 3.69 4/253 845572
/proc/meminfo: memFree=123690044/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=341752 memory=333376 CPUtime=3333.19 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 98875 0 0 0 333208 111 0 0 20 0 1 0 159309065 349954048 83344 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 85438 83344 660 659 0 84642 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 351684 KiB
Current children cumulated memory: 336036 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.27 3.65 4/253 845586
/proc/meminfo: memFree=123638924/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=390848 memory=382472 CPUtime=3393.02 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 99502 0 0 0 339189 113 0 0 20 0 1 0 159309065 400228352 95618 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 97712 95618 660 659 0 96916 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 400780 KiB
Current children cumulated memory: 385132 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.25 3.62 4/252 845597
/proc/meminfo: memFree=123685104/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=342364 memory=333988 CPUtime=3452.85 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 100034 0 0 0 345171 114 0 0 20 0 1 0 159309065 350580736 83497 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 85591 83497 660 659 0 84795 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 352296 KiB
Current children cumulated memory: 336648 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.23 3.59 4/252 845607
/proc/meminfo: memFree=123634068/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=391364 memory=382920 CPUtime=3512.67 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 100659 0 0 0 351152 115 0 0 20 0 1 0 159309065 400756736 95730 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 97841 95730 660 659 0 97045 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 401296 KiB
Current children cumulated memory: 385580 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.22 3.56 4/252 845618
/proc/meminfo: memFree=123715684/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=342364 memory=333988 CPUtime=3572.5 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 100787 0 0 0 357135 115 0 0 20 0 1 0 159309065 350580736 83497 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 85591 83497 660 659 0 84795 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 352296 KiB
Current children cumulated memory: 336648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 3.10 3.20 3.54 4/252 845624
/proc/meminfo: memFree=123647908/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=392768 memory=384248 CPUtime=3600.01 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 101127 0 0 0 359885 116 0 0 20 0 1 0 159309065 402194432 96062 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 98192 96062 660 659 0 97396 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 402700 KiB
Current children cumulated memory: 386908 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.86 s, system=1.17017 s

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

[startup+3609.9 s]
/proc/loadavg: 3.10 3.20 3.54 4/252 845624
/proc/meminfo: memFree=123647908/131524600 swapFree=131071996/131071996
[pid=843587] ppid=843584 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/843587/stat : 843587 (naps-1.03.sh) S 843584 843587 838771 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 159309065 10170368 665 134679101440 93874718957568 93874720036888 140734178860224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93874722135344 93874722182532 93874731253760 140734178866148 140734178866273 140734178866273 140734178873288 0
/proc/843587/statm: 2483 665 585 264 0 134 0
[pid=843592] ppid=843587 vsize=392768 memory=384248 CPUtime=3600.01 cores=4,6
/proc/843592/stat : 843592 (naps-1.03) R 843587 843587 838771 0 -1 4194304 101127 0 0 0 359885 116 0 0 20 0 1 0 159309065 402194432 96062 134679101440 4194304 6891213 140727810984592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24891392 140727810986997 140727810987109 140727810987109 140727810994123 0
/proc/843592/statm: 98192 96062 660 659 0 97396 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 402700 KiB
Current children cumulated memory: 386908 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.03
CPU user time (s): 3598.86
CPU system time (s): 1.17017
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 478972
Max. memory (cumulated for all children) (KiB): 462592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.17017
maximum resident set size= 460520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101601
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= 71
involuntary context switches= 1365


# summary of solver processes directly reported to runsolver:
#   pid: 843587
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.86
#   total CPU system time (s): 1.17017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.12665 second user time and 16.6863 second system time

The end