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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461504-1722077125/watcher-4461504-1722077125 -o /tmp/evaluation-result-4461504-1722077125/solver-4461504-1722077125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722076890-315852 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461504-1722077125.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100624 s]*
/proc/loadavg: 4.17 3.01 2.75 5/265 317168
/proc/meminfo: memFree=103372108/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=14756 memory=12916 CPUtime=0.09 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 3194 0 0 0 9 0 0 0 20 0 1 0 44242782 15110144 3229 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 3689 3229 580 659 0 2893 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24688 KiB
Current children cumulated memory: 15684 KiB

[startup+0.20575 s]*
/proc/loadavg: 4.17 3.01 2.75 5/265 317168
/proc/meminfo: memFree=103361492/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=25904 memory=23636 CPUtime=0.19 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 5890 0 0 0 19 0 0 0 20 0 1 0 44242782 26525696 5909 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 6476 5909 580 659 0 5680 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35836 KiB
Current children cumulated memory: 26404 KiB

[startup+0.3057 s]*
/proc/loadavg: 4.17 3.01 2.75 5/265 317168
/proc/meminfo: memFree=103353592/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=33860 memory=32084 CPUtime=0.29 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 7951 0 0 0 28 1 0 0 20 0 1 0 44242782 34672640 8021 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 8465 8021 580 659 0 7669 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43792 KiB
Current children cumulated memory: 34852 KiB

[startup+0.700254 s]
/proc/loadavg: 4.17 3.01 2.75 5/265 317168
/proc/meminfo: memFree=103325472/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=55256 memory=53852 CPUtime=0.68 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 13414 0 0 0 67 1 0 0 20 0 1 0 44242782 56582144 13463 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56620 KiB

[startup+1.50026 s]
/proc/loadavg: 4.16 3.02 2.76 5/265 317168
/proc/meminfo: memFree=103312860/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=55256 memory=53852 CPUtime=1.48 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 13414 0 0 0 147 1 0 0 20 0 1 0 44242782 56582144 13463 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56620 KiB

[startup+3.10559 s]
/proc/loadavg: 4.16 3.02 2.76 5/265 317218
/proc/meminfo: memFree=104813952/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=55256 memory=53852 CPUtime=3.08 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 13415 0 0 0 307 1 0 0 20 0 1 0 44242782 56582144 13463 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56620 KiB

[startup+6.30025 s]
/proc/loadavg: 4.15 3.04 2.76 6/265 317219
/proc/meminfo: memFree=104445680/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=55256 memory=53852 CPUtime=6.27 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 13416 0 0 0 626 1 0 0 20 0 1 0 44242782 56582144 13463 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 3.06 2.77 5/262 317219
/proc/meminfo: memFree=105141488/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=55256 memory=53852 CPUtime=12.65 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 13418 0 0 0 1264 1 0 0 20 0 1 0 44242782 56582144 13463 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56620 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 3.12 2.80 5/262 317222
/proc/meminfo: memFree=101918276/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=3505252 memory=3372788 CPUtime=25.43 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 314879 0 0 0 2437 106 0 0 20 0 1 0 44242782 3589378048 843197 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 876313 843197 612 659 0 875517 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3515184 KiB
Current children cumulated memory: 3375556 KiB

[startup+51.1057 s]
/proc/loadavg: 4.40 3.27 2.86 5/259 317225
/proc/meminfo: memFree=96613136/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=9557584 memory=8566272 CPUtime=50.97 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 814609 0 0 0 4809 288 0 0 20 0 1 0 44242782 9786966016 2141568 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 2389396 2141568 644 659 0 2388600 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 9567516 KiB
Current children cumulated memory: 8569040 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 3.40 2.92 6/258 317235
/proc/meminfo: memFree=84488152/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=11939360 memory=11268816 CPUtime=102.03 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 1057752 0 0 0 9782 421 0 0 20 0 1 0 44242782 12225904640 2817204 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 2984840 2817204 644 659 0 2984044 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 11949292 KiB
Current children cumulated memory: 11271584 KiB

[startup+162.3 s]
/proc/loadavg: 4.33 3.59 3.02 6/258 317245
/proc/meminfo: memFree=76451516/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=13468920 memory=12904128 CPUtime=161.87 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 1338343 0 0 0 15709 478 0 0 20 0 1 0 44242782 13792174080 3226032 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 3367230 3226032 644 659 0 3366434 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 13478852 KiB
Current children cumulated memory: 12906896 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 3.69 3.09 5/258 317256
/proc/meminfo: memFree=74988324/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=14277520 memory=13712544 CPUtime=221.72 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 1368878 0 0 0 21503 669 0 0 20 0 1 0 44242782 14620180480 3428136 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 3569380 3428136 644 659 0 3568584 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 14287452 KiB

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

[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20760248 memory=17580248 CPUtime=3094.14 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2116983 0 0 0 304848 4566 0 0 20 0 1 0 44242782 21258493952 4395062 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190062 4395062 660 659 0 5189266 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 20770180 KiB
Current children cumulated memory: 17583016 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 319234
/proc/meminfo: memFree=96220012/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20760248 memory=17580248 CPUtime=3153.99 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2121419 0 0 0 310831 4568 0 0 20 0 1 0 44242782 21258493952 4395062 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190062 4395062 660 659 0 5189266 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 20770180 KiB
Current children cumulated memory: 17583016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 319245
/proc/meminfo: memFree=95761376/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=21259616 memory=18079616 CPUtime=3213.81 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2132441 0 0 0 316733 4648 0 0 20 0 1 0 44242782 21769846784 4519904 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5314904 4519904 660 659 0 5314108 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 21269548 KiB
Current children cumulated memory: 18082384 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/258 319255
/proc/meminfo: memFree=95545176/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=21146668 memory=17966668 CPUtime=3273.67 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2141399 0 0 0 322680 4687 0 0 20 0 1 0 44242782 21654188032 4491667 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5286667 4491667 660 659 0 5285871 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 21156600 KiB
Current children cumulated memory: 17969436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 319271
/proc/meminfo: memFree=95934176/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20762260 memory=17582260 CPUtime=3333.51 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2157248 0 0 0 328515 4836 0 0 20 0 1 0 44242782 21260554240 4395565 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190565 4395565 660 659 0 5189769 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 20772192 KiB
Current children cumulated memory: 17585028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/261 319283
/proc/meminfo: memFree=96126572/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20762260 memory=17582260 CPUtime=3393.32 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2161769 0 0 0 334495 4837 0 0 20 0 1 0 44242782 21260554240 4395565 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190565 4395565 660 659 0 5189769 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 20772192 KiB
Current children cumulated memory: 17585028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 319293
/proc/meminfo: memFree=96119352/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20762260 memory=17582260 CPUtime=3453.15 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2167255 0 0 0 340477 4838 0 0 20 0 1 0 44242782 21260554240 4395565 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190565 4395565 660 659 0 5189769 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 20772192 KiB
Current children cumulated memory: 17585028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/261 319304
/proc/meminfo: memFree=96089668/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20762260 memory=17582260 CPUtime=3512.99 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2171866 0 0 0 346459 4840 0 0 20 0 1 0 44242782 21260554240 4395565 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190565 4395565 660 659 0 5189769 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 20772192 KiB
Current children cumulated memory: 17585028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 319314
/proc/meminfo: memFree=96076680/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20762320 memory=17582320 CPUtime=3572.83 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2179381 0 0 0 352396 4887 0 0 20 0 1 0 44242782 21260615680 4395580 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190580 4395580 660 659 0 5189784 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 20772252 KiB
Current children cumulated memory: 17585088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 319320
/proc/meminfo: memFree=96076364/131524600 swapFree=131054992/131071996
[pid=317163] ppid=317160 vsize=9932 memory=2768 CPUtime=0 cores=4,6
/proc/317163/stat : 317163 (naps-1.03.sh) S 317160 317163 315841 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44242782 10170368 692 134679101440 93970240733184 93970241812504 140720600901008 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93970243910960 93970243958148 93970275184640 140720600908769 140720600908894 140720600908894 140720600915912 0
/proc/317163/statm: 2483 692 615 264 0 134 0
[pid=317168] ppid=317163 vsize=20762320 memory=17582320 CPUtime=3600.06 cores=4,6
/proc/317168/stat : 317168 (naps-1.03) R 317163 317163 315841 0 -1 4194304 2181629 0 0 0 355119 4887 0 0 20 0 1 0 44242782 21260615680 4395580 134679101440 4194304 6891597 140728603441472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24342528 140728603444210 140728603444322 140728603444322 140728603451339 0
/proc/317168/statm: 5190580 4395580 660 659 0 5189784 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 20772252 KiB
Current children cumulated memory: 17585088 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00088 s, system=0.001977 s

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

# cumulated CPU time of all completed processes:  user=3551.21 s, system=49.0114 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.72 s]*
/proc/loadavg: 4.08 4.09 4.09 5/260 319320
/proc/meminfo: memFree=104280944/131524600 swapFree=131054992/131071996
Current cumulated CPU time of completed processes: 0.002857 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3609.75
CPU time (s): 3600.22
CPU user time (s): 3551.21
CPU system time (s): 49.0114
CPU usage (%): 99.736
Max. virtual memory (cumulated for all children) (KiB): 25858580
Max. memory (cumulated for all children) (KiB): 21745176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.21
system time used= 49.0114
maximum resident set size= 22012744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2182094
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= 374
involuntary context switches= 2271


# summary of solver processes directly reported to runsolver:
#   pid: 317163,317168
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3551.21
#   total CPU system time (s): 49.0114

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9413 second user time and 18.7197 second system time

The end