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: 63968 MiB (61408 MiB free)
  memory of node 1: 64473 MiB (46298 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427130-1720909207/watcher-4427130-1720909207 -o /tmp/evaluation-result-4427130-1720909207/solver-4427130-1720909207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720905577-729965 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427130-1720909207.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=732973, runsolver pid=732970

[startup+0.100099 s]*
/proc/loadavg: 4.11 4.18 4.12 5/260 732978
/proc/meminfo: memFree=110280700/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=14272 memory=9340 CPUtime=0.1 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 2034 0 0 0 10 0 0 0 20 0 1 0 143091558 14614528 2335 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 3568 2335 405 379 0 3102 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24204 KiB
Current children cumulated memory: 12104 KiB

[startup+0.205744 s]*
/proc/loadavg: 4.11 4.18 4.12 5/260 732978
/proc/meminfo: memFree=110260004/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=32664 memory=29428 CPUtime=0.19 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 6829 0 0 0 19 0 0 0 20 0 1 0 143091558 33447936 7357 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 8166 7357 421 379 0 7700 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42596 KiB
Current children cumulated memory: 32192 KiB

[startup+0.305798 s]*
/proc/loadavg: 4.11 4.18 4.12 5/260 732978
/proc/meminfo: memFree=110236464/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=59332 memory=54616 CPUtime=0.3 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 12050 0 0 0 28 2 0 0 20 0 1 0 143091558 60755968 13654 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 14833 13654 421 379 0 14367 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69264 KiB
Current children cumulated memory: 57380 KiB

[startup+0.700239 s]
/proc/loadavg: 4.11 4.18 4.12 5/260 732978
/proc/meminfo: memFree=110153784/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=142192 memory=135384 CPUtime=0.68 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 22783 0 0 0 64 4 0 0 20 0 1 0 143091558 145604608 33846 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 35548 33846 421 379 0 35082 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 152124 KiB
Current children cumulated memory: 138148 KiB

[startup+1.50027 s]
/proc/loadavg: 4.18 4.19 4.13 5/260 732978
/proc/meminfo: memFree=110024748/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=536904 memory=481764 CPUtime=1.49 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 73001 0 0 0 134 15 0 0 20 0 1 0 143091558 549789696 120441 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 134226 120441 421 379 0 133760 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 546836 KiB
Current children cumulated memory: 484528 KiB

[startup+3.10562 s]
/proc/loadavg: 4.18 4.19 4.13 5/260 732980
/proc/meminfo: memFree=109820988/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1011852 memory=867332 CPUtime=3.08 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 97223 0 0 0 285 23 0 0 20 0 1 0 143091558 1036136448 216833 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 252963 216833 421 379 0 252497 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1021784 KiB
Current children cumulated memory: 870096 KiB

[startup+6.30027 s]
/proc/loadavg: 4.17 4.19 4.13 5/260 732980
/proc/meminfo: memFree=109337484/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1415512 memory=1043992 CPUtime=6.27 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 112146 0 0 0 596 31 0 0 20 0 1 0 143091558 1449484288 260998 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 353878 260998 421 379 0 353412 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1425444 KiB
Current children cumulated memory: 1046756 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.18 4.13 5/260 732981
/proc/meminfo: memFree=109346028/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1213012 memory=1080036 CPUtime=12.65 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 113902 0 0 0 1231 34 0 0 20 0 1 0 143091558 1242124288 270009 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 303253 270009 421 379 0 302787 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1222944 KiB
Current children cumulated memory: 1082800 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.21 4.14 5/257 733098
/proc/meminfo: memFree=111145480/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1217776 memory=1096356 CPUtime=25.4 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 116241 0 0 0 2506 34 0 0 20 0 1 0 143091558 1247002624 274089 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 304444 274089 421 379 0 303978 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1227708 KiB
Current children cumulated memory: 1099120 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.21 4.14 5/260 733137
/proc/meminfo: memFree=109140564/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1267864 memory=1098760 CPUtime=50.92 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 116529 0 0 0 5058 34 0 0 20 0 1 0 143091558 1298292736 274690 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 316966 274690 421 379 0 316500 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1277796 KiB
Current children cumulated memory: 1101524 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/260 733147
/proc/meminfo: memFree=100823828/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1267864 memory=1102856 CPUtime=101.95 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 117311 0 0 0 10160 35 0 0 20 0 1 0 143091558 1298292736 275714 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 316966 275714 421 379 0 316500 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1277796 KiB
Current children cumulated memory: 1105620 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/260 733158
/proc/meminfo: memFree=80987976/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1267864 memory=1106952 CPUtime=161.75 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 117474 0 0 0 16140 35 0 0 20 0 1 0 143091558 1298292736 276738 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 316966 276738 421 379 0 316500 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1277796 KiB
Current children cumulated memory: 1109716 KiB

[startup+222.3 s]
/proc/loadavg: 3.60 4.01 4.07 4/252 733200
/proc/meminfo: memFree=96212476/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1267864 memory=1111048 CPUtime=221.55 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 117647 0 0 0 22120 35 0 0 20 0 1 0 143091558 1298292736 277762 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 316966 277762 421 379 0 316500 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1277796 KiB

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

/proc/loadavg: 1.12 1.11 1.32 2/236 734969
/proc/meminfo: memFree=128384768/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1286256 memory=1154940 CPUtime=3031.82 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 140432 0 0 0 303119 63 0 0 20 0 1 0 143091558 1317126144 288735 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 321564 288735 421 379 0 321098 0
Current children cumulated CPU time: 3031.82 s
Current children cumulated vsize: 1296188 KiB
Current children cumulated memory: 1157704 KiB

[startup+3102.3 s]
/proc/loadavg: 1.24 1.13 1.31 2/236 734980
/proc/meminfo: memFree=128400884/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1138004 CPUtime=3091.62 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 141911 0 0 0 309098 64 0 0 20 0 1 0 143091558 1320374272 284501 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 284501 421 379 0 321891 0
Current children cumulated CPU time: 3091.62 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1140768 KiB

[startup+3162.3 s]
/proc/loadavg: 1.15 1.12 1.29 2/236 734991
/proc/meminfo: memFree=128394060/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1144148 CPUtime=3151.42 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 142320 0 0 0 315078 64 0 0 20 0 1 0 143091558 1320374272 286037 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 286037 421 379 0 321891 0
Current children cumulated CPU time: 3151.42 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1146912 KiB

[startup+3222.3 s]
/proc/loadavg: 1.05 1.10 1.27 2/237 735004
/proc/meminfo: memFree=128387204/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1150292 CPUtime=3211.22 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 142677 0 0 0 321058 64 0 0 20 0 1 0 143091558 1320374272 287573 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 287573 421 379 0 321891 0
Current children cumulated CPU time: 3211.22 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1153056 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.11 1.26 2/237 735015
/proc/meminfo: memFree=128382388/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1154388 CPUtime=3271.02 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 143102 0 0 0 327038 64 0 0 20 0 1 0 143091558 1320374272 288597 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 288597 421 379 0 321891 0
Current children cumulated CPU time: 3271.02 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1157152 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.10 1.25 2/235 735025
/proc/meminfo: memFree=128373572/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1162600 CPUtime=3330.82 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 143527 0 0 0 333018 64 0 0 20 0 1 0 143091558 1320374272 290650 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 290650 421 379 0 321891 0
Current children cumulated CPU time: 3330.82 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1165364 KiB

[startup+3402.3 s]
/proc/loadavg: 1.07 1.10 1.24 2/235 735036
/proc/meminfo: memFree=128394344/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1140996 CPUtime=3390.63 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 144142 0 0 0 338997 66 0 0 20 0 1 0 143091558 1320374272 285249 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 285249 421 379 0 321891 0
Current children cumulated CPU time: 3390.63 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1143760 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.09 1.23 2/235 735047
/proc/meminfo: memFree=128387628/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1147140 CPUtime=3450.43 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 144512 0 0 0 344977 66 0 0 20 0 1 0 143091558 1320374272 286785 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 286785 421 379 0 321891 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1149904 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.09 1.22 2/234 735058
/proc/meminfo: memFree=128380712/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1153336 CPUtime=3510.24 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 144942 0 0 0 350958 66 0 0 20 0 1 0 143091558 1320374272 288334 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 288334 421 379 0 321891 0
Current children cumulated CPU time: 3510.24 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1156100 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.10 1.21 2/234 735068
/proc/meminfo: memFree=128373568/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1159480 CPUtime=3570.04 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 145358 0 0 0 356938 66 0 0 20 0 1 0 143091558 1320374272 289870 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 289870 421 379 0 321891 0
Current children cumulated CPU time: 3570.04 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1162244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 1.14 1.10 1.21 2/236 735076
/proc/meminfo: memFree=128371376/131524600 swapFree=131071996/131071996
[pid=732973] ppid=732970 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/732973/stat : 732973 (naps-1.02b5.sh) S 732970 732973 727686 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 143091558 10170368 691 134679101440 94728169299968 94728170379288 140721793292832 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94728172477744 94728172524932 94728199446528 140721793299372 140721793299499 140721793299499 140721793306566 0
/proc/732973/statm: 2483 691 614 264 0 134 0
[pid=732978] ppid=732973 vsize=1289428 memory=1161528 CPUtime=3600.05 cores=0,2
/proc/732978/stat : 732978 (naps-1.02b5) R 732973 732973 727686 0 -1 4194304 145605 0 0 0 359938 67 0 0 20 0 1 0 143091558 1320374272 290382 134679101440 4194304 5746509 140728669681776 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20606976 140728669684667 140728669684781 140728669684781 140728669691849 0
/proc/732978/statm: 322357 290382 421 379 0 321891 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1299360 KiB
Current children cumulated memory: 1164292 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.39 s, system=0.675182 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): 3612.4
CPU time (s): 3600.07
CPU user time (s): 3599.39
CPU system time (s): 0.675182
CPU usage (%): 99.6585
Max. virtual memory (cumulated for all children) (KiB): 1429588
Max. memory (cumulated for all children) (KiB): 1253972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 0.675182
maximum resident set size= 1251208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146085
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= 151
involuntary context switches= 24696


# summary of solver processes directly reported to runsolver:
#   pid: 732973
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.39
#   total CPU system time (s): 0.675182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01849 second user time and 16.6013 second system time

The end