Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.2 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | fbf213ed65afe4e66abc3948eb02a29f |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21166 |
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 | 21166 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node70/41206-1149245938/instance-41206-1149245938.opb ...... 0.01 c done parsing opb. 0.01 o 286055 0.03 o 285359 0.09 o 276024 0.24 o 225858 0.40 o 224012 0.47 o 202621 0.54 o 202105 0.58 o 189335 0.67 o 189318 0.68 o 174685 0.69 o 173244 0.74 o 172781 0.86 o 172739 1.19 o 172084 1.47 o 171182 2.23 o 170983 2.64 o 170447 2.97 o 170442 3.04 o 170129 3.43 o 169952 4.11 o 169650 4.31 o 169346 4.53 o 166976 4.66 o 166789 5.28 o 166291 6.10 o 165620 7.23 o 165306 8.05 o 164398 9.08 o 164225 9.85 o 163788 10.77 o 163585 13.03 o 162848 14.03 o 162437 15.34 o 162285 16.53 o 162218 17.77 o 161674 19.25 o 160765 19.33 o 159903 19.68 o 158841 21.01 o 158508 22.84 o 158045 25.40 o 158026 27.16 o 157994 27.93 o 157705 28.93 o 157272 29.17 o 156362 30.04 o 156036 30.59 o 155360 31.61 o 155217 32.48 o 154999 34.62 o 154613 34.78 o 154593 35.39 o 154387 35.71 o 154146 36.27 o 153524 37.67 o 153385 38.06 o 152385 39.07 o 151284 40.56 o 150669 41.67 o 150068 43.11 o 149999 44.76 o 149626 45.10 o 149002 47.47 o 148536 49.29 o 148163 51.07 o 147656 52.76 o 146888 53.62 o 145864 55.42 o 145626 56.59 o 145619 58.96 o 145123 59.33 o 144719 60.71 o 144566 60.84 o 143942 62.24 o 143428 62.66 o 143344 63.58 o 143046 64.14 o 142146 65.30 o 141172 67.05 o 141036 67.08 o 139910 69.01 o 139643 70.15 o 138828 72.87 o 138653 73.49 o 137816 74.72 o 137393 78.16 o 137206 79.03 o 137162 79.56 o 136736 80.90 o 136010 81.62 o 135388 84.28 o 134698 84.83 o 134037 84.86 o 133940 86.54 o 133874 86.78 o 133753 88.56 o 133509 89.91 o 133480 90.11 o 133134 90.25 o 132723 90.77 o 132510 93.17 o 131983 94.59 o 131486 95.14 o 131116 98.27 o 130987 101.00 o 130660 104.06 o 130585 107.16 o 129643 107.32 o 129603 111.86 o 129600 113.15 o 129142 114.38 o 128825 115.23 o 128408 117.32 o 128337 119.54 o 127843 122.07 o 127685 122.72 o 126814 124.75 o 126705 124.94 o 126567 126.20 o 126258 128.91 o 126255 129.51 o 125773 129.73 o 125362 129.95 o 125125 131.52 o 124704 132.31 o 124366 136.73 o 124186 137.68 o 124174 138.18 o 124170 139.68 o 123402 140.87 o 122754 141.80 o 122736 143.06 o 122361 145.58 o 121943 147.18 o 121037 149.55 o 119823 152.47 o 119657 154.50 o 119498 155.03 o 118989 156.42 o 118696 156.76 o 117590 159.37 o 117002 161.56 o 115825 163.54 o 115323 163.73 o 115250 166.62 o 114807 166.73 o 113884 168.57 o 113318 168.65 o 113302 173.25 o 113017 176.02 o 112716 178.07 o 112574 181.60 o 112164 183.66 o 111872 185.49 o 110916 187.28 o 110081 187.68 o 109380 188.00 o 109078 188.96 o 108649 189.18 o 107928 190.94 o 107629 191.59 o 106512 192.94 o 105822 196.27 o 105762 198.25 o 104855 199.62 o 104794 203.87 o 104195 205.43 o 104128 205.64 o 104046 205.68 o 103812 206.92 o 103023 207.73 o 101930 208.73 o 101619 209.13 o 101502 209.89 o 100621 210.32 o 100584 211.42 o 100545 213.24 o 100399 214.78 o 100266 215.46 o 99756 216.44 o 99669 216.97 o 99474 217.34 o 98970 219.15 o 98955 221.62 o 98688 226.75 o 98453 227.92 o 98274 229.16 o 97858 233.03 o 97666 233.13 o 97418 235.85 o 97260 239.19 o 97248 239.61 o 96706 239.71 o 96270 241.58 o 95173 242.30 o 94937 246.53 o 94016 249.28 o 93788 251.91 o 93570 251.97 o 92394 255.12 o 92250 256.81 o 91262 258.32 o 91235 263.57 o 90931 265.62 o 90260 268.61 o 90102 268.66 o 89455 268.77 o 89247 270.91 o 89050 272.36 o 88530 273.27 o 87846 275.04 o 87235 275.27 o 86276 277.15 o 85539 277.16 o 85240 278.10 o 85206 278.85 o 84610 279.77 o 84286 281.81 o 83870 283.56 o 83540 288.36 o 83384 289.78 o 83358 290.74 o 82608 291.64 o 81974 292.79 o 81745 295.47 o 81290 296.49 o 81238 298.39 o 81144 298.96 o 81056 301.09 o 80619 301.24 o 80236 302.02 o 80057 305.36 o 79102 306.05 o 78321 313.50 o 77912 319.11 o 77861 319.66 o 77058 321.28 o 76692 321.61 o 76452 332.56 o 75946 334.87 o 75767 339.25 o 75686 342.62 o 75494 346.87 o 75255 349.13 o 75214 350.78 o 74508 351.40 o 74494 356.97 o 73460 357.22 o 73104 359.37 o 73088 360.31 o 72480 361.67 o 72068 366.60 o 71475 368.36 o 71174 371.64 o 70208 377.04 o 69821 377.78 o 69258 379.27 o 69211 379.81 o 69032 381.95 o 68793 382.76 o 68720 388.91 o 68132 394.38 o 68032 403.80 o 67490 407.85 o 67131 412.05 o 66806 416.12 o 66485 417.64 o 65824 422.85 o 65772 423.22 o 64648 426.65 o 64482 436.79 o 64225 456.49 o 63828 456.83 o 62758 459.81 o 61849 465.25 o 61724 469.76 o 61576 472.45 o 60484 473.32 o 60160 480.55 o 60060 500.91 o 59308 521.73 o 58756 527.75 o 58729 530.93 o 58654 546.95 o 58558 569.49 o 58448 580.24 o 57970 596.44 o 57808 603.91 o 57436 607.68 o 57170 612.73 o 56808 617.60 o 56632 624.26 o 55456 651.20 o 54443 680.51 o 54376 698.01 o 54322 715.66 o 54004 758.84 o 53979 791.45 o 53899 799.32 o 53669 858.12 o 53127 961.68 o 52927 979.85 o 52867 1021.35 o 51756 1036.93 o 51330 1045.76 o 50937 1079.37 o 50828 1125.68 o 49926 1173.35 o 49694 1246.28 o 49308 1355.90 o 48741 1498.41 o 48654 1668.68 o 48541
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-41206-1149245938 -o ROOT/results/node70/solver-41206-1149245938 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41206-1149245938/instance-41206-1149245938.opb 461917237 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1884912/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=1400 CPUtime=0 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 190263369 1433600 143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615395 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 350 143 99 232 0 115 0 [startup+10.0028 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1875696/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=11660 CPUtime=9.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 2585 0 0 0 993 6 0 0 25 0 1 0 190263369 11939840 2410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 2915 2410 108 232 0 2680 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11660 [startup+20.0086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1871600/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=21304 CPUtime=19.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 3807 0 0 0 1988 11 0 0 25 0 1 0 190263369 21815296 3439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 5326 3439 108 232 0 5091 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 21304 [startup+30.0144 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1866800/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=22324 CPUtime=29.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 4998 0 0 0 2985 14 0 0 25 0 1 0 190263369 22859776 4630 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 5581 4630 108 232 0 5346 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 22324 [startup+40.0202 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1866096/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=22776 CPUtime=39.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 5177 0 0 0 3982 17 0 0 25 0 1 0 190263369 23322624 4809 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 5694 4809 108 232 0 5459 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 22776 [startup+50.026 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1865456/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=24580 CPUtime=49.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 5718 0 0 0 4979 20 0 0 25 0 1 0 190263369 25169920 4965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 6145 4965 108 232 0 5910 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 24580 [startup+60.0318 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1863088/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=24904 CPUtime=60 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 6298 0 0 0 5978 22 0 0 25 0 1 0 190263369 25501696 5545 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 6226 5545 108 232 0 5991 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 24904 [startup+70.0377 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1861936/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=25424 CPUtime=70.01 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 6592 0 0 0 6975 26 0 0 25 0 1 0 190263369 26034176 5839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 6356 5839 108 232 0 6121 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 25424 [startup+80.0435 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1861104/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=26044 CPUtime=80.01 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 6799 0 0 0 7973 28 0 0 25 0 1 0 190263369 26669056 6046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 6511 6046 108 232 0 6276 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 26044 [startup+90.0493 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1859312/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=42936 CPUtime=90.01 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 7235 0 0 0 8970 31 0 0 25 0 1 0 190263369 43966464 6482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 10734 6482 108 232 0 10499 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 42936 [startup+100.055 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1856240/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=43092 CPUtime=100.01 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 8007 0 0 0 9966 35 0 0 25 0 1 0 190263369 44126208 7254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 10773 7254 108 232 0 10538 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 43092 [startup+110.061 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1855920/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=43372 CPUtime=110.01 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 8095 0 0 0 10964 37 0 0 25 0 1 0 190263369 44412928 7342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 10843 7342 108 232 0 10608 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 43372 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31070 /proc/meminfo: memFree=1855472/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=43656 CPUtime=120.01 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 8207 0 0 0 11962 39 0 0 25 0 1 0 190263369 44703744 7454 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 10914 7454 108 232 0 10679 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 43656 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/70 31141 /proc/meminfo: memFree=1853432/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=46920 CPUtime=129.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9050 0 0 0 12956 43 0 0 25 0 1 0 190263369 48046080 7528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 11730 7528 108 232 0 11495 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 46920 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1853672/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=47368 CPUtime=139.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9206 0 0 0 13952 47 0 0 25 0 1 0 190263369 48504832 7684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 11842 7684 108 232 0 11607 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 47368 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1853040/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=47532 CPUtime=149.98 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9406 0 0 0 14949 49 0 0 25 0 1 0 190263369 48672768 7884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 11883 7884 108 232 0 11648 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 47532 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1852656/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=47852 CPUtime=159.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9495 0 0 0 15946 53 0 0 25 0 1 0 190263369 49000448 7973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 11963 7973 108 232 0 11728 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 47852 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1852208/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=48040 CPUtime=169.99 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9609 0 0 0 16943 56 0 0 25 0 1 0 190263369 49192960 8087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 12010 8087 108 232 0 11775 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 48040 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1851888/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=48184 CPUtime=180 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9688 0 0 0 17942 58 0 0 25 0 1 0 190263369 49340416 8166 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 12046 8166 108 232 0 11811 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 48184 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1849648/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=48728 CPUtime=190 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 10241 0 0 0 18940 60 0 0 25 0 1 0 190263369 49897472 8719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 12182 8719 108 232 0 11947 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 48728 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1848688/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=49328 CPUtime=200 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 10492 0 0 0 19937 63 0 0 25 0 1 0 190263369 50511872 8970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 12332 8970 108 232 0 12097 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 49328 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31265 /proc/meminfo: memFree=1847984/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46962 0 0 0 177660 479 0 0 25 0 1 0 190263369 178958336 34685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34685 108 232 0 43456 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 174764 [startup+1783.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745328/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1782.4 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46967 0 0 0 177761 479 0 0 25 0 1 0 190263369 178958336 34690 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34690 108 232 0 43456 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 174764 [startup+1784.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745200/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1783.4 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46987 0 0 0 177861 479 0 0 25 0 1 0 190263369 178958336 34710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34710 108 232 0 43456 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 174764 [startup+1785.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745200/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1784.4 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46993 0 0 0 177961 479 0 0 25 0 1 0 190263369 178958336 34716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34716 108 232 0 43456 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 174764 [startup+1786.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745136/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1785.41 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47002 0 0 0 178062 479 0 0 25 0 1 0 190263369 178958336 34725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34725 108 232 0 43456 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 174764 [startup+1787.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745136/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1786.41 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47005 0 0 0 178162 479 0 0 25 0 1 0 190263369 178958336 34728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34728 108 232 0 43456 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 174764 [startup+1788.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745136/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1787.42 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47010 0 0 0 178262 480 0 0 25 0 1 0 190263369 178958336 34733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552051 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34733 108 232 0 43456 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 174764 [startup+1789.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745072/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1788.42 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47020 0 0 0 178362 480 0 0 25 0 1 0 190263369 178958336 34743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34743 108 232 0 43456 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 174764 [startup+1790.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1745072/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1789.42 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47031 0 0 0 178462 480 0 0 25 0 1 0 190263369 178958336 34754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34754 108 232 0 43456 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 174764 [startup+1791.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744944/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1790.43 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47060 0 0 0 178562 481 0 0 25 0 1 0 190263369 178958336 34783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34783 108 232 0 43456 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 174764 [startup+1792.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744880/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1791.43 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47073 0 0 0 178662 481 0 0 25 0 1 0 190263369 178958336 34796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34796 108 232 0 43456 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 174764 [startup+1793.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744816/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1792.45 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47077 0 0 0 178763 482 0 0 25 0 1 0 190263369 178958336 34800 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34800 108 232 0 43456 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 174764 [startup+1794.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744816/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1793.45 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47085 0 0 0 178863 482 0 0 25 0 1 0 190263369 178958336 34808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34808 108 232 0 43456 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 174764 [startup+1795.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744816/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1794.45 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47090 0 0 0 178963 482 0 0 25 0 1 0 190263369 178958336 34813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34813 108 232 0 43456 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 174764 [startup+1796.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744752/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1795.45 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47096 0 0 0 179063 482 0 0 25 0 1 0 190263369 178958336 34819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34819 108 232 0 43456 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 174764 [startup+1797.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744624/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1796.46 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47137 0 0 0 179163 483 0 0 25 0 1 0 190263369 178958336 34860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34860 108 232 0 43456 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 174764 [startup+1798.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744560/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1797.47 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47142 0 0 0 179264 483 0 0 25 0 1 0 190263369 178958336 34865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34865 108 232 0 43456 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 174764 [startup+1799.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744560/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1798.47 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47144 0 0 0 179364 483 0 0 25 0 1 0 190263369 178958336 34867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34867 108 232 0 43456 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 174764 [startup+1800.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744560/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1799.47 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47145 0 0 0 179464 483 0 0 25 0 1 0 190263369 178958336 34868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34868 108 232 0 43456 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 174764 [startup+1801.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744496/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1800.48 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47170 0 0 0 179565 483 0 0 25 0 1 0 190263369 178958336 34893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34893 108 232 0 43456 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 174764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31265 /proc/meminfo: memFree=1744496/2055920 swapFree=4182232/4192956 [pid=31070] ppid=31068 vsize=174764 CPUtime=1800.48 /proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47170 0 0 0 179565 483 0 0 25 0 1 0 190263369 178958336 34893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31070/statm: 43691 34893 108 232 0 43456 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 174764 Sending SIGTERM to -31070 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.52 CPU user time (s): 1795.65 CPU system time (s): 4.86126 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (Kb): 174764 The end
Begin job on node70 on Fri Jun 2 10:58:58 UTC 2006 FILE ID= 41206-1149245938 PBS_JOBID= 297735 BENCH NAME= ROOT/tmp/node70/41206-1149245938/instance-41206-1149245938.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41206-1149245938/instance-41206-1149245938.opb 461917237 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-41206-1149245938 -o ROOT/results/node70/solver-41206-1149245938 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41206-1149245938/instance-41206-1149245938.opb 461917237 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED= 461917237 /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: 1885120 kB Buffers: 14180 kB Cached: 85524 kB SwapCached: 2364 kB Active: 23176 kB Inactive: 85204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1885120 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15404 kB Slab: 48532 kB Committed_AS: 190932 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Fri Jun 2 11:28:59 UTC 2006