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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461627-1722079566/watcher-4461627-1722079566 -o /tmp/evaluation-result-4461627-1722079566/solver-4461627-1722079566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722075896-379737 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461627-1722079566.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=382602, runsolver pid=382599

[startup+0.100088 s]*
/proc/loadavg: 4.10 4.12 4.13 4/258 382607
/proc/meminfo: memFree=110385296/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=20380 memory=18788 CPUtime=0.09 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 4731 0 0 0 9 0 0 0 20 0 1 0 44480569 20869120 4697 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5095 4697 612 659 0 4299 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30312 KiB
Current children cumulated memory: 21488 KiB

[startup+0.205867 s]*
/proc/loadavg: 4.10 4.12 4.13 5/258 382621
/proc/meminfo: memFree=110328520/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=20380 memory=18788 CPUtime=0.2 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 4731 0 0 0 20 0 0 0 20 0 1 0 44480569 20869120 4697 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5095 4697 612 659 0 4299 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30312 KiB
Current children cumulated memory: 21488 KiB

[startup+0.305804 s]*
/proc/loadavg: 4.10 4.12 4.13 5/258 382621
/proc/meminfo: memFree=110269028/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=20380 memory=18788 CPUtime=0.3 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 4731 0 0 0 30 0 0 0 20 0 1 0 44480569 20869120 4697 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5095 4697 612 659 0 4299 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30312 KiB
Current children cumulated memory: 21488 KiB

[startup+0.700229 s]
/proc/loadavg: 4.10 4.12 4.13 4/255 382638
/proc/meminfo: memFree=110159168/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=22060 memory=20108 CPUtime=0.68 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 5045 0 0 0 68 0 0 0 20 0 1 0 44480569 22589440 5027 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5515 5027 612 659 0 4719 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31992 KiB
Current children cumulated memory: 22808 KiB

[startup+1.50027 s]
/proc/loadavg: 4.10 4.12 4.13 6/261 382657
/proc/meminfo: memFree=109181416/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=22324 memory=20372 CPUtime=1.48 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 5093 0 0 0 148 0 0 0 20 0 1 0 44480569 22859776 5093 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5581 5093 612 659 0 4785 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32256 KiB
Current children cumulated memory: 23072 KiB

[startup+3.10561 s]
/proc/loadavg: 4.10 4.12 4.13 5/261 382658
/proc/meminfo: memFree=108311184/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=22588 memory=20636 CPUtime=3.09 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 5166 0 0 0 309 0 0 0 20 0 1 0 44480569 23130112 5159 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5647 5159 612 659 0 4851 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32520 KiB
Current children cumulated memory: 23336 KiB

[startup+6.30023 s]
/proc/loadavg: 4.10 4.11 4.13 5/261 382658
/proc/meminfo: memFree=107171236/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=23092 memory=21164 CPUtime=6.27 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 5278 0 0 0 627 0 0 0 20 0 1 0 44480569 23646208 5291 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5773 5291 612 659 0 4977 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33024 KiB
Current children cumulated memory: 23864 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.13 5/261 382660
/proc/meminfo: memFree=103065380/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=23760 memory=21692 CPUtime=12.66 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 5430 0 0 0 1266 0 0 0 20 0 1 0 44480569 24330240 5423 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 5940 5423 612 659 0 5144 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33692 KiB
Current children cumulated memory: 24392 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.11 4.12 5/261 382661
/proc/meminfo: memFree=96701524/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=2565860 memory=2435132 CPUtime=25.44 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 206819 0 0 0 2468 76 0 0 20 0 1 0 44480569 2627440640 608783 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 641465 608783 644 659 0 640669 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2575792 KiB
Current children cumulated memory: 2437832 KiB

[startup+51.1059 s]
/proc/loadavg: 4.04 4.10 4.12 5/261 382665
/proc/meminfo: memFree=86165640/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=6337460 memory=6118252 CPUtime=50.97 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 596759 0 0 0 4887 210 0 0 20 0 1 0 44480569 6489559040 1529563 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 1584365 1529563 644 659 0 1583569 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 6347392 KiB
Current children cumulated memory: 6120952 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/261 382676
/proc/meminfo: memFree=75825580/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8096916 memory=7799004 CPUtime=102 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 681928 0 0 0 9834 366 0 0 20 0 1 0 44480569 8291241984 1949751 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2024229 1949751 660 659 0 2023433 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 8106848 KiB
Current children cumulated memory: 7801704 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/263 382856
/proc/meminfo: memFree=73697176/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8385084 memory=8104476 CPUtime=161.82 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 688449 0 0 0 15756 426 0 0 20 0 1 0 44480569 8586326016 2026119 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2096271 2026119 660 659 0 2095475 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 8395016 KiB
Current children cumulated memory: 8107176 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/263 382866
/proc/meminfo: memFree=72817736/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=6192252 memory=5955640 CPUtime=221.65 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 708335 0 0 0 21647 518 0 0 20 0 1 0 44480569 6340866048 1488910 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 1548063 1488910 660 659 0 1547267 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 6202184 KiB

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

[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8522612 memory=7113048 CPUtime=3093.11 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1057452 0 0 0 306220 3091 0 0 20 0 1 0 44480569 8727154688 1778262 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2130653 1778262 660 659 0 2129857 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 8532544 KiB
Current children cumulated memory: 7115748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 384051
/proc/meminfo: memFree=76294272/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8523592 memory=7114096 CPUtime=3152.94 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1059907 0 0 0 312187 3107 0 0 20 0 1 0 44480569 8728158208 1778524 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2130898 1778524 660 659 0 2130102 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 8533524 KiB
Current children cumulated memory: 7116796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 384061
/proc/meminfo: memFree=76561624/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8523592 memory=7114096 CPUtime=3212.76 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1063770 0 0 0 318139 3137 0 0 20 0 1 0 44480569 8728158208 1778524 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2130898 1778524 660 659 0 2130102 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 8533524 KiB
Current children cumulated memory: 7116796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 384077
/proc/meminfo: memFree=74599272/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8520852 memory=7111356 CPUtime=3272.59 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1065834 0 0 0 324106 3153 0 0 20 0 1 0 44480569 8725352448 1777839 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2130213 1777839 660 659 0 2129417 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 8530784 KiB
Current children cumulated memory: 7114056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/261 384088
/proc/meminfo: memFree=76420592/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8523164 memory=7113668 CPUtime=3332.41 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1067752 0 0 0 330074 3167 0 0 20 0 1 0 44480569 8727719936 1778417 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2130791 1778417 660 659 0 2129995 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 8533096 KiB
Current children cumulated memory: 7116368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 384100
/proc/meminfo: memFree=74675344/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8234036 memory=6824540 CPUtime=3392.23 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1074707 0 0 0 335995 3228 0 0 20 0 1 0 44480569 8431652864 1706135 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2058509 1706135 660 659 0 2057713 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 8243968 KiB
Current children cumulated memory: 6827240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 384112
/proc/meminfo: memFree=76434632/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8526912 memory=7117416 CPUtime=3452.06 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1079889 0 0 0 341938 3268 0 0 20 0 1 0 44480569 8731557888 1779354 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2131728 1779354 660 659 0 2130932 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 8536844 KiB
Current children cumulated memory: 7120116 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 384122
/proc/meminfo: memFree=76532808/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8526912 memory=7117416 CPUtime=3511.87 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1082606 0 0 0 347900 3287 0 0 20 0 1 0 44480569 8731557888 1779354 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2131728 1779354 660 659 0 2130932 0
Current children cumulated CPU time: 3511.87 s
Current children cumulated vsize: 8536844 KiB
Current children cumulated memory: 7120116 KiB

[startup+3582.3 s]
/proc/loadavg: 3.69 4.00 4.06 3/245 384580
/proc/meminfo: memFree=97037660/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8528000 memory=7118524 CPUtime=3571.69 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1087861 0 0 0 353839 3330 0 0 20 0 1 0 44480569 8732672000 1779631 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2132000 1779631 660 659 0 2131204 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 8537932 KiB
Current children cumulated memory: 7121224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 3.08 3.82 4.00 3/245 384583
/proc/meminfo: memFree=96766220/131524600 swapFree=131056284/131071996
[pid=382602] ppid=382599 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/382602/stat : 382602 (naps-1.03.sh) S 382599 382602 379726 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 44480568 10170368 675 134679101440 94732525342720 94732526422040 140736521984272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94732528520496 94732528567684 94732531396608 140736521987041 140736521987166 140736521987166 140736521994184 0
/proc/382602/statm: 2483 675 597 264 0 134 0
[pid=382607] ppid=382602 vsize=8528000 memory=7118524 CPUtime=3600.01 cores=4,6
/proc/382607/stat : 382607 (naps-1.03) R 382602 382602 379726 0 -1 4194304 1091331 0 0 0 356642 3359 0 0 20 0 1 0 44480569 8732672000 1779631 134679101440 4194304 6891597 140734933618784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40132608 140734933627890 140734933628002 140734933628002 140734933635019 0
/proc/382607/statm: 2132000 1779631 660 659 0 2131204 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 8537932 KiB
Current children cumulated memory: 7121224 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000877 s, system=0.001917 s

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

# cumulated CPU time of all completed processes:  user=3566.43 s, system=33.7074 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.8 s]*
/proc/loadavg: 3.08 3.82 4.00 3/244 384583
/proc/meminfo: memFree=103115408/131524600 swapFree=131056284/131071996
Current cumulated CPU time of completed processes: 0.002794 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3610.81
CPU time (s): 3600.13
CPU user time (s): 3566.43
CPU system time (s): 33.7074
CPU usage (%): 99.7043
Max. virtual memory (cumulated for all children) (KiB): 9696140
Max. memory (cumulated for all children) (KiB): 8728624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.43
system time used= 33.7074
maximum resident set size= 8725924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1091793
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= 26
involuntary context switches= 3797


# summary of solver processes directly reported to runsolver:
#   pid: 382602,382607
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3566.43
#   total CPU system time (s): 33.7074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25553 second user time and 19.7963 second system time

The end