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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458461-1721883986/watcher-4458461-1721883986 -o /tmp/evaluation-result-4458461-1721883986/solver-4458461-1721883986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721876760-226294 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4458461-1721883986.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=230466, runsolver pid=230463

[startup+0.10009 s]*
/proc/loadavg: 4.07 4.13 4.10 5/260 230471
/proc/meminfo: memFree=115365024/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=20272 memory=18744 CPUtime=0.1 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 4399 0 0 0 9 1 0 0 20 0 1 0 24922170 20758528 4686 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 5068 4686 421 379 0 4602 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30204 KiB
Current children cumulated memory: 21428 KiB

[startup+0.205732 s]*
/proc/loadavg: 4.07 4.13 4.10 5/257 230471
/proc/meminfo: memFree=115372896/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=20272 memory=18744 CPUtime=0.2 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 4399 0 0 0 19 1 0 0 20 0 1 0 24922170 20758528 4686 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 5068 4686 421 379 0 4602 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30204 KiB
Current children cumulated memory: 21428 KiB

[startup+0.304987 s]*
/proc/loadavg: 4.07 4.13 4.10 4/256 230485
/proc/meminfo: memFree=115372152/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=21936 memory=19536 CPUtime=0.3 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 4597 0 0 0 29 1 0 0 20 0 1 0 24922170 22462464 4884 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 5484 4884 421 379 0 5018 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31868 KiB
Current children cumulated memory: 22220 KiB

[startup+0.700216 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115370264/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=21936 memory=20064 CPUtime=0.69 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 4737 0 0 0 68 1 0 0 20 0 1 0 24922170 22462464 5016 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 5484 5016 421 379 0 5018 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31868 KiB
Current children cumulated memory: 22748 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115338276/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=26392 memory=25012 CPUtime=1.48 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 5426 0 0 0 147 1 0 0 20 0 1 0 24922170 27025408 6253 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 6598 6253 421 379 0 6132 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36324 KiB
Current children cumulated memory: 27696 KiB

[startup+3.10586 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115312628/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=29204 memory=27648 CPUtime=3.08 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 6120 0 0 0 307 1 0 0 20 0 1 0 24922170 29904896 6912 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 7301 6912 421 379 0 6835 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39136 KiB
Current children cumulated memory: 30332 KiB

[startup+6.30022 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115302648/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=33600 memory=32260 CPUtime=6.26 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 6860 0 0 0 625 1 0 0 20 0 1 0 24922170 34406400 8065 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 8400 8065 421 379 0 7934 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 43532 KiB
Current children cumulated memory: 34944 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.12 4.10 5/260 230522
/proc/meminfo: memFree=115351612/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=45092 memory=43752 CPUtime=12.64 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 7198 0 0 0 1262 2 0 0 20 0 1 0 24922170 46174208 10938 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 11273 10938 421 379 0 10807 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 55024 KiB
Current children cumulated memory: 46436 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.10 5/260 230524
/proc/meminfo: memFree=115315900/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=64112 memory=58496 CPUtime=25.4 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 8202 0 0 0 2538 2 0 0 20 0 1 0 24922170 65650688 14624 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 16028 14624 421 379 0 15562 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 74044 KiB
Current children cumulated memory: 61180 KiB

[startup+51.1057 s]
/proc/loadavg: 4.19 4.15 4.11 5/260 230528
/proc/meminfo: memFree=115232268/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=82968 memory=81488 CPUtime=50.92 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 9605 0 0 0 5089 3 0 0 20 0 1 0 24922170 84959232 20372 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 20742 20372 421 379 0 20276 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 92900 KiB
Current children cumulated memory: 84172 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/260 230537
/proc/meminfo: memFree=115163656/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=114936 memory=96804 CPUtime=101.94 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 11533 0 0 0 10187 7 0 0 20 0 1 0 24922170 117694464 24201 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 28734 24201 421 379 0 28268 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 124868 KiB
Current children cumulated memory: 99488 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/260 230549
/proc/meminfo: memFree=115103144/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=164256 memory=139060 CPUtime=161.72 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 14356 0 0 0 16161 11 0 0 20 0 1 0 24922170 168198144 34765 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 41064 34765 421 379 0 40598 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 174188 KiB
Current children cumulated memory: 141744 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/261 230564
/proc/meminfo: memFree=115093408/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=164256 memory=133092 CPUtime=221.5 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 18031 0 0 0 22132 18 0 0 20 0 1 0 24922170 168198144 33273 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 41064 33273 421 379 0 40598 0

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

/proc/loadavg: 3.12 3.38 3.76 4/255 232441
/proc/meminfo: memFree=114889428/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=343816 memory=292992 CPUtime=3091.15 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 117645 0 0 0 308909 206 0 0 20 0 1 0 24922170 352067584 73248 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 85954 73248 421 379 0 85488 0
Current children cumulated CPU time: 3091.15 s
Current children cumulated vsize: 353748 KiB
Current children cumulated memory: 295676 KiB

[startup+3162.3 s]
/proc/loadavg: 3.08 3.32 3.72 4/255 232452
/proc/meminfo: memFree=114842524/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=264028 memory=224368 CPUtime=3150.94 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 119434 0 0 0 314886 208 0 0 20 0 1 0 24922170 270364672 56092 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 66007 56092 421 379 0 65541 0
Current children cumulated CPU time: 3150.94 s
Current children cumulated vsize: 273960 KiB
Current children cumulated memory: 227052 KiB

[startup+3222.3 s]
/proc/loadavg: 3.13 3.29 3.68 5/254 232465
/proc/meminfo: memFree=114871156/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=346760 memory=326368 CPUtime=3210.7 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 120445 0 0 0 320859 211 0 0 20 0 1 0 24922170 355082240 81592 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 86690 81592 421 379 0 86224 0
Current children cumulated CPU time: 3210.7 s
Current children cumulated vsize: 356692 KiB
Current children cumulated memory: 329052 KiB

[startup+3282.3 s]
/proc/loadavg: 3.05 3.24 3.64 5/253 232486
/proc/meminfo: memFree=114806708/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=346760 memory=292176 CPUtime=3270.14 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 122662 0 0 0 326800 214 0 0 20 0 1 0 24922170 355082240 73044 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 86690 73044 421 379 0 86224 0
Current children cumulated CPU time: 3270.14 s
Current children cumulated vsize: 356692 KiB
Current children cumulated memory: 294860 KiB

[startup+3342.3 s]
/proc/loadavg: 3.29 3.25 3.62 5/253 232498
/proc/meminfo: memFree=114992652/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=266068 memory=220980 CPUtime=3329.6 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 124403 0 0 0 332743 217 0 0 20 0 1 0 24922170 272453632 55245 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 66517 55245 421 379 0 66051 0
Current children cumulated CPU time: 3329.6 s
Current children cumulated vsize: 276000 KiB
Current children cumulated memory: 223664 KiB

[startup+3402.3 s]
/proc/loadavg: 3.16 3.22 3.58 5/253 232508
/proc/meminfo: memFree=114795704/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=347644 memory=319484 CPUtime=3389.05 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 125143 0 0 0 338685 220 0 0 20 0 1 0 24922170 355987456 79871 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 86911 79871 421 379 0 86445 0
Current children cumulated CPU time: 3389.05 s
Current children cumulated vsize: 357576 KiB
Current children cumulated memory: 322168 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.19 3.55 5/251 232518
/proc/meminfo: memFree=114967632/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=266544 memory=250176 CPUtime=3448.47 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 126981 0 0 0 344623 224 0 0 20 0 1 0 24922170 272941056 62544 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 66636 62544 421 379 0 66170 0
Current children cumulated CPU time: 3448.47 s
Current children cumulated vsize: 276476 KiB
Current children cumulated memory: 252860 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.17 3.52 5/251 232528
/proc/meminfo: memFree=114771992/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=348308 memory=336608 CPUtime=3507.89 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 127772 0 0 0 350562 227 0 0 20 0 1 0 24922170 356667392 84152 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 87077 84152 421 379 0 86611 0
Current children cumulated CPU time: 3507.89 s
Current children cumulated vsize: 358240 KiB
Current children cumulated memory: 339292 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.15 3.49 5/251 232540
/proc/meminfo: memFree=114838448/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=348492 memory=275448 CPUtime=3567.31 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 130142 0 0 0 356501 230 0 0 20 0 1 0 24922170 356855808 68862 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 87123 68862 421 379 0 86657 0
Current children cumulated CPU time: 3567.31 s
Current children cumulated vsize: 358424 KiB
Current children cumulated memory: 278132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.3 s]
/proc/loadavg: 2.87 3.10 3.46 2/235 232607
/proc/meminfo: memFree=115541896/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=348884 memory=327132 CPUtime=3600.02 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 130357 0 0 0 359771 231 0 0 20 0 1 0 24922170 357257216 81783 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 87221 81783 421 379 0 86755 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 358816 KiB
Current children cumulated memory: 329816 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.71 s, system=2.31998 s

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

[startup+3615.3 s]
/proc/loadavg: 2.87 3.10 3.46 2/235 232607
/proc/meminfo: memFree=115541896/131524600 swapFree=131056796/131071996
[pid=230466] ppid=230463 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/230466/stat : 230466 (naps-1.02b5.sh) S 230463 230466 226284 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 24922170 10170368 671 134679101440 94659852369920 94659853449240 140732408196320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94659855547696 94659855594884 94659883569152 140732408198112 140732408198239 140732408198239 140732408205254 0
/proc/230466/statm: 2483 671 592 264 0 134 0
[pid=230471] ppid=230466 vsize=348884 memory=327132 CPUtime=3600.02 cores=0,2
/proc/230471/stat : 230471 (naps-1.02b5) R 230466 230466 226284 0 -1 4194304 130357 0 0 0 359771 231 0 0 20 0 1 0 24922170 357257216 81783 134679101440 4194304 5746509 140720911129856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 31608832 140720911135727 140720911135841 140720911135841 140720911142857 0
/proc/230471/statm: 87221 81783 421 379 0 86755 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 358816 KiB
Current children cumulated memory: 329816 KiB

Child status: 10

Real time (s): 3615.3
CPU time (s): 3600.03
CPU user time (s): 3597.71
CPU system time (s): 2.31998
CPU usage (%): 99.5776
Max. virtual memory (cumulated for all children) (KiB): 540004
Max. memory (cumulated for all children) (KiB): 389548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.71
system time used= 2.31998
maximum resident set size= 403872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130833
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= 35
involuntary context switches= 26934


# summary of solver processes directly reported to runsolver:
#   pid: 230466
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3597.71
#   total CPU system time (s): 2.31998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33449 second user time and 17.2895 second system time

The end