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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463663-1722352366/watcher-4463663-1722352366 -o /tmp/evaluation-result-4463663-1722352366/solver-4463663-1722352366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722351915-13882 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463663-1722352366.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
Current StackSize limit: 8192 KiB

solver pid=14896, runsolver pid=14893

[startup+0.100091 s]*
/proc/loadavg: 4.43 3.77 3.32 5/264 14901
/proc/meminfo: memFree=80198640/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=32812 memory=28484 CPUtime=0.1 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 6593 0 0 0 9 1 0 0 20 0 1 0 1834854 33599488 7121 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 8203 7121 468 659 0 7407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42744 KiB
Current children cumulated memory: 31160 KiB

[startup+0.205648 s]*
/proc/loadavg: 4.48 3.79 3.33 5/264 14901
/proc/meminfo: memFree=80190184/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=35964 memory=32436 CPUtime=0.2 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 8577 0 0 0 19 1 0 0 20 0 1 0 1834854 36827136 8109 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 8991 8109 468 659 0 8195 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 35112 KiB

[startup+0.30557 s]*
/proc/loadavg: 4.48 3.79 3.33 5/264 14901
/proc/meminfo: memFree=80181100/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=40476 memory=37216 CPUtime=0.3 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 9544 0 0 0 29 1 0 0 20 0 1 0 1834854 41447424 9304 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 10119 9304 468 659 0 9323 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50408 KiB
Current children cumulated memory: 39892 KiB

[startup+0.700195 s]
/proc/loadavg: 4.48 3.79 3.33 5/264 14901
/proc/meminfo: memFree=80160380/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=56764 memory=52676 CPUtime=0.69 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 11922 0 0 0 67 2 0 0 20 0 1 0 1834854 58126336 13169 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 14191 13169 468 659 0 13395 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66696 KiB
Current children cumulated memory: 55352 KiB

[startup+1.5002 s]
/proc/loadavg: 4.48 3.79 3.33 5/264 14901
/proc/meminfo: memFree=80121632/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=63944 memory=53696 CPUtime=1.48 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 14396 0 0 0 146 2 0 0 20 0 1 0 1834854 65478656 13424 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 15986 13424 468 659 0 15190 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 56372 KiB

[startup+3.10547 s]
/proc/loadavg: 4.48 3.79 3.33 5/264 14903
/proc/meminfo: memFree=79918692/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=94588 memory=84880 CPUtime=3.08 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 15002 0 0 0 305 3 0 0 20 0 1 0 1834854 96858112 21220 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 23647 21220 468 659 0 22851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104520 KiB
Current children cumulated memory: 87556 KiB

[startup+6.30023 s]
/proc/loadavg: 4.44 3.79 3.33 5/264 14903
/proc/meminfo: memFree=79670484/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=152556 memory=123072 CPUtime=6.27 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 16896 0 0 0 621 6 0 0 20 0 1 0 1834854 156217344 30768 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 38139 30768 468 659 0 37343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 162488 KiB
Current children cumulated memory: 125748 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 3.80 3.34 5/264 14904
/proc/meminfo: memFree=79352364/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=102800 memory=98364 CPUtime=12.65 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 17073 0 0 0 1258 7 0 0 20 0 1 0 1834854 105267200 24591 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 25700 24591 468 659 0 24904 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 112732 KiB
Current children cumulated memory: 101040 KiB

[startup+25.5003 s]
/proc/loadavg: 4.34 3.80 3.34 5/264 14906
/proc/meminfo: memFree=79037144/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=102800 memory=99764 CPUtime=25.42 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 18267 0 0 0 2532 10 0 0 20 0 1 0 1834854 105267200 24941 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 25700 24941 468 659 0 24904 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 112732 KiB
Current children cumulated memory: 102440 KiB

[startup+51.1055 s]
/proc/loadavg: 4.20 3.82 3.37 5/264 14909
/proc/meminfo: memFree=78873556/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=201972 memory=197296 CPUtime=50.96 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 20676 0 0 0 5081 15 0 0 20 0 1 0 1834854 206819328 49324 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 50493 49324 468 659 0 49697 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 211904 KiB
Current children cumulated memory: 199972 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 3.93 3.43 5/265 14922
/proc/meminfo: memFree=73057200/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=206112 memory=190896 CPUtime=102.02 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 25347 0 0 0 10180 22 0 0 20 0 1 0 1834854 211058688 47724 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 51528 47724 468 659 0 50732 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 216044 KiB
Current children cumulated memory: 193572 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 3.96 3.47 5/263 15087
/proc/meminfo: memFree=121931384/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=236932 memory=222024 CPUtime=161.86 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 28311 0 0 0 16158 28 0 0 20 0 1 0 1834854 242618368 55506 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 59233 55506 468 659 0 58437 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 246864 KiB
Current children cumulated memory: 224700 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.00 3.52 5/263 15196
/proc/meminfo: memFree=114551416/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=242196 memory=225556 CPUtime=221.69 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 32279 0 0 0 22136 33 0 0 20 0 1 0 1834854 248008704 56389 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 60549 56389 468 659 0 59753 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 252128 KiB

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

/proc/14901/statm: 122229 118821 468 659 0 121433 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 498848 KiB
Current children cumulated memory: 477960 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/260 17154
/proc/meminfo: memFree=104637672/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=361148 memory=345336 CPUtime=3094.12 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 108586 0 0 0 309259 153 0 0 20 0 1 0 1834854 369815552 86334 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 90287 86334 468 659 0 89491 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 371080 KiB
Current children cumulated memory: 348012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/259 17164
/proc/meminfo: memFree=104571672/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=411236 memory=389548 CPUtime=3153.96 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 109516 0 0 0 315242 154 0 0 20 0 1 0 1834854 421105664 97387 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 102809 97387 468 659 0 102013 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 421168 KiB
Current children cumulated memory: 392224 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/259 17174
/proc/meminfo: memFree=104502160/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=492624 memory=445536 CPUtime=3213.79 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 110340 0 0 0 321224 155 0 0 20 0 1 0 1834854 504446976 111384 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 123156 111384 468 659 0 122360 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 502556 KiB
Current children cumulated memory: 448212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/259 17184
/proc/meminfo: memFree=104437652/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=627360 memory=498752 CPUtime=3273.63 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 111542 0 0 0 327206 157 0 0 20 0 1 0 1834854 642416640 124688 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 156840 124688 468 659 0 156044 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 637292 KiB
Current children cumulated memory: 501428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/259 17197
/proc/meminfo: memFree=104569732/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=368004 memory=351416 CPUtime=3333.47 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 112790 0 0 0 333187 160 0 0 20 0 1 0 1834854 376836096 87854 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 92001 87854 468 659 0 91205 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 377936 KiB
Current children cumulated memory: 354092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/259 17207
/proc/meminfo: memFree=104488792/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=499480 memory=408760 CPUtime=3393.31 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 113969 0 0 0 339170 161 0 0 20 0 1 0 1834854 511467520 102190 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 124870 102190 468 659 0 124074 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 509412 KiB
Current children cumulated memory: 411436 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 17221
/proc/meminfo: memFree=104432188/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=499648 memory=451960 CPUtime=3453.16 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 114191 0 0 0 345154 162 0 0 20 0 1 0 1834854 511639552 112990 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 124912 112990 468 659 0 124116 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 509580 KiB
Current children cumulated memory: 454636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 17232
/proc/meminfo: memFree=104385812/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=502348 memory=486756 CPUtime=3513.01 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 114933 0 0 0 351138 163 0 0 20 0 1 0 1834854 514404352 121689 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 125587 121689 468 659 0 124791 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 512280 KiB
Current children cumulated memory: 489432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 17242
/proc/meminfo: memFree=104492044/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=425680 memory=365076 CPUtime=3572.85 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 117587 0 0 0 357120 165 0 0 20 0 1 0 1834854 435896320 91269 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 106420 91269 468 659 0 105624 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 435612 KiB
Current children cumulated memory: 367752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 3.77 4.03 4.06 4/253 17276
/proc/meminfo: memFree=102649660/131524600 swapFree=131071216/131071996
[pid=14896] ppid=14893 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/14896/stat : 14896 (naps-1.03.sh) S 14893 14896 13871 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 1834854 10170368 669 134679101440 94448344305664 94448345384984 140724230453456 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94448347483440 94448347530628 94448373624832 140724230460383 140724230460512 140724230460512 140724230467528 0
/proc/14896/statm: 2483 669 591 264 0 134 0
[pid=14901] ppid=14896 vsize=425988 memory=406248 CPUtime=3600.08 cores=4,6
/proc/14901/stat : 14901 (naps-1.03a2) R 14896 14896 13871 0 -1 4194304 117667 0 0 0 359842 166 0 0 20 0 1 0 1834854 436211712 101562 134679101440 4194304 6891597 140724725835328 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30863360 140724725842922 140724725843040 140724725843040 140724725850057 0
/proc/14901/statm: 106497 101562 468 659 0 105701 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 435920 KiB
Current children cumulated memory: 408924 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000712 s, system=0.002069 s

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

# cumulated CPU time of all completed processes:  user=3598.42 s, system=1.67845 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3609.61
CPU time (s): 3600.1
CPU user time (s): 3598.42
CPU system time (s): 1.67845
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 709396
Max. memory (cumulated for all children) (KiB): 530992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.42
system time used= 1.67845
maximum resident set size= 587268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118131
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= 27
involuntary context switches= 4781


# summary of solver processes directly reported to runsolver:
#   pid: 14896,14901
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.42
#   total CPU system time (s): 1.67845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05377 second user time and 17.2638 second system time

The end