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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462291-1722236930/watcher-4462291-1722236930 -o /tmp/evaluation-result-4462291-1722236930/solver-4462291-1722236930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722236576-410704 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4462291-1722236930.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=410955, runsolver pid=410952
Current StackSize limit: 8192 KiB


[startup+0.100603 s]*
/proc/loadavg: 4.20 2.96 1.41 5/247 410960
/proc/meminfo: memFree=112510628/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=20408 memory=16024 CPUtime=0.09 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 3383 0 0 0 9 0 0 0 20 0 1 0 59681811 20897792 4006 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 5102 4006 468 659 0 4306 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30340 KiB
Current children cumulated memory: 18848 KiB

[startup+0.213413 s]*
/proc/loadavg: 4.20 2.96 1.41 5/247 410960
/proc/meminfo: memFree=112509064/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=20768 memory=17384 CPUtime=0.21 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 4386 0 0 0 20 1 0 0 20 0 1 0 59681811 21266432 4346 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 5192 4346 468 659 0 4396 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30700 KiB
Current children cumulated memory: 20208 KiB

[startup+0.31309 s]*
/proc/loadavg: 4.20 2.96 1.41 5/247 410960
/proc/meminfo: memFree=112508888/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=20768 memory=17384 CPUtime=0.31 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 4393 0 0 0 30 1 0 0 20 0 1 0 59681811 21266432 4346 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 5192 4346 468 659 0 4396 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30700 KiB
Current children cumulated memory: 20208 KiB

[startup+0.700409 s]
/proc/loadavg: 4.20 2.96 1.41 5/247 410960
/proc/meminfo: memFree=112478772/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=94120 memory=85756 CPUtime=0.68 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 19234 0 0 0 62 6 0 0 20 0 1 0 59681811 96378880 21439 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 23530 21439 468 659 0 22734 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104052 KiB
Current children cumulated memory: 88580 KiB

[startup+1.50043 s]
/proc/loadavg: 4.20 2.96 1.41 5/247 410960
/proc/meminfo: memFree=112391960/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=188932 memory=173420 CPUtime=1.47 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 31984 0 0 0 138 9 0 0 20 0 1 0 59681811 193466368 43355 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 47233 43355 468 659 0 46437 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 198864 KiB
Current children cumulated memory: 176244 KiB

[startup+3.11283 s]
/proc/loadavg: 4.18 2.98 1.42 5/247 410960
/proc/meminfo: memFree=112361404/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=176920 memory=164540 CPUtime=3.08 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 33842 0 0 0 298 10 0 0 20 0 1 0 59681811 181166080 41135 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 44230 41135 468 659 0 43434 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 186852 KiB
Current children cumulated memory: 167364 KiB

[startup+6.30041 s]
/proc/loadavg: 4.18 2.98 1.42 5/247 410960
/proc/meminfo: memFree=112345592/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=195096 memory=178176 CPUtime=6.26 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 34685 0 0 0 616 10 0 0 20 0 1 0 59681811 199778304 44544 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 48774 44544 468 659 0 47978 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 205028 KiB
Current children cumulated memory: 181000 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 3.01 1.45 5/247 410962
/proc/meminfo: memFree=112339404/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=195096 memory=182680 CPUtime=12.65 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 34811 0 0 0 1254 11 0 0 20 0 1 0 59681811 199778304 45670 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 48774 45670 468 659 0 47978 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 205028 KiB
Current children cumulated memory: 185504 KiB

[startup+25.5004 s]
/proc/loadavg: 4.21 3.06 1.48 5/247 410963
/proc/meminfo: memFree=112331184/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=195096 memory=184284 CPUtime=25.42 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 35541 0 0 0 2530 12 0 0 20 0 1 0 59681811 199778304 46071 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 48774 46071 468 659 0 47978 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 205028 KiB
Current children cumulated memory: 187108 KiB

[startup+51.1128 s]
/proc/loadavg: 4.13 3.14 1.55 5/247 410968
/proc/meminfo: memFree=112300004/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=225444 memory=209020 CPUtime=50.96 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 35647 0 0 0 5083 13 0 0 20 0 1 0 59681811 230854656 52255 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 56361 52255 468 659 0 55565 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 235376 KiB
Current children cumulated memory: 211844 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 3.32 1.71 5/249 410981
/proc/meminfo: memFree=112279580/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=225444 memory=214644 CPUtime=102.02 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 36556 0 0 0 10188 14 0 0 20 0 1 0 59681811 230854656 53661 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 56361 53661 468 659 0 55565 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 235376 KiB
Current children cumulated memory: 217468 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.46 1.86 5/248 410991
/proc/meminfo: memFree=112231616/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=274764 memory=249116 CPUtime=161.86 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 37063 0 0 0 16172 14 0 0 20 0 1 0 59681811 281358336 62279 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 68691 62279 468 659 0 67895 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 284696 KiB
Current children cumulated memory: 251940 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 3.61 2.01 5/248 411003
/proc/meminfo: memFree=112116676/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=361176 memory=329644 CPUtime=221.71 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 42773 0 0 0 22153 18 0 0 20 0 1 0 59681811 369844224 82411 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 90294 82411 468 659 0 89498 0
Current children cumulated CPU time: 221.71 s

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

/proc/410960/statm: 102624 95930 468 659 0 101828 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 386544 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/247 412705
/proc/meminfo: memFree=111664644/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=441316 memory=402420 CPUtime=3153.04 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 54012 0 0 0 315249 55 0 0 20 0 1 0 59681811 451907584 100605 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 110329 100605 468 659 0 109533 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 451248 KiB
Current children cumulated memory: 405244 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/247 412718
/proc/meminfo: memFree=111625240/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=441316 memory=414708 CPUtime=3212.84 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 54065 0 0 0 321229 55 0 0 20 0 1 0 59681811 451907584 103677 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 110329 103677 468 659 0 109533 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 451248 KiB
Current children cumulated memory: 417532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/246 412828
/proc/meminfo: memFree=109213992/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=491404 memory=430248 CPUtime=3272.65 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 54924 0 0 0 327209 56 0 0 20 0 1 0 59681811 503197696 107562 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 122851 107562 468 659 0 122055 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 501336 KiB
Current children cumulated memory: 433072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.15 4.06 5/246 412838
/proc/meminfo: memFree=108669728/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=491404 memory=444584 CPUtime=3332.46 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 54977 0 0 0 333189 57 0 0 20 0 1 0 59681811 503197696 111146 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 122851 111146 468 659 0 122055 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 501336 KiB
Current children cumulated memory: 447408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.06 5/245 412849
/proc/meminfo: memFree=102607960/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=410496 memory=373480 CPUtime=3392.27 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 55068 0 0 0 339169 58 0 0 20 0 1 0 59681811 420347904 93370 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 102624 93370 468 659 0 101828 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 376304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.16 4.07 5/245 412909
/proc/meminfo: memFree=99202344/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=441316 memory=392008 CPUtime=3452.09 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 55205 0 0 0 345150 59 0 0 20 0 1 0 59681811 451907584 98002 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 110329 98002 468 659 0 109533 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 451248 KiB
Current children cumulated memory: 394832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.54 4.24 4.10 5/248 412979
/proc/meminfo: memFree=106263204/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=441316 memory=403020 CPUtime=3511.92 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 55302 0 0 0 351133 59 0 0 20 0 1 0 59681811 451907584 100755 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 110329 100755 468 659 0 109533 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 451248 KiB
Current children cumulated memory: 405844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.36 4.24 4.11 5/248 412990
/proc/meminfo: memFree=88181080/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=491404 memory=419980 CPUtime=3571.76 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 56113 0 0 0 357116 60 0 0 20 0 1 0 59681811 503197696 104995 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 122851 104995 468 659 0 122055 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 501336 KiB
Current children cumulated memory: 422804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.24 4.22 4.10 5/248 412995
/proc/meminfo: memFree=86132480/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=491404 memory=427524 CPUtime=3600.08 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 56231 0 0 0 359947 61 0 0 20 0 1 0 59681811 503197696 106881 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 122851 106881 468 659 0 122055 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 501336 KiB
Current children cumulated memory: 430348 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002076 s, system=0.005212 s

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

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

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

[startup+3610.7 s]
/proc/loadavg: 4.24 4.22 4.10 5/248 412995
/proc/meminfo: memFree=86132480/131655788 swapFree=131070192/131071996
[pid=410955] ppid=410952 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/410955/stat : 410955 (naps-1.03.sh) S 410952 410955 410691 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 59681810 10170368 706 134679101440 94130352791552 94130353870872 140722477127648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94130355969328 94130356016516 94130358050816 140722477130719 140722477130848 140722477130848 140722477137864 0
/proc/410955/statm: 2483 706 631 264 0 134 0
[pid=410960] ppid=410955 vsize=491404 memory=427524 CPUtime=3600.08 cores=5,7
/proc/410960/stat : 410960 (naps-1.03) R 410955 410955 410691 0 -1 4194304 56231 0 0 0 359947 61 0 0 20 0 1 0 59681811 503197696 106881 134679101440 4194304 6891213 140733981746384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19283968 140733981750256 140733981750372 140733981750372 140733981757387 0
/proc/410960/statm: 122851 106881 468 659 0 122055 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 501336 KiB
Current children cumulated memory: 430348 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.11
CPU user time (s): 3599.48
CPU system time (s): 0.627893
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 582724
Max. memory (cumulated for all children) (KiB): 473924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.627893
maximum resident set size= 471100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56699
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= 31
involuntary context switches= 1934


# summary of solver processes directly reported to runsolver:
#   pid: 410955,410960
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.48
#   total CPU system time (s): 0.627893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8185 second user time and 37.0416 second system time

The end