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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461302-1722076125/watcher-4461302-1722076125 -o /tmp/evaluation-result-4461302-1722076125/solver-4461302-1722076125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722075775-322318 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461302-1722076125.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100083 s]*
/proc/loadavg: 4.13 3.89 3.55 5/250 323317
/proc/meminfo: memFree=126061356/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=10940 memory=8612 CPUtime=0.09 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 2102 0 0 0 9 0 0 0 20 0 1 0 43601408 11202560 2153 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 2735 2153 468 659 0 1939 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20872 KiB
Current children cumulated memory: 11420 KiB

[startup+0.21164 s]*
/proc/loadavg: 4.13 3.89 3.55 5/250 323317
/proc/meminfo: memFree=126053592/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=18504 memory=16040 CPUtime=0.2 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 4008 0 0 0 19 1 0 0 20 0 1 0 43601408 18948096 4010 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 4626 4010 468 659 0 3830 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28436 KiB
Current children cumulated memory: 18848 KiB

[startup+0.311575 s]*
/proc/loadavg: 4.13 3.89 3.55 5/250 323317
/proc/meminfo: memFree=126044012/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=26300 memory=22848 CPUtime=0.3 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 5764 0 0 0 29 1 0 0 20 0 1 0 43601408 26931200 5712 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 6575 5712 468 659 0 5779 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36232 KiB
Current children cumulated memory: 25656 KiB

[startup+0.700411 s]
/proc/loadavg: 4.13 3.89 3.55 5/250 323317
/proc/meminfo: memFree=126036756/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=36064 memory=30848 CPUtime=0.67 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 7200 0 0 0 65 2 0 0 20 0 1 0 43601408 36929536 7712 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 9016 7712 468 659 0 8220 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 33656 KiB

[startup+1.50041 s]
/proc/loadavg: 4.13 3.89 3.55 5/250 323317
/proc/meminfo: memFree=126029884/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=36064 memory=33096 CPUtime=1.47 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 7763 0 0 0 145 2 0 0 20 0 1 0 43601408 36929536 8274 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 9016 8274 468 659 0 8220 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 35904 KiB

[startup+3.11385 s]
/proc/loadavg: 4.13 3.89 3.55 5/250 323317
/proc/meminfo: memFree=126004588/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=38784 memory=35664 CPUtime=3.08 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 7923 0 0 0 306 2 0 0 20 0 1 0 43601408 39714816 8916 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 9696 8916 468 659 0 8900 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 38472 KiB

[startup+6.30038 s]
/proc/loadavg: 4.12 3.89 3.55 5/250 323317
/proc/meminfo: memFree=125974052/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=47600 memory=43616 CPUtime=6.26 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 8407 0 0 0 624 2 0 0 20 0 1 0 43601408 48742400 10904 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 11900 10904 468 659 0 11104 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 46424 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 3.89 3.55 5/250 323319
/proc/meminfo: memFree=125928856/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=71388 memory=54836 CPUtime=12.64 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 9432 0 0 0 1261 3 0 0 20 0 1 0 43601408 73101312 13709 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 17847 13709 468 659 0 17051 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 57644 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 3.91 3.56 5/250 323320
/proc/meminfo: memFree=125912436/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=71388 memory=68372 CPUtime=25.41 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 9861 0 0 0 2537 4 0 0 20 0 1 0 43601408 73101312 17093 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 17847 17093 468 659 0 17051 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 71180 KiB

[startup+51.1139 s]
/proc/loadavg: 4.10 3.92 3.58 5/250 323325
/proc/meminfo: memFree=125944008/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=103424 memory=96208 CPUtime=50.95 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 11873 0 0 0 5090 5 0 0 20 0 1 0 43601408 105906176 24052 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 25856 24052 468 659 0 25060 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 113356 KiB
Current children cumulated memory: 99016 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.95 3.61 5/250 323334
/proc/meminfo: memFree=125851988/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=103424 memory=100412 CPUtime=102 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 12201 0 0 0 10194 6 0 0 20 0 1 0 43601408 105906176 25103 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 25856 25103 468 659 0 25060 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 113356 KiB
Current children cumulated memory: 103220 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 3.99 3.64 5/251 323402
/proc/meminfo: memFree=125911488/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=116204 memory=113192 CPUtime=161.84 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 13444 0 0 0 16175 9 0 0 20 0 1 0 43601408 118992896 28298 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 29051 28298 468 659 0 28255 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 126136 KiB
Current children cumulated memory: 116000 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.01 3.67 5/251 323414
/proc/meminfo: memFree=125810340/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=165524 memory=148788 CPUtime=221.69 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 14525 0 0 0 22157 12 0 0 20 0 1 0 43601408 169496576 37197 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 41381 37197 468 659 0 40585 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 175456 KiB

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

/proc/loadavg: 4.13 4.16 4.14 5/246 324490
/proc/meminfo: memFree=124805396/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=270832 memory=222712 CPUtime=3034.12 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 61006 0 0 0 303317 95 0 0 20 0 1 0 43601408 277331968 55678 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 67708 55678 468 659 0 66912 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 225520 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/246 324500
/proc/meminfo: memFree=124689704/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=220744 memory=215496 CPUtime=3093.96 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 61930 0 0 0 309299 97 0 0 20 0 1 0 43601408 226041856 53874 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 55186 53874 468 659 0 54390 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 218304 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/249 324515
/proc/meminfo: memFree=124735252/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=189924 memory=186556 CPUtime=3153.8 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 62585 0 0 0 315281 99 0 0 20 0 1 0 43601408 194482176 46639 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 47481 46639 468 659 0 46685 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 199856 KiB
Current children cumulated memory: 189364 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/249 324527
/proc/meminfo: memFree=125259612/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=220744 memory=211400 CPUtime=3213.65 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 63241 0 0 0 321266 99 0 0 20 0 1 0 43601408 226041856 52850 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 55186 52850 468 659 0 54390 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 214208 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/249 324537
/proc/meminfo: memFree=125144924/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=189924 memory=178364 CPUtime=3273.49 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 63873 0 0 0 327249 100 0 0 20 0 1 0 43601408 194482176 44591 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 47481 44591 468 659 0 46685 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 199856 KiB
Current children cumulated memory: 181172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/248 324597
/proc/meminfo: memFree=124335608/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=270832 memory=220664 CPUtime=3333.32 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 64815 0 0 0 333230 102 0 0 20 0 1 0 43601408 277331968 55166 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 67708 55166 468 659 0 66912 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 223472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/248 324657
/proc/meminfo: memFree=123892784/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=220744 memory=205256 CPUtime=3393.15 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 65735 0 0 0 339211 104 0 0 20 0 1 0 43601408 226041856 51314 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 55186 51314 468 659 0 54390 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 208064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/246 325049
/proc/meminfo: memFree=123784316/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=270832 memory=235000 CPUtime=3452.97 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 67294 0 0 0 345191 106 0 0 20 0 1 0 43601408 277331968 58750 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 67708 58750 468 659 0 66912 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 237808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/246 325059
/proc/meminfo: memFree=123684488/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=220744 memory=199084 CPUtime=3512.81 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 69383 0 0 0 351170 111 0 0 20 0 1 0 43601408 226041856 49771 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 55186 49771 468 659 0 54390 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 201892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/247 325220
/proc/meminfo: memFree=122600596/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=270832 memory=230904 CPUtime=3572.63 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 69701 0 0 0 357152 111 0 0 20 0 1 0 43601408 277331968 57726 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 67708 57726 468 659 0 66912 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 233712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.05 4.10 4.10 5/250 325397
/proc/meminfo: memFree=122690604/131655788 swapFree=131058040/131071996
[pid=323312] ppid=323309 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/323312/stat : 323312 (naps-1.03.sh) S 323309 323312 322306 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 43601407 10170368 702 134679101440 94835195932672 94835197011992 140736709095792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94835199110448 94835199157636 94835215843328 140736709100509 140736709100638 140736709100638 140736709107656 0
/proc/323312/statm: 2483 702 624 264 0 134 0
[pid=323317] ppid=323312 vsize=189924 memory=186560 CPUtime=3600.06 cores=1,3
/proc/323317/stat : 323317 (naps-1.03) R 323312 323312 322306 0 -1 4194304 69971 0 0 0 359894 112 0 0 20 0 1 0 43601408 194482176 46640 134679101440 4194304 6891597 140721779512960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17989632 140721779516398 140721779516514 140721779516514 140721779523531 0
/proc/323317/statm: 47481 46640 468 659 0 46685 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 199856 KiB
Current children cumulated memory: 189368 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.95 s, system=1.13535 s

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

Child status: 10

Real time (s): 3609.8
CPU time (s): 3600.08
CPU user time (s): 3598.95
CPU system time (s): 1.13535
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 330084
Max. memory (cumulated for all children) (KiB): 243004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.13535
maximum resident set size= 272868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70448
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= 51
involuntary context switches= 3162


# summary of solver processes directly reported to runsolver:
#   pid: 323312
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.95
#   total CPU system time (s): 1.13535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2071 second user time and 37.4727 second system time

The end