Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.07 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 42 |
Best CPU time to get the best result obtained on this benchmark | 1802.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 1086 0.00/0.00 o 944 0.00/0.00 o 577 0.02/0.09 o 575 0.02/0.10 o 572 0.49/0.50 o 570 0.49/0.58 o 568 1.69/1.73 o 567 1.69/1.76 o 566 1.99/2.08 o 565 2.10/2.12 o 564 2.49/2.52 o 563 2.59/2.63 o 561 2.59/2.67 o 560 2.69/2.70 o 553 2.79/2.81 o 551 2.79/2.88 o 550 2.79/2.90 o 547 2.89/2.92 o 546 2.89/2.98 o 545 2.99/3.02 o 544 2.99/3.08 o 543 3.09/3.10 o 542 3.09/3.11 o 541 3.09/3.13 o 540 3.09/3.18 o 527 3.59/3.64 o 479 4.09/4.17 o 477 4.40/4.42 o 475 4.40/4.48 o 474 4.49/4.57 o 473 4.59/4.68 o 472 4.99/5.03 o 469 4.99/5.04 o 465 4.99/5.04 o 463 5.19/5.28 o 462 6.29/6.33 o 460 6.29/6.36 o 459 6.39/6.46 o 458 6.60/6.61 o 457 6.69/6.71 o 456 6.99/7.07 o 443 7.09/7.11 o 442 7.09/7.14 o 441 7.29/7.39 o 439 8.08/8.17 o 437 8.18/8.24 o 436 12.39/12.42 o 412 13.19/13.21 o 410 13.69/13.74 o 408 13.79/13.83 o 406 13.79/13.86 o 404 17.49/17.59 o 402 17.59/17.65 o 401 17.78/17.83 o 400 17.88/17.94 o 399 21.09/21.10 o 357 35.38/35.41 o 355 36.29/36.32 o 354 36.39/36.43 o 353 36.49/36.53 o 352 40.27/40.37 o 350 40.37/40.47 o 349 41.28/41.36 o 347 41.38/41.41 o 340 41.78/41.89 o 339 41.98/42.05 o 338 46.77/46.86 o 315 59.77/59.87 o 314 59.87/59.99 o 311 60.07/60.12 o 310 60.17/60.23 o 309 67.47/67.57 o 307 67.67/67.73 o 306 70.97/71.07 o 304 71.07/71.15 o 303 71.38/71.44 o 302 71.57/71.61 o 301 72.27/72.38 o 288 72.27/72.38 o 280 72.27/72.38 o 278 120.06/120.14 o 277 120.26/120.33 o 276 128.56/128.68 o 275 128.75/128.86 o 274 234.02/234.10 o 273 234.23/234.37 o 272 252.02/252.17 o 271 252.42/252.58 o 270 252.72/252.80 o 269 252.82/252.98 o 268 258.61/258.77 o 266 258.91/259.06 o 265 259.01/259.17 o 264 259.31/259.42 o 263 282.61/282.79 o 262 284.60/284.78 o 229 287.01/287.12 o 227 289.70/289.87 o 226 293.10/293.23 o 224 293.70/293.86 o 223 294.20/294.34 o 222 294.80/294.94 o 220 295.10/295.21 o 219 295.40/295.56 o 218 295.80/295.95 o 216 296.00/296.11 o 215 296.60/296.76 o 214 296.70/296.90 o 213 302.50/302.63 o 211 305.70/305.83 o 210 306.40/306.52 o 209 338.18/338.34 o 208 338.69/338.83 o 207 384.97/385.13 o 205 485.95/486.16 o 204 486.55/486.71 o 203 487.65/487.83 o 201 488.64/488.88 o 200 489.74/489.93 o 198 489.84/490.07 o 197 490.64/490.85 o 196 490.84/491.01 o 193 490.84/491.08 o 191 774.75/775.16 o 189 776.05/776.43 o 188 776.44/776.85 o 187 776.64/777.02 o 186 776.94/777.30 o 185 777.44/777.88 o 183 777.74/778.10 o 182 777.84/778.27 o 181 778.14/778.50 o 179 778.34/778.75 o 178 779.85/780.23 o 176 780.75/781.12 o 175 781.95/782.31 o 174 782.14/782.55 o 173 905.10/905.56 o 171 905.70/906.13 o 168 906.01/906.41 o 167 906.20/906.69 o 166 906.50/906.97 o 165 906.70/907.13 o 164 1103.95/1104.41 o 162 1104.24/1104.76 o 161 1104.64/1105.11 o 160 1104.84/1105.36 o 159 1105.15/1105.62 o 158 1105.65/1106.10 o 157 1106.05/1106.59 o 155 1106.35/1106.82 o 153 1106.45/1106.98 o 152 1106.75/1107.25 o 151 1107.05/1107.53 o 150 1107.15/1107.67 o 149 1288.79/1289.39 o 148 1320.27/1320.87 o 146 1321.07/1321.60 o 145 1322.17/1322.73 o 143 1800.04/1800.71 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-354902-1176731342 -o ROOT/results/node22/solver-354902-1176731342 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354902-1176731342/PBS4 /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15285 /proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=1324 CPUtime=0 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 121051890 1355776 119 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135022900 0 0 4096 0 0 0 0 17 1 0 0 /proc/15285/statm: 331 119 87 219 0 108 0 [startup+0.0293051 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15285 /proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=1468 CPUtime=0.02 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 175 0 0 0 2 0 0 0 18 0 1 0 121051890 1503232 157 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 367 157 102 219 0 144 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1468 [startup+0.101317 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15285 /proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=1468 CPUtime=0.1 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 214 0 0 0 10 0 0 0 18 0 1 0 121051890 1503232 196 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 367 196 102 219 0 144 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1468 [startup+0.301345 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15285 /proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=2236 CPUtime=0.29 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 391 0 0 0 29 0 0 0 19 0 1 0 121051890 2289664 373 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 559 373 103 219 0 336 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2236 [startup+0.701407 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15285 /proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=3460 CPUtime=0.69 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 701 0 0 0 69 0 0 0 23 0 1 0 121051890 3543040 683 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 865 683 103 219 0 642 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3460 [startup+1.50153 s] /proc/loadavg: 0.92 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1747768/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=5840 CPUtime=1.49 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 1161 0 0 0 149 0 0 0 25 0 1 0 121051890 5980160 1143 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 1460 1143 103 219 0 1237 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5840 [startup+3.10177 s] /proc/loadavg: 0.92 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1745336/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=10660 CPUtime=3.09 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 1930 0 0 0 308 1 0 0 25 0 1 0 121051890 10915840 1863 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 2665 1863 104 219 0 2442 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10660 [startup+6.30126 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1740984/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=11588 CPUtime=6.29 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 2807 0 0 0 625 4 0 0 25 0 1 0 121051890 11866112 2643 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 2897 2643 104 219 0 2674 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11588 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1737272/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=20324 CPUtime=12.69 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 3605 0 0 0 1263 6 0 0 25 0 1 0 121051890 20811776 3441 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 5081 3441 104 219 0 4858 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20324 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1733944/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=21804 CPUtime=25.49 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 4617 0 0 0 2539 10 0 0 25 0 1 0 121051890 22327296 4260 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 5451 4260 104 219 0 5228 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21804 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1729656/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=22696 CPUtime=51.07 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 5687 0 0 0 5092 15 0 0 25 0 1 0 121051890 23240704 5330 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 5674 5330 104 219 0 5451 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22696 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1721912/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=42272 CPUtime=102.27 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 8001 0 0 0 10201 26 0 0 25 0 1 0 121051890 43286528 7259 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549580 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 10568 7259 104 219 0 10345 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42272 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1718648/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=43524 CPUtime=162.25 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 8845 0 0 0 16191 34 0 0 25 0 1 0 121051890 44568576 8103 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 10881 8103 104 219 0 10658 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43524 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1710584/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=48640 CPUtime=222.23 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 11591 0 0 0 22181 42 0 0 25 0 1 0 121051890 49807360 10080 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 12160 10080 104 219 0 11937 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 48640 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1704312/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=82404 CPUtime=282.2 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 13157 0 0 0 28171 49 0 0 25 0 1 0 121051890 84381696 11646 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 20601 11646 104 219 0 20378 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 82404 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1698488/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=83456 CPUtime=342.19 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 14606 0 0 0 34163 56 0 0 25 0 1 0 121051890 85458944 13095 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 20864 13095 104 219 0 20641 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 83456 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1697208/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=84436 CPUtime=402.17 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 14914 0 0 0 40157 60 0 0 25 0 1 0 121051890 86462464 13403 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 21109 13403 104 219 0 20886 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 84436 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1696504/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=84884 CPUtime=462.15 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 15093 0 0 0 46150 65 0 0 25 0 1 0 121051890 86921216 13582 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 21221 13582 104 219 0 20998 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 84884 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1693560/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=85268 CPUtime=522.13 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 15844 0 0 0 52144 69 0 0 25 0 1 0 121051890 87314432 14333 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 21317 14333 104 219 0 21094 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 85268 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1690552/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=86088 CPUtime=582.12 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 16597 0 0 0 58138 74 0 0 25 0 1 0 121051890 88154112 15086 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 21522 15086 104 219 0 21299 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 86088 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15286 /proc/meminfo: memFree=1686776/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=87272 CPUtime=642.09 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 17546 0 0 0 64131 78 0 0 25 0 1 0 121051890 89366528 16002 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 21818 16002 104 219 0 21595 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 87272 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1673144/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=98256 CPUtime=881.91 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22469 0 0 0 88094 97 0 0 25 0 1 0 121051890 100614144 19355 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 24564 19355 104 219 0 24341 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 98256 [startup+942.301 s] /proc/loadavg: 1.05 1.01 1.00 2/78 15484 /proc/meminfo: memFree=1672248/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=99060 CPUtime=941.89 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22687 0 0 0 94088 101 0 0 25 0 1 0 121051890 101437440 19573 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 24765 19573 104 219 0 24542 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 99060 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 15484 /proc/meminfo: memFree=1671480/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=99324 CPUtime=1001.88 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22879 0 0 0 100083 105 0 0 25 0 1 0 121051890 101707776 19765 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 24831 19765 104 219 0 24608 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 99324 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1671096/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=99752 CPUtime=1061.86 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22973 0 0 0 106077 109 0 0 25 0 1 0 121051890 102146048 19859 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 24938 19859 104 219 0 24715 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 99752 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1670392/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=100012 CPUtime=1121.84 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23144 0 0 0 112071 113 0 0 25 0 1 0 121051890 102412288 20030 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25003 20030 104 219 0 24780 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 100012 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1669816/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=100656 CPUtime=1181.82 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23312 0 0 0 118065 117 0 0 25 0 1 0 121051890 103071744 20198 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25164 20198 104 219 0 24941 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 100656 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1669432/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=100656 CPUtime=1241.8 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23401 0 0 0 124060 120 0 0 25 0 1 0 121051890 103071744 20287 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25164 20287 104 219 0 24941 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 100656 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1668664/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=101576 CPUtime=1301.79 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23629 0 0 0 130054 125 0 0 25 0 1 0 121051890 104013824 20515 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25394 20515 104 219 0 25171 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 101576 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1667512/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=102584 CPUtime=1361.76 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23936 0 0 0 136049 127 0 0 25 0 1 0 121051890 105046016 20789 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134535127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25646 20789 104 219 0 25423 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 102584 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1667256/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=102584 CPUtime=1421.75 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24015 0 0 0 142043 132 0 0 25 0 1 0 121051890 105046016 20868 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25646 20868 104 219 0 25423 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 102584 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1666872/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=102716 CPUtime=1481.73 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24111 0 0 0 148037 136 0 0 25 0 1 0 121051890 105181184 20964 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25679 20964 104 219 0 25456 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 102716 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1666488/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=103224 CPUtime=1541.71 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24202 0 0 0 154032 139 0 0 25 0 1 0 121051890 105701376 21055 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 25806 21055 104 219 0 25583 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 103224 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1665720/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=104004 CPUtime=1601.69 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24440 0 0 0 160028 141 0 0 25 0 1 0 121051890 106500096 21227 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 26001 21227 104 219 0 25778 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 104004 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1663032/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=105044 CPUtime=1661.67 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25241 0 0 0 166022 145 0 0 25 0 1 0 121051890 107565056 21929 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 26261 21929 104 219 0 26038 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 105044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1662008/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=106096 CPUtime=1721.66 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25528 0 0 0 172017 149 0 0 25 0 1 0 121051890 108642304 22150 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552810 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 26524 22150 104 219 0 26301 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 106096 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1660984/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=107296 CPUtime=1781.63 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25881 0 0 0 178012 151 0 0 25 0 1 0 121051890 109871104 22404 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 26824 22404 104 219 0 26601 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 107296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1660920/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=107296 CPUtime=1800.04 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25923 0 0 0 179851 153 0 0 25 0 1 0 121051890 109871104 22446 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 26824 22446 104 219 0 26601 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 107296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15484 /proc/meminfo: memFree=1660920/2055920 swapFree=4168688/4192956 [pid=15285] ppid=15283 vsize=107296 CPUtime=1800.04 /proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25923 0 0 0 179851 153 0 0 25 0 1 0 121051890 109871104 22446 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 26824 22446 104 219 0 26601 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 107296 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.07 CPU user time (s): 1798.52 CPU system time (s): 1.54876 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 107296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.52 system time used= 1.54876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25924 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= 8 involuntary context switches= 37359 runsolver used 2.07268 second user time and 4.45032 second system time The end
Begin job on node22 on Mon Apr 16 13:49:02 UTC 2007 IDJOB= 354902 IDBENCH= 2920 IDSOLVER= 157 FILE ID= node22/354902-1176731342 PBS_JOBID= 4559505 Free space on /tmp= 66554 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= /tmp/evaluation/354902-1176731342/PBS4 /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-354902-1176731342 -o ROOT/results/node22/conversion-354902-1176731342 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-354902-1176731342 -o ROOT/results/node22/solver-354902-1176731342 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354902-1176731342/PBS4 /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED= 955340538 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1751320 kB Buffers: 60968 kB Cached: 149664 kB SwapCached: 2412 kB Active: 85892 kB Inactive: 150152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1751320 kB SwapTotal: 4192956 kB SwapFree: 4168688 kB Dirty: 1252 kB Writeback: 0 kB Mapped: 31484 kB Slab: 54136 kB Committed_AS: 1685712 kB PageTables: 1680 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66554 MiB End job on node22 on Mon Apr 16 14:19:05 UTC 2007