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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426268-1720901815/watcher-4426268-1720901815 -o /tmp/evaluation-result-4426268-1720901815/solver-4426268-1720901815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720901807-717167 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426268-1720901815.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
Current StackSize limit: 8192 KiB

solver pid=717344, runsolver pid=717341

[startup+0.100096 s]*
/proc/loadavg: 1.57 0.43 0.20 5/245 717349
/proc/meminfo: memFree=125804828/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=12936 memory=6664 CPUtime=0.1 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 1383 0 0 0 10 0 0 0 20 0 1 0 142338700 13246464 1666 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 3234 1666 436 659 0 2438 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22868 KiB
Current children cumulated memory: 9432 KiB

[startup+0.213026 s]*
/proc/loadavg: 1.57 0.43 0.20 5/245 717349
/proc/meminfo: memFree=125801328/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=16808 memory=10188 CPUtime=0.21 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 2230 0 0 0 21 0 0 0 20 0 1 0 142338700 17211392 2547 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 4202 2547 436 659 0 3406 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26740 KiB
Current children cumulated memory: 12956 KiB

[startup+0.312924 s]*
/proc/loadavg: 1.57 0.43 0.20 5/245 717349
/proc/meminfo: memFree=125798500/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=19292 memory=12772 CPUtime=0.31 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 2980 0 0 0 31 0 0 0 20 0 1 0 142338700 19755008 3193 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 4823 3193 436 659 0 4027 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 15540 KiB

[startup+0.700407 s]
/proc/loadavg: 1.57 0.43 0.20 5/245 717349
/proc/meminfo: memFree=125790600/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=37828 memory=32156 CPUtime=0.68 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 8012 0 0 0 67 1 0 0 20 0 1 0 142338700 38735872 8039 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 9457 8039 436 659 0 8661 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 34924 KiB

[startup+1.5004 s]
/proc/loadavg: 1.57 0.43 0.20 5/245 717349
/proc/meminfo: memFree=125761884/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=68112 memory=58500 CPUtime=1.48 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 15740 0 0 0 145 3 0 0 20 0 1 0 142338700 69746688 14625 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 17028 14625 468 659 0 16232 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78044 KiB
Current children cumulated memory: 61268 KiB

[startup+3.11365 s]
/proc/loadavg: 1.93 0.52 0.23 5/245 717349
/proc/meminfo: memFree=125849764/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=68112 memory=58500 CPUtime=3.09 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 15745 0 0 0 306 3 0 0 20 0 1 0 142338700 69746688 14625 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 17028 14625 468 659 0 16232 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 78044 KiB
Current children cumulated memory: 61268 KiB

[startup+6.30039 s]
/proc/loadavg: 1.93 0.52 0.23 5/245 717349
/proc/meminfo: memFree=125462364/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=177956 memory=167460 CPUtime=6.27 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 25458 0 0 0 621 6 0 0 20 0 1 0 142338700 182226944 41865 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 44489 41865 468 659 0 43693 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 187888 KiB
Current children cumulated memory: 170228 KiB

[startup+12.7004 s]
/proc/loadavg: 2.17 0.60 0.26 5/245 717351
/proc/meminfo: memFree=122549124/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=1248224 memory=1173360 CPUtime=12.66 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 155772 0 0 0 1223 43 0 0 20 0 1 0 142338700 1278181376 293340 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 312056 293340 468 659 0 311260 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1258156 KiB
Current children cumulated memory: 1176128 KiB

[startup+25.5004 s]
/proc/loadavg: 2.72 0.80 0.33 5/245 717402
/proc/meminfo: memFree=114667016/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=5403848 memory=4762852 CPUtime=25.43 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 450982 0 0 0 2401 142 0 0 20 0 1 0 142338700 5533540352 1190713 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 1350962 1190713 468 659 0 1350166 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 5413780 KiB
Current children cumulated memory: 4765620 KiB

[startup+51.1131 s]
/proc/loadavg: 3.16 1.06 0.43 5/246 717458
/proc/meminfo: memFree=99420276/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=14322732 memory=12646752 CPUtime=50.97 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 1223262 0 0 0 4735 362 0 0 20 0 1 0 142338700 14666477568 3161688 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 3580683 3161688 468 659 0 3579887 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 14332664 KiB
Current children cumulated memory: 12649520 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 1.53 0.62 5/246 717466
/proc/meminfo: memFree=91644452/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=18417124 memory=16342336 CPUtime=102.01 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 1598694 0 0 0 9720 481 0 0 20 0 1 0 142338700 18859134976 4085584 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 4604281 4085584 468 659 0 4603485 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 18427056 KiB
Current children cumulated memory: 16345104 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.00 0.84 5/246 717477
/proc/meminfo: memFree=90866332/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=18294728 memory=16674780 CPUtime=161.85 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 1725839 0 0 0 15627 558 0 0 20 0 1 0 142338700 18733801472 4168695 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 4573682 4168695 468 659 0 4572886 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 18304660 KiB
Current children cumulated memory: 16677548 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.40 1.05 5/248 717491
/proc/meminfo: memFree=88469172/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=21767980 memory=18019164 CPUtime=221.68 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 1762746 0 0 0 21571 597 0 0 20 0 1 0 142338700 22290411520 4504791 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 5441995 4504791 468 659 0 5441199 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 21777912 KiB
Current children cumulated memory: 18021932 KiB

[startup+282.3 s]
/proc/loadavg: 3.88 2.66 1.23 4/240 717532
/proc/meminfo: memFree=85581044/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=25357020 memory=22036328 CPUtime=281.52 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 2245884 0 0 0 27383 769 0 0 20 0 1 0 142338700 25965588480 5509082 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 6339255 5509082 468 659 0 6338459 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 25366952 KiB
Current children cumulated memory: 22039096 KiB

[startup+342.3 s]
/proc/loadavg: 3.36 2.74 1.35 4/240 717543
/proc/meminfo: memFree=84323968/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=26504620 memory=23059176 CPUtime=341.31 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 2438048 0 0 0 33267 864 0 0 20 0 1 0 142338700 27140730880 5764794 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 6626155 5764794 468 659 0 6625359 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 26514552 KiB
Current children cumulated memory: 23061944 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+368.114 s]
/proc/loadavg: 3.33 2.79 1.41 4/239 717546
/proc/meminfo: memFree=76958600/131655788 swapFree=131071996/131071996
[pid=717344] ppid=717341 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/717344/stat : 717344 (naps-1.03.sh) S 717341 717344 717155 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 142338700 10170368 692 134679101440 94881348702208 94881349781528 140729087738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94881351879984 94881351927172 94881376444416 140729087746988 140729087747117 140729087747117 140729087754184 0
/proc/717344/statm: 2483 692 614 264 0 134 0
[pid=717349] ppid=717344 vsize=31735736 memory=28226016 CPUtime=367.03 cores=1,3
/proc/717349/stat : 717349 (naps-1.03) R 717344 717344 717155 0 -1 4194304 2974140 0 0 0 35699 1004 0 0 20 0 1 0 142338700 32497393664 7056504 134679101440 4194304 6891213 140735416376400 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30281728 140735416378301 140735416378417 140735416378417 140735416385483 0
/proc/717349/statm: 7933934 7056504 468 659 0 7933138 0
Current children cumulated CPU time: 367.03 s
Current children cumulated vsize: 31745668 KiB
Current children cumulated memory: 28228784 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00195 s, system=0.004027 s

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

# cumulated CPU time of all completed processes:  user=357 s, system=10.5663 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+368.4 s]
/proc/loadavg: 3.33 2.79 1.41 4/238 717546
/proc/meminfo: memFree=80292216/131655788 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.005977 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+368.6 s]
/proc/loadavg: 3.33 2.79 1.41 4/238 717546
/proc/meminfo: memFree=80292216/131655788 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.005977 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 368.63
CPU time (s): 367.566
CPU user time (s): 357
CPU system time (s): 10.5663
CPU usage (%): 99.7114
Max. virtual memory (cumulated for all children) (KiB): 31745668
Max. memory (cumulated for all children) (KiB): 28228784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357
system time used= 10.5663
maximum resident set size= 28226144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2974612
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= 12
involuntary context switches= 465


# summary of solver processes directly reported to runsolver:
#   pid: 717344,717349
#   total CPU time (s): 367.566
#   total CPU user time (s): 357
#   total CPU system time (s): 10.5663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73663 second user time and 3.94703 second system time

The end