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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456466-1721721988/watcher-4456466-1721721988 -o /tmp/evaluation-result-4456466-1721721988/solver-4456466-1721721988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721718378-86753 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456466-1721721988.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=88781, runsolver pid=88778
Current StackSize limit: 8192 KiB


[startup+0.100387 s]*
/proc/loadavg: 4.10 4.13 4.11 5/258 88786
/proc/meminfo: memFree=109565620/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=10968 memory=9624 CPUtime=0.08 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2078 0 0 0 8 0 0 0 20 0 1 0 8722138 11231232 2406 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 2742 2406 612 659 0 1946 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20900 KiB
Current children cumulated memory: 12280 KiB

[startup+0.206384 s]*
/proc/loadavg: 4.10 4.13 4.11 4/252 88794
/proc/meminfo: memFree=109978920/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=11844 memory=10152 CPUtime=0.18 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2253 0 0 0 18 0 0 0 20 0 1 0 8722138 12128256 2538 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 2961 2538 612 659 0 2165 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 21776 KiB
Current children cumulated memory: 12808 KiB

[startup+0.306385 s]*
/proc/loadavg: 4.10 4.13 4.11 4/254 88800
/proc/meminfo: memFree=109977888/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=11976 memory=10416 CPUtime=0.27 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2266 0 0 0 27 0 0 0 20 0 1 0 8722138 12263424 2604 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 2994 2604 612 659 0 2198 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 21908 KiB
Current children cumulated memory: 13072 KiB

[startup+0.700207 s]
/proc/loadavg: 4.10 4.13 4.11 6/254 88826
/proc/meminfo: memFree=109977760/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=12108 memory=10416 CPUtime=0.66 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2304 0 0 0 66 0 0 0 20 0 1 0 8722138 12398592 2604 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 3027 2604 612 659 0 2231 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 22040 KiB
Current children cumulated memory: 13072 KiB

[startup+1.50028 s]
/proc/loadavg: 4.10 4.13 4.11 5/258 88836
/proc/meminfo: memFree=109972236/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=12372 memory=10680 CPUtime=1.46 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2369 0 0 0 146 0 0 0 20 0 1 0 8722138 12668928 2670 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 3093 2670 612 659 0 2297 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 22304 KiB
Current children cumulated memory: 13336 KiB

[startup+3.10532 s]
/proc/loadavg: 4.09 4.13 4.11 5/259 88937
/proc/meminfo: memFree=110450240/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=12820 memory=11208 CPUtime=3.07 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2476 0 0 0 306 1 0 0 20 0 1 0 8722138 13127680 2802 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 3205 2802 612 659 0 2409 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 22752 KiB
Current children cumulated memory: 13864 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.13 4.11 5/259 88937
/proc/meminfo: memFree=108793180/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=13480 memory=12116 CPUtime=6.26 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2634 0 0 0 625 1 0 0 20 0 1 0 8722138 13803520 3029 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 3370 3029 612 659 0 2574 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 23412 KiB
Current children cumulated memory: 14772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.12 5/259 88939
/proc/meminfo: memFree=107367800/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=13480 memory=12116 CPUtime=12.65 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 2649 0 0 0 1264 1 0 0 20 0 1 0 8722138 13803520 3029 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 3370 3029 612 659 0 2574 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23412 KiB
Current children cumulated memory: 14772 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.11 5/259 88940
/proc/meminfo: memFree=102791892/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=2588928 memory=2456176 CPUtime=25.41 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 193188 0 0 0 2461 80 0 0 20 0 1 0 8722138 2651062272 614044 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 647232 614044 644 659 0 646436 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2598860 KiB
Current children cumulated memory: 2458832 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.12 4.11 5/259 88945
/proc/meminfo: memFree=102052652/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3495584 memory=3238368 CPUtime=50.96 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 244552 0 0 0 4933 163 0 0 20 0 1 0 8722138 3579478016 809592 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 873896 809592 660 659 0 873100 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3505516 KiB
Current children cumulated memory: 3241024 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/259 88955
/proc/meminfo: memFree=103747348/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=2733124 memory=2633960 CPUtime=102.03 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 270108 0 0 0 9968 235 0 0 20 0 1 0 8722138 2798718976 658490 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 683281 658490 660 659 0 682485 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2743056 KiB
Current children cumulated memory: 2636616 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/261 88969
/proc/meminfo: memFree=103669108/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3117360 memory=2847416 CPUtime=161.87 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 300992 0 0 0 15875 312 0 0 20 0 1 0 8722138 3192176640 711854 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 779340 711854 660 659 0 778544 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 3127292 KiB
Current children cumulated memory: 2850072 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/261 88980
/proc/meminfo: memFree=103643916/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3050336 memory=2817672 CPUtime=221.72 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 308816 0 0 0 21826 346 0 0 20 0 1 0 8722138 3123544064 704418 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 762584 704418 660 659 0 761788 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 3060268 KiB

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

/proc/88786/statm: 810768 709424 660 659 0 809972 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 3253004 KiB
Current children cumulated memory: 2840352 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/260 90512
/proc/meminfo: memFree=96288264/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3482416 memory=3077040 CPUtime=3093.95 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 467615 0 0 0 308513 882 0 0 20 0 1 0 8722138 3565993984 769260 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 870604 769260 660 659 0 869808 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 3492348 KiB
Current children cumulated memory: 3079696 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/263 90693
/proc/meminfo: memFree=96282672/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3482416 memory=3077040 CPUtime=3153.81 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 470080 0 0 0 314495 886 0 0 20 0 1 0 8722138 3565993984 769260 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 870604 769260 660 659 0 869808 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 3492348 KiB
Current children cumulated memory: 3079696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/263 90703
/proc/meminfo: memFree=96204232/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3485160 memory=3079744 CPUtime=3213.67 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 471360 0 0 0 320476 891 0 0 20 0 1 0 8722138 3568803840 769936 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 871290 769936 660 659 0 870494 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 3495092 KiB
Current children cumulated memory: 3082400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.15 4.15 5/261 90727
/proc/meminfo: memFree=96536868/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3243072 memory=2837696 CPUtime=3273.52 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 473132 0 0 0 326459 893 0 0 20 0 1 0 8722138 3320905728 709424 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 810768 709424 660 659 0 809972 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 3253004 KiB
Current children cumulated memory: 2840352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/261 90738
/proc/meminfo: memFree=96146808/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3484700 memory=3079324 CPUtime=3333.37 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 474684 0 0 0 332440 897 0 0 20 0 1 0 8722138 3568332800 769831 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 871175 769831 660 659 0 870379 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 3494632 KiB
Current children cumulated memory: 3081980 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/261 90748
/proc/meminfo: memFree=96525428/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3243072 memory=2837696 CPUtime=3393.21 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 475697 0 0 0 338424 897 0 0 20 0 1 0 8722138 3320905728 709424 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 810768 709424 660 659 0 809972 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 3253004 KiB
Current children cumulated memory: 2840352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/260 90759
/proc/meminfo: memFree=96230676/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3489080 memory=3083664 CPUtime=3453.08 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 479561 0 0 0 344396 912 0 0 20 0 1 0 8722138 3572817920 770916 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 872270 770916 660 659 0 871474 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 3499012 KiB
Current children cumulated memory: 3086320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/260 90771
/proc/meminfo: memFree=96207252/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3489080 memory=3083704 CPUtime=3512.93 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 480402 0 0 0 350381 912 0 0 20 0 1 0 8722138 3572817920 770926 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 872270 770926 660 659 0 871474 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 3499012 KiB
Current children cumulated memory: 3086360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/259 90782
/proc/meminfo: memFree=96503588/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3243072 memory=2838800 CPUtime=3572.79 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 481268 0 0 0 356367 912 0 0 20 0 1 0 8722138 3320905728 709700 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 810768 709700 660 659 0 809972 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 3253004 KiB
Current children cumulated memory: 2841456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.07 4.10 4.12 5/259 90788
/proc/meminfo: memFree=95542904/131524600 swapFree=131071996/131071996
[pid=88781] ppid=88778 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/88781/stat : 88781 (naps-1.03.sh) S 88778 88781 86742 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 8722138 10170368 664 134679101440 94374526754816 94374527834136 140727256943280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94374529932592 94374529979780 94374530916352 140727256945635 140727256945760 140727256945760 140727256952776 0
/proc/88781/statm: 2483 664 585 264 0 134 0
[pid=88786] ppid=88781 vsize=3486624 memory=3082352 CPUtime=3600.02 cores=4,6
/proc/88786/stat : 88786 (naps-1.03) R 88781 88781 86742 0 -1 4194304 485040 0 0 0 359076 926 0 0 20 0 1 0 8722138 3570302976 770588 134679101440 4194304 6891213 140733193735664 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34476032 140733193737204 140733193737316 140733193737316 140733193744331 0
/proc/88786/statm: 871656 770588 660 659 0 870860 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3496556 KiB
Current children cumulated memory: 3085008 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000838 s, system=0.001959 s

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

# cumulated CPU time of all completed processes:  user=3590.77 s, system=9.27822 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

Child status: 10

Real time (s): 3609.61
CPU time (s): 3600.05
CPU user time (s): 3590.77
CPU system time (s): 9.27822
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 4121556
Max. memory (cumulated for all children) (KiB): 3719436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.77
system time used= 9.27822
maximum resident set size= 3716780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485501
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= 265
involuntary context switches= 1820


# summary of solver processes directly reported to runsolver:
#   pid: 88781,88786
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3590.77
#   total CPU system time (s): 9.27822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.69479 second user time and 17.0116 second system time

The end