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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435034-1721073587/watcher-4435034-1721073587 -o /tmp/evaluation-result-4435034-1721073587/solver-4435034-1721073587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721073600-819113 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435034-1721073587.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=819188, runsolver pid=819185

[startup+0.100414 s]*
/proc/loadavg: 1.08 1.12 1.70 5/252 819193
/proc/meminfo: memFree=128544736/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=9352 memory=4492 CPUtime=0.1 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 777 0 0 0 10 0 0 0 20 0 1 0 159516804 9576448 1123 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 2338 1123 405 379 0 1872 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19284 KiB
Current children cumulated memory: 7284 KiB

[startup+0.213394 s]*
/proc/loadavg: 1.08 1.12 1.70 6/248 819197
/proc/meminfo: memFree=128544996/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=10108 memory=5256 CPUtime=0.21 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 972 0 0 0 21 0 0 0 20 0 1 0 159516804 10350592 1314 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 2527 1314 405 379 0 2061 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20040 KiB
Current children cumulated memory: 8048 KiB

[startup+0.312634 s]*
/proc/loadavg: 1.08 1.12 1.70 4/248 819207
/proc/meminfo: memFree=128539760/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=10508 memory=5756 CPUtime=0.31 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 1098 0 0 0 31 0 0 0 20 0 1 0 159516804 10760192 1439 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 2627 1439 405 379 0 2161 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20440 KiB
Current children cumulated memory: 8548 KiB

[startup+0.700419 s]
/proc/loadavg: 1.08 1.12 1.70 5/246 819226
/proc/meminfo: memFree=128531752/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=19788 memory=15160 CPUtime=0.68 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 3485 0 0 0 67 1 0 0 20 0 1 0 159516804 20262912 3790 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 4947 3790 405 379 0 4481 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29720 KiB
Current children cumulated memory: 17952 KiB

[startup+1.50045 s]
/proc/loadavg: 1.39 1.19 1.72 5/252 819243
/proc/meminfo: memFree=128485248/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=56768 memory=52324 CPUtime=1.47 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 12957 0 0 0 143 4 0 0 20 0 1 0 159516804 58130432 13081 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 14192 13081 421 379 0 13726 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 66700 KiB
Current children cumulated memory: 55116 KiB

[startup+3.11416 s]
/proc/loadavg: 1.39 1.19 1.72 5/252 819243
/proc/meminfo: memFree=128350392/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=91020 memory=86716 CPUtime=3.08 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 20568 0 0 0 302 6 0 0 20 0 1 0 159516804 93204480 21679 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 22755 21679 421 379 0 22289 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100952 KiB
Current children cumulated memory: 89508 KiB

[startup+6.30041 s]
/proc/loadavg: 1.68 1.25 1.74 5/252 819244
/proc/meminfo: memFree=128147368/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=276980 memory=257056 CPUtime=6.26 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 48599 0 0 0 613 13 0 0 20 0 1 0 159516804 283627520 64264 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 69245 64264 421 379 0 68779 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 286912 KiB
Current children cumulated memory: 259848 KiB

[startup+12.7004 s]
/proc/loadavg: 1.95 1.31 1.76 5/252 819244
/proc/meminfo: memFree=128125048/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=276980 memory=263200 CPUtime=12.64 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 48621 0 0 0 1250 14 0 0 20 0 1 0 159516804 283627520 65800 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 69245 65800 421 379 0 68779 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 286912 KiB
Current children cumulated memory: 265992 KiB

[startup+25.5004 s]
/proc/loadavg: 2.42 1.43 1.79 5/252 819246
/proc/meminfo: memFree=128061020/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=314392 memory=302556 CPUtime=25.4 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 50211 0 0 0 2524 16 0 0 20 0 1 0 159516804 321937408 75639 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 78598 75639 421 379 0 78132 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 324324 KiB
Current children cumulated memory: 305348 KiB

[startup+51.113 s]
/proc/loadavg: 3.59 1.82 1.91 5/250 819251
/proc/meminfo: memFree=127988592/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=326064 memory=305824 CPUtime=50.92 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 50596 0 0 0 5076 16 0 0 20 0 1 0 159516804 333889536 76456 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 81516 76456 421 379 0 81050 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 335996 KiB
Current children cumulated memory: 308616 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 2.29 2.06 5/250 819270
/proc/meminfo: memFree=127931488/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=345036 memory=324068 CPUtime=101.93 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 51564 0 0 0 10174 19 0 0 20 0 1 0 159516804 353316864 81017 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 86259 81017 421 379 0 85793 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 354968 KiB
Current children cumulated memory: 326860 KiB

[startup+162.3 s]
/proc/loadavg: 4.49 2.72 2.23 5/250 819281
/proc/meminfo: memFree=127957444/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=295716 memory=285008 CPUtime=161.71 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 52177 0 0 0 16150 21 0 0 20 0 1 0 159516804 302813184 71252 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 73929 71252 421 379 0 73463 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 305648 KiB
Current children cumulated memory: 287800 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 2.97 2.35 5/250 819292
/proc/meminfo: memFree=127863436/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=378136 memory=342992 CPUtime=221.49 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 53791 0 0 0 22126 23 0 0 20 0 1 0 159516804 387211264 85748 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 94534 85748 421 379 0 94068 0
Current children cumulated CPU time: 221.49 s

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

/proc/loadavg: 4.13 4.12 4.04 5/245 820422
/proc/meminfo: memFree=127652956/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=415248 memory=378052 CPUtime=3031.8 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 94729 0 0 0 303095 85 0 0 20 0 1 0 159516804 425213952 94513 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 103812 94513 421 379 0 103346 0
Current children cumulated CPU time: 3031.8 s
Current children cumulated vsize: 425180 KiB
Current children cumulated memory: 380844 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/248 820437
/proc/meminfo: memFree=127683496/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=415248 memory=405172 CPUtime=3091.59 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 95029 0 0 0 309074 85 0 0 20 0 1 0 159516804 425213952 101293 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 103812 101293 421 379 0 103346 0
Current children cumulated CPU time: 3091.59 s
Current children cumulated vsize: 425180 KiB
Current children cumulated memory: 407964 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/248 820448
/proc/meminfo: memFree=127612480/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=465944 memory=426800 CPUtime=3151.4 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 95954 0 0 0 315054 86 0 0 20 0 1 0 159516804 477126656 106700 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 116486 106700 421 379 0 116020 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 475876 KiB
Current children cumulated memory: 429592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/248 820458
/proc/meminfo: memFree=127580348/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=468048 memory=457368 CPUtime=3211.19 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 96595 0 0 0 321032 87 0 0 20 0 1 0 159516804 479281152 114342 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 117012 114342 421 379 0 116546 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 477980 KiB
Current children cumulated memory: 460160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/248 820468
/proc/meminfo: memFree=127646640/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=417960 memory=387108 CPUtime=3270.98 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 97703 0 0 0 327010 88 0 0 20 0 1 0 159516804 427991040 96777 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 104490 96777 421 379 0 104024 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 427892 KiB
Current children cumulated memory: 389900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/248 820479
/proc/meminfo: memFree=127625348/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=469164 memory=419568 CPUtime=3330.78 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 98780 0 0 0 332989 89 0 0 20 0 1 0 159516804 480423936 104892 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 117291 104892 421 379 0 116825 0
Current children cumulated CPU time: 3330.78 s
Current children cumulated vsize: 479096 KiB
Current children cumulated memory: 422360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.12 4.05 5/247 820875
/proc/meminfo: memFree=127707840/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=424600 memory=388244 CPUtime=3390.59 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 100981 0 0 0 338968 91 0 0 20 0 1 0 159516804 434790400 97061 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 106150 97061 421 379 0 105684 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 434532 KiB
Current children cumulated memory: 391036 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/247 820885
/proc/meminfo: memFree=127606796/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=424600 memory=408828 CPUtime=3450.4 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 101118 0 0 0 344948 92 0 0 20 0 1 0 159516804 434790400 102207 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 106150 102207 421 379 0 105684 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 434532 KiB
Current children cumulated memory: 411620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.65 4.26 4.11 5/247 820895
/proc/meminfo: memFree=127688052/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=474688 memory=434460 CPUtime=3510.2 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 102065 0 0 0 350927 93 0 0 20 0 1 0 159516804 486080512 108615 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 118672 108615 421 379 0 118206 0
Current children cumulated CPU time: 3510.2 s
Current children cumulated vsize: 484620 KiB
Current children cumulated memory: 437252 KiB

[startup+3582.3 s]
/proc/loadavg: 4.48 4.30 4.13 5/249 821076
/proc/meminfo: memFree=127651388/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=394204 memory=374036 CPUtime=3570 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 102504 0 0 0 356906 94 0 0 20 0 1 0 159516804 403664896 93509 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 98551 93509 421 379 0 98085 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 404136 KiB
Current children cumulated memory: 376828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.29 4.27 4.13 5/249 821481
/proc/meminfo: memFree=128189072/131655788 swapFree=131071996/131071996
[pid=819188] ppid=819185 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/819188/stat : 819188 (naps-1.02b5.sh) S 819185 819188 819102 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159516803 10170368 698 134679101440 94755626000384 94755627079704 140721500599392 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94755629178160 94755629225348 94755630125056 140721500607456 140721500607583 140721500607583 140721500614598 0
/proc/819188/statm: 2483 698 621 264 0 134 0
[pid=819193] ppid=819188 vsize=425024 memory=392632 CPUtime=3600 cores=0,2
/proc/819193/stat : 819193 (naps-1.02b5) R 819188 819188 819102 0 -1 4194304 103208 0 0 0 359905 95 0 0 20 0 1 0 159516804 435224576 98158 134679101440 4194304 5746509 140726128086832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16224256 140726128088047 140726128088161 140726128088161 140726128095177 0
/proc/819193/statm: 106256 98158 421 379 0 105790 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 434956 KiB
Current children cumulated memory: 395424 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.06 s, system=0.964005 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): 3612.4
CPU time (s): 3600.02
CPU user time (s): 3599.06
CPU system time (s): 0.964005
CPU usage (%): 99.6573
Max. virtual memory (cumulated for all children) (KiB): 608688
Max. memory (cumulated for all children) (KiB): 497840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 0.964005
maximum resident set size= 510412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103690
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= 165
involuntary context switches= 24682


# summary of solver processes directly reported to runsolver:
#   pid: 819188
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.06
#   total CPU system time (s): 0.964005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4941 second user time and 40.9707 second system time

The end