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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463588-1722351733/watcher-4463588-1722351733 -o /tmp/evaluation-result-4463588-1722351733/solver-4463588-1722351733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722351732-13244 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463588-1722351733.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=13416, runsolver pid=13413

[startup+0.100095 s]*
/proc/loadavg: 1.08 1.11 1.68 5/265 13421
/proc/meminfo: memFree=122058952/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=24744 memory=22848 CPUtime=0.1 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 5881 0 0 0 9 1 0 0 20 0 1 0 1771238 25337856 5712 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 6186 5712 612 659 0 5390 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34676 KiB
Current children cumulated memory: 25548 KiB

[startup+0.205779 s]*
/proc/loadavg: 1.08 1.11 1.68 5/265 13421
/proc/meminfo: memFree=122027396/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=43380 memory=40640 CPUtime=0.2 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 10288 0 0 0 19 1 0 0 20 0 1 0 1771238 44421120 10160 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 10845 10160 644 659 0 10049 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53312 KiB
Current children cumulated memory: 43340 KiB

[startup+0.305844 s]*
/proc/loadavg: 1.08 1.11 1.68 5/265 13421
/proc/meminfo: memFree=122020020/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=43380 memory=40768 CPUtime=0.29 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 12594 0 0 0 28 1 0 0 20 0 1 0 1771238 44421120 10192 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 10845 10192 644 659 0 10049 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53312 KiB
Current children cumulated memory: 43468 KiB

[startup+0.700266 s]
/proc/loadavg: 1.08 1.11 1.68 5/265 13421
/proc/meminfo: memFree=122009372/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=57076 memory=53960 CPUtime=0.69 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 15401 0 0 0 67 2 0 0 20 0 1 0 1771238 58445824 13490 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 14269 13490 660 659 0 13473 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67008 KiB
Current children cumulated memory: 56660 KiB

[startup+1.50022 s]
/proc/loadavg: 1.08 1.11 1.68 5/265 13421
/proc/meminfo: memFree=122012156/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=63340 memory=58472 CPUtime=1.48 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 17492 0 0 0 146 2 0 0 20 0 1 0 1771238 64860160 14618 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 15835 14618 660 659 0 15039 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73272 KiB
Current children cumulated memory: 61172 KiB

[startup+3.10562 s]
/proc/loadavg: 1.31 1.15 1.69 5/265 13421
/proc/meminfo: memFree=121983232/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=61232 memory=56568 CPUtime=3.09 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 19910 0 0 0 306 3 0 0 20 0 1 0 1771238 62701568 14142 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 15308 14142 660 659 0 14512 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71164 KiB
Current children cumulated memory: 59268 KiB

[startup+6.30019 s]
/proc/loadavg: 1.31 1.15 1.69 5/265 13423
/proc/meminfo: memFree=121975468/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=71572 memory=66548 CPUtime=6.27 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 23884 0 0 0 623 4 0 0 20 0 1 0 1771238 73289728 16637 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 17893 16637 660 659 0 17097 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81504 KiB
Current children cumulated memory: 69248 KiB

[startup+12.7003 s]
/proc/loadavg: 1.73 1.25 1.72 5/265 13423
/proc/meminfo: memFree=121069192/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=64336 memory=62048 CPUtime=12.65 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 28430 0 0 0 1260 5 0 0 20 0 1 0 1771238 65880064 15512 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 16084 15512 660 659 0 15288 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74268 KiB
Current children cumulated memory: 64748 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 1.34 1.74 5/265 13426
/proc/meminfo: memFree=115895360/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=76108 memory=73716 CPUtime=25.42 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 33723 0 0 0 2534 8 0 0 20 0 1 0 1771238 77934592 18429 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 19027 18429 660 659 0 18231 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 86040 KiB
Current children cumulated memory: 76416 KiB

[startup+51.1055 s]
/proc/loadavg: 2.81 1.57 1.81 5/265 13429
/proc/meminfo: memFree=114508736/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=88920 memory=86392 CPUtime=50.96 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 38043 0 0 0 5087 9 0 0 20 0 1 0 1771238 91054080 21598 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 22230 21598 660 659 0 21434 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 98852 KiB
Current children cumulated memory: 89092 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.00 1.94 5/265 13437
/proc/meminfo: memFree=109861844/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=106644 memory=104452 CPUtime=102.01 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 46230 0 0 0 10188 13 0 0 20 0 1 0 1771238 109203456 26113 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 26661 26113 660 659 0 25865 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 107152 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.38 2.08 5/264 13448
/proc/meminfo: memFree=102639904/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=187252 memory=184576 CPUtime=161.84 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 50496 0 0 0 16168 16 0 0 20 0 1 0 1771238 191746048 46144 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 46813 46144 660 659 0 46017 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 197184 KiB
Current children cumulated memory: 187276 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.69 2.21 5/261 13458
/proc/meminfo: memFree=101412836/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=140604 memory=138400 CPUtime=221.65 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 55399 0 0 0 22144 21 0 0 20 0 1 0 1771238 143978496 34600 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 35151 34600 660 659 0 34355 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 150536 KiB

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

/proc/loadavg: 4.10 4.13 4.08 5/260 14698
/proc/meminfo: memFree=105789984/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=412872 memory=410920 CPUtime=3033.17 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 173633 0 0 0 303141 176 0 0 20 0 1 0 1771238 422780928 102730 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 103218 102730 660 659 0 102422 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 413620 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/260 14708
/proc/meminfo: memFree=105654064/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=412872 memory=410920 CPUtime=3092.9 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 173716 0 0 0 309114 176 0 0 20 0 1 0 1771238 422780928 102730 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 103218 102730 660 659 0 102422 0
Current children cumulated CPU time: 3092.9 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 413620 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/260 14719
/proc/meminfo: memFree=105648484/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=412872 memory=410920 CPUtime=3152.73 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 173797 0 0 0 315097 176 0 0 20 0 1 0 1771238 422780928 102730 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 103218 102730 660 659 0 102422 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 413620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/262 15113
/proc/meminfo: memFree=105766392/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=412872 memory=410920 CPUtime=3212.56 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 174420 0 0 0 321078 178 0 0 20 0 1 0 1771238 422780928 102730 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 103218 102730 660 659 0 102422 0
Current children cumulated CPU time: 3212.56 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 413620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.08 5/260 15124
/proc/meminfo: memFree=105794060/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=339348 memory=338624 CPUtime=3272.4 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 175044 0 0 0 327060 180 0 0 20 0 1 0 1771238 347492352 84656 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 84837 84656 660 659 0 84041 0
Current children cumulated CPU time: 3272.4 s
Current children cumulated vsize: 349280 KiB
Current children cumulated memory: 341324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/260 15136
/proc/meminfo: memFree=105847700/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=299936 memory=299212 CPUtime=3332.23 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 175992 0 0 0 333040 183 0 0 20 0 1 0 1771238 307134464 74803 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 74984 74803 660 659 0 74188 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 309868 KiB
Current children cumulated memory: 301912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.12 4.09 5/262 15316
/proc/meminfo: memFree=103822140/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=314812 memory=314088 CPUtime=3392.07 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 178757 0 0 0 339018 189 0 0 20 0 1 0 1771238 322367488 78522 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 78703 78522 660 659 0 77907 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 324744 KiB
Current children cumulated memory: 316788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 15327
/proc/meminfo: memFree=105957464/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=291468 memory=290744 CPUtime=3451.9 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 180558 0 0 0 344997 193 0 0 20 0 1 0 1771238 298463232 72686 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 72867 72686 660 659 0 72071 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 301400 KiB
Current children cumulated memory: 293444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.08 5/264 15342
/proc/meminfo: memFree=105971292/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=287384 memory=286660 CPUtime=3511.74 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 182629 0 0 0 350977 197 0 0 20 0 1 0 1771238 294281216 71665 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 71846 71665 660 659 0 71050 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 297316 KiB
Current children cumulated memory: 289360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 15365
/proc/meminfo: memFree=105813008/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=294036 memory=293312 CPUtime=3571.58 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 185134 0 0 0 356956 202 0 0 20 0 1 0 1771238 301092864 73328 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 73509 73328 660 659 0 72713 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 303968 KiB
Current children cumulated memory: 296012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 15420
/proc/meminfo: memFree=105761912/131524600 swapFree=131071996/131071996
[pid=13416] ppid=13413 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/13416/stat : 13416 (naps-1.03.sh) S 13413 13416 13232 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 1771238 10170368 675 134679101440 94231140982784 94231142062104 140735188607264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94231144160560 94231144207748 94231173099520 140735188616163 140735188616288 140735188616288 140735188623304 0
/proc/13416/statm: 2483 675 597 264 0 134 0
[pid=13421] ppid=13416 vsize=287592 memory=286868 CPUtime=3600 cores=1,3
/proc/13421/stat : 13421 (naps-1.03a2) R 13416 13416 13232 0 -1 4194304 186029 0 0 0 359796 204 0 0 20 0 1 0 1771238 294494208 71717 134679101440 4194304 6891597 140731265274096 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 12800000 140731265278958 140731265279072 140731265279072 140731265286089 0
/proc/13421/statm: 71898 71717 660 659 0 71102 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 297524 KiB
Current children cumulated memory: 289568 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.97 s, system=2.04773 s

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

Child status: 10

Real time (s): 3610.8
CPU time (s): 3600.02
CPU user time (s): 3597.97
CPU system time (s): 2.04773
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 884252
Max. memory (cumulated for all children) (KiB): 870420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.04773
maximum resident set size= 867720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186505
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= 41
involuntary context switches= 4606


# summary of solver processes directly reported to runsolver:
#   pid: 13416
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3597.97
#   total CPU system time (s): 2.04773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00831 second user time and 16.0284 second system time

The end