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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434231-1721070672/watcher-4434231-1721070672 -o /tmp/evaluation-result-4434231-1721070672/solver-4434231-1721070672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721063459-838781 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434231-1721070672.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
solver pid=843393, runsolver pid=843390
Current StackSize limit: 8192 KiB


[startup+0.100718 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 843398
/proc/meminfo: memFree=123320796/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=9616 memory=8188 CPUtime=0.09 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 1600 0 0 0 9 0 0 0 20 0 1 0 159232581 9846784 2047 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 2404 2047 580 659 0 1608 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19548 KiB
Current children cumulated memory: 10872 KiB

[startup+0.206707 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 843398
/proc/meminfo: memFree=123310716/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=19580 memory=18060 CPUtime=0.19 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 4059 0 0 0 19 0 0 0 20 0 1 0 159232581 20049920 4515 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 4895 4515 580 659 0 4099 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29512 KiB
Current children cumulated memory: 20744 KiB

[startup+0.305703 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 843398
/proc/meminfo: memFree=123307680/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=22420 memory=21020 CPUtime=0.28 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 5046 0 0 0 27 1 0 0 20 0 1 0 159232581 22958080 5255 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 5605 5255 596 659 0 4809 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32352 KiB
Current children cumulated memory: 23704 KiB

[startup+0.700259 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 843398
/proc/meminfo: memFree=123295144/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=56632 memory=55540 CPUtime=0.67 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 13980 0 0 0 64 3 0 0 20 0 1 0 159232581 57991168 13885 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 14158 13885 644 659 0 13362 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66564 KiB
Current children cumulated memory: 58224 KiB

[startup+1.50025 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 843398
/proc/meminfo: memFree=123241980/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=137696 memory=134976 CPUtime=1.46 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 33483 0 0 0 139 7 0 0 20 0 1 0 159232581 141000704 33744 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 34424 33744 644 659 0 33628 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 147628 KiB
Current children cumulated memory: 137660 KiB

[startup+3.10565 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 843400
/proc/meminfo: memFree=123066388/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=270200 memory=262408 CPUtime=3.07 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 59182 0 0 0 295 12 0 0 20 0 1 0 159232581 276684800 65602 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 67550 65602 644 659 0 66754 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 280132 KiB
Current children cumulated memory: 265092 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 843400
/proc/meminfo: memFree=123022148/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=296768 memory=286348 CPUtime=6.24 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 62988 0 0 0 612 12 0 0 20 0 1 0 159232581 303890432 71587 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 74192 71587 660 659 0 73396 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 306700 KiB
Current children cumulated memory: 289032 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 843401
/proc/meminfo: memFree=123035408/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=281144 memory=270756 CPUtime=12.62 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 63880 0 0 0 1249 13 0 0 20 0 1 0 159232581 287891456 67689 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 70286 67689 660 659 0 69490 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 291076 KiB
Current children cumulated memory: 273440 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 843403
/proc/meminfo: memFree=123095028/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=285020 memory=274616 CPUtime=25.37 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 64355 0 0 0 2524 13 0 0 20 0 1 0 159232581 291860480 68654 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 71255 68654 660 659 0 70459 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 294952 KiB
Current children cumulated memory: 277300 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 843406
/proc/meminfo: memFree=123048240/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=299100 memory=290928 CPUtime=50.88 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 65063 0 0 0 5074 14 0 0 20 0 1 0 159232581 306278400 72732 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 74775 72732 660 659 0 73979 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 309032 KiB
Current children cumulated memory: 293612 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/262 843417
/proc/meminfo: memFree=123024684/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=302400 memory=294096 CPUtime=101.88 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 66379 0 0 0 10173 15 0 0 20 0 1 0 159232581 309657600 73524 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 75600 73524 660 659 0 74804 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 312332 KiB
Current children cumulated memory: 296780 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/262 843429
/proc/meminfo: memFree=123023512/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=286096 memory=277928 CPUtime=161.66 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 68689 0 0 0 16149 17 0 0 20 0 1 0 159232581 292962304 69482 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 71524 69482 660 659 0 70728 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 296028 KiB
Current children cumulated memory: 280612 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/262 843439
/proc/meminfo: memFree=123023188/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=327408 memory=319352 CPUtime=221.45 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 69364 0 0 0 22127 18 0 0 20 0 1 0 159232581 335265792 79838 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 81852 79838 660 659 0 81056 0
Current children cumulated CPU time: 221.45 s

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

/proc/loadavg: 4.46 4.22 4.13 5/262 845354
/proc/meminfo: memFree=123256188/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=464028 memory=460628 CPUtime=3091.37 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 107165 0 0 0 309072 65 0 0 20 0 1 0 159232581 475164672 115157 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 116007 115157 660 659 0 115211 0
Current children cumulated CPU time: 3091.37 s
Current children cumulated vsize: 473960 KiB
Current children cumulated memory: 463312 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.19 4.13 5/261 845365
/proc/meminfo: memFree=123246960/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=459472 memory=456072 CPUtime=3151.17 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 108226 0 0 0 315049 68 0 0 20 0 1 0 159232581 470499328 114018 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 114868 114018 660 659 0 114072 0
Current children cumulated CPU time: 3151.17 s
Current children cumulated vsize: 469404 KiB
Current children cumulated memory: 458756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/260 845375
/proc/meminfo: memFree=123303076/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=460772 memory=457372 CPUtime=3210.97 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 109151 0 0 0 321028 69 0 0 20 0 1 0 159232581 471830528 114343 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 115193 114343 660 659 0 114397 0
Current children cumulated CPU time: 3210.97 s
Current children cumulated vsize: 470704 KiB
Current children cumulated memory: 460056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/259 845386
/proc/meminfo: memFree=123269696/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=451316 memory=447916 CPUtime=3270.78 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 110040 0 0 0 327006 72 0 0 20 0 1 0 159232581 462147584 111979 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 112829 111979 660 659 0 112033 0
Current children cumulated CPU time: 3270.78 s
Current children cumulated vsize: 461248 KiB
Current children cumulated memory: 450600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/260 845397
/proc/meminfo: memFree=123252940/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=461096 memory=457696 CPUtime=3330.58 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 111166 0 0 0 332983 75 0 0 20 0 1 0 159232581 472162304 114424 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 115274 114424 660 659 0 114478 0
Current children cumulated CPU time: 3330.58 s
Current children cumulated vsize: 471028 KiB
Current children cumulated memory: 460380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/260 845409
/proc/meminfo: memFree=123312688/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=457824 memory=454424 CPUtime=3390.38 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 112550 0 0 0 338961 77 0 0 20 0 1 0 159232581 468811776 113606 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 114456 113606 660 659 0 113660 0
Current children cumulated CPU time: 3390.38 s
Current children cumulated vsize: 467756 KiB
Current children cumulated memory: 457108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/260 845419
/proc/meminfo: memFree=123244416/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=461776 memory=458376 CPUtime=3450.18 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 113214 0 0 0 344940 78 0 0 20 0 1 0 159232581 472858624 114594 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 115444 114594 660 659 0 114648 0
Current children cumulated CPU time: 3450.18 s
Current children cumulated vsize: 471708 KiB
Current children cumulated memory: 461060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/260 845429
/proc/meminfo: memFree=123202260/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=468412 memory=465012 CPUtime=3509.98 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 114189 0 0 0 350917 81 0 0 20 0 1 0 159232581 479653888 116253 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 117103 116253 660 659 0 116307 0
Current children cumulated CPU time: 3509.98 s
Current children cumulated vsize: 478344 KiB
Current children cumulated memory: 467696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/263 845445
/proc/meminfo: memFree=123241800/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=466448 memory=463048 CPUtime=3569.79 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 115759 0 0 0 356895 84 0 0 20 0 1 0 159232581 477642752 115762 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 116612 115762 660 659 0 115816 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 476380 KiB
Current children cumulated memory: 465732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.15 4.14 4.11 5/263 845451
/proc/meminfo: memFree=123246800/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=458796 memory=455396 CPUtime=3600.08 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 116144 0 0 0 359923 85 0 0 20 0 1 0 159232581 469807104 113849 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 114699 113849 660 659 0 113903 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 468728 KiB
Current children cumulated memory: 458080 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.24 s, system=0.861056 s

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

[startup+3612.7 s]
/proc/loadavg: 4.15 4.14 4.11 5/263 845451
/proc/meminfo: memFree=123246800/131524600 swapFree=131071996/131071996
[pid=843393] ppid=843390 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/843393/stat : 843393 (naps-1.03.sh) S 843390 843393 838771 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 159232580 10170368 671 134679101440 94606162587648 94606163666968 140736675712688 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94606165765424 94606165812612 94606180552704 140736675718116 140736675718241 140736675718241 140736675725256 0
/proc/843393/statm: 2483 671 591 264 0 134 0
[pid=843398] ppid=843393 vsize=458796 memory=455396 CPUtime=3600.08 cores=0,2
/proc/843398/stat : 843398 (naps-1.03) R 843393 843393 838771 0 -1 4194304 116144 0 0 0 359923 85 0 0 20 0 1 0 159232581 469807104 113849 134679101440 4194304 6891213 140723026823024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 16793600 140723026826229 140723026826341 140723026826341 140723026833355 0
/proc/843398/statm: 114699 113849 660 659 0 113903 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 468728 KiB
Current children cumulated memory: 458080 KiB

Child status: 10

Real time (s): 3612.7
CPU time (s): 3600.1
CPU user time (s): 3599.24
CPU system time (s): 0.861056
CPU usage (%): 99.6512
Max. virtual memory (cumulated for all children) (KiB): 561064
Max. memory (cumulated for all children) (KiB): 550364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.861056
maximum resident set size= 547680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116621
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= 54
involuntary context switches= 24682


# summary of solver processes directly reported to runsolver:
#   pid: 843393
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.24
#   total CPU system time (s): 0.861056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.15826 second user time and 16.7273 second system time

The end