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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433910-1721060956/watcher-4433910-1721060956 -o /tmp/evaluation-result-4433910-1721060956/solver-4433910-1721060956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721060969-828421 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433910-1721060956.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=828490, runsolver pid=828485

[startup+0.100082 s]*
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=125060628/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=10056 memory=6260 CPUtime=0.09 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 685 0 0 0 9 0 0 0 20 0 1 0 158263035 10297344 1565 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 2514 1565 436 659 0 1718 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19988 KiB
Current children cumulated memory: 8908 KiB

[startup+0.205845 s]*
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=125052940/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=11876 memory=7700 CPUtime=0.2 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 1140 0 0 0 20 0 0 0 20 0 1 0 158263035 12161024 1925 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 2969 1925 436 659 0 2173 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21808 KiB
Current children cumulated memory: 10348 KiB

[startup+0.305107 s]*
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=125032792/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=13668 memory=9332 CPUtime=0.29 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 1606 0 0 0 29 0 0 0 20 0 1 0 158263035 13996032 2333 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 3417 2333 436 659 0 2621 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 23600 KiB
Current children cumulated memory: 11980 KiB

[startup+0.700222 s]
/proc/loadavg: 1.07 1.11 1.78 5/264 828501
/proc/meminfo: memFree=124976108/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=41832 memory=36288 CPUtime=0.69 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 9233 0 0 0 67 2 0 0 20 0 1 0 158263035 42835968 9072 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 10458 9072 468 659 0 9662 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51764 KiB
Current children cumulated memory: 38936 KiB

[startup+1.50025 s]
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=124960292/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=44792 memory=37348 CPUtime=1.48 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 9512 0 0 0 146 2 0 0 20 0 1 0 158263035 45867008 9337 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 11198 9337 468 659 0 10402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54724 KiB
Current children cumulated memory: 39996 KiB

[startup+3.10594 s]
/proc/loadavg: 1.30 1.16 1.79 6/264 828551
/proc/meminfo: memFree=124916000/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=59800 memory=53492 CPUtime=3.08 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 12248 0 0 0 306 2 0 0 20 0 1 0 158263035 61235200 13373 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 14950 13373 468 659 0 14154 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 69732 KiB
Current children cumulated memory: 56140 KiB

[startup+6.30025 s]
/proc/loadavg: 1.30 1.16 1.79 6/264 828553
/proc/meminfo: memFree=124880976/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=64220 memory=60184 CPUtime=6.27 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 12881 0 0 0 624 3 0 0 20 0 1 0 158263035 65761280 15046 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 16055 15046 468 659 0 15259 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74152 KiB
Current children cumulated memory: 62832 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 1.26 1.82 6/264 828603
/proc/meminfo: memFree=124828984/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=90304 memory=76748 CPUtime=12.64 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 13960 0 0 0 1260 4 0 0 20 0 1 0 158263035 92471296 19187 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 22576 19187 468 659 0 21780 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 100236 KiB
Current children cumulated memory: 79396 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 1.35 1.84 6/264 828656
/proc/meminfo: memFree=124752112/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=109160 memory=101484 CPUtime=25.4 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 14575 0 0 0 2535 5 0 0 20 0 1 0 158263035 111779840 25371 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 27290 25371 468 659 0 26494 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 119092 KiB
Current children cumulated memory: 104132 KiB

[startup+51.106 s]
/proc/loadavg: 2.79 1.58 1.91 6/267 828718
/proc/meminfo: memFree=124687932/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=109160 memory=105184 CPUtime=50.92 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 16001 0 0 0 5085 7 0 0 20 0 1 0 158263035 111779840 26296 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 27290 26296 468 659 0 26494 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 119092 KiB
Current children cumulated memory: 107832 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 2.00 2.03 6/264 828726
/proc/meminfo: memFree=124538744/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=171980 memory=156656 CPUtime=101.94 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 18478 0 0 0 10181 13 0 0 20 0 1 0 158263035 176107520 39164 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 42995 39164 468 659 0 42199 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 181912 KiB
Current children cumulated memory: 159304 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.38 2.16 6/264 828736
/proc/meminfo: memFree=124565152/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=202800 memory=173412 CPUtime=161.75 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 22798 0 0 0 16155 20 0 0 20 0 1 0 158263035 207667200 43353 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 50700 43353 468 659 0 49904 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 212732 KiB
Current children cumulated memory: 176060 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.71 2.29 6/264 828798
/proc/meminfo: memFree=124527620/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=202800 memory=189796 CPUtime=221.54 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 25607 0 0 0 22129 25 0 0 20 0 1 0 158263035 207667200 47449 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 50700 47449 468 659 0 49904 0
Current children cumulated CPU time: 221.54 s

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

/proc/loadavg: 4.13 4.13 4.05 6/260 829927
/proc/meminfo: memFree=124058932/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=278296 memory=274348 CPUtime=3030.94 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 92710 0 0 0 302934 160 0 0 20 0 1 0 158263035 284975104 68587 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 69574 68587 468 659 0 68778 0
Current children cumulated CPU time: 3030.94 s
Current children cumulated vsize: 288228 KiB
Current children cumulated memory: 276996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.05 6/260 829938
/proc/meminfo: memFree=124013800/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=197388 memory=182356 CPUtime=3090.73 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 93531 0 0 0 308910 163 0 0 20 0 1 0 158263035 202125312 45589 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 49347 45589 468 659 0 48551 0
Current children cumulated CPU time: 3090.73 s
Current children cumulated vsize: 207320 KiB
Current children cumulated memory: 185004 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/261 829949
/proc/meminfo: memFree=124055408/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=278296 memory=254036 CPUtime=3150.52 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 94676 0 0 0 314888 164 0 0 20 0 1 0 158263035 284975104 63509 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 69574 63509 468 659 0 68778 0
Current children cumulated CPU time: 3150.52 s
Current children cumulated vsize: 288228 KiB
Current children cumulated memory: 256684 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/261 829960
/proc/meminfo: memFree=124088116/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=359684 memory=307284 CPUtime=3210.32 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 95325 0 0 0 320866 166 0 0 20 0 1 0 158263035 368316416 76821 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 89921 76821 468 659 0 89125 0
Current children cumulated CPU time: 3210.32 s
Current children cumulated vsize: 369616 KiB
Current children cumulated memory: 309932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.05 6/261 829971
/proc/meminfo: memFree=124014928/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=278296 memory=231208 CPUtime=3270.12 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 96580 0 0 0 326843 169 0 0 20 0 1 0 158263035 284975104 57802 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 69574 57802 468 659 0 68778 0
Current children cumulated CPU time: 3270.12 s
Current children cumulated vsize: 288228 KiB
Current children cumulated memory: 233856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.05 6/261 829981
/proc/meminfo: memFree=123928420/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=359684 memory=280352 CPUtime=3329.92 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 97175 0 0 0 332821 171 0 0 20 0 1 0 158263035 368316416 70088 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 89921 70088 468 659 0 89125 0
Current children cumulated CPU time: 3329.92 s
Current children cumulated vsize: 369616 KiB
Current children cumulated memory: 283000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.05 6/261 830375
/proc/meminfo: memFree=124045468/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=197388 memory=186452 CPUtime=3389.7 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 97495 0 0 0 338798 172 0 0 20 0 1 0 158263035 202125312 46613 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 49347 46613 468 659 0 48551 0
Current children cumulated CPU time: 3389.7 s
Current children cumulated vsize: 207320 KiB
Current children cumulated memory: 189100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/260 830385
/proc/meminfo: memFree=124191012/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=278296 memory=256084 CPUtime=3449.5 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 98551 0 0 0 344775 175 0 0 20 0 1 0 158263035 284975104 64021 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 69574 64021 468 659 0 68778 0
Current children cumulated CPU time: 3449.5 s
Current children cumulated vsize: 288228 KiB
Current children cumulated memory: 258732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.07 6/262 830566
/proc/meminfo: memFree=123976096/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=359684 memory=309156 CPUtime=3509.3 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 99203 0 0 0 350754 176 0 0 20 0 1 0 158263035 368316416 77289 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 89921 77289 468 659 0 89125 0
Current children cumulated CPU time: 3509.3 s
Current children cumulated vsize: 369616 KiB
Current children cumulated memory: 311804 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.07 6/262 830576
/proc/meminfo: memFree=123917456/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=278296 memory=231340 CPUtime=3569.09 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 100560 0 0 0 356730 179 0 0 20 0 1 0 158263035 284975104 57835 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 69574 57835 468 659 0 68778 0
Current children cumulated CPU time: 3569.09 s
Current children cumulated vsize: 288228 KiB
Current children cumulated memory: 233988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.4 s]
/proc/loadavg: 4.14 4.12 4.07 5/263 830682
/proc/meminfo: memFree=124280836/131524600 swapFree=131071996/131071996
[pid=828490] ppid=828485 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/828490/stat : 828490 (naps-1.03.sh) S 828485 828490 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 662 134679101440 94902506500096 94902507579416 140732439562288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94902509677872 94902509725060 94902531108864 140732439569376 140732439569505 140732439569505 140732439576520 0
/proc/828490/statm: 2483 662 585 264 0 134 0
[pid=828500] ppid=828490 vsize=278296 memory=260012 CPUtime=3600.08 cores=0,2
/proc/828500/stat : 828500 (naps-1.03) R 828490 828490 828411 0 -1 4194304 100574 0 0 0 359828 180 0 0 20 0 1 0 158263035 284975104 65003 134679101440 4194304 6891213 140722248088032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23883776 140722248090609 140722248090725 140722248090725 140722248097739 0
/proc/828500/statm: 69574 65003 468 659 0 68778 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 288228 KiB
Current children cumulated memory: 262660 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.29 s, system=1.80483 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): 3613.4
CPU time (s): 3600.1
CPU user time (s): 3598.29
CPU system time (s): 1.80483
CPU usage (%): 99.6317
Max. virtual memory (cumulated for all children) (KiB): 418936
Max. memory (cumulated for all children) (KiB): 353572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.29
system time used= 1.80483
maximum resident set size= 355432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101052
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= 80
involuntary context switches= 25189


# summary of solver processes directly reported to runsolver:
#   pid: 828490
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.29
#   total CPU system time (s): 1.80483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18408 second user time and 17.8353 second system time

The end