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: 63708 MiB (47459 MiB free)
  memory of node 1: 64465 MiB (20688 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526123-1751628262/watcher-4526123-1751628262 -o /tmp/evaluation-result-4526123-1751628262/solver-4526123-1751628262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751627860-88100 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4526123-1751628262.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89977, runsolver pid=89974
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.33 3.71 3.61 5/271 89981
/proc/meminfo: memFree=69779928/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=7612 memory=6144 CPUtime=0.08 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 1039 0 0 0 8 0 0 0 20 0 1 0 78504728 7794688 1536 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 1903 1536 576 696 0 1064 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11804 KiB
Current children cumulated memory: 9216 KiB

[startup+0.205823 s]*
/proc/loadavg: 4.33 3.71 3.61 5/271 89981
/proc/meminfo: memFree=69775832/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=7612 memory=6144 CPUtime=0.19 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 1039 0 0 0 19 0 0 0 20 0 1 0 78504728 7794688 1536 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 1903 1536 576 696 0 1064 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 11804 KiB
Current children cumulated memory: 9216 KiB

[startup+0.305692 s]*
/proc/loadavg: 4.33 3.71 3.61 5/271 89981
/proc/meminfo: memFree=69775832/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=7612 memory=6144 CPUtime=0.29 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 1039 0 0 0 29 0 0 0 20 0 1 0 78504728 7794688 1536 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 1903 1536 576 696 0 1064 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 11804 KiB
Current children cumulated memory: 9216 KiB

[startup+0.700216 s]
/proc/loadavg: 4.33 3.71 3.61 5/271 89981
/proc/meminfo: memFree=69579732/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=7744 memory=6272 CPUtime=0.68 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 1078 0 0 0 68 0 0 0 20 0 1 0 78504728 7929856 1568 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 1936 1568 576 696 0 1097 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 11936 KiB
Current children cumulated memory: 9344 KiB

[startup+1.50021 s]
/proc/loadavg: 4.33 3.71 3.61 5/271 89981
/proc/meminfo: memFree=69726676/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=8008 memory=6528 CPUtime=1.47 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 1154 0 0 0 147 0 0 0 20 0 1 0 78504728 8200192 1632 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 2002 1632 576 696 0 1163 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 12200 KiB
Current children cumulated memory: 9600 KiB

[startup+3.10505 s]
/proc/loadavg: 4.33 3.71 3.61 5/270 89981
/proc/meminfo: memFree=69717880/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=8332 memory=6784 CPUtime=3.08 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 1212 0 0 0 308 0 0 0 20 0 1 0 78504728 8531968 1696 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 2083 1696 576 696 0 1244 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 12524 KiB
Current children cumulated memory: 9856 KiB

[startup+6.3002 s]
/proc/loadavg: 4.30 3.72 3.61 5/270 89981
/proc/meminfo: memFree=69374716/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=8332 memory=6784 CPUtime=6.26 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 1225 0 0 0 626 0 0 0 20 0 1 0 78504728 8531968 1696 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 2083 1696 576 696 0 1244 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 12524 KiB
Current children cumulated memory: 9856 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 3.72 3.61 5/270 89981
/proc/meminfo: memFree=68800720/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=648396 memory=618384 CPUtime=12.65 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 65760 0 0 0 1247 18 0 0 20 0 1 0 78504728 663957504 154596 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 162099 154596 608 696 0 161260 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 652588 KiB
Current children cumulated memory: 621456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 3.76 3.63 5/270 89981
/proc/meminfo: memFree=66751408/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1429476 memory=1352856 CPUtime=25.4 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 108815 0 0 0 2483 57 0 0 20 0 1 0 78504728 1463783424 338214 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 357369 338214 608 696 0 356530 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1433668 KiB
Current children cumulated memory: 1355928 KiB

[startup+51.1055 s]
/proc/loadavg: 4.26 3.79 3.64 5/270 89981
/proc/meminfo: memFree=65800036/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1341108 memory=1179128 CPUtime=50.94 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 125034 0 0 0 5003 91 0 0 20 0 1 0 78504728 1373294592 294782 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 335277 294782 640 696 0 334438 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1345300 KiB
Current children cumulated memory: 1182200 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 3.84 3.67 5/270 89983
/proc/meminfo: memFree=63616104/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1329328 memory=1171512 CPUtime=101.97 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 143259 0 0 0 10071 126 0 0 20 0 1 0 78504728 1361231872 292878 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 332332 292878 640 696 0 331493 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1333520 KiB
Current children cumulated memory: 1174584 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 3.91 3.70 5/269 90042
/proc/meminfo: memFree=90980660/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1330524 memory=1172708 CPUtime=161.78 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 154464 0 0 0 16025 153 0 0 20 0 1 0 78504728 1362456576 293177 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 332631 293177 640 696 0 331792 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1334716 KiB
Current children cumulated memory: 1175780 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 3.94 3.73 5/269 90048
/proc/meminfo: memFree=88536648/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1382420 memory=1226544 CPUtime=221.6 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 165720 0 0 0 21981 179 0 0 20 0 1 0 78504728 1415598080 306636 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 345605 306636 640 696 0 344766 0
Current children cumulated CPU time: 221.6 s

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

/proc/loadavg: 4.10 4.11 4.09 5/268 90187
/proc/meminfo: memFree=73655864/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1364188 memory=1237480 CPUtime=3032.32 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 384678 0 0 0 302561 671 0 0 20 0 1 0 78504728 1396928512 309370 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 341047 309370 640 696 0 340208 0
Current children cumulated CPU time: 3032.32 s
Current children cumulated vsize: 1368380 KiB
Current children cumulated memory: 1240552 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 90189
/proc/meminfo: memFree=74300640/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1364188 memory=1237480 CPUtime=3092.13 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 387431 0 0 0 308538 675 0 0 20 0 1 0 78504728 1396928512 309370 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 341047 309370 640 696 0 340208 0
Current children cumulated CPU time: 3092.13 s
Current children cumulated vsize: 1368380 KiB
Current children cumulated memory: 1240552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 90191
/proc/meminfo: memFree=73905556/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1363656 memory=1237076 CPUtime=3151.95 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 388089 0 0 0 314517 678 0 0 20 0 1 0 78504728 1396383744 309269 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 340914 309269 640 696 0 340075 0
Current children cumulated CPU time: 3151.95 s
Current children cumulated vsize: 1367848 KiB
Current children cumulated memory: 1240148 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 90193
/proc/meminfo: memFree=74733180/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1363996 memory=1238824 CPUtime=3211.76 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 388309 0 0 0 320496 680 0 0 20 0 1 0 78504728 1396731904 309706 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 340999 309706 640 696 0 340160 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 1368188 KiB
Current children cumulated memory: 1241896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 90199
/proc/meminfo: memFree=75562960/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1352012 memory=1210264 CPUtime=3271.58 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 397144 0 0 0 326463 695 0 0 20 0 1 0 78504728 1384460288 302566 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 338003 302566 640 696 0 337164 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 1356204 KiB
Current children cumulated memory: 1213336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 90201
/proc/meminfo: memFree=75738264/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1354564 memory=1212816 CPUtime=3331.41 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 397919 0 0 0 332443 698 0 0 20 0 1 0 78504728 1387073536 303204 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 338641 303204 640 696 0 337802 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 1358756 KiB
Current children cumulated memory: 1215888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 90299
/proc/meminfo: memFree=93437012/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1366012 memory=1244188 CPUtime=3391.23 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 399189 0 0 0 338421 702 0 0 20 0 1 0 78504728 1398796288 311047 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 341503 311047 640 696 0 340664 0
Current children cumulated CPU time: 3391.23 s
Current children cumulated vsize: 1370204 KiB
Current children cumulated memory: 1247260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 90302
/proc/meminfo: memFree=93828532/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1367964 memory=1246248 CPUtime=3451.04 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 403643 0 0 0 344394 710 0 0 20 0 1 0 78504728 1400795136 311562 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 341991 311562 640 696 0 341152 0
Current children cumulated CPU time: 3451.04 s
Current children cumulated vsize: 1372156 KiB
Current children cumulated memory: 1249320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 90305
/proc/meminfo: memFree=93841648/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1366208 memory=1244492 CPUtime=3510.85 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 409904 0 0 0 350363 722 0 0 20 0 1 0 78504728 1398996992 311123 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 341552 311123 640 696 0 340713 0
Current children cumulated CPU time: 3510.85 s
Current children cumulated vsize: 1370400 KiB
Current children cumulated memory: 1247564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/269 90453
/proc/meminfo: memFree=93538312/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1365812 memory=1244032 CPUtime=3570.65 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 416050 0 0 0 356332 733 0 0 20 0 1 0 78504728 1398591488 311008 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 341453 311008 640 696 0 340614 0
Current children cumulated CPU time: 3570.65 s
Current children cumulated vsize: 1370004 KiB
Current children cumulated memory: 1247104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 90454
/proc/meminfo: memFree=92706604/131249988 swapFree=33010416/33010684
[pid=89977] ppid=89974 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89977/stat : 89977 (naps-1.03a6.sh) S 89974 89977 88090 0 -1 4194304 232 199 0 0 0 0 0 0 20 0 1 0 78504726 4292608 768 18446744073709551615 94062553481216 94062554375749 140724360218992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94062554614800 94062554662544 94062587371520 140724360223141 140724360223235 140724360223235 140724360228839 0
/proc/89977/statm: 1048 768 704 219 0 110 0
[pid=89981] ppid=89977 vsize=1365812 memory=1244032 CPUtime=3600.06 cores=0,2
/proc/89981/stat : 89981 (naps-1.03a6) R 89977 89977 88090 0 -1 4194304 416139 0 0 0 359273 733 0 0 20 0 1 0 78504728 1398591488 311008 18446744073709551615 4198400 7047149 140721699734592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17354752 140721699740018 140721699740132 140721699740132 140721699745737 0
/proc/89981/statm: 341453 311008 640 696 0 340614 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1370004 KiB
Current children cumulated memory: 1247104 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3592.74 s, system=7.34486 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): 3611.8
CPU time (s): 3600.08
CPU user time (s): 3592.74
CPU system time (s): 7.34486
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 1827096
Max. memory (cumulated for all children) (KiB): 1648884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.74
system time used= 7.34486
maximum resident set size= 1645812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416581
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= 245
involuntary context switches= 7877


# summary of solver processes directly reported to runsolver:
#   pid: 89977
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3592.74
#   total CPU system time (s): 7.34486

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31179 second user time and 17.0904 second system time

The end