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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433821-1721072427/watcher-4433821-1721072427 -o /tmp/evaluation-result-4433821-1721072427/solver-4433821-1721072427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721072439-816270 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433821-1721072427.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
solver pid=816345, runsolver pid=816342
Current StackSize limit: 8192 KiB


[startup+0.100546 s]*
/proc/loadavg: 2.89 3.78 3.97 5/258 816350
/proc/meminfo: memFree=129614340/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=11896 memory=5940 CPUtime=0.09 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 1109 0 0 0 9 0 0 0 20 0 1 0 159409351 12181504 1485 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 2974 1485 436 659 0 2178 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21828 KiB
Current children cumulated memory: 8648 KiB

[startup+0.204862 s]*
/proc/loadavg: 2.89 3.78 3.97 4/257 816364
/proc/meminfo: memFree=129588396/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=18068 memory=12368 CPUtime=0.19 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 2723 0 0 0 19 0 0 0 20 0 1 0 159409351 18501632 3092 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 4517 3092 436 659 0 3721 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 15076 KiB

[startup+0.304644 s]*
/proc/loadavg: 2.98 3.78 3.97 4/254 816381
/proc/meminfo: memFree=129570300/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=27548 memory=21868 CPUtime=0.3 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 5093 0 0 0 29 1 0 0 20 0 1 0 159409351 28209152 5467 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 6887 5467 436 659 0 6091 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37480 KiB
Current children cumulated memory: 24576 KiB

[startup+0.700201 s]
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=129516148/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=64816 memory=58932 CPUtime=0.68 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 15225 0 0 0 65 3 0 0 20 0 1 0 159409351 66371584 14733 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 16204 14733 468 659 0 15408 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74748 KiB
Current children cumulated memory: 61640 KiB

[startup+1.50026 s]
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=129394184/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=99620 memory=91880 CPUtime=1.48 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 23802 0 0 0 142 6 0 0 20 0 1 0 159409351 102010880 22970 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 24905 22970 468 659 0 24109 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109552 KiB
Current children cumulated memory: 94588 KiB

[startup+3.10557 s]
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=128872964/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=269528 memory=254360 CPUtime=3.08 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 53576 0 0 0 297 11 0 0 20 0 1 0 159409351 275996672 63590 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 67382 63590 468 659 0 66586 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 279460 KiB
Current children cumulated memory: 257068 KiB

[startup+6.30024 s]
/proc/loadavg: 3.14 3.80 3.98 5/261 816402
/proc/meminfo: memFree=128860960/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=269792 memory=256616 CPUtime=6.27 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 53660 0 0 0 615 12 0 0 20 0 1 0 159409351 276267008 64154 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 67448 64154 468 659 0 66652 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 279724 KiB
Current children cumulated memory: 259324 KiB

[startup+12.7003 s]
/proc/loadavg: 3.21 3.81 3.98 5/261 816402
/proc/meminfo: memFree=128814940/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=301580 memory=282220 CPUtime=12.64 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 55363 0 0 0 1251 13 0 0 20 0 1 0 159409351 308817920 70555 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 75395 70555 468 659 0 74599 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 311512 KiB
Current children cumulated memory: 284928 KiB

[startup+25.5003 s]
/proc/loadavg: 3.41 3.83 3.99 5/261 816403
/proc/meminfo: memFree=128711744/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=350900 memory=325492 CPUtime=25.4 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 56404 0 0 0 2525 15 0 0 20 0 1 0 159409351 359321600 81373 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 87725 81373 468 659 0 86929 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 360832 KiB
Current children cumulated memory: 328200 KiB

[startup+51.1057 s]
/proc/loadavg: 3.76 3.88 4.00 5/261 816408
/proc/meminfo: memFree=128683492/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=350900 memory=323252 CPUtime=50.92 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 57381 0 0 0 5075 17 0 0 20 0 1 0 159409351 359321600 80813 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 87725 80813 468 659 0 86929 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 360832 KiB
Current children cumulated memory: 325960 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.92 4.00 5/261 816416
/proc/meminfo: memFree=128617552/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=350900 memory=337780 CPUtime=101.93 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 59553 0 0 0 10173 20 0 0 20 0 1 0 159409351 359321600 84445 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 87725 84445 468 659 0 86929 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 360832 KiB
Current children cumulated memory: 340488 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.95 4.00 5/261 816428
/proc/meminfo: memFree=128562220/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=381720 memory=350324 CPUtime=161.72 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 62269 0 0 0 16148 24 0 0 20 0 1 0 159409351 390881280 87581 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 95430 87581 468 659 0 94634 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 391652 KiB
Current children cumulated memory: 353032 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.99 4.01 5/260 816438
/proc/meminfo: memFree=128584020/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=301580 memory=290972 CPUtime=221.52 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 62815 0 0 0 22126 26 0 0 20 0 1 0 159409351 308817920 72743 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 75395 72743 468 659 0 74599 0
Current children cumulated CPU time: 221.52 s

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

/proc/loadavg: 4.07 4.09 4.09 5/265 818134
/proc/meminfo: memFree=128079368/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=504836 memory=474992 CPUtime=3091.37 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 111687 0 0 0 309023 114 0 0 20 0 1 0 159409351 516952064 118748 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 126209 118748 468 659 0 125413 0
Current children cumulated CPU time: 3091.37 s
Current children cumulated vsize: 514768 KiB
Current children cumulated memory: 477700 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 818145
/proc/meminfo: memFree=128218344/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=427700 memory=422368 CPUtime=3151.15 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 112829 0 0 0 314999 116 0 0 20 0 1 0 159409351 437964800 105592 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 106925 105592 468 659 0 106129 0
Current children cumulated CPU time: 3151.15 s
Current children cumulated vsize: 437632 KiB
Current children cumulated memory: 425076 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 818156
/proc/meminfo: memFree=128109840/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=508608 memory=482860 CPUtime=3210.95 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 113756 0 0 0 320976 119 0 0 20 0 1 0 159409351 520814592 120715 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 127152 120715 468 659 0 126356 0
Current children cumulated CPU time: 3210.95 s
Current children cumulated vsize: 518540 KiB
Current children cumulated memory: 485568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 818166
/proc/meminfo: memFree=128173772/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=508608 memory=456116 CPUtime=3270.72 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 115250 0 0 0 326950 122 0 0 20 0 1 0 159409351 520814592 114029 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 127152 114029 468 659 0 126356 0
Current children cumulated CPU time: 3270.72 s
Current children cumulated vsize: 518540 KiB
Current children cumulated memory: 458824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/259 818176
/proc/meminfo: memFree=128136220/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=427700 memory=411348 CPUtime=3330.44 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 116360 0 0 0 332920 124 0 0 20 0 1 0 159409351 437964800 102837 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 106925 102837 468 659 0 106129 0
Current children cumulated CPU time: 3330.44 s
Current children cumulated vsize: 437632 KiB
Current children cumulated memory: 414056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 818186
/proc/meminfo: memFree=128146648/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=508608 memory=480980 CPUtime=3390.19 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 117571 0 0 0 338893 126 0 0 20 0 1 0 159409351 520814592 120245 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 127152 120245 468 659 0 126356 0
Current children cumulated CPU time: 3390.19 s
Current children cumulated vsize: 518540 KiB
Current children cumulated memory: 483688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 818197
/proc/meminfo: memFree=128148616/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=458520 memory=432492 CPUtime=3449.98 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 119332 0 0 0 344868 130 0 0 20 0 1 0 159409351 469524480 108123 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 114630 108123 468 659 0 113834 0
Current children cumulated CPU time: 3449.98 s
Current children cumulated vsize: 468452 KiB
Current children cumulated memory: 435200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 818208
/proc/meminfo: memFree=128125476/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=508608 memory=503340 CPUtime=3509.75 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 119767 0 0 0 350844 131 0 0 20 0 1 0 159409351 520814592 125835 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 127152 125835 468 659 0 126356 0
Current children cumulated CPU time: 3509.75 s
Current children cumulated vsize: 518540 KiB
Current children cumulated memory: 506048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/259 818218
/proc/meminfo: memFree=128122656/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=458520 memory=452308 CPUtime=3569.54 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 121250 0 0 0 356820 134 0 0 20 0 1 0 159409351 469524480 113077 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 114630 113077 468 659 0 113834 0
Current children cumulated CPU time: 3569.54 s
Current children cumulated vsize: 468452 KiB
Current children cumulated memory: 455016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 4.13 4.09 4.09 6/261 818328
/proc/meminfo: memFree=128294300/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=508608 memory=485076 CPUtime=3600.03 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 121864 0 0 0 359868 135 0 0 20 0 1 0 159409351 520814592 121269 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 127152 121269 468 659 0 126356 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 518540 KiB
Current children cumulated memory: 487784 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.69 s, system=1.35438 s

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

[startup+3612.9 s]
/proc/loadavg: 4.13 4.09 4.09 6/261 818328
/proc/meminfo: memFree=128294300/131524600 swapFree=131071996/131071996
[pid=816345] ppid=816342 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/816345/stat : 816345 (naps-1.03.sh) S 816342 816345 816260 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 159409351 10170368 677 134679101440 94241540341760 94241541421080 140725488010768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94241543519536 94241543566724 94241547587584 140725488018400 140725488018529 140725488018529 140725488025544 0
/proc/816345/statm: 2483 677 600 264 0 134 0
[pid=816350] ppid=816345 vsize=508608 memory=485076 CPUtime=3600.03 cores=0,2
/proc/816350/stat : 816350 (naps-1.03) R 816345 816345 816260 0 -1 4194304 121864 0 0 0 359868 135 0 0 20 0 1 0 159409351 520814592 121269 134679101440 4194304 6891213 140722023613424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19189760 140722023621617 140722023621733 140722023621733 140722023628747 0
/proc/816350/statm: 127152 121269 468 659 0 126356 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 518540 KiB
Current children cumulated memory: 487784 KiB

Child status: 10

Real time (s): 3612.9
CPU time (s): 3600.04
CPU user time (s): 3598.69
CPU system time (s): 1.35438
CPU usage (%): 99.644
Max. virtual memory (cumulated for all children) (KiB): 649248
Max. memory (cumulated for all children) (KiB): 544256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.69
system time used= 1.35438
maximum resident set size= 562020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122340
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= 127
involuntary context switches= 25390


# summary of solver processes directly reported to runsolver:
#   pid: 816345
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.69
#   total CPU system time (s): 1.35438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19691 second user time and 19.4985 second system time

The end