runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (60977 MiB free)
  memory of node 1: 64473 MiB (61511 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456058-1721718429/watcher-4456058-1721718429 -o /tmp/evaluation-result-4456058-1721718429/solver-4456058-1721718429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721718429-79041 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456058-1721718429.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100201 s]*
/proc/loadavg: 1.00 1.21 1.60 6/249 79118
/proc/meminfo: memFree=125416492/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=6340 memory=5648 CPUtime=0.1 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 1172 0 0 0 10 0 0 0 20 0 1 0 7831730 6492160 1412 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 1585 1412 421 379 0 1119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 16272 KiB
Current children cumulated memory: 8380 KiB

[startup+0.223531 s]*
/proc/loadavg: 1.00 1.21 1.60 6/249 79118
/proc/meminfo: memFree=125397544/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=16908 memory=14128 CPUtime=0.22 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 3437 0 0 0 21 1 0 0 20 0 1 0 7831730 17313792 3532 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 4227 3532 421 379 0 3761 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 26840 KiB
Current children cumulated memory: 16860 KiB

[startup+0.313684 s]*
/proc/loadavg: 1.00 1.21 1.60 5/249 79118
/proc/meminfo: memFree=125387240/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=16908 memory=14920 CPUtime=0.31 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 3599 0 0 0 30 1 0 0 20 0 1 0 7831730 17313792 3730 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 4227 3730 421 379 0 3761 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26840 KiB
Current children cumulated memory: 17652 KiB

[startup+0.700373 s]
/proc/loadavg: 1.00 1.21 1.60 5/249 79118
/proc/meminfo: memFree=125377904/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=18964 memory=16504 CPUtime=0.67 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 4033 0 0 0 66 1 0 0 20 0 1 0 7831730 19419136 4126 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 4741 4126 421 379 0 4275 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 28896 KiB
Current children cumulated memory: 19236 KiB

[startup+1.50041 s]
/proc/loadavg: 1.00 1.21 1.60 5/249 79118
/proc/meminfo: memFree=125174688/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=26136 memory=20796 CPUtime=1.47 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 5552 0 0 0 145 2 0 0 20 0 1 0 7831730 26763264 5199 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 6534 5199 421 379 0 6068 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 36068 KiB
Current children cumulated memory: 23528 KiB

[startup+3.11404 s]
/proc/loadavg: 1.00 1.21 1.60 5/249 79118
/proc/meminfo: memFree=124378948/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=33348 memory=31792 CPUtime=3.08 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 7275 0 0 0 305 3 0 0 20 0 1 0 7831730 34148352 7948 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 8337 7948 421 379 0 7871 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43280 KiB
Current children cumulated memory: 34524 KiB

[startup+6.30038 s]
/proc/loadavg: 1.32 1.28 1.62 5/247 79120
/proc/meminfo: memFree=124225112/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=70876 memory=50648 CPUtime=6.26 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 8006 0 0 0 622 4 0 0 20 0 1 0 7831730 72577024 12662 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 17719 12662 421 379 0 17253 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80808 KiB
Current children cumulated memory: 53380 KiB

[startup+12.7004 s]
/proc/loadavg: 1.53 1.32 1.63 5/247 79120
/proc/meminfo: memFree=123265764/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=151016 memory=102272 CPUtime=12.64 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 9392 0 0 0 1257 7 0 0 20 0 1 0 7831730 154640384 25568 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 37754 25568 421 379 0 37288 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 160948 KiB
Current children cumulated memory: 105004 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 1.45 1.67 5/247 79173
/proc/meminfo: memFree=123661380/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=201104 memory=146440 CPUtime=25.41 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 10940 0 0 0 2530 11 0 0 20 0 1 0 7831730 205930496 36610 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 50276 36610 421 379 0 49810 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 211036 KiB
Current children cumulated memory: 149172 KiB

[startup+51.1135 s]
/proc/loadavg: 2.82 1.68 1.74 5/246 79226
/proc/meminfo: memFree=122559856/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=103164 memory=102104 CPUtime=50.95 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 13710 0 0 0 5079 16 0 0 20 0 1 0 7831730 105639936 25526 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 25791 25526 421 379 0 25325 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 113096 KiB
Current children cumulated memory: 104836 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.05 1.86 5/246 79383
/proc/meminfo: memFree=123100556/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=152484 memory=135132 CPUtime=102.02 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 15464 0 0 0 10173 29 0 0 20 0 1 0 7831730 156143616 33783 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 38121 33783 421 379 0 37655 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 162416 KiB
Current children cumulated memory: 137864 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.42 2.01 5/246 79593
/proc/meminfo: memFree=118137900/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=103164 memory=102104 CPUtime=161.86 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 16995 0 0 0 16146 40 0 0 20 0 1 0 7831730 105639936 25526 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 25791 25526 421 379 0 25325 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 113096 KiB
Current children cumulated memory: 104836 KiB

[startup+222.3 s]
/proc/loadavg: 4.70 2.93 2.21 5/247 79606
/proc/meminfo: memFree=102313336/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=103164 memory=102104 CPUtime=221.72 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 22229 0 0 0 22119 53 0 0 20 0 1 0 7831730 105639936 25526 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 25791 25526 421 379 0 25325 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 113096 KiB
Current children cumulated memory: 104836 KiB

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

/proc/loadavg: 4.08 4.13 4.09 5/248 81539
/proc/meminfo: memFree=108377552/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=370968 memory=291056 CPUtime=3093.61 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 230332 0 0 0 308939 422 0 0 20 0 1 0 7831730 379871232 72764 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 92742 72764 421 379 0 92276 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 380900 KiB
Current children cumulated memory: 293788 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/248 81550
/proc/meminfo: memFree=108507068/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=289580 memory=270608 CPUtime=3153.45 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 234031 0 0 0 314918 427 0 0 20 0 1 0 7831730 296529920 67652 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 72395 67652 421 379 0 71929 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 299512 KiB
Current children cumulated memory: 273340 KiB

[startup+3222.3 s]
/proc/loadavg: 5.17 4.41 4.19 5/249 81564
/proc/meminfo: memFree=108442160/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=289580 memory=246032 CPUtime=3213.29 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 238268 0 0 0 320896 433 0 0 20 0 1 0 7831730 296529920 61508 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 72395 61508 421 379 0 71929 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 299512 KiB
Current children cumulated memory: 248764 KiB

[startup+3282.3 s]
/proc/loadavg: 5.07 4.56 4.26 5/249 81586
/proc/meminfo: memFree=108498708/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=210136 memory=209020 CPUtime=3273.13 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 241795 0 0 0 326874 439 0 0 20 0 1 0 7831730 215179264 52255 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 52534 52255 421 379 0 52068 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 220068 KiB
Current children cumulated memory: 211752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.45 4.47 4.25 5/250 81598
/proc/meminfo: memFree=108337300/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=292140 memory=273024 CPUtime=3332.97 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 245107 0 0 0 332854 443 0 0 20 0 1 0 7831730 299151360 68256 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 73035 68256 421 379 0 72569 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 302072 KiB
Current children cumulated memory: 275756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.42 4.24 5/248 81608
/proc/meminfo: memFree=108509944/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=244028 memory=233600 CPUtime=3392.81 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 249127 0 0 0 338832 449 0 0 20 0 1 0 7831730 249884672 58400 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 61007 58400 421 379 0 60541 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 253960 KiB
Current children cumulated memory: 236332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.35 4.23 5/248 81618
/proc/meminfo: memFree=108372980/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=295308 memory=289736 CPUtime=3452.65 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 252063 0 0 0 344812 453 0 0 20 0 1 0 7831730 302395392 72434 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 73827 72434 421 379 0 73361 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 305240 KiB
Current children cumulated memory: 292468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.30 4.22 5/246 81628
/proc/meminfo: memFree=108311808/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=296432 memory=255856 CPUtime=3512.49 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 256538 0 0 0 350790 459 0 0 20 0 1 0 7831730 303546368 63964 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 74108 63964 421 379 0 73642 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 306364 KiB
Current children cumulated memory: 258588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.28 4.21 5/246 81639
/proc/meminfo: memFree=107428588/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=216444 memory=208248 CPUtime=3572.32 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 259450 0 0 0 356768 464 0 0 20 0 1 0 7831730 221638656 52062 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 54111 52062 421 379 0 53645 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 226376 KiB
Current children cumulated memory: 210980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.09 4.25 4.20 5/240 81651
/proc/meminfo: memFree=108904136/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=297352 memory=279352 CPUtime=3600.06 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 260973 0 0 0 359541 465 0 0 20 0 1 0 7831730 304488448 69838 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 74338 69838 421 379 0 73872 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 282084 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3595.42 s, system=4.66594 s

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

[startup+3610.11 s]
/proc/loadavg: 4.09 4.25 4.20 5/240 81651
/proc/meminfo: memFree=108904136/131655788 swapFree=131071996/131071996
[pid=79088] ppid=79081 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/79088/stat : 79088 (naps-1.02b5.sh) S 79081 79088 79028 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 7831729 10170368 683 134679101440 93881911230464 93881912309784 140737066240080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93881914408240 93881914455428 93881937989632 140737066243039 140737066243166 140737066243166 140737066250182 0
/proc/79088/statm: 2483 683 605 264 0 134 0
[pid=79097] ppid=79088 vsize=297352 memory=279352 CPUtime=3600.06 cores=5,7
/proc/79097/stat : 79097 (naps-1.02b5) R 79088 79088 79028 0 -1 4194304 260973 0 0 0 359541 465 0 0 20 0 1 0 7831730 304488448 69838 134679101440 4194304 5746509 140721757291824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9715712 140721757299694 140721757299808 140721757299808 140721757306825 0
/proc/79097/statm: 74338 69838 421 379 0 73872 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 282084 KiB

Child status: 10

Real time (s): 3610.12
CPU time (s): 3600.09
CPU user time (s): 3595.42
CPU system time (s): 4.66594
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 433500
Max. memory (cumulated for all children) (KiB): 328596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 4.66594
maximum resident set size= 347356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261451
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= 36
involuntary context switches= 4531


# summary of solver processes directly reported to runsolver:
#   pid: 79088
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.42
#   total CPU system time (s): 4.66594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2251 second user time and 38.1395 second system time

The end