Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2025-06-02 | ? (TO) | 3602.01 | 3611.51 |
| Name | PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/ normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_product.opb |
| MD5SUM | 45fe61862ea6af1146fa753dc4b3b822 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -7184 |
| Best CPU time to get the best result obtained on this benchmark | 1515.42 |
| 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 | 57510 |
| Total number of constraints | 149401 |
| Number of constraints which are clauses | 149400 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8416 |
| Number of terms in the objective function | 438 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 26095 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 26095 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
362.16/363.19 o -1171 363.26/364.26 o -2873 363.36/364.39 o -3129 363.85/364.85 o -3180 369.43/370.43 o -3182 381.41/382.48 o -3184 399.06/400.16 o -3328 399.06/400.17 o -3329 399.06/400.18 o -3330 399.16/400.20 o -3331 399.16/400.21 o -3332 399.16/400.22 o -3333 399.16/400.24 o -3334 399.16/400.25 o -3335 399.16/400.26 o -3336 399.16/400.28 o -3337 399.16/400.29 o -3338 399.26/400.30 o -3339 399.26/400.31 o -3595 399.26/400.33 o -3597 399.26/400.34 o -3601 399.26/400.35 o -3603 399.26/400.37 o -3605 399.26/400.38 o -3607 399.26/400.39 o -3609 399.36/400.41 o -3613 399.36/400.42 o -3615 399.36/400.43 o -3616 399.36/400.45 o -3620 399.36/400.46 o -3624 399.36/400.47 o -3628 399.36/400.49 o -3636 399.46/400.50 o -3644 399.46/400.51 o -3646 399.46/400.53 o -3662 399.46/400.54 o -3666 399.46/400.56 o -3668 400.45/401.56 o -3824 400.45/401.58 o -3825 400.45/401.59 o -3826 400.55/401.60 o -3827 400.55/401.61 o -3828 400.55/401.63 o -3829 400.55/401.64 o -3830 400.55/401.65 o -3831 400.55/401.67 o -3832 400.55/401.68 o -3833 400.55/401.69 o -3834 400.65/401.71 o -3835 400.65/401.72 o -3836 400.65/401.73 o -3837 400.65/401.75 o -3838 400.65/401.76 o -3839 400.65/401.77 o -3840 400.65/401.79 o -3841 400.75/401.80 o -3842 400.75/401.81 o -3843 400.75/401.83 o -3844 400.75/401.84 o -3848 400.75/401.86 o -3850 400.75/401.87 o -3852 400.75/401.88 o -3856 400.85/401.90 o -3857 400.85/401.93 o -3858 400.85/401.95 o -3862 400.96/402.01 o -3870 400.96/402.02 o -3871 400.96/402.04 o -3872 403.74/404.89 o -3878 404.74/405.84 o -3919 404.74/405.86 o -3920 404.74/405.87 o -3921 404.74/405.89 o -3922 404.84/405.91 o -3923 404.84/405.93 o -3935 404.84/405.99 o -4062 404.94/406.01 o -4063 404.94/406.02 o -4065 404.94/406.04 o -4066 404.94/406.06 o -4067 404.94/406.07 o -4068 405.04/406.19 o -4069 405.14/406.22 o -4077 405.14/406.23 o -4078 405.14/406.25 o -4079 405.14/406.26 o -4080 405.14/406.28 o -4081 405.24/406.35 o -4082 405.24/406.37 o -4083 405.24/406.39 o -4084 405.34/406.41 o -4085 405.34/406.43 o -4086 405.34/406.48 o -4087 405.44/406.50 o -4088 405.44/406.52 o -4090 405.44/406.59 o -4124 405.54/406.61 o -4125 405.54/406.63 o -4126 405.54/406.64 o -4127 405.54/406.66 o -4128 405.54/406.68 o -4140 405.64/406.71 o -4220 405.64/406.72 o -4221 405.64/406.74 o -4224 405.74/406.89 o -4225 405.84/406.91 o -4239 405.84/407.00 o -4283 405.94/407.01 o -4284 405.94/407.03 o -4285 405.94/407.05 o -4287 405.94/407.08 o -4291 406.04/407.11 o -4299 406.04/407.13 o -4300 406.04/407.14 o -4301 406.04/407.16 o -4302 406.04/407.19 o -4303 406.13/407.23 o -4305 406.33/407.45 o -4315 406.43/407.51 o -4419 406.43/407.56 o -4431 406.53/407.60 o -4523 406.63/407.72 o -4526 406.63/407.74 o -4528 406.63/407.75 o -4530 406.63/407.77 o -4534 406.63/407.78 o -4542 406.73/407.80 o -4544 406.73/407.82 o -4545 406.73/407.87 o -4546 406.83/407.92 o -4650 406.83/407.97 o -4651 406.83/407.99 o -4652 406.94/408.02 o -4653 406.94/408.04 o -4656 406.94/408.07 o -4664 406.94/408.09 o -4665 407.04/408.11 o -4666 407.04/408.13 o -4764 407.13/408.20 o -4776 407.13/408.24 o -4779 407.13/408.26 o -4789 407.13/408.28 o -4790 407.23/408.30 o -4792 407.23/408.37 o -4868 407.23/408.38 o -4869 407.33/408.40 o -4870 407.33/408.41 o -4871 407.33/408.43 o -4872 407.33/408.45 o -4874 407.33/408.47 o -4884 407.43/408.51 o -4899 407.43/408.57 o -5057 407.43/408.59 o -5058 407.53/408.60 o -5059 407.53/408.62 o -5061 407.53/408.64 o -5073 407.53/408.67 o -5137 407.53/408.68 o -5138 407.63/408.70 o -5139 407.63/408.72 o -5141 407.63/408.74 o -5248 407.63/408.76 o -5249 407.63/408.78 o -5251 407.63/408.79 o -5264 407.73/408.82 o -5265 407.73/408.84 o -5266 407.73/408.85 o -5268 407.93/409.03 o -5272 408.03/409.11 o -5284 445.02/446.27 o -5376 481.13/482.42 o -5378 481.13/482.46 o -5384 481.13/482.48 o -5386 481.23/482.52 o -5387 481.23/482.54 o -5388 481.33/482.63 o -5408 481.33/482.68 o -5409 537.77/539.27 o -5460 542.06/543.57 o -5475 581.65/583.29 o -5520 713.51/715.44 o -5634 713.51/715.45 o -5640 713.51/715.47 o -5648 714.51/716.43 o -5760 714.51/716.44 o -5764 714.51/716.46 o -5765 714.51/716.47 o -5767 714.51/716.49 o -5771 714.61/716.50 o -5774 714.61/716.52 o -5776 718.40/720.37 o -5777 718.40/720.39 o -5778 735.84/737.87 o -5795 735.84/737.89 o -5796 735.94/737.97 o -5802 738.24/740.28 o -5922 738.34/740.30 o -5923 738.34/740.32 o -5924 738.34/740.34 o -5930 743.42/745.44 o -5931 743.42/745.49 o -5932 743.52/745.55 o -5933 763.77/765.82 o -6144 763.77/765.87 o -6145 763.97/766.02 o -6146 803.07/805.22 o -6280 803.87/806.03 o -6288 1185.02/1188.18 o -6296 1194.79/1197.97 o -6297 1205.16/1208.30 o -6304 1345.31/1348.85 o -6508 1345.31/1348.89 o -6509 1348.61/1352.18 o -6510 1846.58/1851.36 o -6688 1846.58/1851.39 o -6690 1846.68/1851.41 o -6691 1846.68/1851.46 o -6692 1846.78/1851.55 o -6693 2471.75/2478.08 o -6748 2471.75/2478.09 o -6749 2471.85/2478.16 o -6750 2471.85/2478.17 o -6764 2477.43/2483.70 o -6784 2619.18/2625.82 o -6785 2728.01/2734.93 o -6788 3377.69/3386.54 o -6848 3377.69/3386.56 o -6849 3377.69/3386.58 o -6850 3377.79/3386.60 o -6852 3377.79/3386.61 o -6864 3377.79/3386.65 o -6865 3377.79/3386.66 o -6866 3377.79/3386.68 o -6867 3377.89/3386.73 o -6868 3377.89/3386.75 o -6880 3534.89/3544.27 o -6912
ERROR: no interpretation found !
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: 63665 MiB (61619 MiB free)
memory of node 1: 64507 MiB (63511 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481717-1751312737/watcher-4481717-1751312737 -o /tmp/evaluation-result-4481717-1751312737/solver-4481717-1751312737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751312274-40245 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=948143645 --ls=360 HOME/instance-4481717-1751312737.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=40368, runsolver pid=40365
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.16 4.00 4.00 5/262 40369
/proc/meminfo: memFree=128098068/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=81392 memory=60320 CPUtime=0.1 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 11272 0 0 0 8 2 0 0 20 0 1 0 46953603 83345408 15080 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 20348 15080 1024 1200 0 18828 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81392 KiB
Current children cumulated memory: 60320 KiB
[startup+0.205552 s]*
/proc/loadavg: 4.16 4.00 4.00 5/262 40369
/proc/meminfo: memFree=128056360/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=117136 memory=93300 CPUtime=0.2 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 18396 0 0 0 17 3 0 0 20 0 1 0 46953603 119947264 23325 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 29284 23325 1024 1200 0 27764 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117136 KiB
Current children cumulated memory: 93300 KiB
[startup+0.305509 s]*
/proc/loadavg: 4.16 4.00 4.00 5/262 40369
/proc/meminfo: memFree=128040104/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=134864 memory=110448 CPUtime=0.3 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 21390 0 0 0 26 4 0 0 20 0 1 0 46953603 138100736 27612 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 33716 27612 1024 1200 0 32196 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134864 KiB
Current children cumulated memory: 110448 KiB
[startup+0.700184 s]
/proc/loadavg: 4.16 4.00 4.00 5/262 40369
/proc/meminfo: memFree=127971492/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=0.69 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32656 0 0 0 62 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+1.50019 s]
/proc/loadavg: 4.16 4.00 4.00 5/262 40369
/proc/meminfo: memFree=127971684/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=1.48 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32656 0 0 0 141 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+3.10541 s]
/proc/loadavg: 4.14 4.00 4.00 5/262 40369
/proc/meminfo: memFree=127971788/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=3.08 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32667 0 0 0 301 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.00 4.00 5/262 40369
/proc/meminfo: memFree=127968216/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=6.27 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32678 0 0 0 620 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.00 4.00 5/262 40369
/proc/meminfo: memFree=127952148/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=12.66 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32689 0 0 0 1259 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.00 4.00 5/262 40370
/proc/meminfo: memFree=127940956/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=25.42 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32690 0 0 0 2535 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.02 4.01 5/262 40370
/proc/meminfo: memFree=127816324/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=50.96 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32711 0 0 0 5089 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.01 4.00 5/262 40372
/proc/meminfo: memFree=127733420/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=102.03 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32722 0 0 0 10196 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.02 4.00 5/261 40374
/proc/meminfo: memFree=127718976/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=161.88 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32742 0 0 0 16181 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.05 4.01 5/261 40376
/proc/meminfo: memFree=127677988/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=221.74 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32755 0 0 0 22167 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.05 4.01 5/262 40424
/proc/meminfo: memFree=128216184/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=281.58 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32756 0 0 0 28151 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.06 4.01 5/263 40433
/proc/meminfo: memFree=128225884/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=199664 memory=165664 CPUtime=341.41 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 32766 0 0 0 34134 7 0 0 20 0 1 0 46953603 204455936 41416 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 49916 41416 1024 1200 0 48396 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 199664 KiB
Current children cumulated memory: 165664 KiB
[startup+402.3 s]
/proc/loadavg: 4.46 4.16 4.04 5/263 40435
/proc/meminfo: memFree=127655400/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=811080 memory=719944 CPUtime=401.25 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 104274 0 0 0 40096 29 0 0 20 0 1 0 46953603 830545920 179986 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 202770 179986 1280 1200 0 201250 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 811080 KiB
Current children cumulated memory: 719944 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.14 4.04 5/263 40437
/proc/meminfo: memFree=127505052/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=926800 memory=845144 CPUtime=461.08 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 122903 0 0 0 46072 36 0 0 20 0 1 0 46953603 949043200 211286 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 231700 211286 1280 1200 0 230180 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 3.98 4.06 4.08 5/262 40658
/proc/meminfo: memFree=127908888/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1392852 memory=1275712 CPUtime=3154.22 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 171435 0 0 0 315222 200 0 0 20 0 1 0 46953603 1426280448 318928 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 348213 318928 1280 1200 0 346693 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 1392852 KiB
Current children cumulated memory: 1275712 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/262 40660
/proc/meminfo: memFree=127904188/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1392852 memory=1275712 CPUtime=3214.03 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 171847 0 0 0 321203 200 0 0 20 0 1 0 46953603 1426280448 318928 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 348213 318928 1280 1200 0 346693 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 1392852 KiB
Current children cumulated memory: 1275712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/262 40662
/proc/meminfo: memFree=127900236/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1392852 memory=1275712 CPUtime=3273.83 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 172113 0 0 0 327183 200 0 0 20 0 1 0 46953603 1426280448 318928 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 348213 318928 1280 1200 0 346693 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 1392852 KiB
Current children cumulated memory: 1275712 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 40671
/proc/meminfo: memFree=127902812/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1393380 memory=1276352 CPUtime=3333.63 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 172479 0 0 0 333163 200 0 0 20 0 1 0 46953603 1426821120 319088 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 348345 319088 1280 1200 0 346825 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 1393380 KiB
Current children cumulated memory: 1276352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.34 4.16 4.12 5/263 40673
/proc/meminfo: memFree=127894160/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1394440 memory=1277376 CPUtime=3393.44 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 173194 0 0 0 339133 211 0 0 20 0 1 0 46953603 1427906560 319344 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 348610 319344 1280 1200 0 347090 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 1394440 KiB
Current children cumulated memory: 1277376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/263 40675
/proc/meminfo: memFree=127886240/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1399888 memory=1282752 CPUtime=3453.24 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 174890 0 0 0 345113 211 0 0 20 0 1 0 46953603 1433485312 320688 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 349972 320688 1280 1200 0 348452 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 1399888 KiB
Current children cumulated memory: 1282752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 40678
/proc/meminfo: memFree=127746184/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1400492 memory=1283392 CPUtime=3513.05 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 175303 0 0 0 351094 211 0 0 20 0 1 0 46953603 1434103808 320848 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350123 320848 1280 1200 0 348603 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 1400492 KiB
Current children cumulated memory: 1283392 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/264 40680
/proc/meminfo: memFree=127683264/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1403064 memory=1285952 CPUtime=3572.87 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 176270 0 0 0 357070 217 0 0 20 0 1 0 46953603 1436737536 321488 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350766 321488 1280 1200 0 349246 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 1403064 KiB
Current children cumulated memory: 1285952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 40680
/proc/meminfo: memFree=127664188/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1403064 memory=1288896 CPUtime=3600 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 176282 0 0 0 359772 228 0 0 20 0 1 0 46953603 1436737536 322224 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350766 322224 1280 1200 0 349246 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1403064 KiB
Current children cumulated memory: 1288896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.51 s]
# the end of solver process 40368 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.66 s, system=2.34613 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 40680
/proc/meminfo: memFree=127664188/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1403064 memory=1288896 CPUtime=3600.1 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 176283 0 0 0 359782 228 0 0 20 0 1 0 46953603 1436737536 322224 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350766 322224 1280 1200 0 349246 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1403064 KiB
Current children cumulated memory: 1288896 KiB
[startup+3610.4 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 40680
/proc/meminfo: memFree=127664188/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1403064 memory=1288896 CPUtime=3600.89 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 176284 0 0 0 359857 232 0 0 20 0 1 0 46953603 1436737536 322224 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350766 322224 1280 1200 0 349246 0
Current children cumulated CPU time: 3600.89 s
Current children cumulated vsize: 1403064 KiB
Current children cumulated memory: 1288896 KiB
[startup+3611.2 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 40680
/proc/meminfo: memFree=127664188/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1403064 memory=1288896 CPUtime=3601.69 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 176312 0 0 0 359936 233 0 0 20 0 1 0 46953603 1436737536 322224 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350766 322224 1280 1200 0 349246 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 1403064 KiB
Current children cumulated memory: 1288896 KiB
[startup+3611.4 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 40680
/proc/meminfo: memFree=127664188/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1403064 memory=1288896 CPUtime=3601.89 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 176314 0 0 0 359956 233 0 0 20 0 1 0 46953603 1436737536 322224 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350766 322224 1280 1200 0 349246 0
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 1403064 KiB
Current children cumulated memory: 1288896 KiB
[startup+3611.5 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 40680
/proc/meminfo: memFree=127664188/131250000 swapFree=33010416/33010684
[pid=40368] ppid=40365 vsize=1403064 memory=1288896 CPUtime=3601.99 cores=1,3
/proc/40368/stat : 40368 (Exact) R 40365 40368 40233 0 -1 4194304 176314 0 0 0 359966 233 0 0 20 0 1 0 46953603 1436737536 322224 18446744073709551615 4198400 9112445 140722839520160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25300992 140722839521595 140722839521773 140722839521773 140722839527375 0
/proc/40368/statm: 350766 322224 1280 1200 0 349246 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 1403064 KiB
Current children cumulated memory: 1288896 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.51
CPU time (s): 3602.01
CPU user time (s): 3599.66
CPU system time (s): 2.34613
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 1403064
Max. memory (cumulated for all children) (KiB): 1288896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 2.34613
maximum resident set size= 1288896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 1571
# summary of solver processes directly reported to runsolver:
# pid: 40368
# total CPU time (s): 3602.01
# total CPU user time (s): 3599.66
# total CPU system time (s): 2.34613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43495 second user time and 15.4941 second system time
The end
Begin job on nodeC027 at 2025-06-30 21:45:37 IDJOB=4481717 IDBENCH=146011 IDSOLVER=3317 FILE ID=nodeC027/4481717-1751312737 RUNJOBID= nodeC027-1751312274-40245 SLURM_JOB_ID= 9594309 Free space on /tmp= 433020 MiB SOLVER NAME= Exact 2025-06-02 BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_product.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4481717-1751312737/watcher-4481717-1751312737 -o /tmp/evaluation-result-4481717-1751312737/solver-4481717-1751312737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751312274-40245 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=948143645 --ls=360 HOME/instance-4481717-1751312737.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 45fe61862ea6af1146fa753dc4b3b822 RANDOM SEED=948143645 nodeC027 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 : 3599.640 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 : 6999.29 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 : 3599.643 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 : 6999.29 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 : 3601.270 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 : 6999.29 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 : 3599.288 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 : 6999.29 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 : 3599.633 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 : 6999.29 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 : 3599.626 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 : 6999.29 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 : 3599.002 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 : 6999.29 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 : 3700.000 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128133880 kB MemAvailable: 127793256 kB Buffers: 2488 kB Cached: 462408 kB SwapCached: 12 kB Active: 2367648 kB Inactive: 162772 kB Active(anon): 2080784 kB Inactive(anon): 2796 kB Active(file): 286864 kB Inactive(file): 159976 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12040 kB Writeback: 8 kB AnonPages: 2064364 kB Mapped: 118616 kB Shmem: 18056 kB KReclaimable: 103152 kB Slab: 190960 kB SReclaimable: 103152 kB SUnreclaim: 87808 kB KernelStack: 4256 kB PageTables: 7164 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 2591324 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1241088 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433028 MiB End job on nodeC027 at 2025-06-30 22:45:49