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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434228-1721072964/watcher-4434228-1721072964 -o /tmp/evaluation-result-4434228-1721072964/solver-4434228-1721072964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721072977-844192 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434228-1721072964.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=844264, runsolver pid=844261

[startup+0.100083 s]*
/proc/loadavg: 1.14 1.14 1.31 5/259 844269
/proc/meminfo: memFree=125659384/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=7972 memory=6512 CPUtime=0.1 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 1178 0 0 0 10 0 0 0 20 0 1 0 159458289 8163328 1628 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 1993 1628 580 659 0 1197 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17904 KiB
Current children cumulated memory: 9124 KiB

[startup+0.2048 s]*
/proc/loadavg: 1.14 1.14 1.31 5/259 844269
/proc/meminfo: memFree=125519436/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=15000 memory=13656 CPUtime=0.2 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 2951 0 0 0 20 0 0 0 20 0 1 0 159458289 15360000 3414 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 3750 3414 580 659 0 2954 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24932 KiB
Current children cumulated memory: 16268 KiB

[startup+0.305613 s]*
/proc/loadavg: 1.14 1.14 1.31 5/259 844269
/proc/meminfo: memFree=125435324/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=24744 memory=23160 CPUtime=0.3 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 5362 0 0 0 30 0 0 0 20 0 1 0 159458289 25337856 5790 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 6186 5790 580 659 0 5390 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34676 KiB
Current children cumulated memory: 25772 KiB

[startup+0.700273 s]
/proc/loadavg: 1.14 1.14 1.31 5/259 844269
/proc/meminfo: memFree=125399492/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=61428 memory=59820 CPUtime=0.68 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 14851 0 0 0 67 1 0 0 20 0 1 0 159458289 62902272 14955 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 15357 14955 596 659 0 14561 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71360 KiB
Current children cumulated memory: 62432 KiB

[startup+1.50026 s]
/proc/loadavg: 1.45 1.20 1.33 5/259 844269
/proc/meminfo: memFree=125379928/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=95012 memory=91512 CPUtime=1.49 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 22681 0 0 0 143 6 0 0 20 0 1 0 159458289 97292288 22878 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 23753 22878 596 659 0 22957 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 104944 KiB
Current children cumulated memory: 94124 KiB

[startup+3.10577 s]
/proc/loadavg: 1.45 1.20 1.33 5/259 844269
/proc/meminfo: memFree=125114308/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=246920 memory=240940 CPUtime=3.08 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 41988 0 0 0 298 10 0 0 20 0 1 0 159458289 252846080 60235 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 61730 60235 644 659 0 60934 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 256852 KiB
Current children cumulated memory: 243552 KiB

[startup+6.30028 s]
/proc/loadavg: 1.66 1.25 1.34 5/259 844271
/proc/meminfo: memFree=125005152/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=295424 memory=289452 CPUtime=6.27 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 48596 0 0 0 614 13 0 0 20 0 1 0 159458289 302514176 72363 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 73856 72363 644 659 0 73060 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 305356 KiB
Current children cumulated memory: 292064 KiB

[startup+12.7003 s]
/proc/loadavg: 1.85 1.29 1.36 5/259 844371
/proc/meminfo: memFree=125149780/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=328856 memory=323144 CPUtime=12.65 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 49694 0 0 0 1250 15 0 0 20 0 1 0 159458289 336748544 80786 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 82214 80786 660 659 0 81418 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 338788 KiB
Current children cumulated memory: 325756 KiB

[startup+25.5003 s]
/proc/loadavg: 2.18 1.38 1.38 5/259 844372
/proc/meminfo: memFree=125122712/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=350520 memory=344940 CPUtime=25.41 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 50127 0 0 0 2525 16 0 0 20 0 1 0 159458289 358932480 86235 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 87630 86235 660 659 0 86834 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 360452 KiB
Current children cumulated memory: 347552 KiB

[startup+51.106 s]
/proc/loadavg: 2.97 1.65 1.47 5/261 844381
/proc/meminfo: memFree=125115156/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=350520 memory=345032 CPUtime=50.93 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 50285 0 0 0 5077 16 0 0 20 0 1 0 159458289 358932480 86258 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 87630 86258 660 659 0 86834 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 360452 KiB
Current children cumulated memory: 347644 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 2.05 1.62 5/261 844389
/proc/meminfo: memFree=125123868/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=350520 memory=347748 CPUtime=101.98 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 50631 0 0 0 10182 16 0 0 20 0 1 0 159458289 358932480 86937 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 87630 86937 660 659 0 86834 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 360452 KiB
Current children cumulated memory: 350360 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 2.45 1.79 5/260 844399
/proc/meminfo: memFree=125126680/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=350520 memory=348136 CPUtime=161.82 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 50940 0 0 0 16166 16 0 0 20 0 1 0 159458289 358932480 87034 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 87630 87034 660 659 0 86834 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 360452 KiB
Current children cumulated memory: 350748 KiB

[startup+222.3 s]
/proc/loadavg: 4.76 2.96 2.01 5/260 844410
/proc/meminfo: memFree=125109948/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=350520 memory=349268 CPUtime=221.69 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 51074 0 0 0 22152 17 0 0 20 0 1 0 159458289 358932480 87317 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 87630 87317 660 659 0 86834 0
Current children cumulated CPU time: 221.69 s

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

/proc/loadavg: 4.11 4.11 4.03 5/261 846098
/proc/meminfo: memFree=124761780/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=428800 memory=403020 CPUtime=3033.75 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 93988 0 0 0 303276 99 0 0 20 0 1 0 159458289 439091200 100755 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107200 100755 660 659 0 106404 0
Current children cumulated CPU time: 3033.75 s
Current children cumulated vsize: 438732 KiB
Current children cumulated memory: 405632 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.17 4.05 5/261 846109
/proc/meminfo: memFree=124761700/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=430748 memory=404968 CPUtime=3093.58 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 95176 0 0 0 309257 101 0 0 20 0 1 0 159458289 441085952 101242 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107687 101242 660 659 0 106891 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 440680 KiB
Current children cumulated memory: 407580 KiB

[startup+3162.3 s]
/proc/loadavg: 4.31 4.20 4.07 5/261 846119
/proc/meminfo: memFree=124766004/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=428612 memory=402832 CPUtime=3153.41 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 96524 0 0 0 315238 103 0 0 20 0 1 0 159458289 438898688 100708 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107153 100708 660 659 0 106357 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 438544 KiB
Current children cumulated memory: 405444 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.19 4.08 5/261 846129
/proc/meminfo: memFree=124712664/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=431144 memory=405364 CPUtime=3213.24 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 97370 0 0 0 321220 104 0 0 20 0 1 0 159458289 441491456 101341 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107786 101341 660 659 0 106990 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 441076 KiB
Current children cumulated memory: 407976 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.18 4.08 5/261 846141
/proc/meminfo: memFree=124777844/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=431932 memory=406152 CPUtime=3273.07 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 98116 0 0 0 327201 106 0 0 20 0 1 0 159458289 442298368 101538 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107983 101538 660 659 0 107187 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 441864 KiB
Current children cumulated memory: 408764 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.08 5/260 846151
/proc/meminfo: memFree=124775656/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=429004 memory=403224 CPUtime=3332.9 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 98930 0 0 0 333183 107 0 0 20 0 1 0 159458289 439300096 100806 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107251 100806 660 659 0 106455 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 438936 KiB
Current children cumulated memory: 405836 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.08 5/258 846161
/proc/meminfo: memFree=124769840/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=429632 memory=403852 CPUtime=3392.73 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 99392 0 0 0 339165 108 0 0 20 0 1 0 159458289 439943168 100963 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107408 100963 660 659 0 106612 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 439564 KiB
Current children cumulated memory: 406464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/258 846171
/proc/meminfo: memFree=124808696/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=383288 memory=363652 CPUtime=3452.56 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 100070 0 0 0 345147 109 0 0 20 0 1 0 159458289 392486912 90913 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 95822 90913 660 659 0 95026 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 393220 KiB
Current children cumulated memory: 366264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/258 846182
/proc/meminfo: memFree=124799020/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=430344 memory=410708 CPUtime=3512.38 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 101759 0 0 0 351126 112 0 0 20 0 1 0 159458289 440672256 102677 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 107586 102677 660 659 0 106790 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 440276 KiB
Current children cumulated memory: 413320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/258 846192
/proc/meminfo: memFree=124743160/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=433676 memory=414040 CPUtime=3572.22 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 102196 0 0 0 357108 114 0 0 20 0 1 0 159458289 444084224 103510 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 108419 103510 660 659 0 107623 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 443608 KiB
Current children cumulated memory: 416652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 846260
/proc/meminfo: memFree=124993264/131524600 swapFree=131071996/131071996
[pid=844264] ppid=844261 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/844264/stat : 844264 (naps-1.03.sh) S 844261 844264 844180 0 -1 4194304 218 246 0 0 0 0 0 0 20 0 1 0 159458289 10170368 653 134679101440 94425293115392 94425294194712 140731381053136 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94425296293168 94425296340356 94425304313856 140731381060580 140731381060705 140731381060705 140731381067720 0
/proc/844264/statm: 2483 653 574 264 0 134 0
[pid=844269] ppid=844264 vsize=433676 memory=414040 CPUtime=3600.04 cores=1,3
/proc/844269/stat : 844269 (naps-1.03) R 844264 844264 844180 0 -1 4194304 102221 0 0 0 359890 114 0 0 20 0 1 0 159458289 444084224 103510 134679101440 4194304 6891213 140735836120032 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14540800 140735836128245 140735836128357 140735836128357 140735836135371 0
/proc/844269/statm: 108419 103510 660 659 0 107623 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 443608 KiB
Current children cumulated memory: 416652 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.14585 s

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

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.05
CPU user time (s): 3598.91
CPU system time (s): 1.14585
CPU usage (%): 99.7189
Max. virtual memory (cumulated for all children) (KiB): 609776
Max. memory (cumulated for all children) (KiB): 572532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.14585
maximum resident set size= 569920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102699
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= 67
involuntary context switches= 1333


# summary of solver processes directly reported to runsolver:
#   pid: 844264
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.14585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5926 second user time and 14.1145 second system time

The end