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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455985-1721718380/watcher-4455985-1721718380 -o /tmp/evaluation-result-4455985-1721718380/solver-4455985-1721718380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721718380-89463 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4455985-1721718380.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=89520, runsolver pid=89510
Current StackSize limit: 8192 KiB


[startup+0.100939 s]*
/proc/loadavg: 1.50 1.88 2.02 8/259 89545
/proc/meminfo: memFree=105714016/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=21240 memory=18404 CPUtime=0.09 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 4797 0 0 0 9 0 0 0 20 0 1 0 8366242 21749760 4601 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 5310 4601 468 659 0 4514 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31172 KiB
Current children cumulated memory: 21080 KiB

[startup+0.206457 s]*
/proc/loadavg: 1.50 1.88 2.02 5/259 89545
/proc/meminfo: memFree=105658664/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=48992 memory=43156 CPUtime=0.2 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 10618 0 0 0 18 2 0 0 20 0 1 0 8366242 50167808 10789 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 12248 10789 468 659 0 11452 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58924 KiB
Current children cumulated memory: 45832 KiB

[startup+0.306036 s]*
/proc/loadavg: 1.50 1.88 2.02 6/259 89545
/proc/meminfo: memFree=105608152/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=63308 memory=56656 CPUtime=0.3 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 13523 0 0 0 28 2 0 0 20 0 1 0 8366242 64827392 14164 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 15827 14164 468 659 0 15031 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73240 KiB
Current children cumulated memory: 59332 KiB

[startup+0.700258 s]
/proc/loadavg: 1.50 1.88 2.02 6/259 89545
/proc/meminfo: memFree=105491288/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=87688 memory=77452 CPUtime=0.68 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 16800 0 0 0 66 2 0 0 20 0 1 0 8366242 89792512 19363 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 21922 19363 468 659 0 21126 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97620 KiB
Current children cumulated memory: 80128 KiB

[startup+1.50027 s]
/proc/loadavg: 1.50 1.88 2.02 6/259 89545
/proc/meminfo: memFree=105351456/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=87688 memory=80028 CPUtime=1.48 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 16926 0 0 0 146 2 0 0 20 0 1 0 8366242 89792512 20007 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 21922 20007 468 659 0 21126 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97620 KiB
Current children cumulated memory: 82704 KiB

[startup+3.10651 s]
/proc/loadavg: 1.50 1.88 2.02 6/259 89545
/proc/meminfo: memFree=105291548/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=106432 memory=85028 CPUtime=3.08 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 17676 0 0 0 305 3 0 0 20 0 1 0 8366242 108986368 21257 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 26608 21257 468 659 0 25812 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116364 KiB
Current children cumulated memory: 87704 KiB

[startup+6.30024 s]
/proc/loadavg: 1.70 1.92 2.03 6/259 89547
/proc/meminfo: memFree=105242888/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=106432 memory=90312 CPUtime=6.27 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 18305 0 0 0 623 4 0 0 20 0 1 0 8366242 108986368 22578 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 26608 22578 468 659 0 25812 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116364 KiB
Current children cumulated memory: 92988 KiB

[startup+12.7002 s]
/proc/loadavg: 1.89 1.95 2.04 6/259 89547
/proc/meminfo: memFree=105161124/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=125288 memory=119704 CPUtime=12.64 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 19051 0 0 0 1260 4 0 0 20 0 1 0 8366242 128294912 29926 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 31322 29926 468 659 0 30526 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135220 KiB
Current children cumulated memory: 122380 KiB

[startup+25.5003 s]
/proc/loadavg: 2.36 2.06 2.07 6/259 89548
/proc/meminfo: memFree=105046596/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=174608 memory=162780 CPUtime=25.4 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 20638 0 0 0 2533 7 0 0 20 0 1 0 8366242 178798592 40695 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 43652 40695 468 659 0 42856 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 184540 KiB
Current children cumulated memory: 165456 KiB

[startup+51.1065 s]
/proc/loadavg: 2.99 2.23 2.13 6/258 89553
/proc/meminfo: memFree=104983348/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=190352 memory=174448 CPUtime=50.92 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 23132 0 0 0 5081 11 0 0 20 0 1 0 8366242 194920448 43612 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 47588 43612 468 659 0 46792 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 200284 KiB
Current children cumulated memory: 177124 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.52 2.23 6/258 89561
/proc/meminfo: memFree=104920324/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=190352 memory=184676 CPUtime=101.94 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 26467 0 0 0 10179 15 0 0 20 0 1 0 8366242 194920448 46169 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 47588 46169 468 659 0 46792 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 200284 KiB
Current children cumulated memory: 187352 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.81 2.35 6/258 89571
/proc/meminfo: memFree=104793532/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=228036 memory=204004 CPUtime=161.74 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 30300 0 0 0 16153 21 0 0 20 0 1 0 8366242 233508864 51001 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 57009 51001 468 659 0 56213 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 237968 KiB
Current children cumulated memory: 206680 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.06 2.47 6/258 89582
/proc/meminfo: memFree=104802656/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=281624 memory=237520 CPUtime=221.5 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 32412 0 0 0 22125 25 0 0 20 0 1 0 8366242 288382976 59380 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 70406 59380 468 659 0 69610 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 291556 KiB

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

/proc/89543/statm: 91523 84776 468 659 0 90727 0
Current children cumulated CPU time: 3030.63 s
Current children cumulated vsize: 376024 KiB
Current children cumulated memory: 341780 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.02 6/258 91101
/proc/meminfo: memFree=104072680/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=366092 memory=359584 CPUtime=3090.41 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 80677 0 0 0 308931 110 0 0 20 0 1 0 8366242 374878208 89896 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 91523 89896 468 659 0 90727 0
Current children cumulated CPU time: 3090.41 s
Current children cumulated vsize: 376024 KiB
Current children cumulated memory: 362260 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/258 91279
/proc/meminfo: memFree=103935600/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=447480 memory=376732 CPUtime=3150.18 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 80981 0 0 0 314908 110 0 0 20 0 1 0 8366242 458219520 94183 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 111870 94183 468 659 0 111074 0
Current children cumulated CPU time: 3150.18 s
Current children cumulated vsize: 457412 KiB
Current children cumulated memory: 379408 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/258 91289
/proc/meminfo: memFree=103810572/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=448916 memory=388028 CPUtime=3209.96 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 81356 0 0 0 320885 111 0 0 20 0 1 0 8366242 459689984 97007 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 112229 97007 468 659 0 111433 0
Current children cumulated CPU time: 3209.96 s
Current children cumulated vsize: 458848 KiB
Current children cumulated memory: 390704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.03 6/259 91315
/proc/meminfo: memFree=103797248/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=450264 memory=403388 CPUtime=3269.74 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 81752 0 0 0 326863 111 0 0 20 0 1 0 8366242 461070336 100847 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 112566 100847 468 659 0 111770 0
Current children cumulated CPU time: 3269.74 s
Current children cumulated vsize: 460196 KiB
Current children cumulated memory: 406064 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.03 6/259 91327
/proc/meminfo: memFree=103848136/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=452412 memory=415176 CPUtime=3329.53 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 82185 0 0 0 332841 112 0 0 20 0 1 0 8366242 463269888 103794 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 113103 103794 468 659 0 112307 0
Current children cumulated CPU time: 3329.53 s
Current children cumulated vsize: 462344 KiB
Current children cumulated memory: 417852 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.03 6/259 91337
/proc/meminfo: memFree=104035040/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=322412 memory=310200 CPUtime=3389.31 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 83142 0 0 0 338816 115 0 0 20 0 1 0 8366242 330149888 77550 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 80603 77550 468 659 0 79807 0
Current children cumulated CPU time: 3389.31 s
Current children cumulated vsize: 332344 KiB
Current children cumulated memory: 312876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.51 4.19 4.07 6/258 91347
/proc/meminfo: memFree=104039544/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=372500 memory=329756 CPUtime=3449.09 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 83569 0 0 0 344793 116 0 0 20 0 1 0 8366242 381440000 82439 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 93125 82439 468 659 0 92329 0
Current children cumulated CPU time: 3449.09 s
Current children cumulated vsize: 382432 KiB
Current children cumulated memory: 332432 KiB

[startup+3522.3 s]
/proc/loadavg: 5.10 4.50 4.18 6/258 91358
/proc/meminfo: memFree=103897428/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=372752 memory=344172 CPUtime=3508.86 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 83727 0 0 0 350769 117 0 0 20 0 1 0 8366242 381698048 86043 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 93188 86043 468 659 0 92392 0
Current children cumulated CPU time: 3508.86 s
Current children cumulated vsize: 382684 KiB
Current children cumulated memory: 346848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.55 4.45 4.18 6/256 91368
/proc/meminfo: memFree=103749308/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=372752 memory=358692 CPUtime=3568.63 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 83847 0 0 0 356746 117 0 0 20 0 1 0 8366242 381698048 89673 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 93188 89673 468 659 0 92392 0
Current children cumulated CPU time: 3568.63 s
Current children cumulated vsize: 382684 KiB
Current children cumulated memory: 361368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.8 s]
/proc/loadavg: 4.33 4.41 4.18 5/256 91524
/proc/meminfo: memFree=104886808/131524600 swapFree=131071996/131071996
[pid=89520] ppid=89510 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/89520/stat : 89520 (naps-1.03.sh) S 89510 89520 89453 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 669 134679101440 93958834774016 93958835853336 140732538801440 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93958837951792 93958837998980 93958841298944 140732538807267 140732538807396 140732538807396 140732538814408 0
/proc/89520/statm: 2483 669 589 264 0 134 0
[pid=89543] ppid=89520 vsize=454140 memory=365444 CPUtime=3600.02 cores=0,2
/proc/89543/stat : 89543 (naps-1.03) R 89520 89520 89453 0 -1 4194304 84134 0 0 0 359884 118 0 0 20 0 1 0 8366242 465039360 91361 134679101440 4194304 6891213 140736968997616 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33087488 140736968999924 140736969000040 140736969000040 140736969007051 0
/proc/89543/statm: 113535 91361 468 659 0 112739 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 464072 KiB
Current children cumulated memory: 368120 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000966 s, system=0.002115 s

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

# cumulated CPU time of all completed processes:  user=3598.85 s, system=1.18837 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): 3613.81
CPU time (s): 3600.03
CPU user time (s): 3598.85
CPU system time (s): 1.18837
CPU usage (%): 99.6189
Max. virtual memory (cumulated for all children) (KiB): 537552
Max. memory (cumulated for all children) (KiB): 425328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.18837
maximum resident set size= 490184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84598
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= 211
involuntary context switches= 24696


# summary of solver processes directly reported to runsolver:
#   pid: 89520,89543
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.85
#   total CPU system time (s): 1.18837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00392 second user time and 20.9008 second system time

The end