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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461656-1722076077/watcher-4461656-1722076077 -o /tmp/evaluation-result-4461656-1722076077/solver-4461656-1722076077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722076077-372790 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461656-1722076077.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=372848, runsolver pid=372836
Current StackSize limit: 8192 KiB


[startup+0.100169 s]*
/proc/loadavg: 1.15 1.25 1.72 7/250 372869
/proc/meminfo: memFree=111927452/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=12672 memory=11136 CPUtime=0.09 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 2570 0 0 0 9 0 0 0 20 0 1 0 43597034 12976128 2784 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 3168 2784 612 659 0 2372 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22604 KiB
Current children cumulated memory: 13844 KiB

[startup+0.21614 s]*
/proc/loadavg: 1.15 1.25 1.72 7/250 372869
/proc/meminfo: memFree=111876196/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=18336 memory=16612 CPUtime=0.21 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 4127 0 0 0 20 1 0 0 20 0 1 0 43597034 18776064 4153 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 4584 4153 644 659 0 3788 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28268 KiB
Current children cumulated memory: 19320 KiB

[startup+0.316003 s]*
/proc/loadavg: 1.15 1.25 1.72 7/250 372869
/proc/meminfo: memFree=111838188/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=19712 memory=17932 CPUtime=0.3 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 4471 0 0 0 29 1 0 0 20 0 1 0 43597034 20185088 4483 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 4928 4483 644 659 0 4132 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29644 KiB
Current children cumulated memory: 20640 KiB

[startup+0.700356 s]
/proc/loadavg: 1.15 1.25 1.72 6/250 372869
/proc/meminfo: memFree=111825820/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=23640 memory=21064 CPUtime=0.68 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 7049 0 0 0 65 3 0 0 20 0 1 0 43597034 24207360 5266 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 5910 5266 660 659 0 5114 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 23772 KiB

[startup+1.50039 s]
/proc/loadavg: 1.15 1.25 1.72 7/250 372869
/proc/meminfo: memFree=111745832/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=20936 memory=19092 CPUtime=1.47 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 8067 0 0 0 144 3 0 0 20 0 1 0 43597034 21438464 4773 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 5234 4773 660 659 0 4438 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 30868 KiB
Current children cumulated memory: 21800 KiB

[startup+3.1142 s]
/proc/loadavg: 1.38 1.30 1.73 7/250 372869
/proc/meminfo: memFree=111652116/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=22996 memory=21200 CPUtime=3.08 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 8591 0 0 0 305 3 0 0 20 0 1 0 43597034 23547904 5300 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 5749 5300 660 659 0 4953 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32928 KiB
Current children cumulated memory: 23908 KiB

[startup+6.30034 s]
/proc/loadavg: 1.38 1.30 1.73 7/250 372871
/proc/meminfo: memFree=111651476/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=24640 memory=22948 CPUtime=6.26 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 9530 0 0 0 623 3 0 0 20 0 1 0 43597034 25231360 5737 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 6160 5737 660 659 0 5364 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 34572 KiB
Current children cumulated memory: 25656 KiB

[startup+12.7004 s]
/proc/loadavg: 1.78 1.39 1.76 7/250 372871
/proc/meminfo: memFree=111670700/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=26604 memory=24740 CPUtime=12.65 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 13037 0 0 0 1261 4 0 0 20 0 1 0 43597034 27242496 6185 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 6651 6185 660 659 0 5855 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 36536 KiB
Current children cumulated memory: 27448 KiB

[startup+25.5004 s]
/proc/loadavg: 2.13 1.47 1.78 7/250 372872
/proc/meminfo: memFree=111611704/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=31324 memory=29532 CPUtime=25.42 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 19007 0 0 0 2537 5 0 0 20 0 1 0 43597034 32075776 7383 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 7831 7383 660 659 0 7035 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41256 KiB
Current children cumulated memory: 32240 KiB

[startup+51.1147 s]
/proc/loadavg: 2.84 1.69 1.85 7/252 373049
/proc/meminfo: memFree=111546400/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=36680 memory=34788 CPUtime=50.97 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 23122 0 0 0 5091 6 0 0 20 0 1 0 43597034 37560320 8697 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 9170 8697 660 659 0 8374 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 37496 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 2.12 1.98 7/252 373057
/proc/meminfo: memFree=111530272/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=53272 memory=51964 CPUtime=102.02 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 28558 0 0 0 10195 7 0 0 20 0 1 0 43597034 54550528 12991 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 13318 12991 660 659 0 12522 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 63204 KiB
Current children cumulated memory: 54672 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.49 2.12 7/254 373125
/proc/meminfo: memFree=111407380/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=59052 memory=57796 CPUtime=161.87 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 33125 0 0 0 16178 9 0 0 20 0 1 0 43597034 60469248 14449 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 14763 14449 660 659 0 13967 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 60504 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.79 2.25 7/253 373137
/proc/meminfo: memFree=111398544/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=61060 memory=59696 CPUtime=221.7 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 33665 0 0 0 22161 9 0 0 20 0 1 0 43597034 62525440 14924 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 15265 14924 660 659 0 14469 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 70992 KiB

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

/proc/loadavg: 4.09 4.12 4.05 7/245 374209
/proc/meminfo: memFree=110985804/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=161892 memory=160672 CPUtime=3033.91 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 105492 0 0 0 303324 67 0 0 20 0 1 0 43597034 165777408 40168 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 40473 40168 660 659 0 39677 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 171824 KiB
Current children cumulated memory: 163380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.06 7/245 374219
/proc/meminfo: memFree=110989904/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=163896 memory=162676 CPUtime=3093.72 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 106522 0 0 0 309304 68 0 0 20 0 1 0 43597034 167829504 40669 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 40974 40669 660 659 0 40178 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 173828 KiB
Current children cumulated memory: 165384 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.06 7/248 374234
/proc/meminfo: memFree=110966284/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=187256 memory=186036 CPUtime=3153.55 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 106855 0 0 0 315286 69 0 0 20 0 1 0 43597034 191750144 46509 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 46814 46509 660 659 0 46018 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 197188 KiB
Current children cumulated memory: 188744 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.06 7/248 374245
/proc/meminfo: memFree=110979212/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=135672 memory=134580 CPUtime=3213.36 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 108064 0 0 0 321266 70 0 0 20 0 1 0 43597034 138928128 33645 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 33918 33645 660 659 0 33122 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 145604 KiB
Current children cumulated memory: 137288 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.06 7/248 374256
/proc/meminfo: memFree=110961004/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=155696 memory=151024 CPUtime=3273.19 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 113331 0 0 0 327244 75 0 0 20 0 1 0 43597034 159432704 37756 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 38924 37756 660 659 0 38128 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 165628 KiB
Current children cumulated memory: 153732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.06 7/248 374266
/proc/meminfo: memFree=110983600/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=156088 memory=152052 CPUtime=3333.01 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 114963 0 0 0 333223 78 0 0 20 0 1 0 43597034 159834112 38013 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 39022 38013 660 659 0 38226 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 166020 KiB
Current children cumulated memory: 154760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.06 7/248 374276
/proc/meminfo: memFree=110938240/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=146952 memory=142264 CPUtime=3392.87 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 118617 0 0 0 339205 82 0 0 20 0 1 0 43597034 150478848 35566 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 36738 35566 660 659 0 35942 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 156884 KiB
Current children cumulated memory: 144972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.06 7/248 374669
/proc/meminfo: memFree=111058500/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=138912 memory=137820 CPUtime=3452.72 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 121069 0 0 0 345188 84 0 0 20 0 1 0 43597034 142245888 34455 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 34728 34455 660 659 0 33932 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 148844 KiB
Current children cumulated memory: 140528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.06 7/246 374679
/proc/meminfo: memFree=110995240/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=169728 memory=167288 CPUtime=3512.57 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 123689 0 0 0 351170 87 0 0 20 0 1 0 43597034 173801472 41822 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 42432 41822 660 659 0 41636 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 179660 KiB
Current children cumulated memory: 169996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.07 8/246 374689
/proc/meminfo: memFree=110998460/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=140768 memory=137972 CPUtime=3572.43 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 124768 0 0 0 357154 89 0 0 20 0 1 0 43597034 144146432 34493 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 35192 34493 660 659 0 34396 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 150700 KiB
Current children cumulated memory: 140680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.08 4.09 4.07 5/239 374780
/proc/meminfo: memFree=111636700/131655788 swapFree=131070704/131071996
[pid=372848] ppid=372836 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/372848/stat : 372848 (naps-1.03.sh) S 372836 372848 372779 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 43597034 10170368 677 134679101440 93850071011328 93850072090648 140731223475104 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850074189104 93850074236292 93850096758784 140731223483361 140731223483486 140731223483486 140731223490504 0
/proc/372848/statm: 2483 677 600 264 0 134 0
[pid=372867] ppid=372848 vsize=146952 memory=144672 CPUtime=3600.07 cores=4,6
/proc/372867/stat : 372867 (naps-1.03) R 372848 372848 372779 0 -1 4194304 125658 0 0 0 359917 90 0 0 20 0 1 0 43597034 150478848 36168 134679101440 4194304 6891597 140736979618384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12201984 140736979624946 140736979625058 140736979625058 140736979632075 0
/proc/372867/statm: 36738 36168 660 659 0 35942 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 156884 KiB
Current children cumulated memory: 147380 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.18 s, system=0.908386 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): 3610.02
CPU time (s): 3600.09
CPU user time (s): 3599.18
CPU system time (s): 0.908386
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 250700
Max. memory (cumulated for all children) (KiB): 242104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.18
system time used= 0.908386
maximum resident set size= 239396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126137
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= 50
involuntary context switches= 2592


# summary of solver processes directly reported to runsolver:
#   pid: 372848
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.18
#   total CPU system time (s): 0.908386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.569 second user time and 41.0203 second system time

The end