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_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
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 | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
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/355006-1176749139/instance-355006-1176749139.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 497 0.00/0.01 o 495 0.00/0.01 o 493 0.01/0.03 o 491 0.01/0.03 o 489 0.01/0.04 o 487 0.01/0.04 o 485 0.01/0.05 o 483 0.01/0.05 o 479 0.01/0.06 o 477 0.01/0.07 o 475 0.01/0.08 o 473 0.01/0.09 o 471 0.01/0.09 o 467 0.09/0.10 o 465 0.19/0.20 o 463 0.19/0.22 o 461 0.19/0.23 o 459 0.19/0.24 o 457 0.19/0.28 o 455 0.19/0.29 o 453 0.19/0.29 o 451 0.29/0.36 o 449 0.29/0.36 o 447 0.39/0.41 o 445 0.39/0.41 o 443 0.39/0.42 o 441 0.39/0.43 o 439 0.39/0.44 o 437 0.39/0.45 o 435 0.39/0.48 o 433 0.49/0.55 o 431 0.59/0.68 o 430 0.59/0.69 o 428 0.69/0.71 o 426 0.69/0.72 o 424 0.69/0.74 o 422 0.69/0.76 o 420 0.79/0.82 o 419 0.79/0.89 o 417 0.89/0.90 o 415 0.89/0.94 o 414 0.89/0.97 o 412 0.89/0.98 o 408 0.89/0.99 o 404 1.00/1.01 o 402 1.19/1.26 o 329 1.29/1.35 o 328 1.39/1.42 o 327 1.39/1.49 o 325 1.49/1.54 o 323 1.49/1.58 o 311 1.49/1.59 o 309 1.59/1.60 o 279 1.59/1.63 o 277 1.59/1.66 o 275 1.59/1.67 o 273 1.59/1.69 o 271 1.69/1.71 o 269 1.69/1.73 o 267 1.69/1.75 o 265 1.79/1.85 o 263 1.99/2.02 o 249 1.99/2.04 o 247 1.99/2.05 o 245 1.99/2.08 o 243 1.99/2.09 o 241 2.09/2.16 o 240 2.09/2.18 o 238 2.49/2.58 o 236 2.59/2.61 o 234 2.79/2.82 o 206 7.98/8.06 o 205 7.98/8.09 o 204 8.08/8.15 o 199 9.39/9.47 o 198 9.49/9.52 o 196 16.99/17.08 o 194 17.09/17.15 o 192 20.08/20.19 o 191 20.18/20.27 o 189 20.38/20.44 o 187 20.48/20.50 o 185 20.58/20.60 o 183 20.58/20.65 o 181 20.58/20.66 o 179 20.58/20.69 o 177 20.68/20.72 o 175 52.68/52.70 o 174 52.88/52.97 o 172 52.98/53.06 o 170 53.28/53.33 o 168 53.38/53.44 o 166 53.38/53.48 o 164 53.48/53.55 o 162 53.58/53.61 o 160 53.58/53.67 o 158 53.68/53.71 o 156 53.88/53.91 o 154 54.17/54.22 o 153 54.27/54.37 o 151 54.37/54.46 o 149 54.47/54.54 o 147 54.57/54.65 o 145 54.67/54.71 o 143 62.48/62.56 o 142 62.58/62.68 o 140 73.17/73.29 o 139 73.38/73.45 o 137 105.46/105.59 o 135 105.66/105.72 o 133 124.96/125.07 o 132 125.16/125.28 o 130 125.26/125.38 o 128 125.36/125.46 o 126 125.55/125.63 o 124 135.46/135.52 o 123 247.93/248.04 o 118 302.81/302.91 o 110 304.02/304.18 o 108 304.22/304.34 o 106 317.01/317.12 o 105 317.11/317.28 o 103 317.41/317.53 o 101 317.61/317.74 o 99 317.82/317.94 o 97 318.01/318.11 o 95 318.11/318.25 o 93 318.51/318.66 o 91 318.71/318.81 o 89 318.82/318.92 o 87 318.92/319.02 o 85 319.01/319.15 o 83 391.19/391.37 o 81 391.69/391.83 o 79 391.89/392.03 o 77 1800.05/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/355006-1176749139/instance-355006-1176749139.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-355006-1176749139 -o ROOT/results/node4/solver-355006-1176749139 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355006-1176749139/PBS4 /tmp/evaluation/355006-1176749139/instance-355006-1176749139.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: 1.00 1.00 1.00 3/77 17400 /proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=1324 CPUtime=0 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 135 0 0 0 0 0 0 0 18 0 1 0 150951629 1355776 117 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/17400/statm: 330 119 88 219 0 107 0 [startup+0.0177879 s] /proc/loadavg: 1.00 1.00 1.00 3/77 17400 /proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=1320 CPUtime=0.01 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 167 0 0 0 1 0 0 0 18 0 1 0 150951629 1351680 149 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 330 149 102 219 0 107 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1320 [startup+0.101795 s] /proc/loadavg: 1.00 1.00 1.00 3/77 17400 /proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=1708 CPUtime=0.09 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 260 0 0 0 9 0 0 0 18 0 1 0 150951629 1748992 242 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 427 242 103 219 0 204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1708 [startup+0.301814 s] /proc/loadavg: 1.00 1.00 1.00 3/77 17400 /proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=3376 CPUtime=0.29 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 472 0 0 0 29 0 0 0 19 0 1 0 150951629 3457024 454 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 844 454 103 219 0 621 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3376 [startup+0.701852 s] /proc/loadavg: 1.00 1.00 1.00 3/77 17400 /proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=5752 CPUtime=0.69 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 803 0 0 0 69 0 0 0 23 0 1 0 150951629 5890048 785 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 1438 785 103 219 0 1215 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5752 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1720336/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=6016 CPUtime=1.49 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 1266 0 0 0 148 1 0 0 25 0 1 0 150951629 6160384 1248 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 1504 1248 103 219 0 1281 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6016 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1717968/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=10700 CPUtime=3.08 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 1743 0 0 0 306 2 0 0 25 0 1 0 150951629 10956800 1676 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 2675 1676 104 219 0 2452 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10700 [startup+6.30139 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1716560/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=11360 CPUtime=6.29 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 2037 0 0 0 626 3 0 0 25 0 1 0 150951629 11632640 1873 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 2840 1873 104 219 0 2617 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11360 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1714768/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=11764 CPUtime=12.69 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 2564 0 0 0 1263 6 0 0 25 0 1 0 150951629 12046336 2400 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552753 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 2941 2400 104 219 0 2718 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11764 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1712016/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=21568 CPUtime=25.48 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 3378 0 0 0 2539 9 0 0 25 0 1 0 150951629 22085632 3021 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 5392 3021 104 219 0 5169 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21568 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1705104/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=23000 CPUtime=51.07 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 5116 0 0 0 5092 15 0 0 25 0 1 0 150951629 23552000 4759 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 5750 4759 104 219 0 5527 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23000 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1698320/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=42728 CPUtime=102.27 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 7181 0 0 0 10203 24 0 0 25 0 1 0 150951629 43753472 6439 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 10682 6439 104 219 0 10459 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42728 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1696400/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=44360 CPUtime=162.25 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 7655 0 0 0 16194 31 0 0 25 0 1 0 150951629 45424640 6913 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 11090 6913 104 219 0 10867 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 44360 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1688912/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=45524 CPUtime=222.23 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 9498 0 0 0 22185 38 0 0 25 0 1 0 150951629 46616576 8756 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 11381 8756 104 219 0 11158 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45524 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1683216/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=50008 CPUtime=282.22 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 11695 0 0 0 28178 44 0 0 25 0 1 0 150951629 51208192 10184 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 12502 10184 104 219 0 12279 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 50008 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1677840/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=82968 CPUtime=342.2 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 13034 0 0 0 34171 49 0 0 25 0 1 0 150951629 84959232 11523 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 20742 11523 104 219 0 20519 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 82968 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1672016/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=84388 CPUtime=402.19 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 14476 0 0 0 40165 54 0 0 25 0 1 0 150951629 86413312 12965 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 21097 12965 104 219 0 20874 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 84388 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 17401 /proc/meminfo: memFree=1669712/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=86124 CPUtime=462.17 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 15040 0 0 0 46158 59 0 0 25 0 1 0 150951629 88190976 13529 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 21531 13529 104 219 0 21308 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 86124 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1666256/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=87180 CPUtime=522.16 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 15917 0 0 0 52153 63 0 0 25 0 1 0 150951629 89272320 14406 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 21795 14406 104 219 0 21572 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 87180 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1662992/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=88768 CPUtime=582.15 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 16808 0 0 0 58147 68 0 0 25 0 1 0 150951629 90898432 15231 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 22192 15231 104 219 0 21969 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 88768 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1660368/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=89440 CPUtime=642.13 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 17463 0 0 0 64142 71 0 0 25 0 1 0 150951629 91586560 15853 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 22360 15853 104 219 0 22137 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 89440 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1654992/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=91104 CPUtime=822.09 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 18829 0 0 0 82127 82 0 0 25 0 1 0 150951629 93290496 17219 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 22776 17219 104 219 0 22553 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 91104 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17401 /proc/meminfo: memFree=1653008/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=91844 CPUtime=882.07 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 19333 0 0 0 88121 86 0 0 25 0 1 0 150951629 94048256 17690 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 22961 17690 104 219 0 22738 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 91844 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 17517 /proc/meminfo: memFree=1651168/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=98216 CPUtime=942 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21007 0 0 0 94109 91 0 0 25 0 1 0 150951629 100573184 17827 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 24554 17827 104 219 0 24331 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 98216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1651792/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=98460 CPUtime=1001.95 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21127 0 0 0 100099 96 0 0 25 0 1 0 150951629 100823040 17947 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 24615 17947 104 219 0 24392 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 98460 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1651344/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=98852 CPUtime=1061.92 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21325 0 0 0 106093 99 0 0 25 0 1 0 150951629 101224448 18112 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 24713 18112 104 219 0 24490 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 98852 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1650576/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=99504 CPUtime=1121.91 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21540 0 0 0 112088 103 0 0 25 0 1 0 150951629 101892096 18294 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 24876 18294 104 219 0 24653 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 99504 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1648400/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=99504 CPUtime=1181.89 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 22097 0 0 0 118083 106 0 0 25 0 1 0 150951629 101892096 18851 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 24876 18851 104 219 0 24653 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 99504 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1645328/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=99632 CPUtime=1241.88 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 22890 0 0 0 124077 111 0 0 25 0 1 0 150951629 102023168 19611 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 24908 19611 104 219 0 24685 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 99632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1642832/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=100948 CPUtime=1301.88 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 23563 0 0 0 130074 114 0 0 25 0 1 0 150951629 103370752 20218 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25237 20218 104 219 0 25014 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 100948 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1642064/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=101500 CPUtime=1361.85 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 23794 0 0 0 136069 116 0 0 25 0 1 0 150951629 103936000 20416 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25375 20416 104 219 0 25152 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 101500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/78 17599 /proc/meminfo: memFree=1641616/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=101888 CPUtime=1421.84 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 23945 0 0 0 142065 119 0 0 25 0 1 0 150951629 104333312 20534 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25472 20534 104 219 0 25249 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 101888 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17599 /proc/meminfo: memFree=1640656/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=102532 CPUtime=1481.83 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 24246 0 0 0 148060 123 0 0 25 0 1 0 150951629 104992768 20736 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25633 20736 104 219 0 25410 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 102532 [startup+1542.3 s] /proc/loadavg: 1.10 1.03 1.00 2/78 17599 /proc/meminfo: memFree=1638288/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=102792 CPUtime=1541.81 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 24853 0 0 0 154056 125 0 0 25 0 1 0 150951629 105259008 21343 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25698 21343 104 219 0 25475 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 102792 [startup+1602.3 s] /proc/loadavg: 1.17 1.05 1.01 2/78 17599 /proc/meminfo: memFree=1635728/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=103304 CPUtime=1601.79 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 25639 0 0 0 160051 128 0 0 25 0 1 0 150951629 105783296 21997 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25826 21997 104 219 0 25603 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 103304 [startup+1662.3 s] /proc/loadavg: 1.06 1.04 1.00 2/78 17599 /proc/meminfo: memFree=1633168/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=103560 CPUtime=1661.78 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 26344 0 0 0 166046 132 0 0 25 0 1 0 150951629 106045440 22636 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25890 22636 104 219 0 25667 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 103560 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.00 2/78 17599 /proc/meminfo: memFree=1630416/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=103560 CPUtime=1721.77 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 27035 0 0 0 172041 136 0 0 25 0 1 0 150951629 106045440 23327 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 25890 23327 104 219 0 25667 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 103560 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17599 /proc/meminfo: memFree=1627408/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=169096 CPUtime=1781.75 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 27774 0 0 0 178036 139 0 0 25 0 1 0 150951629 173154304 24066 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 42274 24066 104 219 0 42051 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 169096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17599 /proc/meminfo: memFree=1626064/2055920 swapFree=4153892/4192956 [pid=17400] ppid=17398 vsize=169744 CPUtime=1800.05 /proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 28147 0 0 0 179865 140 0 0 25 0 1 0 150951629 173817856 24406 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17400/statm: 42436 24406 104 219 0 42213 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 169744 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.42178 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 169744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.66 system time used= 1.42178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28148 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= 3192 runsolver used 2.11368 second user time and 4.42233 second system time The end
Begin job on node4 on Mon Apr 16 18:45:39 UTC 2007 IDJOB= 355006 IDBENCH= 2932 IDSOLVER= 157 FILE ID= node4/355006-1176749139 PBS_JOBID= 4580697 Free space on /tmp= 66518 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_7_60_3.opb COMMAND LINE= /tmp/evaluation/355006-1176749139/PBS4 /tmp/evaluation/355006-1176749139/instance-355006-1176749139.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-355006-1176749139 -o ROOT/results/node4/conversion-355006-1176749139 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/355006-1176749139/instance-355006-1176749139.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-355006-1176749139 -o ROOT/results/node4/solver-355006-1176749139 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355006-1176749139/PBS4 /tmp/evaluation/355006-1176749139/instance-355006-1176749139.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED= 831674114 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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.218 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: 1724336 kB Buffers: 34312 kB Cached: 219908 kB SwapCached: 2616 kB Active: 67856 kB Inactive: 211956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1724336 kB SwapTotal: 4192956 kB SwapFree: 4153892 kB Dirty: 1224 kB Writeback: 0 kB Mapped: 32864 kB Slab: 37264 kB Committed_AS: 5191012 kB PageTables: 1824 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= 66518 MiB End job on node4 on Mon Apr 16 19:15:42 UTC 2007