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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456318-1721719051/watcher-4456318-1721719051 -o /tmp/evaluation-result-4456318-1721719051/solver-4456318-1721719051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721718368-88051 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456318-1721719051.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
Current StackSize limit: 8192 KiB

solver pid=88396, runsolver pid=88393

[startup+0.100092 s]*
/proc/loadavg: 4.08 3.93 3.16 5/255 88401
/proc/meminfo: memFree=89754316/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=14136 memory=9040 CPUtime=0.09 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 1993 0 0 0 9 0 0 0 20 0 1 0 8433459 14475264 2260 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 3534 2260 405 379 0 3068 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24068 KiB
Current children cumulated memory: 11788 KiB

[startup+0.205621 s]*
/proc/loadavg: 4.08 3.93 3.16 5/255 88401
/proc/meminfo: memFree=89747692/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=20824 memory=15876 CPUtime=0.2 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 3787 0 0 0 19 1 0 0 20 0 1 0 8433459 21323776 3969 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 5206 3969 405 379 0 4740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30756 KiB
Current children cumulated memory: 18624 KiB

[startup+0.305522 s]*
/proc/loadavg: 4.08 3.93 3.16 5/255 88401
/proc/meminfo: memFree=89738448/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=27728 memory=22420 CPUtime=0.3 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 5615 0 0 0 29 1 0 0 20 0 1 0 8433459 28393472 5605 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 6932 5605 405 379 0 6466 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37660 KiB
Current children cumulated memory: 25168 KiB

[startup+0.700267 s]
/proc/loadavg: 4.08 3.93 3.16 6/255 88401
/proc/meminfo: memFree=89706004/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=60132 memory=54692 CPUtime=0.68 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 14041 0 0 0 66 2 0 0 20 0 1 0 8433459 61575168 13673 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 15033 13673 421 379 0 14567 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70064 KiB
Current children cumulated memory: 57440 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 3.93 3.16 5/255 88401
/proc/meminfo: memFree=89703864/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=60132 memory=54692 CPUtime=1.48 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 14041 0 0 0 146 2 0 0 20 0 1 0 8433459 61575168 13673 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 15033 13673 421 379 0 14567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70064 KiB
Current children cumulated memory: 57440 KiB

[startup+3.1055 s]
/proc/loadavg: 4.16 3.95 3.17 5/256 88402
/proc/meminfo: memFree=89697576/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=60132 memory=54812 CPUtime=3.08 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 14041 0 0 0 306 2 0 0 20 0 1 0 8433459 61575168 13703 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 15033 13703 421 379 0 14567 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70064 KiB
Current children cumulated memory: 57560 KiB

[startup+6.3003 s]
/proc/loadavg: 4.16 3.95 3.17 5/256 88402
/proc/meminfo: memFree=89691756/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=105120 memory=99784 CPUtime=6.27 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 18942 0 0 0 623 4 0 0 20 0 1 0 8433459 107642880 24946 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 26280 24946 421 379 0 25814 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115052 KiB
Current children cumulated memory: 102532 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 3.95 3.18 5/256 88403
/proc/meminfo: memFree=88782136/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=1056512 memory=985880 CPUtime=12.66 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 117698 0 0 0 1233 33 0 0 20 0 1 0 8433459 1081868288 246470 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 264128 246470 421 379 0 263662 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1066444 KiB
Current children cumulated memory: 988628 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 3.95 3.19 5/256 88405
/proc/meminfo: memFree=86816152/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=3604100 memory=3092792 CPUtime=25.41 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 267979 0 0 0 2454 87 0 0 20 0 1 0 8433459 3690598400 773198 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 901025 773198 421 379 0 900559 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3614032 KiB
Current children cumulated memory: 3095540 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 3.97 3.22 5/256 88409
/proc/meminfo: memFree=86331752/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=3940456 memory=3402568 CPUtime=50.93 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 338567 0 0 0 4978 115 0 0 20 0 1 0 8433459 4035026944 850642 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 985114 850642 421 379 0 984648 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3950388 KiB
Current children cumulated memory: 3405316 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.00 3.27 5/256 88418
/proc/meminfo: memFree=86062716/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=4131324 memory=3733572 CPUtime=101.98 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 379421 0 0 0 10066 132 0 0 20 0 1 0 8433459 4230475776 933393 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1032831 933393 421 379 0 1032365 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 4141256 KiB
Current children cumulated memory: 3736320 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.01 3.32 5/258 88433
/proc/meminfo: memFree=86030176/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=4131324 memory=3737668 CPUtime=161.8 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 380120 0 0 0 16047 133 0 0 20 0 1 0 8433459 4230475776 934417 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1032831 934417 421 379 0 1032365 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 4141256 KiB
Current children cumulated memory: 3740416 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.04 3.38 5/258 88443
/proc/meminfo: memFree=85494176/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=4743060 memory=4311660 CPUtime=221.63 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 411168 0 0 0 22011 152 0 0 20 0 1 0 8433459 4856893440 1077915 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1185765 1077915 421 379 0 1185299 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 4752992 KiB

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

/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5235572 memory=4657340 CPUtime=1717.33 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 478522 0 0 0 171546 187 0 0 20 0 1 0 8433459 5361225728 1164335 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1308893 1164335 421 379 0 1308427 0
Current children cumulated CPU time: 1717.33 s
Current children cumulated vsize: 5245504 KiB
Current children cumulated memory: 4660088 KiB

[startup+1782.3 s]
/proc/loadavg: 4.15 4.12 4.01 5/257 89385
/proc/meminfo: memFree=104291268/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5235572 memory=4657340 CPUtime=1777.17 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 480039 0 0 0 177529 188 0 0 20 0 1 0 8433459 5361225728 1164335 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1308893 1164335 421 379 0 1308427 0
Current children cumulated CPU time: 1777.17 s
Current children cumulated vsize: 5245504 KiB
Current children cumulated memory: 4660088 KiB

[startup+1842.3 s]
/proc/loadavg: 4.10 4.11 4.01 5/256 89396
/proc/meminfo: memFree=104297780/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5235572 memory=4659388 CPUtime=1837.02 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 481763 0 0 0 183513 189 0 0 20 0 1 0 8433459 5361225728 1164847 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1308893 1164847 421 379 0 1308427 0
Current children cumulated CPU time: 1837.02 s
Current children cumulated vsize: 5245504 KiB
Current children cumulated memory: 4662136 KiB

[startup+1902.3 s]
/proc/loadavg: 4.18 4.14 4.03 5/256 89406
/proc/meminfo: memFree=104253748/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5235572 memory=4659388 CPUtime=1896.84 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 483259 0 0 0 189495 189 0 0 20 0 1 0 8433459 5361225728 1164847 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1308893 1164847 421 379 0 1308427 0
Current children cumulated CPU time: 1896.84 s
Current children cumulated vsize: 5245504 KiB
Current children cumulated memory: 4662136 KiB

[startup+1962.3 s]
/proc/loadavg: 4.17 4.14 4.03 5/258 89421
/proc/meminfo: memFree=103850380/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5728064 memory=5065160 CPUtime=1956.68 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 528097 0 0 0 195459 209 0 0 20 0 1 0 8433459 5865537536 1266290 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1432016 1266290 421 379 0 1431550 0
Current children cumulated CPU time: 1956.68 s
Current children cumulated vsize: 5737996 KiB
Current children cumulated memory: 5067908 KiB

[startup+2022.3 s]
/proc/loadavg: 4.11 4.13 4.03 5/259 89433
/proc/meminfo: memFree=103910840/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5728064 memory=5065168 CPUtime=2016.52 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 529113 0 0 0 201442 210 0 0 20 0 1 0 8433459 5865537536 1266292 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1432016 1266292 421 379 0 1431550 0
Current children cumulated CPU time: 2016.52 s
Current children cumulated vsize: 5737996 KiB
Current children cumulated memory: 5067916 KiB

[startup+2082.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/259 89444
/proc/meminfo: memFree=103500928/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5989044 memory=5466452 CPUtime=2076.36 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 570106 0 0 0 207407 229 0 0 20 0 1 0 8433459 6132781056 1366613 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1497261 1366613 421 379 0 1496795 0
Current children cumulated CPU time: 2076.36 s
Current children cumulated vsize: 5998976 KiB
Current children cumulated memory: 5469200 KiB

[startup+2087.24 s]
# the end of solver process 88396 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2078.95 s, system=2.35113 s

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

[startup+2083.2 s]
/proc/loadavg: 4.09 4.12 4.03 5/259 89444
/proc/meminfo: memFree=103496776/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5989044 memory=5466452 CPUtime=2077.26 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 570123 0 0 0 207497 229 0 0 20 0 1 0 8433459 6132781056 1366613 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1497261 1366613 421 379 0 1496795 0
Current children cumulated CPU time: 2077.26 s
Current children cumulated vsize: 5998976 KiB
Current children cumulated memory: 5469200 KiB

[startup+2084.8 s]
/proc/loadavg: 4.09 4.12 4.03 5/259 89444
/proc/meminfo: memFree=103494708/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5989044 memory=5466452 CPUtime=2078.85 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 570130 0 0 0 207656 229 0 0 20 0 1 0 8433459 6132781056 1366613 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1497261 1366613 421 379 0 1496795 0
Current children cumulated CPU time: 2078.85 s
Current children cumulated vsize: 5998976 KiB
Current children cumulated memory: 5469200 KiB

[startup+2086.4 s]
/proc/loadavg: 4.09 4.12 4.03 5/259 89444
/proc/meminfo: memFree=103488500/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5989044 memory=5466452 CPUtime=2080.45 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 570130 0 0 0 207816 229 0 0 20 0 1 0 8433459 6132781056 1366613 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1497261 1366613 421 379 0 1496795 0
Current children cumulated CPU time: 2080.45 s
Current children cumulated vsize: 5998976 KiB
Current children cumulated memory: 5469200 KiB

[startup+2086.8 s]
/proc/loadavg: 4.09 4.12 4.03 5/259 89444
/proc/meminfo: memFree=103488500/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
[pid=88401] ppid=88396 vsize=5989044 memory=5466452 CPUtime=2080.85 cores=5,7
/proc/88401/stat : 88401 (naps-1.02b5) R 88396 88396 88038 0 -1 4194304 570221 0 0 0 207856 229 0 0 20 0 1 0 8433459 6132781056 1366613 134679101440 4194304 5746509 140734469970528 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16809984 140734469977074 140734469977188 140734469977188 140734469984201 0
/proc/88401/statm: 1497261 1366613 421 379 0 1496795 0
Current children cumulated CPU time: 2080.85 s
Current children cumulated vsize: 5998976 KiB
Current children cumulated memory: 5469200 KiB

[startup+2087.2 s]
/proc/loadavg: 4.09 4.12 4.03 5/259 89444
/proc/meminfo: memFree=103486460/131524600 swapFree=131071996/131071996
[pid=88396] ppid=88393 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/88396/stat : 88396 (naps-1.02b5.sh) S 88393 88396 88038 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 8433459 10170368 687 134679101440 94648730337280 94648731416600 140725403822160 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94648733515056 94648733562244 94648739938304 140725403825123 140725403825250 140725403825250 140725403832262 0
/proc/88396/statm: 2483 687 609 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2748 KiB

Child status: 30

Real time (s): 2087.24
CPU time (s): 2081.3
CPU user time (s): 2078.95
CPU system time (s): 2.35113
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 6526976
Max. memory (cumulated for all children) (KiB): 5803408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2078.95
system time used= 2.35113
maximum resident set size= 5800660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570699
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= 236
involuntary context switches= 2065


# summary of solver processes directly reported to runsolver:
#   pid: 88396
#   total CPU time (s): 2081.3
#   total CPU user time (s): 2078.95
#   total CPU system time (s): 2.35113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.22536 second user time and 10.2365 second system time

The end