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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443949-1721310128/watcher-4443949-1721310128 -o /tmp/evaluation-result-4443949-1721310128/solver-4443949-1721310128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721306161-953164 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4443949-1721310128.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=956920, runsolver pid=956917

[startup+0.100083 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 956925
/proc/meminfo: memFree=127149008/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=6040 memory=3644 CPUtime=0.1 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 512 0 0 0 10 0 0 0 20 0 1 0 183179479 6184960 911 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 1510 911 500 659 0 714 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15972 KiB
Current children cumulated memory: 6344 KiB

[startup+0.205646 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 956925
/proc/meminfo: memFree=127147840/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=8088 memory=4720 CPUtime=0.2 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 800 0 0 0 20 0 0 0 20 0 1 0 183179479 8282112 1180 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 2022 1180 500 659 0 1226 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18020 KiB
Current children cumulated memory: 7420 KiB

[startup+0.304963 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 956925
/proc/meminfo: memFree=127145012/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=10848 memory=7340 CPUtime=0.3 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 1467 0 0 0 30 0 0 0 20 0 1 0 183179479 11108352 1835 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 2712 1835 532 659 0 1916 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20780 KiB
Current children cumulated memory: 10040 KiB

[startup+0.700172 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 956927
/proc/meminfo: memFree=127144368/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=11252 memory=8052 CPUtime=0.68 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 1818 0 0 0 68 0 0 0 20 0 1 0 183179479 11522048 2013 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 2813 2013 532 659 0 2017 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21184 KiB
Current children cumulated memory: 10752 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 956927
/proc/meminfo: memFree=127144116/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=13472 memory=8788 CPUtime=1.48 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 2949 0 0 0 148 0 0 0 20 0 1 0 183179479 13795328 2197 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 3368 2197 532 659 0 2572 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23404 KiB
Current children cumulated memory: 11488 KiB

[startup+3.10569 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 956963
/proc/meminfo: memFree=127145252/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=11416 memory=8572 CPUtime=3.09 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 4794 0 0 0 308 1 0 0 20 0 1 0 183179479 11689984 2143 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 2854 2143 532 659 0 2058 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 21348 KiB
Current children cumulated memory: 11272 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127176980/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=13464 memory=10340 CPUtime=6.27 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 10150 0 0 0 625 2 0 0 20 0 1 0 183179479 13787136 2585 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 3366 2585 532 659 0 2570 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23396 KiB
Current children cumulated memory: 13040 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 957001
/proc/meminfo: memFree=127171356/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=17560 memory=12956 CPUtime=12.65 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 18460 0 0 0 1261 4 0 0 20 0 1 0 183179479 17981440 3239 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4390 3239 532 659 0 3594 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 15656 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.10 5/261 957052
/proc/meminfo: memFree=127105464/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=13464 memory=10308 CPUtime=25.42 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 52206 0 0 0 2529 13 0 0 20 0 1 0 183179479 13787136 2577 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 3366 2577 532 659 0 2570 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 23396 KiB
Current children cumulated memory: 13008 KiB

[startup+51.1057 s]
/proc/loadavg: 4.05 4.09 4.09 5/254 957294
/proc/meminfo: memFree=127210812/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=17900 memory=13308 CPUtime=50.95 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 100675 0 0 0 5071 24 0 0 20 0 1 0 183179479 18329600 3327 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4475 3327 532 659 0 3679 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 16008 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 958715
/proc/meminfo: memFree=127089060/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=18032 memory=13680 CPUtime=101.99 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 204192 0 0 0 10151 48 0 0 20 0 1 0 183179479 18464768 3420 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4508 3420 532 659 0 3712 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 16380 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 958875
/proc/meminfo: memFree=127085000/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=18032 memory=15000 CPUtime=161.81 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 295225 0 0 0 16110 71 0 0 20 0 1 0 183179479 18464768 3750 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4508 3750 532 659 0 3712 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 17700 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 958885
/proc/meminfo: memFree=127034516/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=11888 memory=9812 CPUtime=221.63 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 365274 0 0 0 22071 92 0 0 20 0 1 0 183179479 12173312 2453 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 2972 2453 532 659 0 2176 0
Current children cumulated CPU time: 221.63 s

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

/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 428641 0 0 0 28032 114 0 0 20 0 1 0 183179479 26853376 4538 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 6556 4538 532 659 0 5760 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 36156 KiB
Current children cumulated memory: 20852 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 958906
/proc/meminfo: memFree=127049540/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=30452 memory=12808 CPUtime=341.28 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 509699 0 0 0 33988 140 0 0 20 0 1 0 183179479 31182848 3202 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 7613 3202 532 659 0 6817 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 40384 KiB
Current children cumulated memory: 15508 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/258 958916
/proc/meminfo: memFree=127038520/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=16116 memory=10428 CPUtime=401.1 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 590263 0 0 0 39944 166 0 0 20 0 1 0 183179479 16502784 2607 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4029 2607 532 659 0 3233 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 26048 KiB
Current children cumulated memory: 13128 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 958930
/proc/meminfo: memFree=127019480/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=14636 memory=11500 CPUtime=460.93 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 666158 0 0 0 45900 193 0 0 20 0 1 0 183179479 14987264 2875 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 3659 2875 532 659 0 2863 0
Current children cumulated CPU time: 460.93 s
Current children cumulated vsize: 24568 KiB
Current children cumulated memory: 14200 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 958941
/proc/meminfo: memFree=127020484/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=26924 memory=18508 CPUtime=520.78 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 727471 0 0 0 51862 216 0 0 20 0 1 0 183179479 27570176 4627 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 6731 4627 532 659 0 5935 0
Current children cumulated CPU time: 520.78 s
Current children cumulated vsize: 36856 KiB
Current children cumulated memory: 21208 KiB

[startup+582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 958951
/proc/meminfo: memFree=127013008/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=18732 memory=13852 CPUtime=580.64 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 806277 0 0 0 57820 244 0 0 20 0 1 0 183179479 19181568 3463 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4683 3463 532 659 0 3887 0
Current children cumulated CPU time: 580.64 s
Current children cumulated vsize: 28664 KiB
Current children cumulated memory: 16552 KiB

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

# cumulated CPU time of all completed processes:  user=589.708 s, system=2.4739 s

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

[startup+582.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 958951
/proc/meminfo: memFree=127013008/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=18732 memory=14112 CPUtime=580.74 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 806300 0 0 0 57830 244 0 0 20 0 1 0 183179479 19181568 3528 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4683 3528 532 659 0 3887 0
Current children cumulated CPU time: 580.74 s
Current children cumulated vsize: 28664 KiB
Current children cumulated memory: 16812 KiB

[startup+588.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 958951
/proc/meminfo: memFree=127013792/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=18732 memory=14376 CPUtime=587.13 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 814631 0 0 0 58467 246 0 0 20 0 1 0 183179479 19181568 3594 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4683 3594 532 659 0 3887 0
Current children cumulated CPU time: 587.13 s
Current children cumulated vsize: 28664 KiB
Current children cumulated memory: 17076 KiB

[startup+592 s]*
/proc/loadavg: 4.11 4.11 4.09 5/260 958953
/proc/meminfo: memFree=127020884/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=14636 memory=11280 CPUtime=590.32 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 817097 0 0 0 58786 246 0 0 20 0 1 0 183179479 14987264 2820 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 3659 2820 532 659 0 2863 0
Current children cumulated CPU time: 590.32 s
Current children cumulated vsize: 24568 KiB
Current children cumulated memory: 13980 KiB

[startup+592.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 958953
/proc/meminfo: memFree=127020884/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=31020 memory=19592 CPUtime=591.12 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 818179 0 0 0 58865 247 0 0 20 0 1 0 183179479 31764480 4898 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 7755 4898 532 659 0 6959 0
Current children cumulated CPU time: 591.12 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 22292 KiB

[startup+593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 958953
/proc/meminfo: memFree=127009756/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=18732 memory=15700 CPUtime=591.92 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 819251 0 0 0 58945 247 0 0 20 0 1 0 183179479 19181568 3925 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 4683 3925 532 659 0 3887 0
Current children cumulated CPU time: 591.92 s
Current children cumulated vsize: 28664 KiB
Current children cumulated memory: 18400 KiB

[startup+593.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 958953
/proc/meminfo: memFree=127009756/131524600 swapFree=131071996/131071996
[pid=956920] ppid=956917 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/956920/stat : 956920 (naps-1.03.sh) S 956917 956920 953153 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183179478 10170368 675 134679101440 93970385350656 93970386429976 140730639181152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93970388528432 93970388575620 93970403090432 140730639188963 140730639189088 140730639189088 140730639196104 0
/proc/956920/statm: 2483 675 598 264 0 134 0
[pid=956925] ppid=956920 vsize=26924 memory=18800 CPUtime=592.11 cores=4,6
/proc/956925/stat : 956925 (naps-1.03) R 956920 956920 953153 0 -1 4194304 819483 0 0 0 58964 247 0 0 20 0 1 0 183179479 27570176 4700 134679101440 4194304 6891213 140725361799280 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13869056 140725361804276 140725361804388 140725361804388 140725361811403 0
/proc/956925/statm: 6731 4700 532 659 0 5935 0
Current children cumulated CPU time: 592.11 s
Current children cumulated vsize: 36856 KiB
Current children cumulated memory: 21500 KiB

Child status: 10

Real time (s): 593.857
CPU time (s): 592.182
CPU user time (s): 589.708
CPU system time (s): 2.4739
CPU usage (%): 99.7179
Max. virtual memory (cumulated for all children) (KiB): 40952
Max. memory (cumulated for all children) (KiB): 26904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 589.708
system time used= 2.4739
maximum resident set size= 24204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 819982
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= 17
involuntary context switches= 795


# summary of solver processes directly reported to runsolver:
#   pid: 956920
#   total CPU time (s): 592.182
#   total CPU user time (s): 589.708
#   total CPU system time (s): 2.4739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23905 second user time and 2.87221 second system time

The end