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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459356-1721898877/watcher-4459356-1721898877 -o /tmp/evaluation-result-4459356-1721898877/solver-4459356-1721898877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721891213-227735 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4459356-1721898877.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=232251, runsolver pid=232248
Current StackSize limit: 8192 KiB


[startup+0.10031 s]*
/proc/loadavg: 4.11 4.21 4.16 5/262 232256
/proc/meminfo: memFree=119416000/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=7032 memory=5700 CPUtime=0.09 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 919 0 0 0 9 0 0 0 20 0 1 0 26416921 7200768 1425 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 1758 1425 580 659 0 962 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16964 KiB
Current children cumulated memory: 8464 KiB

[startup+0.20631 s]*
/proc/loadavg: 4.11 4.21 4.16 5/262 232256
/proc/meminfo: memFree=119413648/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=9512 memory=8196 CPUtime=0.19 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 1667 0 0 0 19 0 0 0 20 0 1 0 26416921 9740288 2049 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 2378 2049 596 659 0 1582 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19444 KiB
Current children cumulated memory: 10960 KiB

[startup+0.306313 s]*
/proc/loadavg: 4.11 4.21 4.16 5/262 232256
/proc/meminfo: memFree=119383796/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=40380 memory=37956 CPUtime=0.28 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 9577 0 0 0 27 1 0 0 20 0 1 0 26416921 41349120 9489 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 10095 9489 644 659 0 9299 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50312 KiB
Current children cumulated memory: 40720 KiB

[startup+0.70031 s]
/proc/loadavg: 4.11 4.21 4.16 5/262 232256
/proc/meminfo: memFree=119355128/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=190228 memory=184268 CPUtime=0.66 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 32175 0 0 0 59 7 0 0 20 0 1 0 26416921 194793472 46067 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 47557 46067 644 659 0 46761 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 200160 KiB
Current children cumulated memory: 187032 KiB

[startup+1.50031 s]
/proc/loadavg: 4.11 4.21 4.16 5/262 232258
/proc/meminfo: memFree=119193324/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=238392 memory=227740 CPUtime=1.45 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 38409 0 0 0 137 8 0 0 20 0 1 0 26416921 244113408 56935 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 59598 56935 644 659 0 58802 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 248324 KiB
Current children cumulated memory: 230504 KiB

[startup+3.10631 s]
/proc/loadavg: 4.11 4.21 4.16 5/262 232258
/proc/meminfo: memFree=119195296/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=238392 memory=227740 CPUtime=3.04 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 38434 0 0 0 296 8 0 0 20 0 1 0 26416921 244113408 56935 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 59598 56935 644 659 0 58802 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 248324 KiB
Current children cumulated memory: 230504 KiB

[startup+6.30031 s]
/proc/loadavg: 4.10 4.20 4.16 5/262 232258
/proc/meminfo: memFree=119189744/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=268616 memory=258060 CPUtime=6.2 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 39384 0 0 0 611 9 0 0 20 0 1 0 26416921 275062784 64515 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 67154 64515 644 659 0 66358 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 278548 KiB
Current children cumulated memory: 260824 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.22 4.17 5/262 232259
/proc/meminfo: memFree=119135672/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=319312 memory=311988 CPUtime=12.54 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 45747 0 0 0 1242 12 0 0 20 0 1 0 26416921 326975488 77997 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 79828 77997 660 659 0 79032 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 329244 KiB
Current children cumulated memory: 314752 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.22 4.17 5/262 232261
/proc/meminfo: memFree=119081488/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=283680 memory=259620 CPUtime=25.31 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 46851 0 0 0 2517 14 0 0 20 0 1 0 26416921 290488320 64905 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 70920 64905 660 659 0 70124 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 293612 KiB
Current children cumulated memory: 262384 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.20 4.16 5/260 232265
/proc/meminfo: memFree=118989156/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=296428 memory=272944 CPUtime=50.85 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 47695 0 0 0 5070 15 0 0 20 0 1 0 26416921 303542272 68236 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 74107 68236 660 659 0 73311 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 306360 KiB
Current children cumulated memory: 275708 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.17 4.16 5/260 232275
/proc/meminfo: memFree=116989276/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=296428 memory=277040 CPUtime=101.9 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 47739 0 0 0 10175 15 0 0 20 0 1 0 26416921 303542272 69260 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 74107 69260 660 659 0 73311 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 306360 KiB
Current children cumulated memory: 279804 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/259 232285
/proc/meminfo: memFree=116893916/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=296428 memory=279108 CPUtime=161.73 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 47762 0 0 0 16158 15 0 0 20 0 1 0 26416921 303542272 69777 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 74107 69777 660 659 0 73311 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 306360 KiB
Current children cumulated memory: 281872 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/259 232295
/proc/meminfo: memFree=116156328/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=296428 memory=281156 CPUtime=221.57 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 47786 0 0 0 22141 16 0 0 20 0 1 0 26416921 303542272 70289 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 74107 70289 660 659 0 73311 0
Current children cumulated CPU time: 221.57 s

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

/proc/loadavg: 4.11 4.11 4.09 5/259 234060
/proc/meminfo: memFree=124749368/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=461872 CPUtime=3094.01 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 84911 0 0 0 309340 61 0 0 20 0 1 0 26416921 521363456 115468 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115468 660 659 0 126490 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 464636 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 234072
/proc/meminfo: memFree=124808868/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=461872 CPUtime=3153.86 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 85311 0 0 0 315324 62 0 0 20 0 1 0 26416921 521363456 115468 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115468 660 659 0 126490 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 464636 KiB

[startup+3222.3 s]
/proc/loadavg: 3.18 3.86 4.01 3/244 234143
/proc/meminfo: memFree=125128352/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=461872 CPUtime=3213.71 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 85637 0 0 0 321309 62 0 0 20 0 1 0 26416921 521363456 115468 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115468 660 659 0 126490 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 464636 KiB

[startup+3282.3 s]
/proc/loadavg: 2.48 3.54 3.89 3/244 234153
/proc/meminfo: memFree=125127780/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=461872 CPUtime=3273.57 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 85853 0 0 0 327294 63 0 0 20 0 1 0 26416921 521363456 115468 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115468 660 659 0 126490 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 464636 KiB

[startup+3342.3 s]
/proc/loadavg: 2.21 3.27 3.77 3/247 234171
/proc/meminfo: memFree=125088424/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=547832 memory=500396 CPUtime=3333.45 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 86656 0 0 0 333280 65 0 0 20 0 1 0 26416921 560979968 125099 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 136958 125099 660 659 0 136162 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 557764 KiB
Current children cumulated memory: 503160 KiB

[startup+3402.3 s]
/proc/loadavg: 2.13 3.05 3.66 3/247 234182
/proc/meminfo: memFree=125087532/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=547696 memory=500424 CPUtime=3393.31 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 87196 0 0 0 339265 66 0 0 20 0 1 0 26416921 560840704 125106 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 136924 125106 660 659 0 136128 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 557628 KiB
Current children cumulated memory: 503188 KiB

[startup+3462.3 s]
/proc/loadavg: 2.17 2.89 3.57 3/247 234192
/proc/meminfo: memFree=125085288/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=549048 memory=501776 CPUtime=3453.17 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 88255 0 0 0 345250 67 0 0 20 0 1 0 26416921 562225152 125444 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 137262 125444 660 659 0 136466 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 558980 KiB
Current children cumulated memory: 504540 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.75 3.48 3/246 234203
/proc/meminfo: memFree=125122460/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=463920 CPUtime=3513.04 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 88369 0 0 0 351237 67 0 0 20 0 1 0 26416921 521363456 115980 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115980 660 659 0 126490 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 466684 KiB

[startup+3582.3 s]
/proc/loadavg: 2.06 2.61 3.38 3/247 234214
/proc/meminfo: memFree=125121696/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=463920 CPUtime=3572.9 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 88521 0 0 0 357223 67 0 0 20 0 1 0 26416921 521363456 115980 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115980 660 659 0 126490 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 466684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 2.10 2.58 3.35 3/247 234217
/proc/meminfo: memFree=125121464/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=463956 CPUtime=3600.04 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 88569 0 0 0 359937 67 0 0 20 0 1 0 26416921 521363456 115989 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115989 660 659 0 126490 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 466720 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.38 s, system=0.67936 s

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

[startup+3609.5 s]
/proc/loadavg: 2.10 2.58 3.35 3/247 234217
/proc/meminfo: memFree=125121464/131524600 swapFree=131053920/131071996
[pid=232251] ppid=232248 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/232251/stat : 232251 (naps-1.03.sh) S 232248 232251 227724 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 26416921 10170368 691 134679101440 94278347935744 94278349015064 140723233582480 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94278351113520 94278351160708 94278358138880 140723233588196 140723233588321 140723233588321 140723233595336 0
/proc/232251/statm: 2483 691 612 264 0 134 0
[pid=232256] ppid=232251 vsize=509144 memory=463956 CPUtime=3600.04 cores=4,6
/proc/232256/stat : 232256 (naps-1.03) R 232251 232251 227724 0 -1 4194304 88569 0 0 0 359937 67 0 0 20 0 1 0 26416921 521363456 115989 134679101440 4194304 6891213 140720947118256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10158080 140720947127285 140720947127397 140720947127397 140720947134411 0
/proc/232256/statm: 127286 115989 660 659 0 126490 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 519076 KiB
Current children cumulated memory: 466720 KiB

Child status: 10

Real time (s): 3609.5
CPU time (s): 3600.06
CPU user time (s): 3599.38
CPU system time (s): 0.67936
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 614600
Max. memory (cumulated for all children) (KiB): 560124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.38
system time used= 0.67936
maximum resident set size= 557360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89042
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= 76
involuntary context switches= 1514


# summary of solver processes directly reported to runsolver:
#   pid: 232251
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.38
#   total CPU system time (s): 0.67936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0559 second user time and 14.4401 second system time

The end