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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435164-1721107191/watcher-4435164-1721107191 -o /tmp/evaluation-result-4435164-1721107191/solver-4435164-1721107191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721103593-837408 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435164-1721107191.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
Current StackSize limit: 8192 KiB

solver pid=839428, runsolver pid=839425

[startup+0.100095 s]*
/proc/loadavg: 4.12 4.10 4.09 5/258 839433
/proc/meminfo: memFree=124794604/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=4528 memory=3780 CPUtime=0.1 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 654 0 0 0 10 0 0 0 20 0 1 0 162882973 4636672 945 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 1132 945 405 379 0 666 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14460 KiB
Current children cumulated memory: 6420 KiB

[startup+0.205933 s]*
/proc/loadavg: 4.12 4.10 4.09 4/252 839441
/proc/meminfo: memFree=125056596/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=4528 memory=3780 CPUtime=0.2 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 667 0 0 0 20 0 0 0 20 0 1 0 162882973 4636672 945 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 1132 945 405 379 0 666 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 14460 KiB
Current children cumulated memory: 6420 KiB

[startup+0.30605 s]*
/proc/loadavg: 4.12 4.10 4.09 4/256 839451
/proc/meminfo: memFree=125055436/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=4528 memory=3780 CPUtime=0.3 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 679 0 0 0 30 0 0 0 20 0 1 0 162882973 4636672 945 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 1132 945 405 379 0 666 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14460 KiB
Current children cumulated memory: 6420 KiB

[startup+0.700288 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 839487
/proc/meminfo: memFree=125046336/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=55420 memory=51392 CPUtime=0.68 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 8788 0 0 0 67 1 0 0 20 0 1 0 162882973 56750080 12848 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 13855 12848 421 379 0 13389 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65352 KiB
Current children cumulated memory: 54032 KiB

[startup+1.50026 s]
/proc/loadavg: 4.11 4.10 4.09 6/260 839487
/proc/meminfo: memFree=124852448/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=296668 memory=269676 CPUtime=1.48 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 43420 0 0 0 140 8 0 0 20 0 1 0 162882973 303788032 67419 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 74167 67419 421 379 0 73701 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 306600 KiB
Current children cumulated memory: 272316 KiB

[startup+3.1058 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 839588
/proc/meminfo: memFree=125872456/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=340620 memory=292820 CPUtime=3.08 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 50230 0 0 0 297 11 0 0 20 0 1 0 162882973 348794880 73205 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 85155 73205 421 379 0 84689 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 350552 KiB
Current children cumulated memory: 295460 KiB

[startup+6.30026 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 839638
/proc/meminfo: memFree=125788892/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=340620 memory=294868 CPUtime=6.27 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 50281 0 0 0 616 11 0 0 20 0 1 0 162882973 348794880 73717 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 85155 73717 421 379 0 84689 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 350552 KiB
Current children cumulated memory: 297508 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 839640
/proc/meminfo: memFree=124337072/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=340620 memory=297640 CPUtime=12.64 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 50526 0 0 0 1253 11 0 0 20 0 1 0 162882973 348794880 74410 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 85155 74410 421 379 0 84689 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 350552 KiB
Current children cumulated memory: 300280 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 839641
/proc/meminfo: memFree=120701216/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=340600 memory=297700 CPUtime=25.4 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 50842 0 0 0 2528 12 0 0 20 0 1 0 162882973 348774400 74425 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 85150 74425 421 379 0 84684 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 350532 KiB
Current children cumulated memory: 300340 KiB

[startup+51.106 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 839645
/proc/meminfo: memFree=119707592/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=372184 memory=329124 CPUtime=50.93 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 51718 0 0 0 5080 13 0 0 20 0 1 0 162882973 381116416 82281 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 93046 82281 421 379 0 92580 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 382116 KiB
Current children cumulated memory: 331764 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/260 839655
/proc/meminfo: memFree=119638752/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=372292 memory=334016 CPUtime=101.97 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 52468 0 0 0 10182 15 0 0 20 0 1 0 162882973 381227008 83504 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 93073 83504 421 379 0 92607 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 382224 KiB
Current children cumulated memory: 336656 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/260 839665
/proc/meminfo: memFree=119445724/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=402640 memory=369908 CPUtime=161.81 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 53893 0 0 0 16164 17 0 0 20 0 1 0 162882973 412303360 92477 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 100660 92477 421 379 0 100194 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 412572 KiB
Current children cumulated memory: 372548 KiB

[startup+222.3 s]
/proc/loadavg: 4.59 4.25 4.14 5/260 839676
/proc/meminfo: memFree=119407388/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=421768 memory=390776 CPUtime=221.64 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 54192 0 0 0 22147 17 0 0 20 0 1 0 162882973 431890432 97694 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 105442 97694 421 379 0 104976 0
Current children cumulated CPU time: 221.64 s

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

/proc/loadavg: 4.15 4.15 4.16 5/261 841422
/proc/meminfo: memFree=119051336/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=432548 CPUtime=3034.33 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 70430 0 0 0 303391 42 0 0 20 0 1 0 162882973 482504704 108137 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 108137 421 379 0 117333 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 435188 KiB

[startup+3102.3 s]
/proc/loadavg: 4.34 4.19 4.17 5/260 841432
/proc/meminfo: memFree=119072420/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=411768 CPUtime=3094.17 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 71336 0 0 0 309373 44 0 0 20 0 1 0 162882973 482504704 102942 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 102942 421 379 0 117333 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 414408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.21 4.18 5/260 841442
/proc/meminfo: memFree=119052536/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=426404 CPUtime=3154.01 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 71522 0 0 0 315357 44 0 0 20 0 1 0 162882973 482504704 106601 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 106601 421 379 0 117333 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 429044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/260 841453
/proc/meminfo: memFree=118980904/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=440376 memory=404440 CPUtime=3213.85 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 72122 0 0 0 321340 45 0 0 20 0 1 0 162882973 450945024 101110 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 110094 101110 421 379 0 109628 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 450308 KiB
Current children cumulated memory: 407080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/260 841513
/proc/meminfo: memFree=119695956/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=420260 CPUtime=3273.69 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 72608 0 0 0 327323 46 0 0 20 0 1 0 162882973 482504704 105065 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 105065 421 379 0 117333 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 422900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/258 841523
/proc/meminfo: memFree=119689300/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=434596 CPUtime=3333.5 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 72727 0 0 0 333304 46 0 0 20 0 1 0 162882973 482504704 108649 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 108649 421 379 0 117333 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 437236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/258 841533
/proc/meminfo: memFree=119640128/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=414076 CPUtime=3393.32 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 73703 0 0 0 339285 47 0 0 20 0 1 0 162882973 482504704 103519 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 103519 421 379 0 117333 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 416716 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/259 841545
/proc/meminfo: memFree=119686944/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=426404 CPUtime=3453.14 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 73821 0 0 0 345266 48 0 0 20 0 1 0 162882973 482504704 106601 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 106601 421 379 0 117333 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 429044 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/259 841555
/proc/meminfo: memFree=119658216/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=440376 memory=400344 CPUtime=3512.96 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 74422 0 0 0 351247 49 0 0 20 0 1 0 162882973 450945024 100086 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 110094 100086 421 379 0 109628 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 450308 KiB
Current children cumulated memory: 402984 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/259 841565
/proc/meminfo: memFree=119657968/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=416124 CPUtime=3572.78 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 74910 0 0 0 357228 50 0 0 20 0 1 0 162882973 482504704 104031 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 104031 421 379 0 117333 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 418764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.13 4.15 4.16 5/261 841573
/proc/meminfo: memFree=119617788/131524600 swapFree=131071996/131071996
[pid=839428] ppid=839425 vsize=9932 memory=2640 CPUtime=0 cores=4,6
/proc/839428/stat : 839428 (naps-1.02b5.sh) S 839425 839428 837397 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 162882973 10170368 660 134679101440 94017849593856 94017850673176 140724975555472 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94017852771632 94017852818820 94017854238720 140724975563744 140724975563871 140724975563871 140724975570886 0
/proc/839428/statm: 2483 660 581 264 0 134 0
[pid=839433] ppid=839428 vsize=471196 memory=422268 CPUtime=3600 cores=4,6
/proc/839433/stat : 839433 (naps-1.02b5) R 839428 839428 837397 0 -1 4194304 74924 0 0 0 359950 50 0 0 20 0 1 0 162882973 482504704 105567 134679101440 4194304 5746509 140726134179568 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 18055168 140726134186991 140726134187105 140726134187105 140726134194121 0
/proc/839433/statm: 117799 105567 421 379 0 117333 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 424908 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.5 s, system=0.504598 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): 3609.6
CPU time (s): 3600.01
CPU user time (s): 3599.5
CPU system time (s): 0.504598
CPU usage (%): 99.7342
Max. virtual memory (cumulated for all children) (KiB): 530448
Max. memory (cumulated for all children) (KiB): 477968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.5
system time used= 0.504598
maximum resident set size= 477376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75400
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= 82
involuntary context switches= 1602


# summary of solver processes directly reported to runsolver:
#   pid: 839428
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.5
#   total CPU system time (s): 0.504598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85421 second user time and 18.5248 second system time

The end