Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PRINTEMPS 2025-05-28 | SAT (TO) | 5875 | 3600.08 | 1855.31 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-176.opb |
| MD5SUM | d2179c39982001565062a192c7c3e045 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5875 |
| Best CPU time to get the best result obtained on this benchmark | 632.793 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 183 |
| Total number of constraints | 1457 |
| Number of constraints which are clauses | 1456 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2674 |
| Biggest coefficient in the objective function | 6872 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 13678 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 6872 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 13678 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 2501 |
| Sum of products size (including duplicates) | 5002 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/) 0.00/0.01 c #variable: 183 0.00/0.01 c #constraint: 1457 0.00/0.01 c #equal: 1 0.00/0.01 c intsize: 14 0.00/0.01 c sizeproduct: 5002 0.00/0.01 c #soft: 0 0.00/0.01 c mincost: 0 0.00/0.01 c maxcost: 0 0.00/0.01 c sumcost: 0 0.00/0.01 c iteration_max: -1 0.00/0.01 c time_max: -1 0.00/0.01 c number_of_threads(move update): 2 0.00/0.01 c number_of_threads(move evaluation): 2 0.00/0.01 c seed: 588250779 0.00/0.06 o 6653 0.00/0.08 o 6514 0.00/0.08 o 6511 0.00/0.09 o 6478 0.13/0.12 o 6363 0.13/0.13 o 6323 0.13/0.14 o 6311 0.13/0.15 o 6305 0.29/0.22 o 6291 0.29/0.25 o 6277 0.46/0.38 o 6243 0.63/0.42 o 6217 0.92/0.63 o 6214 0.92/0.64 o 6197 1.13/0.88 o 6194 1.31/0.98 o 6191 1.50/1.01 o 6188 2.05/1.36 o 6187 2.42/1.58 o 6179 3.78/2.21 o 6150 5.56/3.31 o 6114 7.08/4.74 o 6090 13.29/7.99 o 6066 14.00/8.57 o 6061 15.82/9.54 o 6048 16.99/10.20 o 6010 19.33/11.36 o 6002 19.79/11.73 o 5991 22.47/13.18 o 5976 23.03/13.49 o 5951 24.01/13.91 o 5928 26.39/15.86 o 5924 35.89/20.70 o 5915 83.23/46.58 o 5909 94.04/52.11 o 5908 127.95/69.78 o 5907 222.58/118.52 o 5904 227.02/120.80 o 5903 249.12/132.29 o 5898 250.10/132.77 o 5897 257.21/136.43 o 5893 257.21/136.45 o 5890 263.23/139.53 o 5887 265.57/140.78 o 5885 280.74/148.53 o 5884 286.34/151.45 o 5882 311.01/164.14 o 5881 423.53/222.20 o 5876 476.10/249.21 o 5875 3600.06/1855.30 s SATISFIABLE 3600.06/1855.30 v -x1 x10 x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 -x109 -x11 x110 -x111 x112 -x113 -x114 -x115 -x116 x117 x118 x119 x12 x120 x121 x122 x123 x124 x125 x126 -x127 x128 -x129 -x13 -x130 -x131 x132 x133 x134 -x135 -x136 -x137 -x138 -x139 x14 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x15 x150 x151 -x152 -x153 -x154 -x155 x156 x157 x158 -x159 x16 -x160 -x161 x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x18 -x180 -x181 -x182 x183 -x19 -x2 x20 -x21 x22 -x23 x24 -x25 x26 x27 x28 x29 x3 x30 x31 x32 x33 x34 x35 x36 -x37 x38 x39 -x4 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 -x5 x50 x51 x52 x53 x54 x55 -x56 -x57 -x58 -x59 -x6 -x60 x61 x62 -x63 x64 x65 -x66 -x67 x68 x69 -x7 x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 x79 x8 x80 x81 -x82 x83 x84 x85 x86 x87 x88 x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99
OK 5875
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 (62271 MiB free)
memory of node 1: 64465 MiB (63758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512278-1751522728/watcher-4512278-1751522728 -o /tmp/evaluation-result-4512278-1751522728/solver-4512278-1751522728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751519462-75019 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 588250779 HOME/instance-4512278-1751522728.opb
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=75382, runsolver pid=75379
[startup+0.100064 s]*
/proc/loadavg: 5.10 5.30 5.36 6/268 75384
/proc/meminfo: memFree=129032568/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=99708 memory=26168 CPUtime=0.13 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) S 75379 75382 75009 0 -1 4194304 7535 0 0 0 12 1 0 0 20 0 2 0 67950277 102100992 6542 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 24927 6542 672 633 0 8031 0
[pid=75382/tid=75384] ppid=75379 vsize=99708 memory=4026531960 CPUtime=0.03 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 276 0 0 0 3 0 0 0 20 0 2 0 67950278 102100992 6542 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 99708 KiB
Current children cumulated memory: 26168 KiB
[startup+0.205532 s]*
/proc/loadavg: 5.10 5.30 5.36 7/268 75384
/proc/meminfo: memFree=129032568/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=99708 memory=26296 CPUtime=0.29 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) S 75379 75382 75009 0 -1 4194304 8928 0 0 0 28 1 0 0 20 0 2 0 67950277 102100992 6574 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 24927 6574 672 633 0 8031 0
[pid=75382/tid=75384] ppid=75379 vsize=99708 memory=4208735117501333788 CPUtime=0.1 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 276 0 0 0 10 0 0 0 20 0 2 0 67950278 102100992 6574 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99708 KiB
Current children cumulated memory: 26296 KiB
[startup+0.305537 s]*
/proc/loadavg: 5.10 5.30 5.36 7/268 75384
/proc/meminfo: memFree=129032568/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=99420 memory=26040 CPUtime=0.46 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) S 75379 75382 75009 0 -1 4194304 9626 0 0 0 45 1 0 0 20 0 2 0 67950277 101806080 6510 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 24855 6510 672 633 0 7959 0
[pid=75382/tid=75384] ppid=75379 vsize=99420 memory=-6735270409337213543 CPUtime=0.17 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 276 0 0 0 17 0 0 0 20 0 2 0 67950278 101806080 6510 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 99420 KiB
Current children cumulated memory: 26040 KiB
[startup+0.700191 s]
/proc/loadavg: 5.10 5.30 5.36 7/268 75384
/proc/meminfo: memFree=129032568/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=100024 memory=26552 CPUtime=1.03 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 10198 0 0 0 101 2 0 0 20 0 2 0 67950277 102424576 6638 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25006 6638 672 633 0 8110 0
[pid=75382/tid=75384] ppid=75379 vsize=100024 memory=14976 CPUtime=0.36 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) S 75379 75382 75009 0 -1 4194368 276 0 0 0 36 0 0 0 20 0 2 0 67950278 102424576 6638 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 100024 KiB
Current children cumulated memory: 26552 KiB
[startup+1.5002 s]
/proc/loadavg: 5.10 5.30 5.36 7/268 75384
/proc/meminfo: memFree=129032568/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=100024 memory=26552 CPUtime=2.42 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 14716 0 0 0 240 2 0 0 20 0 2 0 67950277 102424576 6638 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25006 6638 672 633 0 8110 0
[pid=75382/tid=75384] ppid=75379 vsize=100024 memory=14976 CPUtime=0.97 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 344 0 0 0 97 0 0 0 20 0 2 0 67950278 102424576 6638 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 100024 KiB
Current children cumulated memory: 26552 KiB
[startup+3.10539 s]
/proc/loadavg: 5.10 5.30 5.36 6/268 75384
/proc/meminfo: memFree=129032852/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=100048 memory=26508 CPUtime=5.18 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 68923 0 0 0 507 11 0 0 20 0 2 0 67950277 102449152 6627 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25012 6627 672 633 0 8116 0
[pid=75382/tid=75384] ppid=75379 vsize=100048 memory=26380 CPUtime=2.12 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 819 0 0 0 212 0 0 0 20 0 2 0 67950278 102449152 6627 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 5.18 s
Current children cumulated vsize: 100048 KiB
Current children cumulated memory: 26508 KiB
[startup+6.30017 s]
/proc/loadavg: 5.17 5.32 5.36 7/268 75384
/proc/meminfo: memFree=129033120/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=99760 memory=26380 CPUtime=10.18 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 145527 0 0 0 998 20 0 0 20 0 2 0 67950277 102154240 6595 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 24940 6595 672 633 0 8044 0
[pid=75382/tid=75384] ppid=75379 vsize=99760 memory=14976 CPUtime=3.95 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 1422 0 0 0 395 0 0 0 20 0 2 0 67950278 102154240 6595 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 10.18 s
Current children cumulated vsize: 99760 KiB
Current children cumulated memory: 26380 KiB
[startup+12.7002 s]
/proc/loadavg: 5.16 5.31 5.36 7/268 75384
/proc/meminfo: memFree=129033396/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=100456 memory=27120 CPUtime=21.69 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 305896 0 0 0 2128 41 0 0 20 0 2 0 67950277 102866944 6780 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25114 6780 672 633 0 8218 0
[pid=75382/tid=75384] ppid=75379 vsize=100456 memory=27080 CPUtime=9.11 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 1517 0 0 0 910 1 0 0 20 0 2 0 67950278 102866944 6780 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 21.69 s
Current children cumulated vsize: 100456 KiB
Current children cumulated memory: 27120 KiB
[startup+25.5002 s]
/proc/loadavg: 5.34 5.35 5.37 7/268 75384
/proc/meminfo: memFree=129034192/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=100556 memory=27256 CPUtime=45.24 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 464846 0 0 0 4461 63 0 0 20 0 2 0 67950277 102969344 6814 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25139 6814 672 633 0 8243 0
[pid=75382/tid=75384] ppid=75379 vsize=100556 memory=27344 CPUtime=19.97 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 1518 0 0 0 1995 2 0 0 20 0 2 0 67950278 102969344 6814 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 45.24 s
Current children cumulated vsize: 100556 KiB
Current children cumulated memory: 27256 KiB
[startup+51.1054 s]
/proc/loadavg: 5.57 5.40 5.39 7/267 75385
/proc/meminfo: memFree=129035744/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=100992 memory=27660 CPUtime=92.11 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 1032863 0 0 0 9067 144 0 0 20 0 2 0 67950277 103415808 6915 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25248 6915 672 633 0 8352 0
[pid=75382/tid=75384] ppid=75379 vsize=100992 memory=14976 CPUtime=41.49 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 1686 0 0 0 4144 5 0 0 20 0 2 0 67950278 103415808 6915 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 92.11 s
Current children cumulated vsize: 100992 KiB
Current children cumulated memory: 27660 KiB
[startup+102.3 s]
/proc/loadavg: 6.11 5.58 5.45 7/267 75387
/proc/meminfo: memFree=129040068/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=100652 memory=27328 CPUtime=191.17 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 2218511 0 0 0 18811 306 0 0 20 0 2 0 67950277 103067648 6832 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25163 6832 672 633 0 8267 0
[pid=75382/tid=75384] ppid=75379 vsize=100652 memory=14976 CPUtime=89.81 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) S 75379 75382 75009 0 -1 4194368 1961 0 0 0 8970 11 0 0 20 0 2 0 67950278 103067648 6832 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 191.17 s
Current children cumulated vsize: 100652 KiB
Current children cumulated memory: 27328 KiB
[startup+162.3 s]
/proc/loadavg: 6.43 5.76 5.52 7/267 75435
/proc/meminfo: memFree=129037920/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101900 memory=28460 CPUtime=307.52 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 3461899 0 0 0 30267 485 0 0 20 0 2 0 67950277 104345600 7115 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25475 7115 672 633 0 8579 0
[pid=75382/tid=75384] ppid=75379 vsize=101900 memory=27708 CPUtime=146.74 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 2479 0 0 0 14655 19 0 0 20 0 2 0 67950278 104345600 7115 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 307.52 s
Current children cumulated vsize: 101900 KiB
Current children cumulated memory: 28460 KiB
[startup+222.3 s]
/proc/loadavg: 6.90 6.02 5.63 8/267 75437
/proc/meminfo: memFree=129024300/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=102040 memory=28480 CPUtime=423.72 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 4563168 0 0 0 41731 641 0 0 20 0 2 0 67950277 104488960 7120 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25510 7120 672 633 0 8614 0
[pid=75382/tid=75384] ppid=75379 vsize=102040 memory=14848 CPUtime=203.45 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 2663 0 0 0 20320 25 0 0 20 0 2 0 67950278 104488960 7120 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 423.72 s
Current children cumulated vsize: 102040 KiB
Current children cumulated memory: 28480 KiB
[startup+282.3 s]
/proc/loadavg: 6.81 6.14 5.69 8/267 75440
/proc/meminfo: memFree=129012664/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101984 memory=28520 CPUtime=540.62 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 5075652 0 0 0 53342 720 0 0 20 0 2 0 67950277 104431616 7130 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25496 7130 672 633 0 8600 0
[pid=75382/tid=75384] ppid=75379 vsize=101984 memory=28608 CPUtime=260.87 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 2848 0 0 0 26057 30 0 0 20 0 2 0 67950278 104431616 7130 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 540.62 s
Current children cumulated vsize: 101984 KiB
Current children cumulated memory: 28520 KiB
################
# More data... #
################
/proc/meminfo: memFree=129043080/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101976 memory=28492 CPUtime=2519.69 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 33397845 0 0 0 247781 4188 0 0 20 0 2 0 67950277 104423424 7123 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25494 7123 672 633 0 8598 0
[pid=75382/tid=75384] ppid=75379 vsize=101976 memory=28292 CPUtime=1226.8 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3681 0 0 0 122592 88 0 0 20 0 2 0 67950278 104423424 7123 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 101976 KiB
Current children cumulated memory: 28492 KiB
[startup+1362.3 s]
/proc/loadavg: 5.98 6.02 6.00 7/267 75538
/proc/meminfo: memFree=129043600/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=102008 memory=28544 CPUtime=2637.03 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 34868640 0 0 0 259329 4374 0 0 20 0 2 0 67950277 104456192 7136 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25502 7136 672 633 0 8606 0
[pid=75382/tid=75384] ppid=75379 vsize=102008 memory=28504 CPUtime=1284.53 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3681 0 0 0 128363 90 0 0 20 0 2 0 67950278 104456192 7136 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 2637.03 s
Current children cumulated vsize: 102008 KiB
Current children cumulated memory: 28544 KiB
[startup+1422.3 s]
/proc/loadavg: 6.10 6.05 6.01 7/267 75540
/proc/meminfo: memFree=129044092/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101600 memory=28216 CPUtime=2754.39 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 36330607 0 0 0 270890 4549 0 0 20 0 2 0 67950277 104038400 7054 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25400 7054 672 633 0 8504 0
[pid=75382/tid=75384] ppid=75379 vsize=101600 memory=28408 CPUtime=1342.29 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3681 0 0 0 134136 93 0 0 20 0 2 0 67950278 104038400 7054 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 2754.39 s
Current children cumulated vsize: 101600 KiB
Current children cumulated memory: 28216 KiB
[startup+1482.3 s]
/proc/loadavg: 6.03 6.03 6.00 7/266 75542
/proc/meminfo: memFree=129038420/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101488 memory=28160 CPUtime=2871.74 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 37863890 0 0 0 282427 4747 0 0 20 0 2 0 67950277 103923712 7040 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25372 7040 672 633 0 8476 0
[pid=75382/tid=75384] ppid=75379 vsize=101488 memory=28408 CPUtime=1400.01 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3681 0 0 0 139905 96 0 0 20 0 2 0 67950278 103923712 7040 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 2871.74 s
Current children cumulated vsize: 101488 KiB
Current children cumulated memory: 28160 KiB
[startup+1542.3 s]
/proc/loadavg: 6.02 6.03 6.00 7/268 75546
/proc/meminfo: memFree=129043384/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101912 memory=28424 CPUtime=2989.12 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 40453404 0 0 0 293863 5049 0 0 20 0 2 0 67950277 104357888 7106 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25478 7106 672 633 0 8582 0
[pid=75382/tid=75384] ppid=75379 vsize=101912 memory=28572 CPUtime=1457.78 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3681 0 0 0 145679 99 0 0 20 0 2 0 67950278 104357888 7138 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 2989.12 s
Current children cumulated vsize: 101912 KiB
Current children cumulated memory: 28424 KiB
[startup+1602.3 s]
/proc/loadavg: 6.64 6.19 6.06 8/268 75548
/proc/meminfo: memFree=129052508/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=102004 memory=28564 CPUtime=3106.28 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 42794131 0 0 0 305304 5324 0 0 20 0 2 0 67950277 104452096 7141 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25501 7141 672 633 0 8605 0
[pid=75382/tid=75384] ppid=75379 vsize=102004 memory=28524 CPUtime=1515.42 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3681 0 0 0 151440 102 0 0 20 0 2 0 67950278 104452096 7141 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 3106.28 s
Current children cumulated vsize: 102004 KiB
Current children cumulated memory: 28564 KiB
[startup+1662.3 s]
/proc/loadavg: 6.92 6.36 6.13 8/269 75557
/proc/meminfo: memFree=129051128/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101912 memory=28560 CPUtime=3223.42 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 43581315 0 0 0 316913 5429 0 0 20 0 2 0 67950277 104357888 7140 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25478 7140 672 633 0 8582 0
[pid=75382/tid=75384] ppid=75379 vsize=101912 memory=14848 CPUtime=1573.05 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3681 0 0 0 157200 105 0 0 20 0 2 0 67950278 104357888 7140 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 3223.42 s
Current children cumulated vsize: 101912 KiB
Current children cumulated memory: 28560 KiB
[startup+1722.3 s]
/proc/loadavg: 7.02 6.48 6.18 8/269 75559
/proc/meminfo: memFree=129051440/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101760 memory=28260 CPUtime=3340.54 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 44805878 0 0 0 328474 5580 0 0 20 0 2 0 67950277 104202240 7065 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25440 7065 672 633 0 8544 0
[pid=75382/tid=75384] ppid=75379 vsize=101760 memory=28580 CPUtime=1630.67 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3730 0 0 0 162958 109 0 0 20 0 2 0 67950278 104202240 7065 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 3340.54 s
Current children cumulated vsize: 101760 KiB
Current children cumulated memory: 28260 KiB
[startup+1782.3 s]
/proc/loadavg: 7.07 6.59 6.24 8/269 75561
/proc/meminfo: memFree=129051472/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101696 memory=28364 CPUtime=3457.62 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 46834808 0 0 0 339934 5828 0 0 20 0 2 0 67950277 104136704 7059 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25424 7091 672 633 0 8528 0
[pid=75382/tid=75384] ppid=75379 vsize=101828 memory=14848 CPUtime=1688.23 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 3730 0 0 0 168710 113 0 0 20 0 2 0 67950278 104271872 7091 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 3457.62 s
Current children cumulated vsize: 101696 KiB
Current children cumulated memory: 28364 KiB
[startup+1842.3 s]
/proc/loadavg: 6.97 6.65 6.29 8/267 75563
/proc/meminfo: memFree=129051136/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=101992 memory=28528 CPUtime=3574.7 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 48867487 0 0 0 351390 6080 0 0 20 0 2 0 67950277 104439808 7132 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25498 7132 672 633 0 8602 0
[pid=75382/tid=75384] ppid=75379 vsize=101992 memory=28208 CPUtime=1745.82 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 4092 0 0 0 174465 117 0 0 20 0 2 0 67950278 104439808 7132 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 3574.7 s
Current children cumulated vsize: 101992 KiB
Current children cumulated memory: 28528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1855.3 s]
/proc/loadavg: 7.05 6.69 6.30 8/267 75564
/proc/meminfo: memFree=129050920/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=102004 memory=28540 CPUtime=3600.06 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 49289517 0 0 0 353873 6133 0 0 20 0 2 0 67950277 104452096 7135 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25501 7135 672 633 0 8605 0
[pid=75382/tid=75384] ppid=75379 vsize=102004 memory=28152 CPUtime=1758.27 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 4092 0 0 0 175710 117 0 0 20 0 2 0 67950278 104452096 7135 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 102004 KiB
Current children cumulated memory: 28540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1855.31 s]
# the end of solver process 75382 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3538.75 s, system=61.3333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1855.3 s]
/proc/loadavg: 7.05 6.69 6.30 8/267 75564
/proc/meminfo: memFree=129050920/131249996 swapFree=33006296/33010684
[pid=75382] ppid=75379 vsize=102004 memory=28540 CPUtime=3600.06 cores=0,2
/proc/75382/stat : 75382 (pb_competition_) R 75379 75382 75009 0 -1 4194304 49289517 0 0 0 353873 6133 0 0 20 0 2 0 67950277 104452096 7135 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
/proc/75382/statm: 25501 7135 672 633 0 8605 0
[pid=75382/tid=75384] ppid=75379 vsize=102004 memory=28152 CPUtime=1758.27 cores=0,2
/proc/75382/task/75384/stat : 75384 (pb_competition_) R 75379 75382 75009 0 -1 4194368 4092 0 0 0 175710 117 0 0 20 0 2 0 67950278 104452096 7135 18446744073709551615 4198400 6788177 140724585363696 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 35704832 140724585367898 140724585368024 140724585368024 140724585373626 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 102004 KiB
Current children cumulated memory: 28540 KiB
Child status: 0
Real time (s): 1855.31
CPU time (s): 3600.08
CPU user time (s): 3538.75
CPU system time (s): 61.3333
CPU usage (%): 194.042
Max. virtual memory (cumulated for all children) (KiB): 102100
Max. memory (cumulated for all children) (KiB): 28652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3538.75
system time used= 61.3333
maximum resident set size= 28668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49290419
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= 105149
involuntary context switches= 34018
# summary of solver processes directly reported to runsolver:
# pid: 75382
# total CPU time (s): 3600.08
# total CPU user time (s): 3538.75
# total CPU system time (s): 61.3333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.534 second user time and 8.05668 second system time
The end
Begin job on nodeC015 at 2025-07-03 08:05:28 IDJOB=4512278 IDBENCH=160589 IDSOLVER=3347 FILE ID=nodeC015/4512278-1751522728 RUNJOBID= nodeC015-1751519462-75019 SLURM_JOB_ID= 9598638 Free space on /tmp= 432360 MiB SOLVER NAME= PRINTEMPS 2025-05-28 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.opb COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512278-1751522728/watcher-4512278-1751522728 -o /tmp/evaluation-result-4512278-1751522728/solver-4512278-1751522728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751519462-75019 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 588250779 HOME/instance-4512278-1751522728.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d2179c39982001565062a192c7c3e045 RANDOM SEED=588250779 nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.066 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.070 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.039 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.368 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.075 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.072 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.070 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.598 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129055248 kB MemAvailable: 129672584 kB Buffers: 1508 kB Cached: 1401084 kB SwapCached: 3880 kB Active: 346096 kB Inactive: 1163232 kB Active(anon): 72080 kB Inactive(anon): 48808 kB Active(file): 274016 kB Inactive(file): 1114424 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33006296 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5200 kB Writeback: 28 kB AnonPages: 105932 kB Mapped: 108456 kB Shmem: 14152 kB KReclaimable: 136272 kB Slab: 226408 kB SReclaimable: 136272 kB SUnreclaim: 90136 kB KernelStack: 4368 kB PageTables: 3336 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 461612 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 11100160 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432352 MiB End job on nodeC015 at 2025-07-03 08:36:23