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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457642-1721865125/watcher-4457642-1721865125 -o /tmp/evaluation-result-4457642-1721865125/solver-4457642-1721865125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721865123-209575 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4457642-1721865125.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=209698, runsolver pid=209695
Current StackSize limit: 8192 KiB


[startup+0.100508 s]*
/proc/loadavg: 0.52 0.17 0.12 5/248 209703
/proc/meminfo: memFree=100064780/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=7672 memory=2560 CPUtime=0.1 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 314 0 0 0 10 0 0 0 20 0 1 0 22501516 7856128 640 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 1918 640 405 379 0 1452 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17604 KiB
Current children cumulated memory: 5248 KiB

[startup+0.213789 s]*
/proc/loadavg: 0.52 0.17 0.12 5/248 209703
/proc/meminfo: memFree=100039916/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=7672 memory=2560 CPUtime=0.21 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 314 0 0 0 21 0 0 0 20 0 1 0 22501516 7856128 640 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 1918 640 405 379 0 1452 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 17604 KiB
Current children cumulated memory: 5248 KiB

[startup+0.313347 s]*
/proc/loadavg: 0.52 0.17 0.12 5/248 209703
/proc/meminfo: memFree=100012744/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=7672 memory=2560 CPUtime=0.31 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 314 0 0 0 31 0 0 0 20 0 1 0 22501516 7856128 640 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 1918 640 405 379 0 1452 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 17604 KiB
Current children cumulated memory: 5248 KiB

[startup+0.70044 s]
/proc/loadavg: 0.52 0.17 0.12 5/248 209705
/proc/meminfo: memFree=99976764/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=28608 memory=23740 CPUtime=0.67 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 5705 0 0 0 66 1 0 0 20 0 1 0 22501516 29294592 5935 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 7152 5935 421 379 0 6686 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38540 KiB
Current children cumulated memory: 26428 KiB

[startup+1.50046 s]
/proc/loadavg: 0.52 0.17 0.12 5/248 209705
/proc/meminfo: memFree=99838556/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=81648 memory=76424 CPUtime=1.47 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 19399 0 0 0 143 4 0 0 20 0 1 0 22501516 83607552 19106 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 20412 19106 421 379 0 19946 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91580 KiB
Current children cumulated memory: 79112 KiB

[startup+3.11281 s]
/proc/loadavg: 0.52 0.17 0.12 5/248 209705
/proc/meminfo: memFree=99310292/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=226724 memory=220608 CPUtime=3.08 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 53854 0 0 0 298 10 0 0 20 0 1 0 22501516 232165376 55152 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 56681 55152 421 379 0 56215 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 236656 KiB
Current children cumulated memory: 223296 KiB

[startup+6.30044 s]
/proc/loadavg: 0.80 0.24 0.14 5/248 209705
/proc/meminfo: memFree=98493068/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=518664 memory=513640 CPUtime=6.26 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 124107 0 0 0 604 22 0 0 20 0 1 0 22501516 531111936 128410 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 129666 128410 421 379 0 129200 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 528596 KiB
Current children cumulated memory: 516328 KiB

[startup+12.7004 s]
/proc/loadavg: 1.06 0.30 0.16 5/248 209706
/proc/meminfo: memFree=97170168/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=873152 memory=844980 CPUtime=12.64 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 174758 0 0 0 1231 33 0 0 20 0 1 0 22501516 894107648 211245 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 218288 211245 421 379 0 217822 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 883084 KiB
Current children cumulated memory: 847668 KiB

[startup+25.5005 s]
/proc/loadavg: 1.71 0.48 0.22 5/248 209708
/proc/meminfo: memFree=94830548/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1066304 memory=1025836 CPUtime=25.41 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 184426 0 0 0 2500 41 0 0 20 0 1 0 22501516 1091895296 256459 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 266576 256459 421 379 0 266110 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1076236 KiB
Current children cumulated memory: 1028524 KiB

[startup+51.1129 s]
/proc/loadavg: 2.55 0.78 0.33 5/248 209712
/proc/meminfo: memFree=91610004/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1066304 memory=1030008 CPUtime=50.95 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 184543 0 0 0 5054 41 0 0 20 0 1 0 22501516 1091895296 257502 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 266576 257502 421 379 0 266110 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1076236 KiB
Current children cumulated memory: 1032696 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.31 0.53 5/248 209721
/proc/meminfo: memFree=88378960/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1097124 memory=1045348 CPUtime=102.02 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 185381 0 0 0 10159 43 0 0 20 0 1 0 22501516 1123454976 261337 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 274281 261337 421 379 0 273815 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1107056 KiB
Current children cumulated memory: 1048036 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 1.83 0.77 5/248 209731
/proc/meminfo: memFree=88310336/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1097124 memory=1032148 CPUtime=161.87 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 186337 0 0 0 16141 46 0 0 20 0 1 0 22501516 1123454976 258037 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 274281 258037 421 379 0 273815 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1107056 KiB
Current children cumulated memory: 1034836 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 2.28 0.99 5/249 210126
/proc/meminfo: memFree=88176248/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1097124 memory=1053540 CPUtime=221.71 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 186614 0 0 0 22123 48 0 0 20 0 1 0 22501516 1123454976 263385 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 274281 263385 421 379 0 273815 0

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

/proc/209703/statm: 306704 290455 421 379 0 306238 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 1236748 KiB
Current children cumulated memory: 1164508 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.04 5/248 211455
/proc/meminfo: memFree=87694564/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1226816 memory=1178204 CPUtime=3153.79 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 209118 0 0 0 315240 139 0 0 20 0 1 0 22501516 1256259584 294551 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 306704 294551 421 379 0 306238 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 1236748 KiB
Current children cumulated memory: 1180892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.05 5/245 211466
/proc/meminfo: memFree=87690712/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1276904 memory=1194588 CPUtime=3213.63 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 209863 0 0 0 321223 140 0 0 20 0 1 0 22501516 1307549696 298647 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 319226 298647 421 379 0 318760 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 1286836 KiB
Current children cumulated memory: 1197276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/245 211476
/proc/meminfo: memFree=87722996/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1276904 memory=1215068 CPUtime=3273.48 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 210071 0 0 0 327205 143 0 0 20 0 1 0 22501516 1307549696 303767 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 319226 303767 421 379 0 318760 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 1286836 KiB
Current children cumulated memory: 1217756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.05 5/245 211486
/proc/meminfo: memFree=87570176/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1276904 memory=1231452 CPUtime=3333.32 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 210358 0 0 0 333188 144 0 0 20 0 1 0 22501516 1307549696 307863 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 319226 307863 421 379 0 318760 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 1286836 KiB
Current children cumulated memory: 1234140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.05 5/245 211496
/proc/meminfo: memFree=87580544/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1358292 memory=1251932 CPUtime=3393.16 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 211073 0 0 0 339170 146 0 0 20 0 1 0 22501516 1390891008 312983 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 339573 312983 421 379 0 339107 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 1368224 KiB
Current children cumulated memory: 1254620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/245 211507
/proc/meminfo: memFree=87624064/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1358292 memory=1270364 CPUtime=3453 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 211231 0 0 0 345153 147 0 0 20 0 1 0 22501516 1390891008 317591 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 339573 317591 421 379 0 339107 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 1368224 KiB
Current children cumulated memory: 1273052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.06 5/247 211521
/proc/meminfo: memFree=87645520/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1358292 memory=1292892 CPUtime=3512.85 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 211458 0 0 0 351136 149 0 0 20 0 1 0 22501516 1390891008 323223 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 339573 323223 421 379 0 339107 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 1368224 KiB
Current children cumulated memory: 1295580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/247 211532
/proc/meminfo: memFree=87500856/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1358292 memory=1307228 CPUtime=3572.69 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 211633 0 0 0 357118 151 0 0 20 0 1 0 22501516 1390891008 326807 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 339573 326807 421 379 0 339107 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 1368224 KiB
Current children cumulated memory: 1309916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.65 4.25 4.11 5/246 211536
/proc/meminfo: memFree=89278776/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1358292 memory=1315420 CPUtime=3600.02 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 211762 0 0 0 359851 151 0 0 20 0 1 0 22501516 1390891008 328855 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 339573 328855 421 379 0 339107 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1368224 KiB
Current children cumulated memory: 1318108 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002323 s, system=0.003564 s

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

# cumulated CPU time of all completed processes:  user=3598.52 s, system=1.56088 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+3609.7 s]
/proc/loadavg: 4.65 4.25 4.11 5/246 211536
/proc/meminfo: memFree=89278776/131655788 swapFree=131062644/131071996
[pid=209698] ppid=209695 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/209698/stat : 209698 (naps-1.02b5.sh) S 209695 209698 209562 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 22501515 10170368 672 134679101440 94602402164736 94602403244056 140732507976336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94602405342512 94602405389700 94602425716736 140732507980768 140732507980895 140732507980895 140732507987910 0
/proc/209698/statm: 2483 672 594 264 0 134 0
[pid=209703] ppid=209698 vsize=1358292 memory=1315420 CPUtime=3600.02 cores=5,7
/proc/209703/stat : 209703 (naps-1.02b5) R 209698 209698 209562 0 -1 4194304 211762 0 0 0 359851 151 0 0 20 0 1 0 22501516 1390891008 328855 134679101440 4194304 5746509 140723446413504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 34050048 140723446416367 140723446416481 140723446416481 140723446423497 0
/proc/209703/statm: 339573 328855 421 379 0 339107 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1368224 KiB
Current children cumulated memory: 1318108 KiB

Child status: 10

Real time (s): 3609.75
CPU time (s): 3600.08
CPU user time (s): 3598.52
CPU system time (s): 1.56088
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 1580624
Max. memory (cumulated for all children) (KiB): 1457364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.52
system time used= 1.56088
maximum resident set size= 1458772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212229
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= 12
involuntary context switches= 2079


# summary of solver processes directly reported to runsolver:
#   pid: 209698,209703
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.52
#   total CPU system time (s): 1.56088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.157 second user time and 32.067 second system time

The end