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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435030-1721070902/watcher-4435030-1721070902 -o /tmp/evaluation-result-4435030-1721070902/solver-4435030-1721070902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721070641-814261 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435030-1721070902.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=814533, runsolver pid=814530

[startup+0.100088 s]*
/proc/loadavg: 4.08 3.63 3.76 5/261 814538
/proc/meminfo: memFree=126604684/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=10448 memory=5520 CPUtime=0.09 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 1090 0 0 0 9 0 0 0 20 0 1 0 159255093 10698752 1380 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 2612 1380 405 379 0 2146 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20380 KiB
Current children cumulated memory: 8248 KiB

[startup+0.205641 s]*
/proc/loadavg: 4.08 3.63 3.76 5/261 814538
/proc/meminfo: memFree=126598832/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=16440 memory=11856 CPUtime=0.2 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 2625 0 0 0 20 0 0 0 20 0 1 0 159255093 16834560 2964 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 4110 2964 405 379 0 3644 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26372 KiB
Current children cumulated memory: 14584 KiB

[startup+0.305567 s]*
/proc/loadavg: 4.08 3.63 3.76 5/261 814538
/proc/meminfo: memFree=126589620/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=25388 memory=20672 CPUtime=0.3 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 4865 0 0 0 29 1 0 0 20 0 1 0 159255093 25997312 5168 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 6347 5168 405 379 0 5881 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35320 KiB
Current children cumulated memory: 23400 KiB

[startup+0.700244 s]
/proc/loadavg: 4.08 3.63 3.76 5/261 814538
/proc/meminfo: memFree=126571672/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=56624 memory=52004 CPUtime=0.69 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 12926 0 0 0 67 2 0 0 20 0 1 0 159255093 57982976 13001 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 14156 13001 405 379 0 13690 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66556 KiB
Current children cumulated memory: 54732 KiB

[startup+1.50025 s]
/proc/loadavg: 4.08 3.63 3.76 5/261 814538
/proc/meminfo: memFree=126555124/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=60472 memory=55604 CPUtime=1.48 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 14108 0 0 0 146 2 0 0 20 0 1 0 159255093 61923328 13901 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 15118 13901 421 379 0 14652 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70404 KiB
Current children cumulated memory: 58332 KiB

[startup+3.10549 s]
/proc/loadavg: 4.07 3.64 3.76 5/261 814538
/proc/meminfo: memFree=126506512/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=107380 memory=101024 CPUtime=3.08 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 24693 0 0 0 303 5 0 0 20 0 1 0 159255093 109957120 25256 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 26845 25256 421 379 0 26379 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117312 KiB
Current children cumulated memory: 103752 KiB

[startup+6.30023 s]
/proc/loadavg: 4.07 3.64 3.76 5/261 814538
/proc/meminfo: memFree=126500596/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=113372 memory=102984 CPUtime=6.27 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 26060 0 0 0 622 5 0 0 20 0 1 0 159255093 116092928 25746 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 28343 25746 421 379 0 27877 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123304 KiB
Current children cumulated memory: 105712 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 3.64 3.76 5/259 814540
/proc/meminfo: memFree=126488460/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=124976 memory=120644 CPUtime=12.66 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 26399 0 0 0 1260 6 0 0 20 0 1 0 159255093 127975424 30161 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 31244 30161 421 379 0 30778 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 134908 KiB
Current children cumulated memory: 123372 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 3.68 3.77 5/259 814541
/proc/meminfo: memFree=126520816/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=124976 memory=121552 CPUtime=25.42 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 26670 0 0 0 2536 6 0 0 20 0 1 0 159255093 127975424 30388 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 31244 30388 421 379 0 30778 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 134908 KiB
Current children cumulated memory: 124280 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 3.71 3.78 5/258 814547
/proc/meminfo: memFree=126456640/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=156224 memory=149936 CPUtime=50.95 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 27687 0 0 0 5088 7 0 0 20 0 1 0 159255093 159973376 37484 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 39056 37484 421 379 0 38590 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 166156 KiB
Current children cumulated memory: 152664 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.77 3.80 5/258 814555
/proc/meminfo: memFree=126402060/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=156224 memory=152216 CPUtime=102.02 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 27952 0 0 0 10194 8 0 0 20 0 1 0 159255093 159973376 38054 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 39056 38054 421 379 0 38590 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 166156 KiB
Current children cumulated memory: 154944 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.84 3.83 5/258 814565
/proc/meminfo: memFree=126389112/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=205544 memory=189528 CPUtime=161.85 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 28521 0 0 0 16175 10 0 0 20 0 1 0 159255093 210477056 47382 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 51386 47382 421 379 0 50920 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 215476 KiB
Current children cumulated memory: 192256 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.89 3.84 5/258 814575
/proc/meminfo: memFree=126389580/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=205544 memory=189580 CPUtime=221.66 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 29090 0 0 0 22154 12 0 0 20 0 1 0 159255093 210477056 47395 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 51386 47395 421 379 0 50920 0
Current children cumulated CPU time: 221.66 s

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

/proc/loadavg: 4.09 4.10 4.09 5/259 816276
/proc/meminfo: memFree=125877108/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=348112 memory=320668 CPUtime=3093.82 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 77467 0 0 0 309288 94 0 0 20 0 1 0 159255093 356466688 80167 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 87028 80167 421 379 0 86562 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 323396 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 816287
/proc/meminfo: memFree=126014468/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=301436 memory=277428 CPUtime=3153.67 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 79100 0 0 0 315271 96 0 0 20 0 1 0 159255093 308670464 69357 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 75359 69357 421 379 0 74893 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 311368 KiB
Current children cumulated memory: 280156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 816297
/proc/meminfo: memFree=125891028/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=351968 memory=318004 CPUtime=3213.5 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 80139 0 0 0 321253 97 0 0 20 0 1 0 159255093 360415232 79501 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 87992 79501 421 379 0 87526 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 361900 KiB
Current children cumulated memory: 320732 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 816307
/proc/meminfo: memFree=125857328/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=436320 memory=355836 CPUtime=3273.34 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 81501 0 0 0 327236 98 0 0 20 0 1 0 159255093 446791680 88959 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 109080 88959 421 379 0 108614 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 446252 KiB
Current children cumulated memory: 358564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/260 816523
/proc/meminfo: memFree=126634272/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=356536 memory=318500 CPUtime=3333.19 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 83229 0 0 0 333217 102 0 0 20 0 1 0 159255093 365092864 79625 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 89134 79625 421 379 0 88668 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 366468 KiB
Current children cumulated memory: 321228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.02 4.08 4.08 5/257 816997
/proc/meminfo: memFree=126900012/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=310384 memory=278984 CPUtime=3393.02 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 85543 0 0 0 339199 103 0 0 20 0 1 0 159255093 317833216 69746 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 77596 69746 421 379 0 77130 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 320316 KiB
Current children cumulated memory: 281712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/261 817342
/proc/meminfo: memFree=126611168/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=361996 memory=324644 CPUtime=3452.87 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 86782 0 0 0 345182 105 0 0 20 0 1 0 159255093 370683904 81161 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 90499 81161 421 379 0 90033 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 371928 KiB
Current children cumulated memory: 327372 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/261 817353
/proc/meminfo: memFree=126546348/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=443796 memory=361844 CPUtime=3512.72 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 87551 0 0 0 351166 106 0 0 20 0 1 0 159255093 454447104 90461 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 110949 90461 421 379 0 110483 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 453728 KiB
Current children cumulated memory: 364572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 817364
/proc/meminfo: memFree=126555636/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=363244 memory=317800 CPUtime=3572.56 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 89001 0 0 0 357148 108 0 0 20 0 1 0 159255093 371961856 79450 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 90811 79450 421 379 0 90345 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 373176 KiB
Current children cumulated memory: 320528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 817371
/proc/meminfo: memFree=126497572/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=363736 memory=338688 CPUtime=3600.09 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 89138 0 0 0 359900 109 0 0 20 0 1 0 159255093 372465664 84672 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 90934 84672 421 379 0 90468 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 373668 KiB
Current children cumulated memory: 341416 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.09636 s

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

[startup+3609.9 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 817371
/proc/meminfo: memFree=126497572/131524600 swapFree=131071996/131071996
[pid=814533] ppid=814530 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/814533/stat : 814533 (naps-1.02b5.sh) S 814530 814533 814250 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 159255093 10170368 682 134679101440 94410316972032 94410318051352 140724872750528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94410320149808 94410320196996 94410329272320 140724872754144 140724872754271 140724872754271 140724872761286 0
/proc/814533/statm: 2483 682 604 264 0 134 0
[pid=814538] ppid=814533 vsize=363736 memory=338688 CPUtime=3600.09 cores=4,6
/proc/814538/stat : 814538 (naps-1.02b5) R 814533 814533 814250 0 -1 4194304 89138 0 0 0 359900 109 0 0 20 0 1 0 159255093 372465664 84672 134679101440 4194304 5746509 140729671579216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 9445376 140729671586799 140729671586913 140729671586913 140729671593929 0
/proc/814538/statm: 90934 84672 421 379 0 90468 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 373668 KiB
Current children cumulated memory: 341416 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.11
CPU user time (s): 3599.01
CPU system time (s): 1.09636
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 503616
Max. memory (cumulated for all children) (KiB): 394364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.09636
maximum resident set size= 411948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89614
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= 99
involuntary context switches= 3334


# summary of solver processes directly reported to runsolver:
#   pid: 814533
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.09636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08598 second user time and 17.1629 second system time

The end