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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456426-1721720338/watcher-4456426-1721720338 -o /tmp/evaluation-result-4456426-1721720338/solver-4456426-1721720338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721718332-86717 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456426-1721720338.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=88378, runsolver pid=88375

[startup+0.100092 s]*
/proc/loadavg: 4.10 4.13 3.95 5/259 88383
/proc/meminfo: memFree=82108380/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=20380 memory=18784 CPUtime=0.09 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 4730 0 0 0 9 0 0 0 20 0 1 0 8557359 20869120 4696 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5095 4696 612 659 0 4299 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30312 KiB
Current children cumulated memory: 21532 KiB

[startup+0.205688 s]*
/proc/loadavg: 4.10 4.13 3.95 5/259 88383
/proc/meminfo: memFree=82107848/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=20380 memory=18784 CPUtime=0.2 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 4730 0 0 0 20 0 0 0 20 0 1 0 8557359 20869120 4696 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5095 4696 612 659 0 4299 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30312 KiB
Current children cumulated memory: 21532 KiB

[startup+0.305481 s]*
/proc/loadavg: 4.10 4.13 3.95 5/259 88383
/proc/meminfo: memFree=82107740/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=20380 memory=18784 CPUtime=0.29 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 4730 0 0 0 29 0 0 0 20 0 1 0 8557359 20869120 4696 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5095 4696 612 659 0 4299 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 30312 KiB
Current children cumulated memory: 21532 KiB

[startup+0.700189 s]
/proc/loadavg: 4.10 4.13 3.95 5/259 88383
/proc/meminfo: memFree=82107600/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=22060 memory=20104 CPUtime=0.68 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 5044 0 0 0 68 0 0 0 20 0 1 0 8557359 22589440 5026 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5515 5026 612 659 0 4719 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31992 KiB
Current children cumulated memory: 22852 KiB

[startup+1.50021 s]
/proc/loadavg: 4.10 4.13 3.95 5/259 88383
/proc/meminfo: memFree=82105172/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=22324 memory=20368 CPUtime=1.48 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 5091 0 0 0 148 0 0 0 20 0 1 0 8557359 22859776 5092 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5581 5092 612 659 0 4785 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32256 KiB
Current children cumulated memory: 23116 KiB

[startup+3.10551 s]
/proc/loadavg: 4.10 4.13 3.95 5/259 88383
/proc/meminfo: memFree=82104680/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=22588 memory=20632 CPUtime=3.08 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 5164 0 0 0 308 0 0 0 20 0 1 0 8557359 23130112 5158 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5647 5158 612 659 0 4851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32520 KiB
Current children cumulated memory: 23380 KiB

[startup+6.30019 s]
/proc/loadavg: 4.09 4.13 3.95 5/259 88385
/proc/meminfo: memFree=82103656/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=23092 memory=21160 CPUtime=6.27 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 5276 0 0 0 627 0 0 0 20 0 1 0 8557359 23646208 5290 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5773 5290 612 659 0 4977 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33024 KiB
Current children cumulated memory: 23908 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 3.95 5/259 88385
/proc/meminfo: memFree=82103204/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=23760 memory=21688 CPUtime=12.65 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 5429 0 0 0 1265 0 0 0 20 0 1 0 8557359 24330240 5422 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 5940 5422 612 659 0 5144 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 33692 KiB
Current children cumulated memory: 24436 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 3.96 5/258 88388
/proc/meminfo: memFree=79690100/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=2565332 memory=2435728 CPUtime=25.42 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 203311 0 0 0 2465 77 0 0 20 0 1 0 8557359 2626899968 608932 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 641333 608932 644 659 0 640537 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2575264 KiB
Current children cumulated memory: 2438476 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.12 3.96 5/258 88391
/proc/meminfo: memFree=75965244/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=6365840 memory=6148776 CPUtime=50.95 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 601378 0 0 0 4883 212 0 0 20 0 1 0 8557359 6518620160 1537194 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 1591460 1537194 644 659 0 1590664 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6375772 KiB
Current children cumulated memory: 6151524 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 3.97 5/261 88404
/proc/meminfo: memFree=74204084/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8359060 memory=7908068 CPUtime=101.98 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 679911 0 0 0 9826 372 0 0 20 0 1 0 8557359 8559677440 1977017 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2089765 1977017 660 659 0 2088969 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 8368992 KiB
Current children cumulated memory: 7910816 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 3.99 5/261 88415
/proc/meminfo: memFree=73986236/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8385084 memory=8108672 CPUtime=161.77 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 687276 0 0 0 15752 425 0 0 20 0 1 0 8557359 8586326016 2027168 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2096271 2027168 660 659 0 2095475 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 8395016 KiB
Current children cumulated memory: 8111420 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.00 5/262 88427
/proc/meminfo: memFree=75975068/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=6360740 memory=6119636 CPUtime=221.59 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 708202 0 0 0 21627 532 0 0 20 0 1 0 8557359 6513397760 1529909 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 1590185 1529909 660 659 0 1589389 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 6370672 KiB

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

/proc/88383/statm: 2092569 1740212 660 659 0 2091773 0
Current children cumulated CPU time: 3091.12 s
Current children cumulated vsize: 8380208 KiB
Current children cumulated memory: 6963596 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.31 3.69 4/255 90394
/proc/meminfo: memFree=95241632/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8374024 memory=6964596 CPUtime=3150.89 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1157615 0 0 0 311774 3315 0 0 20 0 1 0 8557359 8575000576 1741149 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2093506 1741149 660 659 0 2092710 0
Current children cumulated CPU time: 3150.89 s
Current children cumulated vsize: 8383956 KiB
Current children cumulated memory: 6967344 KiB

[startup+3222.3 s]
/proc/loadavg: 3.17 3.29 3.66 4/255 90405
/proc/meminfo: memFree=95265056/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8374024 memory=6964596 CPUtime=3210.67 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1164018 0 0 0 317711 3356 0 0 20 0 1 0 8557359 8575000576 1741149 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2093506 1741149 660 659 0 2092710 0
Current children cumulated CPU time: 3210.67 s
Current children cumulated vsize: 8383956 KiB
Current children cumulated memory: 6967344 KiB

[startup+3282.3 s]
/proc/loadavg: 3.19 3.26 3.62 4/254 90416
/proc/meminfo: memFree=94969312/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8664240 memory=7254756 CPUtime=3270.45 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1171675 0 0 0 323641 3404 0 0 20 0 1 0 8557359 8872181760 1813689 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2166060 1813689 660 659 0 2165264 0
Current children cumulated CPU time: 3270.45 s
Current children cumulated vsize: 8674172 KiB
Current children cumulated memory: 7257504 KiB

[startup+3342.3 s]
/proc/loadavg: 3.42 3.31 3.62 4/254 90426
/proc/meminfo: memFree=95266500/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8369536 memory=6960108 CPUtime=3330.22 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1176977 0 0 0 329588 3434 0 0 20 0 1 0 8557359 8570404864 1740027 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2092384 1740027 660 659 0 2091588 0
Current children cumulated CPU time: 3330.22 s
Current children cumulated vsize: 8379468 KiB
Current children cumulated memory: 6962856 KiB

[startup+3402.3 s]
/proc/loadavg: 3.25 3.28 3.59 4/251 90437
/proc/meminfo: memFree=95119172/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8369536 memory=6960108 CPUtime=3390 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1182858 0 0 0 335536 3464 0 0 20 0 1 0 8557359 8570404864 1740027 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2092384 1740027 660 659 0 2091588 0
Current children cumulated CPU time: 3390 s
Current children cumulated vsize: 8379468 KiB
Current children cumulated memory: 6962856 KiB

[startup+3462.3 s]
/proc/loadavg: 3.53 3.35 3.59 4/251 90448
/proc/meminfo: memFree=95252668/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8373612 memory=6964184 CPUtime=3449.76 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1185770 0 0 0 341499 3477 0 0 20 0 1 0 8557359 8574578688 1741046 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2093403 1741046 660 659 0 2092607 0
Current children cumulated CPU time: 3449.76 s
Current children cumulated vsize: 8383544 KiB
Current children cumulated memory: 6966932 KiB

[startup+3522.3 s]
/proc/loadavg: 3.67 3.42 3.60 4/251 90458
/proc/meminfo: memFree=94618452/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=9005316 memory=7595812 CPUtime=3509.54 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1195120 0 0 0 347419 3535 0 0 20 0 1 0 8557359 9221443584 1898953 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2251329 1898953 660 659 0 2250533 0
Current children cumulated CPU time: 3509.54 s
Current children cumulated vsize: 9015248 KiB
Current children cumulated memory: 7598560 KiB

[startup+3582.3 s]
/proc/loadavg: 3.52 3.44 3.60 4/251 90470
/proc/meminfo: memFree=95080072/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8374244 memory=6964816 CPUtime=3569.31 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1200155 0 0 0 353372 3559 0 0 20 0 1 0 8557359 8575225856 1741204 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2093561 1741204 660 659 0 2092765 0
Current children cumulated CPU time: 3569.31 s
Current children cumulated vsize: 8384176 KiB
Current children cumulated memory: 6967564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.11 s]
/proc/loadavg: 3.44 3.43 3.59 4/251 90475
/proc/meminfo: memFree=95225224/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8373348 memory=6963920 CPUtime=3600 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1201947 0 0 0 356427 3573 0 0 20 0 1 0 8557359 8574308352 1740980 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2093337 1740980 660 659 0 2092541 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8383280 KiB
Current children cumulated memory: 6966668 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00088 s, system=0.001908 s

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

# cumulated CPU time of all completed processes:  user=3564.28 s, system=35.754 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.11 s]
/proc/loadavg: 3.44 3.43 3.59 4/251 90475
/proc/meminfo: memFree=95225224/131524600 swapFree=131071996/131071996
[pid=88378] ppid=88375 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/88378/stat : 88378 (naps-1.03.sh) S 88375 88378 86707 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 8557359 10170368 687 134679101440 94612520951808 94612522031128 140722277609216 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94612524129584 94612524176772 94612539789312 140722277610467 140722277610592 140722277610592 140722277617608 0
/proc/88378/statm: 2483 687 609 264 0 134 0
[pid=88383] ppid=88378 vsize=8373348 memory=6963920 CPUtime=3600 cores=0,2
/proc/88383/stat : 88383 (naps-1.03) R 88378 88378 86707 0 -1 4194304 1201947 0 0 0 356427 3573 0 0 20 0 1 0 8557359 8574308352 1740980 134679101440 4194304 6891213 140727624448416 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 37785600 140727624455156 140727624455268 140727624455268 140727624462283 0
/proc/88383/statm: 2093337 1740980 660 659 0 2092541 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8383280 KiB
Current children cumulated memory: 6966668 KiB

Child status: 10

Real time (s): 3613.13
CPU time (s): 3600.04
CPU user time (s): 3564.28
CPU system time (s): 35.754
CPU usage (%): 99.6376
Max. virtual memory (cumulated for all children) (KiB): 9687756
Max. memory (cumulated for all children) (KiB): 8722504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.28
system time used= 35.754
maximum resident set size= 8719756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1202403
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= 326
involuntary context switches= 25063


# summary of solver processes directly reported to runsolver:
#   pid: 88378,88383
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3564.28
#   total CPU system time (s): 35.754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15796 second user time and 18.7086 second system time

The end