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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459241-1721898379/watcher-4459241-1721898379 -o /tmp/evaluation-result-4459241-1721898379/solver-4459241-1721898379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721891055-271127 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4459241-1721898379.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=275509, runsolver pid=275506
Current StackSize limit: 8192 KiB


[startup+0.100797 s]*
/proc/loadavg: 4.14 4.14 4.09 5/260 275514
/proc/meminfo: memFree=114183160/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=6392 memory=5368 CPUtime=0.09 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 1143 0 0 0 9 0 0 0 20 0 1 0 26367498 6545408 1342 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 1598 1342 421 379 0 1132 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16324 KiB
Current children cumulated memory: 8080 KiB

[startup+0.206796 s]*
/proc/loadavg: 4.14 4.14 4.09 5/260 275514
/proc/meminfo: memFree=114179320/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=8324 memory=6952 CPUtime=0.19 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 1515 0 0 0 19 0 0 0 20 0 1 0 26367498 8523776 1738 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 2081 1738 421 379 0 1615 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18256 KiB
Current children cumulated memory: 9664 KiB

[startup+0.305972 s]*
/proc/loadavg: 4.14 4.14 4.09 5/260 275514
/proc/meminfo: memFree=114177916/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=6856 memory=6228 CPUtime=0.29 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 1937 0 0 0 29 0 0 0 20 0 1 0 26367498 7020544 1557 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 1714 1557 421 379 0 1248 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 16788 KiB
Current children cumulated memory: 8940 KiB

[startup+0.700275 s]
/proc/loadavg: 4.14 4.14 4.09 5/260 275514
/proc/meminfo: memFree=114171524/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=12240 memory=11440 CPUtime=0.67 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 2752 0 0 0 67 0 0 0 20 0 1 0 26367498 12533760 2860 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 3060 2860 421 379 0 2594 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22172 KiB
Current children cumulated memory: 14152 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.14 4.09 5/260 275514
/proc/meminfo: memFree=114155480/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=13912 memory=12444 CPUtime=1.48 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 3658 0 0 0 147 1 0 0 20 0 1 0 26367498 14245888 3111 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 3478 3111 421 379 0 3012 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23844 KiB
Current children cumulated memory: 15156 KiB

[startup+3.10572 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 275514
/proc/meminfo: memFree=114114360/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=32480 memory=30964 CPUtime=3.08 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 4723 0 0 0 307 1 0 0 20 0 1 0 26367498 33259520 7741 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 8120 7741 421 379 0 7654 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 33676 KiB

[startup+6.30026 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 275514
/proc/meminfo: memFree=114088044/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=30888 memory=26364 CPUtime=6.26 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 5265 0 0 0 625 1 0 0 20 0 1 0 26367498 31629312 6591 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 7722 6591 421 379 0 7256 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40820 KiB
Current children cumulated memory: 29076 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.15 4.10 5/260 275516
/proc/meminfo: memFree=113987556/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=30888 memory=28880 CPUtime=12.64 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 5399 0 0 0 1263 1 0 0 20 0 1 0 26367498 31629312 7220 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 7722 7220 421 379 0 7256 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 40820 KiB
Current children cumulated memory: 31592 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.14 4.10 5/260 275517
/proc/meminfo: memFree=113884784/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=73052 memory=48988 CPUtime=25.42 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 6883 0 0 0 2539 3 0 0 20 0 1 0 26367498 74805248 12247 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 18263 12247 421 379 0 17797 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 82984 KiB
Current children cumulated memory: 51700 KiB

[startup+51.1059 s]
/proc/loadavg: 4.10 4.13 4.09 5/260 275522
/proc/meminfo: memFree=113921000/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=73052 memory=55268 CPUtime=50.95 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 7886 0 0 0 5089 6 0 0 20 0 1 0 26367498 74805248 13817 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 18263 13817 421 379 0 17797 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 82984 KiB
Current children cumulated memory: 57980 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/260 275530
/proc/meminfo: memFree=113954184/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=122372 memory=88560 CPUtime=102.02 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 10705 0 0 0 10188 14 0 0 20 0 1 0 26367498 125308928 22140 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 30593 22140 421 379 0 30127 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 132304 KiB
Current children cumulated memory: 91272 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/259 275541
/proc/meminfo: memFree=113894724/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=153192 memory=107420 CPUtime=161.86 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 15237 0 0 0 16164 22 0 0 20 0 1 0 26367498 156868608 26855 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 38298 26855 421 379 0 37832 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 163124 KiB
Current children cumulated memory: 110132 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/259 275552
/proc/meminfo: memFree=113848936/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=153192 memory=109468 CPUtime=221.7 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 18940 0 0 0 22140 30 0 0 20 0 1 0 26367498 156868608 27367 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 38298 27367 421 379 0 37832 0

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

/proc/275514/statm: 114862 83450 421 379 0 114396 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 469380 KiB
Current children cumulated memory: 336512 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/263 277264
/proc/meminfo: memFree=112746456/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=245800 memory=240024 CPUtime=3152.59 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 143792 0 0 0 314988 271 0 0 20 0 1 0 26367498 251699200 60006 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 61450 60006 421 379 0 60984 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 255732 KiB
Current children cumulated memory: 242736 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/263 277274
/proc/meminfo: memFree=112671096/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=459448 memory=350428 CPUtime=3212.4 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 144882 0 0 0 320966 274 0 0 20 0 1 0 26367498 470474752 87607 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 114862 87607 421 379 0 114396 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 469380 KiB
Current children cumulated memory: 353140 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/261 277298
/proc/meminfo: memFree=112708808/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=327188 memory=264528 CPUtime=3272.21 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 147049 0 0 0 326942 279 0 0 20 0 1 0 26367498 335040512 66132 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 81797 66132 421 379 0 81331 0
Current children cumulated CPU time: 3272.21 s
Current children cumulated vsize: 337120 KiB
Current children cumulated memory: 267240 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/260 277310
/proc/meminfo: memFree=112839936/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=115572 memory=114988 CPUtime=3332.03 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 147638 0 0 0 332921 282 0 0 20 0 1 0 26367498 118345728 28747 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 28893 28747 421 379 0 28427 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 125504 KiB
Current children cumulated memory: 117700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.18 4.17 5/260 277321
/proc/meminfo: memFree=112782620/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=327188 memory=311704 CPUtime=3391.84 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 149902 0 0 0 338897 287 0 0 20 0 1 0 26367498 335040512 77926 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 81797 77926 421 379 0 81331 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 337120 KiB
Current children cumulated memory: 314416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.22 4.18 5/259 277332
/proc/meminfo: memFree=112830700/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=245800 memory=199020 CPUtime=3451.65 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 152007 0 0 0 344874 291 0 0 20 0 1 0 26367498 251699200 49755 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 61450 49755 421 379 0 60984 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 255732 KiB
Current children cumulated memory: 201732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.01 4.16 4.16 4/251 277374
/proc/meminfo: memFree=120026396/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=459448 memory=340188 CPUtime=3511.46 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 153113 0 0 0 350852 294 0 0 20 0 1 0 26367498 470474752 85047 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 114862 85047 421 379 0 114396 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 469380 KiB
Current children cumulated memory: 342900 KiB

[startup+3582.3 s]
/proc/loadavg: 2.21 3.62 3.98 2/234 277445
/proc/meminfo: memFree=126206208/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=327188 memory=291332 CPUtime=3571.31 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 155361 0 0 0 356831 300 0 0 20 0 1 0 26367498 335040512 72833 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 81797 72833 421 379 0 81331 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 337120 KiB
Current children cumulated memory: 294044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 1.73 3.37 3.88 2/234 277450
/proc/meminfo: memFree=126146568/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=459448 memory=350560 CPUtime=3600.04 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 155928 0 0 0 359703 301 0 0 20 0 1 0 26367498 470474752 87640 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 114862 87640 421 379 0 114396 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 469380 KiB
Current children cumulated memory: 353272 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.11 s]
# the end of solver process 275509 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000889 s, system=0.001996 s

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

# cumulated CPU time of all completed processes:  user=3597.04 s, system=3.01955 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.11 s]
/proc/loadavg: 1.73 3.37 3.88 2/234 277450
/proc/meminfo: memFree=126146568/131524600 swapFree=131058856/131071996
[pid=275509] ppid=275506 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/275509/stat : 275509 (naps-1.02b5.sh) S 275506 275509 271114 0 -1 4194304 223 236 0 0 0 0 0 0 20 0 1 0 26367498 10170368 678 134679101440 94009315504128 94009316583448 140732497145008 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94009318681904 94009318729092 94009337024512 140732497150944 140732497151071 140732497151071 140732497158086 0
/proc/275509/statm: 2483 678 599 264 0 134 0
[pid=275514] ppid=275509 vsize=459448 memory=350560 CPUtime=3600.04 cores=5,7
/proc/275514/stat : 275514 (naps-1.02b5) R 275509 275509 271114 0 -1 4194304 155928 0 0 0 359703 301 0 0 20 0 1 0 26367498 470474752 87640 134679101440 4194304 5746509 140729500166832 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33501184 140729500173295 140729500173409 140729500173409 140729500180425 0
/proc/275514/statm: 114862 87640 421 379 0 114396 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 469380 KiB
Current children cumulated memory: 353272 KiB

Child status: 10

Real time (s): 3611.11
CPU time (s): 3600.05
CPU user time (s): 3597.04
CPU system time (s): 3.01955
CPU usage (%): 99.6938
Max. virtual memory (cumulated for all children) (KiB): 469380
Max. memory (cumulated for all children) (KiB): 381812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.04
system time used= 3.01955
maximum resident set size= 379100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156387
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= 22
involuntary context switches= 4464


# summary of solver processes directly reported to runsolver:
#   pid: 275509,275514
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.04
#   total CPU system time (s): 3.01955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01067 second user time and 18.2649 second system time

The end