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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459551-1721903518/watcher-4459551-1721903518 -o /tmp/evaluation-result-4459551-1721903518/solver-4459551-1721903518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721903518-229192 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4459551-1721903518.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=229231, runsolver pid=229228

[startup+0.1001 s]*
/proc/loadavg: 3.92 4.11 4.15 5/244 229263
/proc/meminfo: memFree=124762992/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=41144 memory=38044 CPUtime=0.09 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 9508 0 0 0 8 1 0 0 20 0 1 0 26341518 42131456 9511 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 10286 9511 596 659 0 9490 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51076 KiB
Current children cumulated memory: 40728 KiB

[startup+0.213864 s]*
/proc/loadavg: 3.92 4.11 4.15 6/249 229271
/proc/meminfo: memFree=124730856/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=57068 memory=53304 CPUtime=0.21 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 13025 0 0 0 19 2 0 0 20 0 1 0 26341518 58437632 13326 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 14267 13326 644 659 0 13471 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67000 KiB
Current children cumulated memory: 55988 KiB

[startup+0.314102 s]*
/proc/loadavg: 3.92 4.11 4.15 5/249 229271
/proc/meminfo: memFree=124711904/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=57068 memory=53304 CPUtime=0.31 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 13026 0 0 0 29 2 0 0 20 0 1 0 26341518 58437632 13326 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 14267 13326 644 659 0 13471 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67000 KiB
Current children cumulated memory: 55988 KiB

[startup+0.70047 s]
/proc/loadavg: 3.92 4.11 4.15 5/249 229271
/proc/meminfo: memFree=124696828/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=119076 memory=112916 CPUtime=0.68 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 24374 0 0 0 62 6 0 0 20 0 1 0 26341518 121933824 28229 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 29802 28229 644 659 0 29006 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129008 KiB
Current children cumulated memory: 115600 KiB

[startup+1.50044 s]
/proc/loadavg: 3.92 4.11 4.15 5/249 229271
/proc/meminfo: memFree=124551924/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=211656 memory=199816 CPUtime=1.47 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 35364 0 0 0 137 10 0 0 20 0 1 0 26341518 216735744 49954 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 52914 49954 644 659 0 52118 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 221588 KiB
Current children cumulated memory: 202500 KiB

[startup+3.11306 s]
/proc/loadavg: 3.84 4.09 4.15 4/241 229302
/proc/meminfo: memFree=124232904/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=235452 memory=223628 CPUtime=3.08 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 37433 0 0 0 296 12 0 0 20 0 1 0 26341518 241102848 55907 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 58863 55907 644 659 0 58067 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 245384 KiB
Current children cumulated memory: 226312 KiB

[startup+6.3004 s]
/proc/loadavg: 3.84 4.09 4.15 4/241 229302
/proc/meminfo: memFree=123548496/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=287624 memory=273876 CPUtime=6.26 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 42237 0 0 0 610 16 0 0 20 0 1 0 26341518 294526976 68469 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 71906 68469 660 659 0 71110 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 276560 KiB

[startup+12.7004 s]
/proc/loadavg: 3.77 4.07 4.14 4/241 229304
/proc/meminfo: memFree=122528792/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=219088 memory=213636 CPUtime=12.63 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 44375 0 0 0 1246 17 0 0 20 0 1 0 26341518 224346112 53409 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 54772 53409 660 659 0 53976 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 229020 KiB
Current children cumulated memory: 216320 KiB

[startup+25.5004 s]
/proc/loadavg: 3.60 4.02 4.12 4/241 229305
/proc/meminfo: memFree=120153508/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=251856 memory=218216 CPUtime=25.36 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 44630 0 0 0 2518 18 0 0 20 0 1 0 26341518 257900544 54554 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 62964 54554 660 659 0 62168 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 261788 KiB
Current children cumulated memory: 220900 KiB

[startup+51.1129 s]
/proc/loadavg: 3.47 3.95 4.09 4/241 229310
/proc/meminfo: memFree=117471056/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=252672 memory=224172 CPUtime=50.86 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 44944 0 0 0 5068 18 0 0 20 0 1 0 26341518 258736128 56043 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 63168 56043 660 659 0 62372 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 262604 KiB
Current children cumulated memory: 226856 KiB

[startup+102.3 s]
/proc/loadavg: 3.27 3.82 4.04 4/240 229319
/proc/meminfo: memFree=115754776/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=252672 memory=231348 CPUtime=101.84 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 45145 0 0 0 10166 18 0 0 20 0 1 0 26341518 258736128 57837 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 63168 57837 660 659 0 62372 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 262604 KiB
Current children cumulated memory: 234032 KiB

[startup+162.3 s]
/proc/loadavg: 3.15 3.68 3.98 4/240 229329
/proc/meminfo: memFree=116090232/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=252672 memory=235444 CPUtime=161.63 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 45293 0 0 0 16145 18 0 0 20 0 1 0 26341518 258736128 58861 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 63168 58861 660 659 0 62372 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 262604 KiB
Current children cumulated memory: 238128 KiB

[startup+222.3 s]
/proc/loadavg: 2.73 3.48 3.89 3/230 229371
/proc/meminfo: memFree=121127940/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=273824 memory=258644 CPUtime=221.4 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 45576 0 0 0 22121 19 0 0 20 0 1 0 26341518 280395776 64661 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 68456 64661 660 659 0 67660 0
Current children cumulated CPU time: 221.4 s

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

/proc/loadavg: 1.15 1.19 1.33 2/224 230491
/proc/meminfo: memFree=124523116/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=292776 memory=288552 CPUtime=3092.22 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 96277 0 0 0 309129 93 0 0 20 0 1 0 26341518 299802624 72138 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 73194 72138 660 659 0 72398 0
Current children cumulated CPU time: 3092.22 s
Current children cumulated vsize: 302708 KiB
Current children cumulated memory: 291236 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.17 1.32 2/224 230501
/proc/meminfo: memFree=124522116/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=293392 memory=289200 CPUtime=3152.04 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 97489 0 0 0 315109 95 0 0 20 0 1 0 26341518 300433408 72300 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 73348 72300 660 659 0 72552 0
Current children cumulated CPU time: 3152.04 s
Current children cumulated vsize: 303324 KiB
Current children cumulated memory: 291884 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.15 1.30 2/226 230896
/proc/meminfo: memFree=124503840/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=310232 memory=306072 CPUtime=3211.86 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 99198 0 0 0 321088 98 0 0 20 0 1 0 26341518 317677568 76518 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 77558 76518 660 659 0 76762 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 320164 KiB
Current children cumulated memory: 308756 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.15 1.29 2/224 230907
/proc/meminfo: memFree=124505352/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=308944 memory=304784 CPUtime=3271.69 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 100409 0 0 0 327068 101 0 0 20 0 1 0 26341518 316358656 76196 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 77236 76196 660 659 0 76440 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 318876 KiB
Current children cumulated memory: 307468 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.15 1.28 2/224 230917
/proc/meminfo: memFree=124515820/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=298220 memory=294060 CPUtime=3331.51 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 101763 0 0 0 333048 103 0 0 20 0 1 0 26341518 305377280 73515 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 74555 73515 660 659 0 73759 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 308152 KiB
Current children cumulated memory: 296744 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.14 1.26 2/226 231098
/proc/meminfo: memFree=124516936/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=296600 memory=292440 CPUtime=3391.32 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 103600 0 0 0 339026 106 0 0 20 0 1 0 26341518 303718400 73110 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 74150 73110 660 659 0 73354 0
Current children cumulated CPU time: 3391.32 s
Current children cumulated vsize: 306532 KiB
Current children cumulated memory: 295124 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.14 1.26 2/226 231108
/proc/meminfo: memFree=124508484/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=304972 memory=300812 CPUtime=3451.14 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 105866 0 0 0 345005 109 0 0 20 0 1 0 26341518 312291328 75203 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 76243 75203 660 659 0 75447 0
Current children cumulated CPU time: 3451.14 s
Current children cumulated vsize: 314904 KiB
Current children cumulated memory: 303496 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.13 1.24 2/227 231179
/proc/meminfo: memFree=124508116/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=304484 memory=300568 CPUtime=3510.96 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 107099 0 0 0 350985 111 0 0 20 0 1 0 26341518 311791616 75142 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 76121 75142 660 659 0 75325 0
Current children cumulated CPU time: 3510.96 s
Current children cumulated vsize: 314416 KiB
Current children cumulated memory: 303252 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.13 1.24 2/227 231190
/proc/meminfo: memFree=124511448/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=301292 memory=297376 CPUtime=3570.78 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 108467 0 0 0 356965 113 0 0 20 0 1 0 26341518 308523008 74344 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 75323 74344 660 659 0 74527 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 311224 KiB
Current children cumulated memory: 300060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 1.08 1.12 1.23 2/227 231196
/proc/meminfo: memFree=124507704/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=304876 memory=300960 CPUtime=3600.09 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 108715 0 0 0 359895 114 0 0 20 0 1 0 26341518 312193024 75240 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 76219 75240 660 659 0 75423 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 314808 KiB
Current children cumulated memory: 303644 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.96 s, system=1.15233 s

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

[startup+3611.7 s]
/proc/loadavg: 1.08 1.12 1.23 2/227 231196
/proc/meminfo: memFree=124507704/131655788 swapFree=131057052/131071996
[pid=229231] ppid=229228 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/229231/stat : 229231 (naps-1.03.sh) S 229228 229231 227113 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 26341517 10170368 671 134679101440 94875854094336 94875855173656 140724877738064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94875857272112 94875857319300 94875871870976 140724877747172 140724877747297 140724877747297 140724877754312 0
/proc/229231/statm: 2483 671 592 264 0 134 0
[pid=229236] ppid=229231 vsize=304876 memory=300960 CPUtime=3600.09 cores=0,2
/proc/229236/stat : 229236 (naps-1.03) R 229231 229231 227113 0 -1 4194304 108715 0 0 0 359895 114 0 0 20 0 1 0 26341518 312193024 75240 134679101440 4194304 6891213 140734887312352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30973952 140734887314421 140734887314533 140734887314533 140734887321547 0
/proc/229236/statm: 76219 75240 660 659 0 75423 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 314808 KiB
Current children cumulated memory: 303644 KiB

Child status: 10

Real time (s): 3611.7
CPU time (s): 3600.11
CPU user time (s): 3598.96
CPU system time (s): 1.15233
CPU usage (%): 99.679
Max. virtual memory (cumulated for all children) (KiB): 395160
Max. memory (cumulated for all children) (KiB): 381960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.15233
maximum resident set size= 380764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109196
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= 70
involuntary context switches= 25234


# summary of solver processes directly reported to runsolver:
#   pid: 229231
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.96
#   total CPU system time (s): 1.15233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5483 second user time and 34.523 second system time

The end