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: 63968 MiB (52270 MiB free)
  memory of node 1: 64473 MiB (51795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456468-1721721738/watcher-4456468-1721721738 -o /tmp/evaluation-result-4456468-1721721738/solver-4456468-1721721738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721718368-88051 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456468-1721721738.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10084 s]*
/proc/loadavg: 4.13 4.14 4.08 6/260 90220
/proc/meminfo: memFree=106521904/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=10380 memory=5624 CPUtime=0.09 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1211 0 0 0 9 0 0 0 20 0 1 0 8702183 10629120 1406 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2595 1406 421 379 0 2129 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20312 KiB
Current children cumulated memory: 8280 KiB

[startup+0.205881 s]*
/proc/loadavg: 4.13 4.14 4.08 6/260 90220
/proc/meminfo: memFree=106483996/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=10380 memory=5624 CPUtime=0.2 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1211 0 0 0 20 0 0 0 20 0 1 0 8702183 10629120 1406 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2595 1406 421 379 0 2129 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20312 KiB
Current children cumulated memory: 8280 KiB

[startup+0.305778 s]*
/proc/loadavg: 4.13 4.14 4.08 6/260 90220
/proc/meminfo: memFree=106449684/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=10524 memory=5624 CPUtime=0.3 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1219 0 0 0 30 0 0 0 20 0 1 0 8702183 10776576 1406 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2631 1406 421 379 0 2165 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20456 KiB
Current children cumulated memory: 8280 KiB

[startup+0.700836 s]
/proc/loadavg: 4.13 4.14 4.08 7/260 90220
/proc/meminfo: memFree=106378548/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=10676 memory=5624 CPUtime=0.69 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1263 0 0 0 69 0 0 0 20 0 1 0 8702183 10932224 1406 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2669 1406 421 379 0 2203 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20608 KiB
Current children cumulated memory: 8280 KiB

[startup+1.50027 s]
/proc/loadavg: 4.20 4.16 4.09 6/260 90220
/proc/meminfo: memFree=106199812/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=10968 memory=6184 CPUtime=1.48 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1351 0 0 0 148 0 0 0 20 0 1 0 8702183 11231232 1546 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2742 1546 421 379 0 2276 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20900 KiB
Current children cumulated memory: 8840 KiB

[startup+3.10682 s]
/proc/loadavg: 4.20 4.16 4.09 6/260 90222
/proc/meminfo: memFree=105478124/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=11280 memory=6412 CPUtime=3.08 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1436 0 0 0 308 0 0 0 20 0 1 0 8702183 11550720 1603 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2820 1603 421 379 0 2354 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21212 KiB
Current children cumulated memory: 9068 KiB

[startup+6.30025 s]
/proc/loadavg: 4.34 4.19 4.10 5/260 90222
/proc/meminfo: memFree=105418692/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=11772 memory=6792 CPUtime=6.27 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1521 0 0 0 627 0 0 0 20 0 1 0 8702183 12054528 1698 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2943 1698 421 379 0 2477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21704 KiB
Current children cumulated memory: 9448 KiB

[startup+12.7003 s]
/proc/loadavg: 4.56 4.23 4.12 5/260 90223
/proc/meminfo: memFree=105399548/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=11772 memory=6792 CPUtime=12.65 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 1521 0 0 0 1265 0 0 0 20 0 1 0 8702183 12054528 1698 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 2943 1698 421 379 0 2477 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 21704 KiB
Current children cumulated memory: 9448 KiB

[startup+25.5003 s]
/proc/loadavg: 4.70 4.28 4.13 5/261 90232
/proc/meminfo: memFree=106562556/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1057144 memory=931376 CPUtime=25.42 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 106586 0 0 0 2506 36 0 0 20 0 1 0 8702183 1082515456 232844 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 264286 232844 421 379 0 263820 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1067076 KiB
Current children cumulated memory: 934032 KiB

[startup+51.1059 s]
/proc/loadavg: 4.42 4.25 4.12 5/261 90235
/proc/meminfo: memFree=106205580/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1427936 memory=1265488 CPUtime=50.94 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 142181 0 0 0 5045 49 0 0 20 0 1 0 8702183 1462206464 316372 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 356984 316372 421 379 0 356518 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1437868 KiB
Current children cumulated memory: 1268144 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.22 4.12 5/260 90245
/proc/meminfo: memFree=106252784/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1435368 memory=1267504 CPUtime=101.98 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 144161 0 0 0 10146 52 0 0 20 0 1 0 8702183 1469816832 316876 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 358842 316876 421 379 0 358376 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1445300 KiB
Current children cumulated memory: 1270160 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.21 4.12 5/259 90256
/proc/meminfo: memFree=106175856/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1435368 memory=1290032 CPUtime=161.8 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 144385 0 0 0 16127 53 0 0 20 0 1 0 8702183 1469816832 322508 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 358842 322508 421 379 0 358376 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1445300 KiB
Current children cumulated memory: 1292688 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.19 4.12 5/257 90266
/proc/meminfo: memFree=106263460/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1516756 memory=1312836 CPUtime=221.62 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 145180 0 0 0 22108 54 0 0 20 0 1 0 8702183 1553158144 328209 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 379189 328209 421 379 0 378723 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1526688 KiB

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

/proc/90220/statm: 424055 364646 421 379 0 423589 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 1706152 KiB
Current children cumulated memory: 1461240 KiB

[startup+3162.3 s]
/proc/loadavg: 2.08 2.13 2.49 3/241 91585
/proc/meminfo: memFree=107252860/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1696876 memory=1485856 CPUtime=3152.95 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 198952 0 0 0 315158 137 0 0 20 0 1 0 8702183 1737601024 371464 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 424219 371464 421 379 0 423753 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 1706808 KiB
Current children cumulated memory: 1488512 KiB

[startup+3222.3 s]
/proc/loadavg: 2.13 2.13 2.47 3/241 91979
/proc/meminfo: memFree=107327436/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1571000 memory=1390056 CPUtime=3212.8 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 201732 0 0 0 321138 142 0 0 20 0 1 0 8702183 1608704000 347514 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 392750 347514 421 379 0 392284 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 1580932 KiB
Current children cumulated memory: 1392712 KiB

[startup+3282.3 s]
/proc/loadavg: 2.10 2.12 2.44 3/241 91989
/proc/meminfo: memFree=107284868/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1571000 memory=1412584 CPUtime=3272.63 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 202297 0 0 0 327121 142 0 0 20 0 1 0 8702183 1608704000 353146 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 392750 353146 421 379 0 392284 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 1580932 KiB
Current children cumulated memory: 1415240 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.13 2.42 3/241 92000
/proc/meminfo: memFree=107325144/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1571000 memory=1435112 CPUtime=3332.46 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 202871 0 0 0 333103 143 0 0 20 0 1 0 8702183 1608704000 358778 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 392750 358778 421 379 0 392284 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 1580932 KiB
Current children cumulated memory: 1437768 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.12 2.40 3/243 92180
/proc/meminfo: memFree=107267788/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1703260 memory=1463596 CPUtime=3392.27 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 203921 0 0 0 339083 144 0 0 20 0 1 0 8702183 1744138240 365899 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 425815 365899 421 379 0 425349 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 1713192 KiB
Current children cumulated memory: 1466252 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.11 2.38 3/243 92190
/proc/meminfo: memFree=107320732/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1571000 memory=1392104 CPUtime=3452.07 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 205563 0 0 0 345059 148 0 0 20 0 1 0 8702183 1608704000 348026 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 392750 348026 421 379 0 392284 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 1580932 KiB
Current children cumulated memory: 1394760 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.12 2.36 3/243 92204
/proc/meminfo: memFree=107272596/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1571000 memory=1420780 CPUtime=3511.88 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 206106 0 0 0 351039 149 0 0 20 0 1 0 8702183 1608704000 355195 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 392750 355195 421 379 0 392284 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 1580932 KiB
Current children cumulated memory: 1423436 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.11 2.34 3/243 92227
/proc/meminfo: memFree=107301176/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1571000 memory=1449456 CPUtime=3571.68 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 206734 0 0 0 357019 149 0 0 20 0 1 0 8702183 1608704000 362364 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 392750 362364 421 379 0 392284 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 1580932 KiB
Current children cumulated memory: 1452112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 2.13 2.12 2.34 3/243 92231
/proc/meminfo: memFree=107276480/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1703260 memory=1461560 CPUtime=3600 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 207472 0 0 0 359850 150 0 0 20 0 1 0 8702183 1744138240 365390 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 425815 365390 421 379 0 425349 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1713192 KiB
Current children cumulated memory: 1464216 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001661 s, system=0.001263 s

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

# cumulated CPU time of all completed processes:  user=3598.51 s, system=1.51199 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+3610.7 s]
/proc/loadavg: 2.13 2.12 2.34 3/243 92231
/proc/meminfo: memFree=107276480/131524600 swapFree=131071996/131071996
[pid=90215] ppid=90212 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/90215/stat : 90215 (naps-1.02b5.sh) S 90212 90215 88038 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 8702182 10170368 664 134679101440 94501474201600 94501475280920 140735347417984 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94501477379376 94501477426564 94501504303104 140735347422179 140735347422306 140735347422306 140735347429318 0
/proc/90215/statm: 2483 664 586 264 0 134 0
[pid=90220] ppid=90215 vsize=1703260 memory=1461560 CPUtime=3600 cores=5,7
/proc/90220/stat : 90220 (naps-1.02b5) R 90215 90215 88038 0 -1 4194304 207472 0 0 0 359850 150 0 0 20 0 1 0 8702183 1744138240 365390 134679101440 4194304 5746509 140736262210816 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36761600 140736262214642 140736262214756 140736262214756 140736262221769 0
/proc/90220/statm: 425815 365390 421 379 0 425349 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1713192 KiB
Current children cumulated memory: 1464216 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.02
CPU user time (s): 3598.51
CPU system time (s): 1.51199
CPU usage (%): 99.7039
Max. virtual memory (cumulated for all children) (KiB): 1843420
Max. memory (cumulated for all children) (KiB): 1611360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.51199
maximum resident set size= 1608704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207939
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= 249
involuntary context switches= 4348


# summary of solver processes directly reported to runsolver:
#   pid: 90215,90220
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.51
#   total CPU system time (s): 1.51199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19832 second user time and 17.2878 second system time

The end