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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433913-1721061239/watcher-4433913-1721061239 -o /tmp/evaluation-result-4433913-1721061239/solver-4433913-1721061239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721060969-828424 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433913-1721061239.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=828853, runsolver pid=828850
Current StackSize limit: 8192 KiB


[startup+0.100692 s]*
/proc/loadavg: 4.06 2.96 2.41 5/262 828858
/proc/meminfo: memFree=124636200/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=10248 memory=4424 CPUtime=0.09 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 765 0 0 0 9 0 0 0 20 0 1 0 158291341 10493952 1106 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 2562 1106 436 659 0 1766 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20180 KiB
Current children cumulated memory: 7132 KiB

[startup+0.205694 s]*
/proc/loadavg: 4.06 2.96 2.41 5/262 828858
/proc/meminfo: memFree=124631604/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=11936 memory=8488 CPUtime=0.19 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 1305 0 0 0 19 0 0 0 20 0 1 0 158291341 12222464 2122 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 2984 2122 436 659 0 2188 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21868 KiB
Current children cumulated memory: 11196 KiB

[startup+0.305732 s]*
/proc/loadavg: 4.06 2.96 2.41 5/262 828858
/proc/meminfo: memFree=124629980/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=13596 memory=10096 CPUtime=0.29 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 1747 0 0 0 29 0 0 0 20 0 1 0 158291341 13922304 2524 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 3399 2524 436 659 0 2603 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 23528 KiB
Current children cumulated memory: 12804 KiB

[startup+0.700269 s]
/proc/loadavg: 4.06 2.96 2.41 5/262 828858
/proc/meminfo: memFree=124624696/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=48144 memory=42076 CPUtime=0.68 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 10469 0 0 0 67 1 0 0 20 0 1 0 158291341 49299456 10519 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 12036 10519 468 659 0 11240 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58076 KiB
Current children cumulated memory: 44784 KiB

[startup+1.50028 s]
/proc/loadavg: 4.06 2.96 2.41 5/262 828858
/proc/meminfo: memFree=124577504/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=60652 memory=53156 CPUtime=1.47 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 13487 0 0 0 146 1 0 0 20 0 1 0 158291341 62107648 13289 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 15163 13289 468 659 0 14367 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 70584 KiB
Current children cumulated memory: 55864 KiB

[startup+3.10578 s]
/proc/loadavg: 4.06 2.96 2.41 5/262 828860
/proc/meminfo: memFree=124573016/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=65272 memory=54208 CPUtime=3.08 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 13727 0 0 0 306 2 0 0 20 0 1 0 158291341 66838528 13552 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 16318 13552 468 659 0 15522 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75204 KiB
Current children cumulated memory: 56916 KiB

[startup+6.30026 s]
/proc/loadavg: 4.06 2.98 2.42 5/262 828860
/proc/meminfo: memFree=124536480/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=84556 memory=78904 CPUtime=6.27 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 18136 0 0 0 624 3 0 0 20 0 1 0 158291341 86585344 19726 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 21139 19726 468 659 0 20343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 94488 KiB
Current children cumulated memory: 81612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 3.01 2.43 5/262 828861
/proc/meminfo: memFree=124549892/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=119436 memory=93548 CPUtime=12.64 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 19558 0 0 0 1261 3 0 0 20 0 1 0 158291341 122302464 23387 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 29859 23387 468 659 0 29063 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 129368 KiB
Current children cumulated memory: 96256 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 3.06 2.46 5/262 828863
/proc/meminfo: memFree=124376688/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=181480 memory=170968 CPUtime=25.41 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 20979 0 0 0 2535 6 0 0 20 0 1 0 158291341 185835520 42742 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 45370 42742 468 659 0 44574 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 191412 KiB
Current children cumulated memory: 173676 KiB

[startup+51.1062 s]
/proc/loadavg: 4.07 3.14 2.50 5/261 828866
/proc/meminfo: memFree=124406360/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=181480 memory=175152 CPUtime=50.95 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 23468 0 0 0 5085 10 0 0 20 0 1 0 158291341 185835520 43788 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 45370 43788 468 659 0 44574 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 191412 KiB
Current children cumulated memory: 177860 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.30 2.59 5/259 828878
/proc/meminfo: memFree=124527532/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=132160 memory=126664 CPUtime=102 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 27202 0 0 0 10185 15 0 0 20 0 1 0 158291341 135331840 31666 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 33040 31666 468 659 0 32244 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 142092 KiB
Current children cumulated memory: 129372 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.45 2.69 5/259 828888
/proc/meminfo: memFree=124386128/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=212300 memory=207704 CPUtime=161.81 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 30943 0 0 0 16161 20 0 0 20 0 1 0 158291341 217395200 51926 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 53075 51926 468 659 0 52279 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 222232 KiB
Current children cumulated memory: 210412 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 3.60 2.79 5/259 828900
/proc/meminfo: memFree=124351548/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=262388 memory=227880 CPUtime=221.65 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 33952 0 0 0 22139 26 0 0 20 0 1 0 158291341 268685312 56970 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 65597 56970 468 659 0 64801 0
Current children cumulated CPU time: 221.65 s

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

/proc/loadavg: 4.08 4.10 4.05 5/261 829979
/proc/meminfo: memFree=123981816/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=368300 memory=351964 CPUtime=3033.08 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 95658 0 0 0 303147 161 0 0 20 0 1 0 158291341 377139200 87991 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 92075 87991 468 659 0 91279 0
Current children cumulated CPU time: 3033.08 s
Current children cumulated vsize: 378232 KiB
Current children cumulated memory: 354672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/261 830373
/proc/meminfo: memFree=123804460/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=501208 memory=405628 CPUtime=3092.91 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 96390 0 0 0 309128 163 0 0 20 0 1 0 158291341 513236992 101407 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 125302 101407 468 659 0 124506 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 511140 KiB
Current children cumulated memory: 408336 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/260 830383
/proc/meminfo: memFree=124150956/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=238724 memory=210964 CPUtime=3152.73 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 97729 0 0 0 315107 166 0 0 20 0 1 0 158291341 244453376 52741 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 59681 52741 468 659 0 58885 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 248656 KiB
Current children cumulated memory: 213672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/260 830394
/proc/meminfo: memFree=124034140/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=370200 memory=292100 CPUtime=3212.55 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 98674 0 0 0 321087 168 0 0 20 0 1 0 158291341 379084800 73025 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 92550 73025 468 659 0 91754 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 380132 KiB
Current children cumulated memory: 294808 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/262 830574
/proc/meminfo: memFree=123970332/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=502640 memory=373768 CPUtime=3272.37 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 99236 0 0 0 327067 170 0 0 20 0 1 0 158291341 514703360 93442 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 125660 93442 468 659 0 124864 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 512572 KiB
Current children cumulated memory: 376476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/263 830736
/proc/meminfo: memFree=123381120/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=504352 memory=434832 CPUtime=3332.18 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 99719 0 0 0 333047 171 0 0 20 0 1 0 158291341 516456448 108708 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 126088 108708 468 659 0 125292 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 514284 KiB
Current children cumulated memory: 437540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/263 830803
/proc/meminfo: memFree=122986656/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=372348 memory=293712 CPUtime=3392 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 101687 0 0 0 339025 175 0 0 20 0 1 0 158291341 381284352 73428 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 93087 73428 468 659 0 92291 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 382280 KiB
Current children cumulated memory: 296420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.08 5/261 830813
/proc/meminfo: memFree=122691800/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=504976 memory=375256 CPUtime=3451.82 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 102404 0 0 0 345005 177 0 0 20 0 1 0 158291341 517095424 93814 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 126244 93814 468 659 0 125448 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 514908 KiB
Current children cumulated memory: 377964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/261 830823
/proc/meminfo: memFree=122396320/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=505740 memory=439552 CPUtime=3511.64 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 102680 0 0 0 350986 178 0 0 20 0 1 0 158291341 517877760 109888 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 126435 109888 468 659 0 125639 0
Current children cumulated CPU time: 3511.64 s
Current children cumulated vsize: 515672 KiB
Current children cumulated memory: 442260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/260 830834
/proc/meminfo: memFree=122504324/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=297996 memory=265992 CPUtime=3571.47 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 104218 0 0 0 356965 182 0 0 20 0 1 0 158291341 305147904 66498 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 74499 66498 468 659 0 73703 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 307928 KiB
Current children cumulated memory: 268700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.10 4.11 4.08 5/260 830838
/proc/meminfo: memFree=122412888/131524600 swapFree=131071996/131071996
[pid=828853] ppid=828850 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/828853/stat : 828853 (naps-1.03.sh) S 828850 828853 828411 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 158291341 10170368 677 134679101440 94642616893440 94642617972760 140734160840816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94642620071216 94642620118404 94642641735680 140734160843744 140734160843873 140734160843873 140734160850888 0
/proc/828853/statm: 2483 677 599 264 0 134 0
[pid=828858] ppid=828853 vsize=379384 memory=298924 CPUtime=3600.09 cores=5,7
/proc/828858/stat : 828858 (naps-1.03) R 828853 828853 828411 0 -1 4194304 104827 0 0 0 359826 183 0 0 20 0 1 0 158291341 388489216 74731 134679101440 4194304 6891213 140721620500144 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21037056 140721620501489 140721620501605 140721620501605 140721620508619 0
/proc/828858/statm: 94846 74731 468 659 0 94050 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 389316 KiB
Current children cumulated memory: 301632 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.27 s, system=1.83543 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): 3611.01
CPU time (s): 3600.11
CPU user time (s): 3598.27
CPU system time (s): 1.83543
CPU usage (%): 99.698
Max. virtual memory (cumulated for all children) (KiB): 570896
Max. memory (cumulated for all children) (KiB): 496832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.27
system time used= 1.83542
maximum resident set size= 521456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105306
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= 161
involuntary context switches= 4893


# summary of solver processes directly reported to runsolver:
#   pid: 828853
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.27
#   total CPU system time (s): 1.83543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95554 second user time and 17.9189 second system time

The end