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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426424-1720901794/watcher-4426424-1720901794 -o /tmp/evaluation-result-4426424-1720901794/solver-4426424-1720901794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720901806-724558 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426424-1720901794.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=724591, runsolver pid=724588

[startup+0.100088 s]*
/proc/loadavg: 0.08 0.08 0.09 3/244 724598
/proc/meminfo: memFree=128807600/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=20892 memory=18328 CPUtime=0.09 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 4835 0 0 0 9 0 0 0 20 0 1 0 142343256 21393408 4582 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 5223 4582 468 659 0 4427 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30824 KiB
Current children cumulated memory: 21132 KiB

[startup+0.20551 s]*
/proc/loadavg: 0.08 0.08 0.09 5/258 724634
/proc/meminfo: memFree=128752684/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=39468 memory=36612 CPUtime=0.2 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 9419 0 0 0 19 1 0 0 20 0 1 0 142343256 40415232 9153 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 9867 9153 468 659 0 9071 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49400 KiB
Current children cumulated memory: 39416 KiB

[startup+0.305689 s]*
/proc/loadavg: 0.08 0.08 0.09 5/258 724634
/proc/meminfo: memFree=128688740/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=59736 memory=55664 CPUtime=0.3 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 13171 0 0 0 28 2 0 0 20 0 1 0 142343256 61169664 13916 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 14934 13916 468 659 0 14138 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69668 KiB
Current children cumulated memory: 58468 KiB

[startup+0.700187 s]
/proc/loadavg: 0.08 0.08 0.09 5/258 724634
/proc/meminfo: memFree=128615608/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=80320 memory=75992 CPUtime=0.68 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 15671 0 0 0 66 2 0 0 20 0 1 0 142343256 82247680 18998 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 20080 18998 468 659 0 19284 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90252 KiB
Current children cumulated memory: 78796 KiB

[startup+1.50022 s]
/proc/loadavg: 0.08 0.08 0.09 5/258 724634
/proc/meminfo: memFree=128474740/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=99176 memory=86340 CPUtime=1.48 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 17082 0 0 0 145 3 0 0 20 0 1 0 142343256 101556224 21585 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 24794 21585 468 659 0 23998 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109108 KiB
Current children cumulated memory: 89144 KiB

[startup+3.10566 s]
/proc/loadavg: 0.40 0.15 0.11 5/258 724634
/proc/meminfo: memFree=127974132/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=117968 memory=93596 CPUtime=3.08 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 17642 0 0 0 305 3 0 0 20 0 1 0 142343256 120799232 23399 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 29492 23399 468 659 0 28696 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127900 KiB
Current children cumulated memory: 96400 KiB

[startup+6.30025 s]
/proc/loadavg: 0.40 0.15 0.11 5/258 724634
/proc/meminfo: memFree=126548808/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=167288 memory=137128 CPUtime=6.27 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 18616 0 0 0 622 5 0 0 20 0 1 0 142343256 171302912 34282 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 41822 34282 468 659 0 41026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 177220 KiB
Current children cumulated memory: 139932 KiB

[startup+12.7003 s]
/proc/loadavg: 0.68 0.21 0.13 5/258 724636
/proc/meminfo: memFree=123810180/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=117968 memory=95176 CPUtime=12.65 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 19587 0 0 0 1259 6 0 0 20 0 1 0 142343256 120799232 23794 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 29492 23794 468 659 0 28696 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 127900 KiB
Current children cumulated memory: 97980 KiB

[startup+25.5003 s]
/proc/loadavg: 1.50 0.41 0.20 5/258 724637
/proc/meminfo: memFree=114299988/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=198108 memory=166484 CPUtime=25.41 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 21508 0 0 0 2532 9 0 0 20 0 1 0 142343256 202862592 41621 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 49527 41621 468 659 0 48731 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 208040 KiB
Current children cumulated memory: 169288 KiB

[startup+51.1057 s]
/proc/loadavg: 2.35 0.70 0.30 5/258 724642
/proc/meminfo: memFree=108585672/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=124036 memory=113980 CPUtime=50.93 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 24969 0 0 0 5078 15 0 0 20 0 1 0 142343256 127012864 28495 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 31009 28495 468 659 0 30213 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 133968 KiB
Current children cumulated memory: 116784 KiB

[startup+102.3 s]
/proc/loadavg: 3.34 1.23 0.50 5/258 724651
/proc/meminfo: memFree=106732836/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=195372 memory=175436 CPUtime=101.97 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 26037 0 0 0 10179 18 0 0 20 0 1 0 142343256 200060928 43859 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 48843 43859 468 659 0 48047 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 205304 KiB
Current children cumulated memory: 178240 KiB

[startup+162.3 s]
/proc/loadavg: 3.80 1.75 0.73 5/258 724662
/proc/meminfo: memFree=99847704/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=146052 memory=142208 CPUtime=161.79 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 26611 0 0 0 16158 21 0 0 20 0 1 0 142343256 149557248 35552 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 36513 35552 468 659 0 35717 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 155984 KiB
Current children cumulated memory: 145012 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.18 0.94 5/262 724678
/proc/meminfo: memFree=95589872/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=195372 memory=175972 CPUtime=221.63 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 27291 0 0 0 22139 24 0 0 20 0 1 0 142343256 200060928 43993 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 48843 43993 468 659 0 48047 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 205304 KiB

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

/proc/loadavg: 2.13 2.12 2.18 3/243 726454
/proc/meminfo: memFree=127186840/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=305928 memory=282580 CPUtime=3093.47 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 91122 0 0 0 309216 131 0 0 20 0 1 0 142343256 313270272 70645 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 76482 70645 468 659 0 75686 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 285384 KiB

[startup+3162.3 s]
/proc/loadavg: 2.09 2.11 2.17 3/243 726464
/proc/meminfo: memFree=127133668/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=305928 memory=296920 CPUtime=3153.29 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 92456 0 0 0 315196 133 0 0 20 0 1 0 142343256 313270272 74230 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 76482 74230 468 659 0 75686 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 299724 KiB

[startup+3222.3 s]
/proc/loadavg: 2.07 2.10 2.17 3/245 726479
/proc/meminfo: memFree=127124176/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=275108 memory=263996 CPUtime=3213.1 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 95097 0 0 0 321174 136 0 0 20 0 1 0 142343256 281710592 65999 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 68777 65999 468 659 0 67981 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 285040 KiB
Current children cumulated memory: 266800 KiB

[startup+3282.3 s]
/proc/loadavg: 2.07 2.09 2.16 3/245 726490
/proc/meminfo: memFree=127216920/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=275108 memory=263996 CPUtime=3272.91 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 96756 0 0 0 327153 138 0 0 20 0 1 0 142343256 281710592 65999 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 68777 65999 468 659 0 67981 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 285040 KiB
Current children cumulated memory: 266800 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.10 2.16 3/245 726501
/proc/meminfo: memFree=127111432/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=356016 memory=306268 CPUtime=3332.72 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 98266 0 0 0 333133 139 0 0 20 0 1 0 142343256 364560384 76567 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 89004 76567 468 659 0 88208 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 365948 KiB
Current children cumulated memory: 309072 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.10 2.16 3/245 726512
/proc/meminfo: memFree=127075796/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=305928 memory=288840 CPUtime=3392.56 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 99275 0 0 0 339115 141 0 0 20 0 1 0 142343256 313270272 72210 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 76482 72210 468 659 0 75686 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 291644 KiB

[startup+3462.3 s]
/proc/loadavg: 2.04 2.08 2.14 3/245 726523
/proc/meminfo: memFree=127226044/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=275108 memory=259900 CPUtime=3452.42 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 100358 0 0 0 345100 142 0 0 20 0 1 0 142343256 281710592 64975 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 68777 64975 468 659 0 67981 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 285040 KiB
Current children cumulated memory: 262704 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.09 2.14 3/242 726533
/proc/meminfo: memFree=127145360/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=305928 memory=288840 CPUtime=3512.28 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 101051 0 0 0 351085 143 0 0 20 0 1 0 142343256 313270272 72210 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 76482 72210 468 659 0 75686 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 291644 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.10 2.14 3/242 726543
/proc/meminfo: memFree=127124252/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=275108 memory=266044 CPUtime=3572.12 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 102154 0 0 0 357068 144 0 0 20 0 1 0 142343256 281710592 66511 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 68777 66511 468 659 0 67981 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 285040 KiB
Current children cumulated memory: 268848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 2.15 2.11 2.14 3/242 726548
/proc/meminfo: memFree=127094664/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=305928 memory=280532 CPUtime=3600.06 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 102739 0 0 0 359861 145 0 0 20 0 1 0 142343256 313270272 70133 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 76482 70133 468 659 0 75686 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 283336 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.62 s, system=1.45642 s

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

[startup+3610.3 s]
/proc/loadavg: 2.15 2.11 2.14 3/242 726548
/proc/meminfo: memFree=127094664/131524600 swapFree=131071996/131071996
[pid=724591] ppid=724588 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/724591/stat : 724591 (naps-1.03.sh) S 724588 724591 724545 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142343256 10170368 701 134679101440 94877609857024 94877610936344 140728144204224 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94877613034800 94877613081988 94877646123008 140728144212908 140728144213037 140728144213037 140728144220104 0
/proc/724591/statm: 2483 701 622 264 0 134 0
[pid=724596] ppid=724591 vsize=305928 memory=280532 CPUtime=3600.06 cores=5,7
/proc/724596/stat : 724596 (naps-1.03) R 724591 724591 724545 0 -1 4194304 102739 0 0 0 359861 145 0 0 20 0 1 0 142343256 313270272 70133 134679101440 4194304 6891213 140720988301760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21262336 140720988304317 140720988304433 140720988304433 140720988311499 0
/proc/724596/statm: 76482 70133 468 659 0 75686 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 283336 KiB

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.08
CPU user time (s): 3598.62
CPU system time (s): 1.45642
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 365948
Max. memory (cumulated for all children) (KiB): 311280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.62
system time used= 1.45642
maximum resident set size= 343784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103217
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= 67
involuntary context switches= 3883


# summary of solver processes directly reported to runsolver:
#   pid: 724591
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.62
#   total CPU system time (s): 1.45642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4948 second user time and 16.6044 second system time

The end