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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434227-1721069087/watcher-4434227-1721069087 -o /tmp/evaluation-result-4434227-1721069087/solver-4434227-1721069087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721063459-838783 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434227-1721069087.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=842480, runsolver pid=842477
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.15 4.14 4.14 5/261 842485
/proc/meminfo: memFree=112662376/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=10140 memory=8772 CPUtime=0.09 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 1742 0 0 0 9 0 0 0 20 0 1 0 159074080 10383360 2193 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 2535 2193 580 659 0 1739 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20072 KiB
Current children cumulated memory: 11440 KiB

[startup+0.205966 s]*
/proc/loadavg: 4.15 4.14 4.14 5/261 842485
/proc/meminfo: memFree=112652156/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=21496 memory=19868 CPUtime=0.19 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 4616 0 0 0 19 0 0 0 20 0 1 0 159074080 22011904 4967 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 5374 4967 596 659 0 4578 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 31428 KiB
Current children cumulated memory: 22536 KiB

[startup+0.305857 s]*
/proc/loadavg: 4.15 4.14 4.14 5/261 842485
/proc/meminfo: memFree=112649624/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=22420 memory=21020 CPUtime=0.3 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 5061 0 0 0 29 1 0 0 20 0 1 0 159074080 22958080 5255 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 5605 5255 596 659 0 4809 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32352 KiB
Current children cumulated memory: 23688 KiB

[startup+0.700243 s]
/proc/loadavg: 4.15 4.14 4.14 5/261 842485
/proc/meminfo: memFree=112827452/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=78992 memory=73504 CPUtime=0.69 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 17877 0 0 0 65 4 0 0 20 0 1 0 159074080 80887808 18376 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 19748 18376 644 659 0 18952 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 88924 KiB
Current children cumulated memory: 76172 KiB

[startup+1.50028 s]
/proc/loadavg: 4.15 4.14 4.14 5/261 842485
/proc/meminfo: memFree=112684320/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=78912 memory=75360 CPUtime=1.48 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 20716 0 0 0 143 5 0 0 20 0 1 0 159074080 80805888 18840 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 19728 18840 660 659 0 18932 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88844 KiB
Current children cumulated memory: 78028 KiB

[startup+3.10575 s]
/proc/loadavg: 4.14 4.13 4.14 5/261 842485
/proc/meminfo: memFree=112585172/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=88964 memory=85964 CPUtime=3.08 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 21799 0 0 0 303 5 0 0 20 0 1 0 159074080 91099136 21491 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 22241 21491 660 659 0 21445 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 98896 KiB
Current children cumulated memory: 88632 KiB

[startup+6.30027 s]
/proc/loadavg: 4.14 4.13 4.14 5/261 842485
/proc/meminfo: memFree=112585144/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=88964 memory=85964 CPUtime=6.27 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 21810 0 0 0 622 5 0 0 20 0 1 0 159074080 91099136 21491 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 22241 21491 660 659 0 21445 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 98896 KiB
Current children cumulated memory: 88632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.14 5/261 842486
/proc/meminfo: memFree=112582704/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=88964 memory=86104 CPUtime=12.65 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 22452 0 0 0 1260 5 0 0 20 0 1 0 159074080 91099136 21526 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 22241 21526 660 659 0 21445 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 98896 KiB
Current children cumulated memory: 88772 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.12 4.13 5/259 842488
/proc/meminfo: memFree=112563352/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=93280 memory=90420 CPUtime=25.41 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 23643 0 0 0 2535 6 0 0 20 0 1 0 159074080 95518720 22605 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 23320 22605 660 659 0 22524 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 103212 KiB
Current children cumulated memory: 93088 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.13 4.13 5/259 842493
/proc/meminfo: memFree=112815080/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=95620 memory=92760 CPUtime=50.94 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 26469 0 0 0 5087 7 0 0 20 0 1 0 159074080 97914880 23190 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 23905 23190 660 659 0 23109 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 105552 KiB
Current children cumulated memory: 95428 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/259 842502
/proc/meminfo: memFree=112809876/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=95620 memory=92760 CPUtime=101.98 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 26482 0 0 0 10191 7 0 0 20 0 1 0 159074080 97914880 23190 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 23905 23190 660 659 0 23109 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 105552 KiB
Current children cumulated memory: 95428 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/259 842514
/proc/meminfo: memFree=112792312/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=111280 memory=108420 CPUtime=161.81 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 31937 0 0 0 16172 9 0 0 20 0 1 0 159074080 113950720 27105 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 27820 27105 660 659 0 27024 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 121212 KiB
Current children cumulated memory: 111088 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.15 4.14 5/259 842525
/proc/meminfo: memFree=112097376/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=117176 memory=114316 CPUtime=221.63 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 34839 0 0 0 22153 10 0 0 20 0 1 0 159074080 119988224 28579 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 29294 28579 660 659 0 28498 0
Current children cumulated CPU time: 221.63 s

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

/proc/loadavg: 4.16 4.19 4.13 5/259 844330
/proc/meminfo: memFree=122964796/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=214912 memory=213744 CPUtime=3033.49 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 83145 0 0 0 303309 40 0 0 20 0 1 0 159074080 220069888 53436 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 53728 53436 660 659 0 52932 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 224844 KiB
Current children cumulated memory: 216412 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/259 844340
/proc/meminfo: memFree=123000284/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=156296 memory=155256 CPUtime=3093.32 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 83868 0 0 0 309292 40 0 0 20 0 1 0 159074080 160047104 38814 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 39074 38814 660 659 0 38278 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 166228 KiB
Current children cumulated memory: 157924 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/259 844351
/proc/meminfo: memFree=123001948/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=185028 memory=183700 CPUtime=3153.16 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 85598 0 0 0 315274 42 0 0 20 0 1 0 159074080 189468672 45925 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 46257 45925 660 659 0 45461 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 194960 KiB
Current children cumulated memory: 186368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/259 844410
/proc/meminfo: memFree=123543844/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=185028 memory=183860 CPUtime=3212.99 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 86589 0 0 0 321256 43 0 0 20 0 1 0 159074080 189468672 45965 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 46257 45965 660 659 0 45461 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 194960 KiB
Current children cumulated memory: 186528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/260 844422
/proc/meminfo: memFree=123483284/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=220628 memory=219196 CPUtime=3272.82 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 88029 0 0 0 327238 44 0 0 20 0 1 0 159074080 225923072 54799 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 55157 54799 660 659 0 54361 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 230560 KiB
Current children cumulated memory: 221864 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.12 5/263 844438
/proc/meminfo: memFree=123479500/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=219652 memory=218448 CPUtime=3332.67 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 89094 0 0 0 333222 45 0 0 20 0 1 0 159074080 224923648 54612 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 54913 54612 660 659 0 54117 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 229584 KiB
Current children cumulated memory: 221116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/263 844449
/proc/meminfo: memFree=123491396/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=186876 memory=185836 CPUtime=3392.52 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 89777 0 0 0 339206 46 0 0 20 0 1 0 159074080 191361024 46459 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 46719 46459 660 659 0 45923 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 188504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.14 4.11 5/263 844460
/proc/meminfo: memFree=123485188/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=189684 memory=188644 CPUtime=3452.37 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 90991 0 0 0 345189 48 0 0 20 0 1 0 159074080 194236416 47161 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 47421 47161 660 659 0 46625 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 199616 KiB
Current children cumulated memory: 191312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/263 844471
/proc/meminfo: memFree=123467548/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=198744 memory=197704 CPUtime=3512.21 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 92925 0 0 0 351170 51 0 0 20 0 1 0 159074080 203513856 49426 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 49686 49426 660 659 0 48890 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 208676 KiB
Current children cumulated memory: 200372 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 844483
/proc/meminfo: memFree=123502980/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=157256 memory=156088 CPUtime=3572.05 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 94609 0 0 0 357153 52 0 0 20 0 1 0 159074080 161030144 39022 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 39314 39022 660 659 0 38518 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 167188 KiB
Current children cumulated memory: 158756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.29 4.16 4.11 5/262 844488
/proc/meminfo: memFree=123472428/131524600 swapFree=131071996/131071996
[pid=842480] ppid=842477 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/842480/stat : 842480 (naps-1.03.sh) S 842477 842480 838771 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 159074080 10170368 667 134679101440 94731926872064 94731927951384 140731561778544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94731930049840 94731930097028 94731957243904 140731561784292 140731561784417 140731561784417 140731561791432 0
/proc/842480/statm: 2483 667 587 264 0 134 0
[pid=842485] ppid=842480 vsize=188968 memory=187552 CPUtime=3600.08 cores=1,3
/proc/842485/stat : 842485 (naps-1.03) R 842480 842480 838771 0 -1 4194304 94873 0 0 0 359955 53 0 0 20 0 1 0 159074080 193503232 46888 134679101440 4194304 6891213 140734452656112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33423360 140734452663285 140734452663397 140734452663397 140734452670411 0
/proc/842485/statm: 47242 46888 660 659 0 46446 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 198900 KiB
Current children cumulated memory: 190220 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.56 s, system=0.536911 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): 3610.4
CPU time (s): 3600.1
CPU user time (s): 3599.56
CPU system time (s): 0.536911
CPU usage (%): 99.7146
Max. virtual memory (cumulated for all children) (KiB): 267872
Max. memory (cumulated for all children) (KiB): 259316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 0.536911
maximum resident set size= 256648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95348
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= 49
involuntary context switches= 1422


# summary of solver processes directly reported to runsolver:
#   pid: 842480
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.56
#   total CPU system time (s): 0.536911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03332 second user time and 18.0733 second system time

The end