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: 64059 MiB (62967 MiB free)
  memory of node 1: 64510 MiB (61806 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449621-1721399503/watcher-4449621-1721399503 -o /tmp/evaluation-result-4449621-1721399503/solver-4449621-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721399515-1013380 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4449621-1721399503.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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=1013431, runsolver pid=1013427

[startup+0.100085 s]*
/proc/loadavg: 0.18 0.16 0.10 7/243 1013460
/proc/meminfo: memFree=127771700/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=8908 memory=2856 CPUtime=0.1 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 339 0 0 0 10 0 0 0 20 0 1 0 192108300 9121792 714 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 2227 714 436 659 0 1431 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18840 KiB
Current children cumulated memory: 5544 KiB

[startup+0.213814 s]*
/proc/loadavg: 0.18 0.16 0.10 4/241 1013466
/proc/meminfo: memFree=127770104/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=9392 memory=3208 CPUtime=0.21 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 489 0 0 0 21 0 0 0 20 0 1 0 192108300 9617408 802 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 2348 802 436 659 0 1552 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19324 KiB
Current children cumulated memory: 5896 KiB

[startup+0.312284 s]*
/proc/loadavg: 0.18 0.16 0.10 4/241 1013466
/proc/meminfo: memFree=127768124/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=9760 memory=5872 CPUtime=0.3 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 602 0 0 0 30 0 0 0 20 0 1 0 192108300 9994240 1468 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 2440 1468 436 659 0 1644 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19692 KiB
Current children cumulated memory: 8560 KiB

[startup+0.700339 s]
/proc/loadavg: 0.18 0.16 0.10 4/241 1013466
/proc/meminfo: memFree=127762624/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=11840 memory=7844 CPUtime=0.68 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 1168 0 0 0 67 1 0 0 20 0 1 0 192108300 12124160 1961 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 2960 1961 436 659 0 2164 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21772 KiB
Current children cumulated memory: 10532 KiB

[startup+1.50063 s]
/proc/loadavg: 0.18 0.16 0.10 5/247 1013508
/proc/meminfo: memFree=127752116/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=18856 memory=15124 CPUtime=1.47 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 3105 0 0 0 145 2 0 0 20 0 1 0 192108300 19308544 3781 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 4714 3781 436 659 0 3918 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 28788 KiB
Current children cumulated memory: 17812 KiB

[startup+3.11322 s]
/proc/loadavg: 0.49 0.22 0.12 5/247 1013508
/proc/meminfo: memFree=127711136/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=31240 memory=28464 CPUtime=3.09 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 5925 0 0 0 306 3 0 0 20 0 1 0 192108300 31989760 7116 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 7810 7116 468 659 0 7014 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 31152 KiB

[startup+6.30039 s]
/proc/loadavg: 0.49 0.22 0.12 5/247 1013508
/proc/meminfo: memFree=127690548/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=39948 memory=34576 CPUtime=6.25 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 7856 0 0 0 622 3 0 0 20 0 1 0 192108300 40906752 8644 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 9987 8644 468 659 0 9191 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 49880 KiB
Current children cumulated memory: 37264 KiB

[startup+12.7004 s]
/proc/loadavg: 1.03 0.35 0.16 5/247 1013509
/proc/meminfo: memFree=127644144/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=58624 memory=54020 CPUtime=12.64 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 8635 0 0 0 1260 4 0 0 20 0 1 0 192108300 60030976 13505 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 14656 13505 468 659 0 13860 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68556 KiB
Current children cumulated memory: 56708 KiB

[startup+25.5004 s]
/proc/loadavg: 1.49 0.47 0.20 5/247 1013511
/proc/meminfo: memFree=127614724/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=58624 memory=56220 CPUtime=25.4 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 9024 0 0 0 2536 4 0 0 20 0 1 0 192108300 60030976 14055 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 14656 14055 468 659 0 13860 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 68556 KiB
Current children cumulated memory: 58908 KiB

[startup+51.1132 s]
/proc/loadavg: 2.53 0.80 0.32 5/247 1013515
/proc/meminfo: memFree=127540608/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=79036 memory=76648 CPUtime=50.94 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 10564 0 0 0 5087 7 0 0 20 0 1 0 192108300 80932864 19162 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 19759 19162 468 659 0 18963 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 88968 KiB
Current children cumulated memory: 79336 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.37 0.55 5/247 1013574
/proc/meminfo: memFree=127417616/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=159176 memory=129904 CPUtime=102 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 13733 0 0 0 10188 12 0 0 20 0 1 0 192108300 162996224 32476 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 39794 32476 468 659 0 38998 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 169108 KiB
Current children cumulated memory: 132592 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 1.90 0.78 5/247 1013587
/proc/meminfo: memFree=127270004/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=189864 memory=168800 CPUtime=161.82 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 18662 0 0 0 16163 19 0 0 20 0 1 0 192108300 194420736 42200 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 47466 42200 468 659 0 46670 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 199796 KiB
Current children cumulated memory: 171488 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.30 0.99 5/247 1013600
/proc/meminfo: memFree=127269224/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=159044 memory=150280 CPUtime=221.65 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 22467 0 0 0 22139 26 0 0 20 0 1 0 192108300 162861056 37570 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 39761 37570 468 659 0 38965 0
Current children cumulated CPU time: 221.65 s

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

/proc/loadavg: 4.16 4.12 4.00 5/247 1014689
/proc/meminfo: memFree=126187128/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=637260 memory=607936 CPUtime=3033.55 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 73574 0 0 0 303182 173 0 0 20 0 1 0 192108300 652554240 151984 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 159315 151984 468 659 0 158519 0
Current children cumulated CPU time: 3033.55 s
Current children cumulated vsize: 647192 KiB
Current children cumulated memory: 610624 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.00 5/248 1014700
/proc/meminfo: memFree=126182260/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=852184 memory=632040 CPUtime=3093.4 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 74801 0 0 0 309166 174 0 0 20 0 1 0 192108300 872636416 158010 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 213046 158010 468 659 0 212250 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 862116 KiB
Current children cumulated memory: 634728 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.01 5/248 1014710
/proc/meminfo: memFree=126230268/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=637260 memory=546504 CPUtime=3153.24 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 75220 0 0 0 315144 180 0 0 20 0 1 0 192108300 652554240 136626 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 159315 136626 468 659 0 158519 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 647192 KiB
Current children cumulated memory: 549192 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.01 5/248 1014721
/proc/meminfo: memFree=126211704/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=637260 memory=573140 CPUtime=3213.08 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 75499 0 0 0 321128 180 0 0 20 0 1 0 192108300 652554240 143285 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 159315 143285 468 659 0 158519 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 647192 KiB
Current children cumulated memory: 575828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/248 1015117
/proc/meminfo: memFree=126181476/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=638964 memory=596812 CPUtime=3272.93 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 76086 0 0 0 327112 181 0 0 20 0 1 0 192108300 654299136 149203 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 159741 149203 468 659 0 158945 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 648896 KiB
Current children cumulated memory: 599500 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/248 1015127
/proc/meminfo: memFree=126165552/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=639392 memory=625580 CPUtime=3332.75 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 76466 0 0 0 333093 182 0 0 20 0 1 0 192108300 654737408 156395 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 159848 156395 468 659 0 159052 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 649324 KiB
Current children cumulated memory: 628268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.02 5/247 1015137
/proc/meminfo: memFree=126108444/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=856876 memory=645616 CPUtime=3392.56 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 78131 0 0 0 339073 183 0 0 20 0 1 0 192108300 877441024 161404 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 214219 161404 468 659 0 213423 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 866808 KiB
Current children cumulated memory: 648304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/247 1015316
/proc/meminfo: memFree=126070532/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=859012 memory=667516 CPUtime=3452.36 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 78684 0 0 0 345053 183 0 0 20 0 1 0 192108300 879628288 166879 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 214753 166879 468 659 0 213957 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 868944 KiB
Current children cumulated memory: 670204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/247 1015326
/proc/meminfo: memFree=126149652/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=644940 memory=580472 CPUtime=3512.18 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 79271 0 0 0 351028 190 0 0 20 0 1 0 192108300 660418560 145118 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 161235 145118 468 659 0 160439 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 654872 KiB
Current children cumulated memory: 583160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/251 1015397
/proc/meminfo: memFree=126147040/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=646648 memory=606180 CPUtime=3572.01 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 79875 0 0 0 357010 191 0 0 20 0 1 0 192108300 662167552 151545 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 161662 151545 468 659 0 160866 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 656580 KiB
Current children cumulated memory: 608868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.19 4.14 4.04 5/251 1015400
/proc/meminfo: memFree=126106828/131655788 swapFree=131071996/131071996
[pid=1013431] ppid=1013427 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/1013431/stat : 1013431 (naps-1.03.sh) S 1013427 1013431 1013367 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 192108300 10170368 672 134679101440 94333222289408 94333223368728 140729718217808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94333225467184 94333225514372 94333228703744 140729718219742 140729718219871 140729718219871 140729718226888 0
/proc/1013431/statm: 2483 672 594 264 0 134 0
[pid=1013436] ppid=1013431 vsize=648352 memory=615660 CPUtime=3600.02 cores=5,7
/proc/1013436/stat : 1013436 (naps-1.03) R 1013431 1013431 1013367 0 -1 4194304 80427 0 0 0 359811 191 0 0 20 0 1 0 192108300 663912448 153915 134679101440 4194304 6891213 140724618467088 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34320384 140724618474479 140724618474595 140724618474595 140724618481611 0
/proc/1013436/statm: 162088 153915 468 659 0 161292 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 658284 KiB
Current children cumulated memory: 618348 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.12 s, system=1.92228 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): 3610.4
CPU time (s): 3600.04
CPU user time (s): 3598.12
CPU system time (s): 1.92228
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 1212820
Max. memory (cumulated for all children) (KiB): 934684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.12
system time used= 1.92228
maximum resident set size= 931996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80907
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= 107
involuntary context switches= 4201


# summary of solver processes directly reported to runsolver:
#   pid: 1013431
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.12
#   total CPU system time (s): 1.92228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5499 second user time and 39.1345 second system time

The end