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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463578-1722353410/watcher-4463578-1722353410 -o /tmp/evaluation-result-4463578-1722353410/solver-4463578-1722353410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722352470-14080 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463578-1722353410.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=16502, runsolver pid=16499
Current StackSize limit: 8192 KiB


[startup+0.100419 s]*
/proc/loadavg: 4.11 4.02 3.36 5/266 16507
/proc/meminfo: memFree=96655368/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=10968 memory=9624 CPUtime=0.09 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2078 0 0 0 9 0 0 0 20 0 1 0 1940871 11231232 2406 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 2742 2406 612 659 0 1946 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20900 KiB
Current children cumulated memory: 12232 KiB

[startup+0.204962 s]*
/proc/loadavg: 4.10 4.01 3.36 5/266 16507
/proc/meminfo: memFree=96665120/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=11844 memory=10152 CPUtime=0.2 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2255 0 0 0 20 0 0 0 20 0 1 0 1940871 12128256 2538 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 2961 2538 612 659 0 2165 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21776 KiB
Current children cumulated memory: 12760 KiB

[startup+0.305472 s]*
/proc/loadavg: 4.10 4.01 3.36 5/266 16507
/proc/meminfo: memFree=96646236/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=11976 memory=10416 CPUtime=0.3 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2266 0 0 0 30 0 0 0 20 0 1 0 1940871 12263424 2604 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 2994 2604 612 659 0 2198 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21908 KiB
Current children cumulated memory: 13024 KiB

[startup+0.700197 s]
/proc/loadavg: 4.10 4.01 3.36 5/266 16507
/proc/meminfo: memFree=96600956/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=12108 memory=10416 CPUtime=0.69 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2306 0 0 0 69 0 0 0 20 0 1 0 1940871 12398592 2604 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 3027 2604 612 659 0 2231 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22040 KiB
Current children cumulated memory: 13024 KiB

[startup+1.50021 s]
/proc/loadavg: 4.10 4.01 3.36 5/266 16509
/proc/meminfo: memFree=96498728/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=12504 memory=10944 CPUtime=1.49 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2411 0 0 0 149 0 0 0 20 0 1 0 1940871 12804096 2736 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 3126 2736 612 659 0 2330 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 22436 KiB
Current children cumulated memory: 13552 KiB

[startup+3.10548 s]
/proc/loadavg: 4.10 4.01 3.36 5/266 16509
/proc/meminfo: memFree=96388668/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=12820 memory=11208 CPUtime=3.09 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2477 0 0 0 309 0 0 0 20 0 1 0 1940871 13127680 2802 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 3205 2802 612 659 0 2409 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 22752 KiB
Current children cumulated memory: 13816 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.01 3.37 5/266 16509
/proc/meminfo: memFree=96388108/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=13480 memory=11736 CPUtime=6.27 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2627 0 0 0 627 0 0 0 20 0 1 0 1940871 13803520 2934 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 3370 2934 612 659 0 2574 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23412 KiB
Current children cumulated memory: 14344 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.01 3.37 5/266 16511
/proc/meminfo: memFree=96387852/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=13480 memory=11736 CPUtime=12.66 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 2637 0 0 0 1266 0 0 0 20 0 1 0 1940871 13803520 2934 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 3370 2934 612 659 0 2574 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 23412 KiB
Current children cumulated memory: 14344 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.01 3.38 5/266 16513
/proc/meminfo: memFree=93845064/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=2626284 memory=2507652 CPUtime=25.42 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 204520 0 0 0 2462 80 0 0 20 0 1 0 1940871 2689314816 626913 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 656571 626913 644 659 0 655775 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2636216 KiB
Current children cumulated memory: 2510260 KiB

[startup+51.1056 s]
/proc/loadavg: 4.04 4.01 3.40 5/265 16518
/proc/meminfo: memFree=91562364/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3495584 memory=3247968 CPUtime=50.95 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 246688 0 0 0 4938 157 0 0 20 0 1 0 1940871 3579478016 811992 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 873896 811992 660 659 0 873100 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3505516 KiB
Current children cumulated memory: 3250576 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.02 3.44 5/265 16527
/proc/meminfo: memFree=88927144/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=2556344 memory=2456652 CPUtime=101.96 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 273512 0 0 0 9972 224 0 0 20 0 1 0 1940871 2617696256 614163 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 639086 614163 660 659 0 638290 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2566276 KiB
Current children cumulated memory: 2459260 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.06 3.49 5/265 16539
/proc/meminfo: memFree=84885624/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3073868 memory=2839440 CPUtime=161.77 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 305365 0 0 0 15876 301 0 0 20 0 1 0 1940871 3147640832 709860 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 768467 709860 660 659 0 767671 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 3083800 KiB
Current children cumulated memory: 2842048 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.06 3.53 5/264 16704
/proc/meminfo: memFree=113489740/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3074320 memory=2841940 CPUtime=221.57 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 313258 0 0 0 21828 329 0 0 20 0 1 0 1940871 3148103680 710485 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 768580 710485 660 659 0 767784 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 3084252 KiB

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

/proc/16507/statm: 876403 775376 660 659 0 875607 0
Current children cumulated CPU time: 3091.32 s
Current children cumulated vsize: 3515544 KiB
Current children cumulated memory: 3104112 KiB

[startup+3162.3 s]
/proc/loadavg: 3.14 3.30 3.65 4/255 17907
/proc/meminfo: memFree=118099676/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3506852 memory=3102744 CPUtime=3151.09 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 420456 0 0 0 314365 744 0 0 20 0 1 0 1940871 3591016448 775686 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 876713 775686 660 659 0 875917 0
Current children cumulated CPU time: 3151.09 s
Current children cumulated vsize: 3516784 KiB
Current children cumulated memory: 3105352 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.26 3.62 4/254 17917
/proc/meminfo: memFree=118096052/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3509616 memory=3105508 CPUtime=3210.86 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 422705 0 0 0 320333 753 0 0 20 0 1 0 1940871 3593846784 776377 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 877404 776377 660 659 0 876608 0
Current children cumulated CPU time: 3210.86 s
Current children cumulated vsize: 3519548 KiB
Current children cumulated memory: 3108116 KiB

[startup+3282.3 s]
/proc/loadavg: 3.09 3.22 3.58 4/254 17929
/proc/meminfo: memFree=118097292/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3507536 memory=3103428 CPUtime=3270.64 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 424423 0 0 0 326306 758 0 0 20 0 1 0 1940871 3591716864 775857 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 876884 775857 660 659 0 876088 0
Current children cumulated CPU time: 3270.64 s
Current children cumulated vsize: 3517468 KiB
Current children cumulated memory: 3106036 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.20 3.54 4/254 18324
/proc/meminfo: memFree=118098980/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3505020 memory=3100912 CPUtime=3330.41 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 426375 0 0 0 332277 764 0 0 20 0 1 0 1940871 3589140480 775228 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 876255 775228 660 659 0 875459 0
Current children cumulated CPU time: 3330.41 s
Current children cumulated vsize: 3514952 KiB
Current children cumulated memory: 3103520 KiB

[startup+3402.3 s]
/proc/loadavg: 3.15 3.19 3.52 4/254 18334
/proc/meminfo: memFree=118094472/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3509008 memory=3104900 CPUtime=3390.19 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 427889 0 0 0 338249 770 0 0 20 0 1 0 1940871 3593224192 776225 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 877252 776225 660 659 0 876456 0
Current children cumulated CPU time: 3390.19 s
Current children cumulated vsize: 3518940 KiB
Current children cumulated memory: 3107508 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.17 3.49 4/253 18347
/proc/meminfo: memFree=118034564/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3511400 memory=3107292 CPUtime=3449.96 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 429386 0 0 0 344221 775 0 0 20 0 1 0 1940871 3595673600 776823 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 877850 776823 660 659 0 877054 0
Current children cumulated CPU time: 3449.96 s
Current children cumulated vsize: 3521332 KiB
Current children cumulated memory: 3109900 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.16 3.47 4/253 18525
/proc/meminfo: memFree=118085596/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3514712 memory=3110604 CPUtime=3509.73 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 431159 0 0 0 350194 779 0 0 20 0 1 0 1940871 3599065088 777651 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 878678 777651 660 659 0 877882 0
Current children cumulated CPU time: 3509.73 s
Current children cumulated vsize: 3524644 KiB
Current children cumulated memory: 3113212 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.15 3.44 4/253 18535
/proc/meminfo: memFree=118093240/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3506072 memory=3101964 CPUtime=3569.51 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 432936 0 0 0 356166 785 0 0 20 0 1 0 1940871 3590217728 775491 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 876518 775491 660 659 0 875722 0
Current children cumulated CPU time: 3569.51 s
Current children cumulated vsize: 3516004 KiB
Current children cumulated memory: 3104572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 3.12 3.15 3.43 4/254 18596
/proc/meminfo: memFree=118030068/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3510040 memory=3105932 CPUtime=3600 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 434096 0 0 0 359210 790 0 0 20 0 1 0 1940871 3594280960 776483 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 877510 776483 660 659 0 876714 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3519972 KiB
Current children cumulated memory: 3108540 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000827 s, system=0.00194 s

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

# cumulated CPU time of all completed processes:  user=3592.1 s, system=7.91123 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+3612.9 s]
/proc/loadavg: 3.12 3.15 3.43 4/254 18596
/proc/meminfo: memFree=118030068/131524600 swapFree=131071996/131071996
[pid=16502] ppid=16499 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/16502/stat : 16502 (naps-1.03.sh) S 16499 16502 14070 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1940871 10170368 652 134679101440 94518715408384 94518716487704 140733042895584 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94518718586160 94518718633348 94518728736768 140733042901987 140733042902112 140733042902112 140733042909128 0
/proc/16502/statm: 2483 652 573 264 0 134 0
[pid=16507] ppid=16502 vsize=3510040 memory=3105932 CPUtime=3600 cores=0,2
/proc/16507/stat : 16507 (naps-1.03a2) R 16502 16502 14070 0 -1 4194304 434096 0 0 0 359210 790 0 0 20 0 1 0 1940871 3594280960 776483 134679101440 4194304 6891597 140736024409440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38887424 140736024417262 140736024417376 140736024417376 140736024424393 0
/proc/16507/statm: 877510 776483 660 659 0 876714 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3519972 KiB
Current children cumulated memory: 3108540 KiB

Child status: 10

Real time (s): 3612.91
CPU time (s): 3600.02
CPU user time (s): 3592.1
CPU system time (s): 7.91123
CPU usage (%): 99.6432
Max. virtual memory (cumulated for all children) (KiB): 4145540
Max. memory (cumulated for all children) (KiB): 3716184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.1
system time used= 7.91123
maximum resident set size= 3713576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434556
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= 237
involuntary context switches= 24667


# summary of solver processes directly reported to runsolver:
#   pid: 16502,16507
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3592.1
#   total CPU system time (s): 7.91123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93648 second user time and 16.7399 second system time

The end