Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.08 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 1802.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
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 | 84 |
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 | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6154 |
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/354824-1176727450/instance-354824-1176727450.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 1231 0.00/0.00 o 1150 0.00/0.00 o 535 2.09/2.10 o 534 2.39/2.44 o 532 2.49/2.50 o 530 3.29/3.39 o 529 3.39/3.49 o 527 3.50/3.52 o 525 5.40/5.42 o 524 5.59/5.66 o 523 5.69/5.73 o 521 5.69/5.79 o 519 5.79/5.82 o 517 5.89/5.96 o 515 6.09/6.13 o 512 6.09/6.19 o 510 6.30/6.36 o 508 6.39/6.43 o 506 6.39/6.48 o 504 6.50/6.53 o 502 6.50/6.57 o 500 6.69/6.72 o 499 6.69/6.79 o 497 6.79/6.85 o 495 6.89/6.94 o 493 6.99/7.02 o 491 7.09/7.17 o 489 12.10/12.14 o 488 12.19/12.26 o 487 12.49/12.59 o 485 12.59/12.64 o 481 12.59/12.67 o 477 12.99/13.03 o 476 17.18/17.22 o 474 17.18/17.29 o 472 17.38/17.48 o 470 17.68/17.71 o 468 17.68/17.75 o 466 17.88/17.91 o 464 17.88/17.97 o 462 18.08/18.11 o 460 18.59/18.65 o 459 22.59/22.66 o 457 22.69/22.75 o 455 22.79/22.81 o 453 22.99/23.06 o 450 24.28/24.30 o 449 24.48/24.53 o 430 24.88/24.98 o 429 25.08/25.15 o 427 25.19/25.28 o 425 26.09/26.12 o 421 26.09/26.13 o 419 26.09/26.13 o 417 40.08/40.12 o 415 45.78/45.87 o 348 45.78/45.87 o 346 46.19/46.30 o 344 46.78/46.88 o 342 46.88/46.96 o 340 46.98/47.03 o 338 47.08/47.11 o 336 47.08/47.16 o 334 47.38/47.40 o 332 47.38/47.44 o 330 47.48/47.58 o 328 47.58/47.65 o 326 54.57/54.65 o 325 54.67/54.74 o 323 54.77/54.85 o 321 61.98/62.06 o 311 62.48/62.50 o 310 62.48/62.59 o 304 62.78/62.86 o 303 64.58/64.62 o 302 64.98/65.00 o 270 65.67/65.76 o 266 66.37/66.41 o 264 66.47/66.50 o 262 69.67/69.76 o 261 69.77/69.90 o 259 70.17/70.25 o 257 70.28/70.34 o 255 70.28/70.39 o 253 70.38/70.46 o 251 70.47/70.50 o 249 70.47/70.54 o 247 70.57/70.64 o 245 70.67/70.72 o 243 96.87/96.98 o 198 112.76/112.87 o 196 337.90/338.04 o 194 340.01/340.12 o 193 340.31/340.49 o 191 361.80/361.96 o 189 467.88/468.03 o 187 587.25/587.49 o 186 879.37/879.60 o 185 880.37/880.62 o 183 883.56/883.82 o 182 1042.06/1042.43 o 181 1043.57/1044.00 o 179 1044.26/1044.63 o 177 1044.46/1044.85 o 175 1085.13/1085.55 o 174 1086.13/1086.55 o 172 1086.34/1086.77 o 170 1086.63/1087.09 o 168 1086.93/1087.36 o 166 1150.01/1150.40 o 165 1150.61/1151.09 o 163 1151.11/1151.52 o 161 1155.51/1155.98 o 159 1156.01/1156.40 o 155 1245.80/1246.21 o 154 1800.05/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/354824-1176727450/instance-354824-1176727450.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-354824-1176727450 -o ROOT/results/node27/solver-354824-1176727450 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354824-1176727450/PBS4 /tmp/evaluation/354824-1176727450/instance-354824-1176727450.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.91 0.97 0.98 3/65 2588 /proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=1324 CPUtime=0 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 85440935 1355776 119 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135022902 0 0 4096 0 0 0 0 17 1 0 0 /proc/2588/statm: 331 119 87 219 0 108 0 [startup+0.033382 s] /proc/loadavg: 0.91 0.97 0.98 3/65 2588 /proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=1468 CPUtime=0.03 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 184 0 0 0 3 0 0 0 18 0 1 0 85440935 1503232 166 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 367 166 102 219 0 144 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1468 [startup+0.101389 s] /proc/loadavg: 0.91 0.97 0.98 3/65 2588 /proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=1724 CPUtime=0.09 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 252 0 0 0 9 0 0 0 18 0 1 0 85440935 1765376 234 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 431 234 103 219 0 208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1724 [startup+0.301409 s] /proc/loadavg: 0.91 0.97 0.98 3/65 2588 /proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=2236 CPUtime=0.29 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 436 0 0 0 29 0 0 0 19 0 1 0 85440935 2289664 418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 559 418 103 219 0 336 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2236 [startup+0.701451 s] /proc/loadavg: 0.91 0.97 0.98 3/65 2588 /proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=3464 CPUtime=0.69 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 742 0 0 0 69 0 0 0 22 0 1 0 85440935 3547136 724 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 866 724 103 219 0 643 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3464 [startup+1.50153 s] /proc/loadavg: 0.91 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1796000/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=5708 CPUtime=1.5 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 1280 0 0 0 149 1 0 0 25 0 1 0 85440935 5844992 1262 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 1427 1262 103 219 0 1204 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 5708 [startup+3.10169 s] /proc/loadavg: 0.91 0.97 0.98 3/66 2589 /proc/meminfo: memFree=1793440/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=10664 CPUtime=3.09 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 2075 0 0 0 307 2 0 0 25 0 1 0 85440935 10919936 2008 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 2666 2008 104 219 0 2443 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10664 [startup+6.30202 s] /proc/loadavg: 0.92 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1789152/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=19916 CPUtime=6.3 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 2986 0 0 0 625 5 0 0 25 0 1 0 85440935 20393984 2822 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 4979 2822 104 219 0 4756 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 19916 [startup+12.7017 s] /proc/loadavg: 0.93 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1785248/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=20356 CPUtime=12.69 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 3834 0 0 0 1262 7 0 0 25 0 1 0 85440935 20844544 3670 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 5089 3670 104 219 0 4866 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20356 [startup+25.502 s] /proc/loadavg: 0.94 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1782240/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=21684 CPUtime=25.49 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 4702 0 0 0 2538 11 0 0 25 0 1 0 85440935 22204416 4345 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 5421 4345 104 219 0 5198 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21684 [startup+51.1016 s] /proc/loadavg: 0.96 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1775968/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=39116 CPUtime=51.08 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 6253 0 0 0 5092 16 0 0 25 0 1 0 85440935 40054784 5896 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 9779 5896 104 219 0 9556 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39116 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1774048/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=41972 CPUtime=102.27 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 7118 0 0 0 10204 23 0 0 25 0 1 0 85440935 42979328 6376 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 10493 6376 104 219 0 10270 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 41972 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1770720/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=43708 CPUtime=162.25 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 7923 0 0 0 16194 31 0 0 25 0 1 0 85440935 44756992 7181 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 10927 7181 104 219 0 10704 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43708 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1764256/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=48032 CPUtime=222.24 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 10301 0 0 0 22185 39 0 0 25 0 1 0 85440935 49184768 8790 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 12008 8790 104 219 0 11785 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 48032 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1760736/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=49260 CPUtime=282.22 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 11181 0 0 0 28178 44 0 0 25 0 1 0 85440935 50442240 9670 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 12315 9670 104 219 0 12092 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49260 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1755360/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=50648 CPUtime=342.21 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 12508 0 0 0 34171 50 0 0 25 0 1 0 85440935 51863552 10997 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 12662 10997 104 219 0 12439 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 50648 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1752608/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=51516 CPUtime=402.19 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 13224 0 0 0 40164 55 0 0 25 0 1 0 85440935 52752384 11713 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 12879 11713 104 219 0 12656 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 51516 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1748256/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=85024 CPUtime=462.17 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 14272 0 0 0 46157 60 0 0 25 0 1 0 85440935 87064576 12761 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 21256 12761 104 219 0 21033 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 85024 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1747040/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=85216 CPUtime=522.16 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 14628 0 0 0 52152 64 0 0 25 0 1 0 85440935 87261184 13117 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 21304 13117 104 219 0 21081 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 85216 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 2589 /proc/meminfo: memFree=1743968/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=86344 CPUtime=582.14 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 15341 0 0 0 58146 68 0 0 25 0 1 0 85440935 88416256 13830 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 21586 13830 104 219 0 21363 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 86344 [startup+642.302 s] /proc/loadavg: 1.04 0.99 0.99 2/66 2589 /proc/meminfo: memFree=1742560/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=86828 CPUtime=642.14 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 15688 0 0 0 64142 72 0 0 25 0 1 0 85440935 88911872 14177 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 21707 14177 104 219 0 21484 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 86828 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.05 1.02 1.00 2/66 2589 /proc/meminfo: memFree=1731744/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=93924 CPUtime=822.09 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 19938 0 0 0 82125 84 0 0 25 0 1 0 85440935 96178176 16890 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 23481 16890 104 219 0 23258 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 93924 [startup+882.301 s] /proc/loadavg: 1.05 1.03 1.00 2/66 2589 /proc/meminfo: memFree=1728288/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=94320 CPUtime=882.06 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 20772 0 0 0 88118 88 0 0 25 0 1 0 85440935 96583680 17724 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 23580 17724 104 219 0 23357 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 94320 [startup+942.301 s] /proc/loadavg: 1.02 1.02 1.00 2/66 2589 /proc/meminfo: memFree=1724832/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=95756 CPUtime=942.06 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 21636 0 0 0 94114 92 0 0 25 0 1 0 85440935 98054144 18588 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 23939 18588 104 219 0 23716 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 95756 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 2589 /proc/meminfo: memFree=1721824/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=96548 CPUtime=1002.04 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 22378 0 0 0 100109 95 0 0 25 0 1 0 85440935 98865152 19330 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 24137 19330 104 219 0 23914 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 96548 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/72 2767 /proc/meminfo: memFree=1718560/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=98004 CPUtime=1061.94 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 22842 0 0 0 106091 103 0 0 25 0 1 0 85440935 100356096 19794 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2588/statm: 24501 19794 104 219 0 24278 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 98004 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 2787 /proc/meminfo: memFree=1719328/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=98136 CPUtime=1121.92 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 22932 0 0 0 112086 106 0 0 25 0 1 0 85440935 100491264 19884 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 24534 19884 104 219 0 24311 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 98136 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1716192/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=100136 CPUtime=1181.9 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 23825 0 0 0 118079 111 0 0 25 0 1 0 85440935 102539264 20678 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 25034 20678 104 219 0 24811 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 100136 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1715680/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=100580 CPUtime=1241.89 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 23938 0 0 0 124074 115 0 0 25 0 1 0 85440935 102993920 20791 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 25145 20791 104 219 0 24922 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 100580 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1714784/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=101236 CPUtime=1301.88 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24159 0 0 0 130070 118 0 0 25 0 1 0 85440935 103665664 21012 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 25309 21012 104 219 0 25086 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 101236 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1714400/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=101832 CPUtime=1361.86 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24266 0 0 0 136065 121 0 0 25 0 1 0 85440935 104275968 21119 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 25458 21119 104 219 0 25235 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 101832 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1713760/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=102228 CPUtime=1421.85 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24420 0 0 0 142062 123 0 0 25 0 1 0 85440935 104681472 21273 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 25557 21273 104 219 0 25334 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 102228 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1712032/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=102492 CPUtime=1481.83 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24867 0 0 0 148058 125 0 0 25 0 1 0 85440935 104951808 21720 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 25623 21720 104 219 0 25400 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 102492 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1709472/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=102880 CPUtime=1541.81 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 25566 0 0 0 154053 128 0 0 25 0 1 0 85440935 105349120 22353 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 25720 22353 104 219 0 25497 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 102880 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1708192/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=104140 CPUtime=1601.8 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 25967 0 0 0 160050 130 0 0 25 0 1 0 85440935 106639360 22655 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 26035 22655 104 219 0 25812 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 104140 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1706976/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=104516 CPUtime=1661.79 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26267 0 0 0 166046 133 0 0 25 0 1 0 85440935 107024384 22955 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 26129 22955 104 219 0 25906 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 104516 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1705888/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=105172 CPUtime=1721.76 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26575 0 0 0 172040 136 0 0 25 0 1 0 85440935 107696128 23230 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 26293 23230 104 219 0 26070 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 105172 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1705184/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=105572 CPUtime=1781.76 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26740 0 0 0 178036 140 0 0 25 0 1 0 85440935 108105728 23395 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 26393 23395 104 219 0 26170 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 105572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2787 /proc/meminfo: memFree=1705120/2055920 swapFree=4184636/4192956 [pid=2588] ppid=2586 vsize=105572 CPUtime=1800.05 /proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26760 0 0 0 179865 140 0 0 25 0 1 0 85440935 108105728 23415 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2588/statm: 26393 23415 104 219 0 26170 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 105572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.08 CPU user time (s): 1798.66 CPU system time (s): 1.42578 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 105572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.66 system time used= 1.42578 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26761 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= 1607 runsolver used 1.65375 second user time and 3.71743 second system time The end
Begin job on node27 on Mon Apr 16 12:44:10 UTC 2007 IDJOB= 354824 IDBENCH= 2904 IDSOLVER= 157 FILE ID= node27/354824-1176727450 PBS_JOBID= 4559489 Free space on /tmp= 66517 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_4.opb COMMAND LINE= /tmp/evaluation/354824-1176727450/PBS4 /tmp/evaluation/354824-1176727450/instance-354824-1176727450.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-354824-1176727450 -o ROOT/results/node27/conversion-354824-1176727450 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354824-1176727450/instance-354824-1176727450.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-354824-1176727450 -o ROOT/results/node27/solver-354824-1176727450 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354824-1176727450/PBS4 /tmp/evaluation/354824-1176727450/instance-354824-1176727450.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED= 290242990 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1799872 kB Buffers: 18580 kB Cached: 170480 kB SwapCached: 2904 kB Active: 49988 kB Inactive: 151088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799872 kB SwapTotal: 4192956 kB SwapFree: 4184636 kB Dirty: 1140 kB Writeback: 0 kB Mapped: 18452 kB Slab: 40988 kB Committed_AS: 1568524 kB PageTables: 1412 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= 66517 MiB End job on node27 on Mon Apr 16 13:14:13 UTC 2007