runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (24608 MiB free)
  memory of node 1: 64510 MiB (17021 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459238-1721898508/watcher-4459238-1721898508 -o /tmp/evaluation-result-4459238-1721898508/solver-4459238-1721898508 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721890982-270650 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4459238-1721898508.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

solver pid=275087, runsolver pid=275084
Current StackSize limit: 8192 KiB


[startup+0.100553 s]*
/proc/loadavg: 4.10 4.11 4.09 5/246 275092
/proc/meminfo: memFree=42626068/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=9084 memory=2936 CPUtime=0.08 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 370 0 0 0 8 0 0 0 20 0 1 0 25840368 9302016 734 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 2271 734 436 659 0 1475 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 19016 KiB
Current children cumulated memory: 5628 KiB

[startup+0.214555 s]*
/proc/loadavg: 4.10 4.11 4.09 5/246 275092
/proc/meminfo: memFree=42616696/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=11232 memory=8928 CPUtime=0.18 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 2158 0 0 0 18 0 0 0 20 0 1 0 25840368 11501568 2232 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 2808 2232 468 659 0 2012 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 21164 KiB
Current children cumulated memory: 11620 KiB

[startup+0.316555 s]*
/proc/loadavg: 4.10 4.11 4.09 5/246 275092
/proc/meminfo: memFree=42614368/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=11992 memory=9716 CPUtime=0.27 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 2377 0 0 0 26 1 0 0 20 0 1 0 25840368 12279808 2429 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 2998 2429 468 659 0 2202 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 21924 KiB
Current children cumulated memory: 12408 KiB

[startup+0.700553 s]
/proc/loadavg: 4.10 4.11 4.09 5/246 275092
/proc/meminfo: memFree=42607076/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=15696 memory=13080 CPUtime=0.62 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 2689 0 0 0 61 1 0 0 20 0 1 0 25840368 16072704 3270 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 3924 3270 468 659 0 3128 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 25628 KiB
Current children cumulated memory: 15772 KiB

[startup+1.50055 s]
/proc/loadavg: 4.10 4.11 4.09 5/246 275092
/proc/meminfo: memFree=42592664/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=18496 memory=16416 CPUtime=1.41 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 3976 0 0 0 140 1 0 0 20 0 1 0 25840368 18939904 4104 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 4624 4104 468 659 0 3828 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 28428 KiB
Current children cumulated memory: 19108 KiB

[startup+3.11319 s]
/proc/loadavg: 4.10 4.11 4.09 5/246 275092
/proc/meminfo: memFree=42538012/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=25592 memory=19240 CPUtime=3.01 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 4186 0 0 0 300 1 0 0 20 0 1 0 25840368 26206208 4810 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 6398 4810 468 659 0 5602 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 21932 KiB

[startup+6.3004 s]
/proc/loadavg: 4.09 4.11 4.09 5/246 275094
/proc/meminfo: memFree=42464548/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=27308 memory=24916 CPUtime=6.19 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 4604 0 0 0 617 2 0 0 20 0 1 0 25840368 27963392 6229 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 6827 6229 468 659 0 6031 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 37240 KiB
Current children cumulated memory: 27608 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.11 4.09 5/246 275094
/proc/meminfo: memFree=42341996/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=39812 memory=35588 CPUtime=12.57 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 5846 0 0 0 1254 3 0 0 20 0 1 0 25840368 40767488 8897 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 9953 8897 468 659 0 9157 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 49744 KiB
Current children cumulated memory: 38280 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.09 5/246 275095
/proc/meminfo: memFree=42085660/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=70272 memory=45768 CPUtime=25.33 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 6533 0 0 0 2530 3 0 0 20 0 1 0 25840368 71958528 11442 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 17568 11442 468 659 0 16772 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 80204 KiB
Current children cumulated memory: 48460 KiB

[startup+51.1137 s]
/proc/loadavg: 4.43 4.19 4.12 5/246 275100
/proc/meminfo: memFree=41788648/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=70272 memory=68168 CPUtime=50.86 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 7916 0 0 0 5080 6 0 0 20 0 1 0 25840368 71958528 17042 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 17568 17042 468 659 0 16772 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 80204 KiB
Current children cumulated memory: 70860 KiB

[startup+102.3 s]
/proc/loadavg: 4.87 4.35 4.18 4/249 275115
/proc/meminfo: memFree=38753148/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=119592 memory=99940 CPUtime=101.88 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 11811 0 0 0 10174 14 0 0 20 0 1 0 25840368 122462208 24985 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 29898 24985 468 659 0 29102 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 129524 KiB
Current children cumulated memory: 102632 KiB

[startup+162.3 s]
/proc/loadavg: 4.41 4.31 4.18 5/249 275180
/proc/meminfo: memFree=65777376/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=70272 memory=68168 CPUtime=161.69 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 16027 0 0 0 16147 22 0 0 20 0 1 0 25840368 71958528 17042 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 17568 17042 468 659 0 16772 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 80204 KiB
Current children cumulated memory: 70860 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.27 4.17 5/249 275191
/proc/meminfo: memFree=63560424/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=119592 memory=112228 CPUtime=221.49 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 19909 0 0 0 22120 29 0 0 20 0 1 0 25840368 122462208 28057 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 29898 28057 468 659 0 29102 0
Current children cumulated CPU time: 221.49 s

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

/proc/loadavg: 4.20 4.18 4.16 5/249 276964
/proc/meminfo: memFree=65919452/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=211748 memory=182300 CPUtime=3032 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 99220 0 0 0 302990 210 0 0 20 0 1 0 25840368 216829952 45575 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 52937 45575 468 659 0 52141 0
Current children cumulated CPU time: 3032 s
Current children cumulated vsize: 221680 KiB
Current children cumulated memory: 184992 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/249 276974
/proc/meminfo: memFree=65853228/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=343224 memory=292208 CPUtime=3091.79 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 100183 0 0 0 308966 213 0 0 20 0 1 0 25840368 351461376 73052 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 85806 73052 468 659 0 85010 0
Current children cumulated CPU time: 3091.79 s
Current children cumulated vsize: 353156 KiB
Current children cumulated memory: 294900 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/248 276997
/proc/meminfo: memFree=65959204/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=180928 memory=161644 CPUtime=3151.6 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 100983 0 0 0 314944 216 0 0 20 0 1 0 25840368 185270272 40411 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 45232 40411 468 659 0 44436 0
Current children cumulated CPU time: 3151.6 s
Current children cumulated vsize: 190860 KiB
Current children cumulated memory: 164336 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/248 277009
/proc/meminfo: memFree=65855772/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=343224 memory=267412 CPUtime=3211.39 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 102471 0 0 0 320920 219 0 0 20 0 1 0 25840368 351461376 66853 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 85806 66853 468 659 0 85010 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 353156 KiB
Current children cumulated memory: 270104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/248 277019
/proc/meminfo: memFree=65899104/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=261836 memory=212332 CPUtime=3271.19 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 103783 0 0 0 326896 223 0 0 20 0 1 0 25840368 268120064 53083 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 65459 53083 468 659 0 64663 0
Current children cumulated CPU time: 3271.19 s
Current children cumulated vsize: 271768 KiB
Current children cumulated memory: 215024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.15 5/247 277030
/proc/meminfo: memFree=65795120/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=343224 memory=316784 CPUtime=3330.98 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 104403 0 0 0 332874 224 0 0 20 0 1 0 25840368 351461376 79196 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 85806 79196 468 659 0 85010 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 353156 KiB
Current children cumulated memory: 319476 KiB

[startup+3402.3 s]
/proc/loadavg: 3.49 3.95 4.08 4/239 277070
/proc/meminfo: memFree=84991280/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=261836 memory=220524 CPUtime=3390.77 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 106101 0 0 0 338849 228 0 0 20 0 1 0 25840368 268120064 55131 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 65459 55131 468 659 0 64663 0
Current children cumulated CPU time: 3390.77 s
Current children cumulated vsize: 271768 KiB
Current children cumulated memory: 223216 KiB

[startup+3462.3 s]
/proc/loadavg: 3.37 3.83 4.02 4/238 277080
/proc/meminfo: memFree=84932880/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=343224 memory=308740 CPUtime=3450.56 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 106720 0 0 0 344825 231 0 0 20 0 1 0 25840368 351461376 77185 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 85806 77185 468 659 0 85010 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 353156 KiB
Current children cumulated memory: 311432 KiB

[startup+3522.3 s]
/proc/loadavg: 2.80 3.59 3.93 3/230 277122
/proc/meminfo: memFree=85279708/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=211748 memory=196784 CPUtime=3510.39 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 108193 0 0 0 350805 234 0 0 20 0 1 0 25840368 216829952 49196 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 52937 49196 468 659 0 52141 0
Current children cumulated CPU time: 3510.39 s
Current children cumulated vsize: 221680 KiB
Current children cumulated memory: 199476 KiB

[startup+3582.3 s]
/proc/loadavg: 2.37 3.33 3.81 3/230 277132
/proc/meminfo: memFree=85083276/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=343224 memory=314884 CPUtime=3570.2 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 109132 0 0 0 356783 237 0 0 20 0 1 0 25840368 351461376 78721 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 85806 78721 468 659 0 85010 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 353156 KiB
Current children cumulated memory: 317576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 2.28 3.22 3.76 3/230 277140
/proc/meminfo: memFree=85173416/131655788 swapFree=131058856/131071996
[pid=275087] ppid=275084 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/275087/stat : 275087 (naps-1.03.sh) S 275084 275087 270639 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 25840367 10170368 673 134679101440 94130539065344 94130540144664 140732567176160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94130542243120 94130542290308 94130547101696 140732567180256 140732567180385 140732567180385 140732567187400 0
/proc/275087/statm: 2483 673 595 264 0 134 0
[pid=275092] ppid=275087 vsize=211748 memory=192688 CPUtime=3600 cores=4,6
/proc/275092/stat : 275092 (naps-1.03) R 275087 275087 270639 0 -1 4194304 110516 0 0 0 359761 239 0 0 20 0 1 0 25840368 216829952 48172 134679101440 4194304 6891213 140723285783440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13508608 140723285791729 140723285791845 140723285791845 140723285798859 0
/proc/275092/statm: 52937 48172 468 659 0 52141 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 221680 KiB
Current children cumulated memory: 195380 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.62 s, system=2.40493 s

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

Child status: 10

Real time (s): 3612.2
CPU time (s): 3600.02
CPU user time (s): 3597.62
CPU system time (s): 2.40493
CPU usage (%): 99.6627
Max. virtual memory (cumulated for all children) (KiB): 485416
Max. memory (cumulated for all children) (KiB): 358348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.62
system time used= 2.40493
maximum resident set size= 355656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110995
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= 25
involuntary context switches= 4670


# summary of solver processes directly reported to runsolver:
#   pid: 275087
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3597.62
#   total CPU system time (s): 2.40493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.4396 second user time and 30.773 second system time

The end