Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.07 | 1801.56 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc105.opb |
MD5SUM | 9af0146fd6df1c22fb98014c5db68dfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 3090 |
Total number of constraints | 104 |
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 | 104 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524370 |
Number of bits of the biggest sum of numbers | 20 |
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 Parsing PB file... 0.09/0.12 c Converting 149 PB-constraints to clauses... 0.09/0.12 c -- Unit propagations: pppppppppppppppp 0.09/0.12 c -- Detecting intervals from adjacent constraints: ############################################# 0.09/0.12 c -- Clauses(.)/Splits(s): (none) 0.09/0.12 c ---[ 148]---> Adder-cost: 108 maxlim: 73 bits: 7/7 0.09/0.13 c ---[ 147]---> Adder-cost: 80 maxlim: 77 bits: 7/7 0.09/0.13 c ---[ 145]---> Adder-cost: 100 maxlim: 532 bits: 10/10 0.09/0.14 c ---[ 143]---> Adder-cost: 74 maxlim: 81 bits: 8/7 0.09/0.14 c ---[ 141]---> Adder-cost: 70 maxlim: 48 bits: 7/6 0.09/0.14 c ---[ 139]---> Adder-cost: 74 maxlim: 81 bits: 8/7 0.09/0.14 c ---[ 138]---> Adder-cost: 78 maxlim: 145 bits: 8/8 0.09/0.15 c ---[ 137]---> Sorter-cost: 880 Base: 3 5 0.09/0.15 c ---[ 136]---> Adder-cost: 78 maxlim: 145 bits: 8/8 0.09/0.15 c ---[ 135]---> Adder-cost: 176 maxlim: 233 bits: 9/8 0.09/0.16 c ---[ 134]---> Adder-cost: 168 maxlim: 242 bits: 9/8 0.09/0.17 c ---[ 133]---> Adder-cost: 76 maxlim: 274 bits: 9/9 0.09/0.17 c ---[ 131]---> Adder-cost: 130 maxlim: 554 bits: 11/10 0.09/0.18 c ---[ 129]---> Sorter-cost: 2120 Base: 3 7 2 2 2 0.09/0.19 c ---[ 127]---> Adder-cost: 134 maxlim: 186 bits: 9/8 0.19/0.20 c ---[ 125]---> Adder-cost: 128 maxlim: 186 bits: 9/8 0.19/0.20 c ---[ 123]---> Adder-cost: 134 maxlim: 186 bits: 9/8 0.19/0.21 c ---[ 122]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.19/0.22 c ---[ 121]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.19/0.22 c ---[ 120]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.19/0.23 c ---[ 119]---> Adder-cost: 242 maxlim: 865 bits: 11/10 0.19/0.24 c ---[ 118]---> Adder-cost: 220 maxlim: 874 bits: 11/10 0.19/0.25 c ---[ 117]---> Adder-cost: 100 maxlim: 1044 bits: 11/11 0.19/0.26 c ---[ 115]---> Adder-cost: 146 maxlim: 1091 bits: 12/11 0.19/0.27 c ---[ 113]---> Sorter-cost: 2732 Base: 3 7 2 2 2 2 2 0.19/0.29 c ---[ 111]---> Sorter-cost: 2060 Base: 3 7 2 2 2 0.29/0.30 c ---[ 109]---> Sorter-cost: 2060 Base: 3 7 2 2 2 0.29/0.32 c ---[ 107]---> Sorter-cost: 2060 Base: 3 7 2 2 2 0.29/0.33 c ---[ 106]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.29/0.33 c ---[ 105]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.29/0.34 c ---[ 104]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.29/0.35 c ---[ 103]---> Adder-cost: 332 maxlim: 3382 bits: 13/12 0.29/0.38 c ---[ 102]---> Adder-cost: 306 maxlim: 3391 bits: 13/12 0.39/0.41 c ---[ 101]---> Adder-cost: 114 maxlim: 4118 bits: 13/13 0.39/0.41 c ---[ 99]---> Adder-cost: 172 maxlim: 2164 bits: 13/12 0.39/0.43 c ---[ 97]---> Sorter-cost: 3236 Base: 3 7 2 2 2 2 2 2 0.39/0.47 c ---[ 95]---> Sorter-cost: 2731 Base: 3 7 2 2 2 2 2 0.39/0.49 c ---[ 93]---> Sorter-cost: 2731 Base: 3 7 2 2 2 2 2 0.49/0.51 c ---[ 91]---> Sorter-cost: 2731 Base: 3 7 2 2 2 2 2 0.49/0.54 c ---[ 90]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.49/0.54 c ---[ 89]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.49/0.55 c ---[ 88]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.49/0.56 c ---[ 87]---> Adder-cost: 424 maxlim: 13439 bits: 15/14 0.59/0.63 c ---[ 86]---> Adder-cost: 398 maxlim: 13448 bits: 15/14 0.69/0.70 c ---[ 85]---> Adder-cost: 132 maxlim: 16408 bits: 15/15 0.69/0.71 c ---[ 83]---> Sorter-cost: 2176 Base: 3 5 2 2 2 2 2 2 2 0.69/0.74 c ---[ 81]---> Sorter-cost: 3483 Base: 3 7 2 2 2 2 2 2 2 2 0.69/0.79 c ---[ 79]---> Sorter-cost: 3261 Base: 3 7 2 2 2 2 2 2 2 0.79/0.83 c ---[ 77]---> Sorter-cost: 3261 Base: 3 7 2 2 2 2 2 2 2 0.79/0.88 c ---[ 75]---> Sorter-cost: 3261 Base: 3 7 2 2 2 2 2 2 2 0.89/0.92 c ---[ 74]---> Adder-cost: 148 maxlim: 32793 bits: 16/16 0.89/0.93 c ---[ 73]---> Adder-cost: 148 maxlim: 32793 bits: 16/16 0.89/0.94 c ---[ 72]---> Adder-cost: 148 maxlim: 32793 bits: 16/16 0.89/0.95 c ---[ 71]---> Adder-cost: 528 maxlim: 53656 bits: 17/16 1.09/1.11 c ---[ 70]---> Adder-cost: 508 maxlim: 53665 bits: 17/16 1.19/1.26 c ---[ 69]---> Adder-cost: 146 maxlim: 32793 bits: 17/16 1.19/1.27 c ---[ 67]---> Sorter-cost: 2350 Base: 3 5 2 2 2 2 2 2 2 2 1.29/1.33 c ---[ 65]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.39/1.40 c ---[ 63]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.39/1.48 c ---[ 61]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.49/1.55 c ---[ 59]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.59/1.63 c ---[ 58]---> Adder-cost: 162 maxlim: 131099 bits: 18/18 1.59/1.64 c ---[ 57]---> Adder-cost: 162 maxlim: 131099 bits: 18/18 1.59/1.65 c ---[ 56]---> Adder-cost: 162 maxlim: 131099 bits: 18/18 1.59/1.66 c ---[ 55]---> Adder-cost: 646 maxlim: 214514 bits: 19/18 1.99/2.07 c ---[ 54]---> Adder-cost: 622 maxlim: 214526 bits: 19/18 2.39/2.48 c ---[ 53]---> Adder-cost: 150 maxlim: 65562 bits: 18/17 2.39/2.49 c ---[ 51]---> Sorter-cost: 2596 Base: 3 5 2 2 2 2 2 2 2 2 2 2.49/2.58 c ---[ 49]---> Sorter-cost: 4283 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2.59/2.69 c ---[ 47]---> Sorter-cost: 4689 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 2.78/2.85 c ---[ 45]---> Sorter-cost: 4689 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 2.98/3.04 c ---[ 43]---> Sorter-cost: 4689 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 3.19/3.20 c ---[ 42]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 3.19/3.21 c ---[ 41]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 3.19/3.23 c ---[ 40]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 3.19/3.24 c ---[ 39]---> Adder-cost: 702 maxlim: 428989 bits: 20/19 3.79/3.86 c ---[ 38]---> Adder-cost: 676 maxlim: 429005 bits: 20/19 4.39/4.48 c ---[ 37]---> Adder-cost: 162 maxlim: 131099 bits: 19/18 4.39/4.49 c ---[ 35]---> Sorter-cost: 2889 Base: 3 5 2 2 2 2 2 2 2 2 2 2 4.59/4.64 c ---[ 33]---> Sorter-cost: 4692 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 4.79/4.80 c ---[ 31]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 4.99/5.05 c ---[ 29]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 5.19/5.29 c ---[ 27]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 5.49/5.54 c ---[ 26]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 5.49/5.55 c ---[ 25]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 5.49/5.57 c ---[ 24]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 5.49/5.58 c ---[ 23]---> Adder-cost: 702 maxlim: 428989 bits: 20/19 6.19/6.20 c ---[ 22]---> Adder-cost: 676 maxlim: 429005 bits: 20/19 6.78/6.82 c ---[ 21]---> Adder-cost: 166 maxlim: 262172 bits: 20/19 6.78/6.83 c ---[ 19]---> Adder-cost: 300 maxlim: 68679 bits: 18/17 6.98/7.05 c ---[ 17]---> Sorter-cost: 4965 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 7.18/7.26 c ---[ 15]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 7.49/7.51 c ---[ 13]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 7.69/7.76 c ---[ 11]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 7.98/8.00 c ---[ 10]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 7.98/8.02 c ---[ 9]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 7.98/8.03 c ---[ 8]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 7.98/8.05 c ---[ 7]---> Adder-cost: 702 maxlim: 428989 bits: 20/19 8.58/8.67 c ---[ 6]---> Adder-cost: 676 maxlim: 429005 bits: 20/19 9.18/9.28 c ---[ 5]---> Adder-cost: 166 maxlim: 262172 bits: 20/19 9.18/9.29 c ---[ 3]---> Adder-cost: 326 maxlim: 137336 bits: 19/18 9.58/9.65 c ---[ 2]---> Adder-cost: 411 maxlim: 124877 bits: 18/17 9.79/9.90 c ---[ 1]---> Adder-cost: 386 maxlim: 124877 bits: 18/17 10.08/10.16 c ---[ 0]---> Adder-cost: 162 maxlim: 262172 bits: 20/19 10.48/10.58 c ==================================[MINISAT+]================================== 10.48/10.58 c | Conflicts | Original | Learnt | Progress | 10.48/10.58 c | | Clauses Literals | Max Clauses Literals LPC | | 10.48/10.58 c ============================================================================== 10.48/10.58 c | 0 | 432873 1148788 | 144291 0 0 nan | 0.000 % | 10.58/10.64 c | 100 | 431873 1146532 | 158720 98 412 4.2 | 3.062 % | 10.58/10.70 c | 250 | 430634 1143608 | 174592 247 1610 6.5 | 3.318 % | 10.89/10.94 c | 475 | 428770 1139299 | 192051 457 4481 9.8 | 3.697 % | 10.99/11.04 c | 812 | 428770 1139299 | 211256 794 11570 14.6 | 3.697 % | 11.18/11.28 c | 1319 | 425623 1131966 | 232382 1274 16907 13.3 | 4.378 % | 11.38/11.41 c | 2083 | 425526 1131741 | 255620 2034 23357 11.5 | 4.400 % | 11.68/11.72 c | 3224 | 425220 1130955 | 281182 3156 38986 12.4 | 4.450 % | 12.18/12.25 c | 4934 | 422668 1124879 | 309300 4788 70554 14.7 | 4.979 % | 12.98/13.01 c | 7496 | 422428 1124333 | 340230 7342 113345 15.4 | 5.039 % | 13.98/14.09 c | 11340 | 416195 1109473 | 374253 10534 182310 17.3 | 6.421 % | 15.58/15.68 c | 17107 | 415272 1107213 | 411679 16195 295644 18.3 | 6.609 % | 17.78/17.82 c | 25756 | 415272 1107213 | 452846 24844 549677 22.1 | 6.609 % | 22.27/22.35 c | 38732 | 415174 1106987 | 498131 37809 1284218 34.0 | 6.633 % | 37.27/37.32 c | 58194 | 413094 1102057 | 547944 57177 2469306 43.2 | 7.118 % | 56.45/56.53 c | 87387 | 413094 1102057 | 602739 86370 4756937 55.1 | 7.118 % | 83.23/83.38 c | 131176 | 409645 1093316 | 663013 130070 6511312 50.1 | 7.841 % | 149.57/149.75 c | 196861 | 408836 1091461 | 729314 195698 10088771 51.6 | 8.026 % | 287.56/287.88 c | 295387 | 408381 1090408 | 802246 294193 19192279 65.2 | 8.137 % | 545.28/545.74 c | 443176 | 407587 1088576 | 882470 441927 30037403 68.0 | 8.320 % | 1146.66/1147.67 c | 664859 | 406853 1086894 | 970717 663544 50197361 75.7 | 8.481 % | 1800.00/1801.50 c 1800.00/1801.50 c *** TERMINATED *** 1800.00/1801.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/351232-1176591229/instance-351232-1176591229.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-351232-1176591229 -o ROOT/results/node62/solver-351232-1176591229 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351232-1176591229/minisat+ /tmp/evaluation/351232-1176591229/instance-351232-1176591229.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/64 17048 /proc/meminfo: memFree=1748896/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=1048 CPUtime=0 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 114 0 0 0 0 0 0 0 20 0 1 0 91288509 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 262 99 75 215 0 44 0 [startup+0.0835039 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17048 /proc/meminfo: memFree=1748896/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=1768 CPUtime=0.07 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 283 0 0 0 7 0 0 0 20 0 1 0 91288509 1810432 268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 442 268 75 215 0 224 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1768 [startup+0.101506 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17048 /proc/meminfo: memFree=1748896/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=2036 CPUtime=0.09 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 356 0 0 0 9 0 0 0 20 0 1 0 91288509 2084864 341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 509 341 75 215 0 291 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2036 [startup+0.301546 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17048 /proc/meminfo: memFree=1748896/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=2696 CPUtime=0.29 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 547 0 0 0 29 0 0 0 21 0 1 0 91288509 2760704 532 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808967 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 674 532 107 215 0 456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2696 [startup+0.701624 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17048 /proc/meminfo: memFree=1748896/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=3652 CPUtime=0.69 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 842 0 0 0 69 0 0 0 25 0 1 0 91288509 3739648 765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 913 765 107 215 0 695 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3652 [startup+1.50178 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1745432/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=4744 CPUtime=1.49 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 1203 0 0 0 149 0 0 0 25 0 1 0 91288509 4857856 1043 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134810691 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 1186 1043 107 215 0 968 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4744 [startup+3.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1744472/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=6300 CPUtime=3.09 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 1750 0 0 0 308 1 0 0 25 0 1 0 91288509 6451200 1425 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134810657 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 1575 1425 107 215 0 1357 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6300 [startup+6.30173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1742424/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=7756 CPUtime=6.29 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 2081 0 0 0 628 1 0 0 25 0 1 0 91288509 7942144 1756 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838342 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 1939 1756 107 215 0 1721 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7756 [startup+12.703 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1716824/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=35484 CPUtime=12.68 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 8476 0 0 0 1264 4 0 0 25 0 1 0 91288509 36335616 8137 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 8871 8137 123 215 0 8653 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35484 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1709656/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=42760 CPUtime=25.48 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 10267 0 0 0 2542 6 0 0 25 0 1 0 91288509 43786240 9928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576598 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 10690 9928 124 215 0 10472 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42760 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1698328/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=54224 CPUtime=51.06 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 13136 0 0 0 5098 8 0 0 25 0 1 0 91288509 55525376 12797 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 13556 12797 124 215 0 13338 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54224 [startup+102.307 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1680856/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=71384 CPUtime=102.21 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 17398 0 0 0 10208 13 0 0 25 0 1 0 91288509 73097216 17059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17048/statm: 17846 17059 124 215 0 17628 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 71384 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1665816/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=86724 CPUtime=162.16 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 21215 0 0 0 16198 18 0 0 25 0 1 0 91288509 88805376 20876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 21681 20876 124 215 0 21463 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 86724 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1648984/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=103284 CPUtime=222.13 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 25373 0 0 0 22190 23 0 0 25 0 1 0 91288509 105762816 25034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 25821 25034 124 215 0 25603 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 103284 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1630232/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=121740 CPUtime=282.08 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 30048 0 0 0 28180 28 0 0 25 0 1 0 91288509 124661760 29709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 30435 29709 124 215 0 30217 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 121740 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1619288/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=133212 CPUtime=342.03 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 32774 0 0 0 34172 31 0 0 25 0 1 0 91288509 136409088 32435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573725 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 33303 32435 124 215 0 33085 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 133212 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17049 /proc/meminfo: memFree=1608472/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=143876 CPUtime=402 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 35478 0 0 0 40166 34 0 0 25 0 1 0 91288509 147329024 35139 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 35969 35139 124 215 0 35751 0 Current children cumulated CPU time (s) 402 Current children cumulated vsize (KiB) 143876 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 17213 /proc/meminfo: memFree=1594088/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=156812 CPUtime=461.94 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 38724 0 0 0 46144 50 0 0 25 0 1 0 91288509 160575488 38385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 39203 38385 124 215 0 38985 0 Current children cumulated CPU time (s) 461.94 Current children cumulated vsize (KiB) 156812 [startup+522.302 s] /proc/loadavg: 1.06 1.02 1.00 2/65 17247 /proc/meminfo: memFree=1583768/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=168336 CPUtime=521.89 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 41625 0 0 0 52131 58 0 0 25 0 1 0 91288509 172376064 41286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 42084 41286 124 215 0 41866 0 Current children cumulated CPU time (s) 521.89 Current children cumulated vsize (KiB) 168336 [startup+582.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 17247 /proc/meminfo: memFree=1575256/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=176556 CPUtime=581.86 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 43693 0 0 0 58124 62 0 0 25 0 1 0 91288509 180793344 43354 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 44139 43354 124 215 0 43921 0 Current children cumulated CPU time (s) 581.86 Current children cumulated vsize (KiB) 176556 [startup+642.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1566808/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=185692 CPUtime=641.81 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 45786 0 0 0 64118 63 0 0 25 0 1 0 91288509 190148608 45447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 46423 45447 124 215 0 46205 0 Current children cumulated CPU time (s) 641.81 Current children cumulated vsize (KiB) 185692 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1530904/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=221280 CPUtime=881.62 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 54722 0 0 0 88089 73 0 0 25 0 1 0 91288509 226590720 54383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 55320 54383 124 215 0 55102 0 Current children cumulated CPU time (s) 881.62 Current children cumulated vsize (KiB) 221280 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1522200/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=229972 CPUtime=941.56 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 56924 0 0 0 94080 76 0 0 25 0 1 0 91288509 235491328 56585 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 57493 56585 124 215 0 57275 0 Current children cumulated CPU time (s) 941.56 Current children cumulated vsize (KiB) 229972 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1512152/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=239944 CPUtime=1001.49 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 59412 0 0 0 100069 80 0 0 25 0 1 0 91288509 245702656 59073 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 59986 59073 124 215 0 59768 0 Current children cumulated CPU time (s) 1001.49 Current children cumulated vsize (KiB) 239944 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1502040/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=250184 CPUtime=1061.45 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 62002 0 0 0 106063 82 0 0 25 0 1 0 91288509 256188416 61663 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 62546 61663 124 215 0 62328 0 Current children cumulated CPU time (s) 1061.45 Current children cumulated vsize (KiB) 250184 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1494296/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=257700 CPUtime=1121.38 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 63897 0 0 0 112055 83 0 0 25 0 1 0 91288509 263884800 63558 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 64425 63558 124 215 0 64207 0 Current children cumulated CPU time (s) 1121.38 Current children cumulated vsize (KiB) 257700 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1487512/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=264480 CPUtime=1181.34 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 65590 0 0 0 118049 85 0 0 25 0 1 0 91288509 270827520 65251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 66120 65251 124 215 0 65902 0 Current children cumulated CPU time (s) 1181.34 Current children cumulated vsize (KiB) 264480 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1480984/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=272088 CPUtime=1241.28 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 67192 0 0 0 124041 87 0 0 25 0 1 0 91288509 278618112 66853 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 68022 66853 124 215 0 67804 0 Current children cumulated CPU time (s) 1241.28 Current children cumulated vsize (KiB) 272088 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1474136/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=278888 CPUtime=1301.19 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 68872 0 0 0 130030 89 0 0 25 0 1 0 91288509 285581312 68533 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 69722 68533 124 215 0 69504 0 Current children cumulated CPU time (s) 1301.19 Current children cumulated vsize (KiB) 278888 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1467288/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=285800 CPUtime=1361.14 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 70601 0 0 0 136023 91 0 0 25 0 1 0 91288509 292659200 70262 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 71450 70262 124 215 0 71232 0 Current children cumulated CPU time (s) 1361.14 Current children cumulated vsize (KiB) 285800 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1461016/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=291924 CPUtime=1421.11 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 72166 0 0 0 142019 92 0 0 25 0 1 0 91288509 298930176 71827 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 72981 71827 124 215 0 72763 0 Current children cumulated CPU time (s) 1421.11 Current children cumulated vsize (KiB) 291924 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1454872/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=298036 CPUtime=1481.06 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 73708 0 0 0 148012 94 0 0 25 0 1 0 91288509 305188864 73369 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17048/statm: 74509 73369 124 215 0 74291 0 Current children cumulated CPU time (s) 1481.06 Current children cumulated vsize (KiB) 298036 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1449304/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=303480 CPUtime=1541.01 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 75082 0 0 0 154005 96 0 0 25 0 1 0 91288509 310763520 74743 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 75870 74743 124 215 0 75652 0 Current children cumulated CPU time (s) 1541.01 Current children cumulated vsize (KiB) 303480 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1443672/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=309300 CPUtime=1600.96 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 76518 0 0 0 159998 98 0 0 25 0 1 0 91288509 316723200 76179 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574064 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 77325 76179 124 215 0 77107 0 Current children cumulated CPU time (s) 1600.96 Current children cumulated vsize (KiB) 309300 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17247 /proc/meminfo: memFree=1438424/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=314344 CPUtime=1660.92 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 77784 0 0 0 165993 99 0 0 25 0 1 0 91288509 321888256 77445 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 78586 77445 124 215 0 78368 0 Current children cumulated CPU time (s) 1660.92 Current children cumulated vsize (KiB) 314344 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17249 /proc/meminfo: memFree=1431320/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=321412 CPUtime=1720.86 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 79558 0 0 0 171985 101 0 0 25 0 1 0 91288509 329125888 79219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 80353 79219 124 215 0 80135 0 Current children cumulated CPU time (s) 1720.86 Current children cumulated vsize (KiB) 321412 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17249 /proc/meminfo: memFree=1425048/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=327504 CPUtime=1780.82 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 81104 0 0 0 177979 103 0 0 25 0 1 0 91288509 335364096 80765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 81876 80765 124 215 0 81658 0 Current children cumulated CPU time (s) 1780.82 Current children cumulated vsize (KiB) 327504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.5 s] /proc/loadavg: 1.07 1.02 1.00 2/65 17249 /proc/meminfo: memFree=1423640/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=328804 CPUtime=1800 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 81450 0 0 0 179897 103 0 0 25 0 1 0 91288509 336695296 81111 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 82201 81111 124 215 0 81983 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 328804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.07 1.02 1.00 2/65 17249 /proc/meminfo: memFree=1423640/2055920 swapFree=4185932/4192956 [pid=17048] ppid=17046 vsize=328804 CPUtime=1800 /proc/17048/stat : 17048 (minisat+) R 17046 17048 15997 0 -1 4194304 81450 0 0 0 179897 103 0 0 25 0 1 0 91288509 336695296 81111 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17048/statm: 82201 81111 124 215 0 81983 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 328804 Child status: 0 Real time (s): 1801.56 CPU time (s): 1800.07 CPU user time (s): 1798.98 CPU system time (s): 1.08883 CPU usage (%): 99.9173 Max. virtual memory (cumulated for all children) (KiB): 328804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.08883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81451 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= 9 involuntary context switches= 6886 runsolver used 1.83572 second user time and 4.73228 second system time The end
Begin job on node62 on Sat Apr 14 22:53:50 UTC 2007 IDJOB= 351232 IDBENCH= 1709 IDSOLVER= 156 FILE ID= node62/351232-1176591229 PBS_JOBID= 4556932 Free space on /tmp= 66562 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb COMMAND LINE= /tmp/evaluation/351232-1176591229/minisat+ /tmp/evaluation/351232-1176591229/instance-351232-1176591229.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-351232-1176591229 -o ROOT/results/node62/conversion-351232-1176591229 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351232-1176591229/instance-351232-1176591229.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-351232-1176591229 -o ROOT/results/node62/solver-351232-1176591229 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351232-1176591229/minisat+ /tmp/evaluation/351232-1176591229/instance-351232-1176591229.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 9af0146fd6df1c22fb98014c5db68dfb RANDOM SEED= 485847834 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.279 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.279 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: 1749368 kB Buffers: 14748 kB Cached: 183088 kB SwapCached: 2356 kB Active: 55784 kB Inactive: 153968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749368 kB SwapTotal: 4192956 kB SwapFree: 4185932 kB Dirty: 2404 kB Writeback: 0 kB Mapped: 18628 kB Slab: 82836 kB Committed_AS: 136000 kB PageTables: 1468 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= 66562 MiB End job on node62 on Sat Apr 14 23:23:53 UTC 2007