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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458107-1721876463/watcher-4458107-1721876463 -o /tmp/evaluation-result-4458107-1721876463/solver-4458107-1721876463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263951 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458107-1721876463.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=264016, runsolver pid=264006

[startup+0.100063 s]*
/proc/loadavg: 0.43 1.59 2.91 7/246 264031
/proc/meminfo: memFree=114349524/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=10892 memory=4876 CPUtime=0.1 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 848 0 0 0 10 0 0 0 20 0 1 0 23635701 11153408 1219 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 2723 1219 436 659 0 1927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20824 KiB
Current children cumulated memory: 7520 KiB

[startup+0.215276 s]*
/proc/loadavg: 0.43 1.59 2.91 7/246 264031
/proc/meminfo: memFree=114341320/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=12392 memory=6260 CPUtime=0.21 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 1242 0 0 0 21 0 0 0 20 0 1 0 23635701 12689408 1565 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 3098 1565 468 659 0 2302 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22324 KiB
Current children cumulated memory: 8904 KiB

[startup+0.314144 s]*
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114339160/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=15424 memory=9304 CPUtime=0.3 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 2037 0 0 0 30 0 0 0 20 0 1 0 23635701 15794176 2326 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 3856 2326 468 659 0 3060 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25356 KiB
Current children cumulated memory: 11948 KiB

[startup+0.700364 s]
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114320500/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=14208 memory=11648 CPUtime=0.68 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 2915 0 0 0 67 1 0 0 20 0 1 0 23635701 14548992 2912 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 3552 2912 468 659 0 2756 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24140 KiB
Current children cumulated memory: 14292 KiB

[startup+1.50036 s]
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114316408/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=14624 memory=11804 CPUtime=1.47 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 3828 0 0 0 146 1 0 0 20 0 1 0 23635701 14974976 2951 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 3656 2951 468 659 0 2860 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 24556 KiB
Current children cumulated memory: 14448 KiB

[startup+3.11402 s]
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114251508/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=33172 memory=28032 CPUtime=3.08 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 4793 0 0 0 306 2 0 0 20 0 1 0 23635701 33968128 7008 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 8293 7008 468 659 0 7497 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43104 KiB
Current children cumulated memory: 30676 KiB

[startup+6.30037 s]
/proc/loadavg: 0.98 1.67 2.92 7/246 264031
/proc/meminfo: memFree=114250296/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=33212 memory=27956 CPUtime=6.25 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 4909 0 0 0 623 2 0 0 20 0 1 0 23635701 34009088 6989 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 8303 6989 468 659 0 7507 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 43144 KiB
Current children cumulated memory: 30600 KiB

[startup+12.7004 s]
/proc/loadavg: 1.22 1.71 2.93 7/246 264033
/proc/meminfo: memFree=114224848/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=32012 memory=29280 CPUtime=12.64 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 7518 0 0 0 1261 3 0 0 20 0 1 0 23635701 32780288 7320 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 8003 7320 468 659 0 7207 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 41944 KiB
Current children cumulated memory: 31924 KiB

[startup+25.5004 s]
/proc/loadavg: 1.65 1.78 2.94 7/246 264035
/proc/meminfo: memFree=114188548/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=48008 memory=42576 CPUtime=25.39 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 8082 0 0 0 2536 3 0 0 20 0 1 0 23635701 49160192 10644 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 12002 10644 468 659 0 11206 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 57940 KiB
Current children cumulated memory: 45220 KiB

[startup+51.1138 s]
/proc/loadavg: 2.64 2.01 2.98 7/246 264040
/proc/meminfo: memFree=114148596/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=55748 memory=53544 CPUtime=50.91 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 9008 0 0 0 5087 4 0 0 20 0 1 0 23635701 57085952 13386 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 13937 13386 468 659 0 13141 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 65680 KiB
Current children cumulated memory: 56188 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 2.34 3.04 7/246 264048
/proc/meminfo: memFree=114100924/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=86096 memory=65768 CPUtime=101.91 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 9547 0 0 0 10187 4 0 0 20 0 1 0 23635701 88162304 16442 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 21524 16442 468 659 0 20728 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 96028 KiB
Current children cumulated memory: 68412 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.67 3.11 7/246 264060
/proc/meminfo: memFree=114046396/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=86096 memory=82260 CPUtime=161.71 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 10303 0 0 0 16165 6 0 0 20 0 1 0 23635701 88162304 20565 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 21524 20565 468 659 0 20728 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 96028 KiB
Current children cumulated memory: 84904 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.93 3.18 7/246 264070
/proc/meminfo: memFree=113992544/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=135416 memory=118040 CPUtime=221.52 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 11814 0 0 0 22143 9 0 0 20 0 1 0 23635701 138665984 29510 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 33854 29510 468 659 0 33058 0
Current children cumulated CPU time: 221.52 s

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

/proc/loadavg: 4.53 4.21 4.09 7/245 265202
/proc/meminfo: memFree=113779892/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=197060 memory=192176 CPUtime=3091.47 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 43052 0 0 0 309079 68 0 0 20 0 1 0 23635701 201789440 48044 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 49265 48044 468 659 0 48469 0
Current children cumulated CPU time: 3091.47 s
Current children cumulated vsize: 206992 KiB
Current children cumulated memory: 194820 KiB

[startup+3162.3 s]
/proc/loadavg: 4.62 4.32 4.14 7/245 265213
/proc/meminfo: memFree=113685636/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=166240 memory=161188 CPUtime=3151.27 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 43471 0 0 0 315058 69 0 0 20 0 1 0 23635701 170229760 40297 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 41560 40297 468 659 0 40764 0
Current children cumulated CPU time: 3151.27 s
Current children cumulated vsize: 176172 KiB
Current children cumulated memory: 163832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.34 4.29 4.14 7/244 265223
/proc/meminfo: memFree=113679536/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=197060 memory=186032 CPUtime=3211.06 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 44106 0 0 0 321036 70 0 0 20 0 1 0 23635701 201789440 46508 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 49265 46508 468 659 0 48469 0
Current children cumulated CPU time: 3211.06 s
Current children cumulated vsize: 206992 KiB
Current children cumulated memory: 188676 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.27 4.14 7/244 265617
/proc/meminfo: memFree=113687600/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=166240 memory=146852 CPUtime=3270.84 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 44819 0 0 0 327013 71 0 0 20 0 1 0 23635701 170229760 36713 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 41560 36713 468 659 0 40764 0
Current children cumulated CPU time: 3270.84 s
Current children cumulated vsize: 176172 KiB
Current children cumulated memory: 149496 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.25 4.14 7/244 265628
/proc/meminfo: memFree=113669976/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=197060 memory=171448 CPUtime=3330.64 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 45447 0 0 0 332992 72 0 0 20 0 1 0 23635701 201789440 42862 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 49265 42862 468 659 0 48469 0
Current children cumulated CPU time: 3330.64 s
Current children cumulated vsize: 206992 KiB
Current children cumulated memory: 174092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.23 4.14 7/244 265638
/proc/meminfo: memFree=113633804/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=247148 memory=199320 CPUtime=3390.42 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 45857 0 0 0 338969 73 0 0 20 0 1 0 23635701 253079552 49830 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 61787 49830 468 659 0 60991 0
Current children cumulated CPU time: 3390.42 s
Current children cumulated vsize: 257080 KiB
Current children cumulated memory: 201964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.13 7/244 265817
/proc/meminfo: memFree=113674280/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=166240 memory=163236 CPUtime=3450.22 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 46278 0 0 0 344948 74 0 0 20 0 1 0 23635701 170229760 40809 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 41560 40809 468 659 0 40764 0
Current children cumulated CPU time: 3450.22 s
Current children cumulated vsize: 176172 KiB
Current children cumulated memory: 165880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.13 7/244 265829
/proc/meminfo: memFree=113691580/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=197060 memory=186032 CPUtime=3510.01 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 46914 0 0 0 350926 75 0 0 20 0 1 0 23635701 201789440 46508 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 49265 46508 468 659 0 48469 0
Current children cumulated CPU time: 3510.01 s
Current children cumulated vsize: 206992 KiB
Current children cumulated memory: 188676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.13 7/244 265842
/proc/meminfo: memFree=113645244/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=247148 memory=201572 CPUtime=3569.8 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 47263 0 0 0 356905 75 0 0 20 0 1 0 23635701 253079552 50393 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 61787 50393 468 659 0 60991 0
Current children cumulated CPU time: 3569.8 s
Current children cumulated vsize: 257080 KiB
Current children cumulated memory: 204216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114193524/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=135736 memory=114824 CPUtime=3600.09 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 47280 0 0 0 359934 75 0 0 20 0 1 0 23635701 138993664 28706 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 33934 28706 468 659 0 33138 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 145668 KiB
Current children cumulated memory: 117468 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.35 s, system=0.763332 s

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

[startup+3612.7 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114193524/131655788 swapFree=131061124/131071996
[pid=264016] ppid=264006 vsize=9932 memory=2644 CPUtime=0 cores=0,2
/proc/264016/stat : 264016 (naps-1.03.sh) S 264006 264016 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 661 134679101440 94917871984640 94917873063960 140736425134416 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94917875162416 94917875209604 94917907218432 140736425137124 140736425137253 140736425137253 140736425144264 0
/proc/264016/statm: 2483 661 582 264 0 134 0
[pid=264031] ppid=264016 vsize=135736 memory=114824 CPUtime=3600.09 cores=0,2
/proc/264031/stat : 264031 (naps-1.03) R 264016 264016 263941 0 -1 4194304 47280 0 0 0 359934 75 0 0 20 0 1 0 23635701 138993664 28706 134679101440 4194304 6891213 140720390322672 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16400384 140720390329333 140720390329449 140720390329449 140720390336459 0
/proc/264031/statm: 33934 28706 468 659 0 33138 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 145668 KiB
Current children cumulated memory: 117468 KiB

Child status: 10

Real time (s): 3612.7
CPU time (s): 3600.11
CPU user time (s): 3599.35
CPU system time (s): 0.763332
CPU usage (%): 99.6514
Max. virtual memory (cumulated for all children) (KiB): 257080
Max. memory (cumulated for all children) (KiB): 210156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.763332
maximum resident set size= 207716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47757
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= 63
involuntary context switches= 24647


# summary of solver processes directly reported to runsolver:
#   pid: 264016
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.35
#   total CPU system time (s): 0.763332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5423 second user time and 40.3803 second system time

The end