0.05/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.05/0.07 c 0 BEGIN Mon Jul 14 22:21:02 2008
0.05/0.07 c 0 PID 21316
0.05/0.07 c 0 HOST node85.alineos.net
0.05/0.07 c 0 CONVERTING HOME/instance-1117819-1216066862.xml TO HOME/temp.csp
0.05/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1117819-1216066862.xml' 'HOME/temp.csp'
0.06/0.45 c 0 1 domains, 25 variables, 0 predicates, 300 relations, 300 constraints
0.06/0.51 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.51 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.59 c 0 Parsing HOME/temp.csp
0.42/0.75 c 1 parsed 626 expressions
0.42/0.75 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.42/0.76 c 1 MAX CSP: 300 constraints
0.42/0.76 c 1 Converting to clausal form CSP
0.42/0.78 c 1 converted 93 (10%) expressions
0.42/0.78 c 1 converted 186 (20%) expressions
0.42/0.78 c 1 converted 279 (30%) expressions
0.42/0.80 c 1 converted 372 (40%) expressions
0.42/0.82 c 1 converted 465 (50%) expressions
0.42/0.82 c 1 converted 558 (60%) expressions
0.42/0.83 c 1 converted 651 (70%) expressions
0.42/0.84 c 1 converted 744 (80%) expressions
0.42/0.85 c 1 converted 837 (90%) expressions
0.42/0.99 c 1 converted 929 (100%) expressions
0.42/0.99 c 1 CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 451
0.42/0.99 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.42/0.99 c 1 Propagation in CSP
0.89/1.03 c 1 296 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.89/1.03 c 1 CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
0.89/1.03 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.89/1.03 c 1 Simplifing CSP by introducing new Boolean variables
0.89/1.03 c 1 CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
0.89/1.03 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.89/1.06 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.98/1.79 c 2 63 (10%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.98/1.79 c 2 125 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.98/1.79 c 2 188 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.98/1.79 c 2 250 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.98/1.79 c 2 313 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.98/1.80 c 2 375 (60%) CSP integer variables are encoded (693 clauses, 7608 bytes)
0.98/1.80 c 2 438 (70%) CSP integer variables are encoded (3016 clauses, 37807 bytes)
0.98/1.80 c 2 500 (80%) CSP integer variables are encoded (3623 clauses, 45698 bytes)
0.98/1.80 c 2 563 (90%) CSP integer variables are encoded (3979 clauses, 50326 bytes)
0.98/1.80 c 2 625 (100%) CSP integer variables are encoded (4493 clauses, 57008 bytes)
0.98/1.85 c 2 90 (10%) CSP clauses are encoded (5762 clauses, 82431 bytes)
0.98/1.86 c 2 180 (20%) CSP clauses are encoded (6995 clauses, 108036 bytes)
0.98/1.87 c 2 270 (30%) CSP clauses are encoded (8216 clauses, 135310 bytes)
0.98/1.89 c 2 360 (40%) CSP clauses are encoded (9303 clauses, 154043 bytes)
1.09/1.98 c 2 450 (50%) CSP clauses are encoded (58471 clauses, 1026851 bytes)
1.09/1.99 c 2 540 (60%) CSP clauses are encoded (60369 clauses, 1059270 bytes)
1.19/2.06 c 2 630 (70%) CSP clauses are encoded (105229 clauses, 1881978 bytes)
1.19/2.07 c 2 720 (80%) CSP clauses are encoded (107381 clauses, 1918868 bytes)
1.19/2.08 c 2 810 (90%) CSP clauses are encoded (112217 clauses, 2004818 bytes)
1.29/2.11 c 2 899 (100%) CSP clauses are encoded (129703 clauses, 2321726 bytes)
1.29/2.11 c 2 899 CSP clauses encoded
1.29/2.11 c 2 Writing map file : HOME/temp.map
1.29/2.12 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.29/2.12 c 2 SAT : 5118 SAT variables, 129703 SAT clauses, 2321726 bytes
1.29/2.12 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.31/2.21 c 2 OBJECTIVE minimize _COST
1.31/2.21 c 2 SOLVING HOME/temp.cnf
1.31/2.21 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.31/2.21 c 2 This is MiniSat 2.0 beta incremental
1.31/2.21 c 2 WARNING: for repeatability, setting FPU to use double precision
1.31/2.21 c 2 ============================[ Problem Statistics ]=============================
1.31/2.21 c 2 | |
1.31/2.21 c 2 | Number of variables: 5118 |
1.31/2.21 c 2 | Number of clauses: 129703 |
1.31/2.27 c 2 | Parsing time: 0.05 s |
1.31/2.27 c 2 OK
1.31/2.27 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.31/2.27 c 2 SEARCHING: _COST <= 150
1.31/2.27 c 2 ============================[ Search Statistics ]==============================
1.31/2.27 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.31/2.27 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.31/2.27 c 2 ===============================================================================
1.31/2.27 c 2 | 0 | 5118 129703 382075 | 43234 0 nan | 0.000 % |
1.31/2.28 c 2 ===============================================================================
1.31/2.28 c 2 restarts : 1
1.31/2.28 c 2 conflicts : 0 (0 /sec)
1.31/2.28 c 2 decisions : 21 (0.00 % random) (339 /sec)
1.31/2.28 c 2 propagations : 5118 (82562 /sec)
1.31/2.28 c 2 conflict literals : 0 ( nan % deleted)
1.31/2.28 c 2 Memory used : 7.12 MB
1.31/2.28 c 2 CPU time : 0.06199 s
1.31/2.28 c 2
1.31/2.28 c 2 SATISFIABLE
1.31/2.29 c 2 OK
1.31/2.29 c 2 FOUND: _COST <= 150
1.31/2.29 s SATISFIABLE
1.31/2.29 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.31/2.29 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.35/2.60 c 2 Decoding HOME/temp.out
1.35/2.66 c 3 OBJECTIVE _COST 150
1.35/2.66 o 150
1.35/2.67 v 7 9 3 7 9 0 6 8 7 8 5 8 9 7 9 8 9 8 8 9 7 9 6 9 9
1.35/3.05 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.35/3.15 c 3 OK
1.35/3.15 c 3 OBJECTIVE BOUND: 0 <= _COST <= 150
1.35/3.15 c 3 SEARCHING: _COST <= 75
1.35/3.15 c 3 ============================[ Search Statistics ]==============================
1.35/3.15 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
1.35/3.15 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.35/3.15 c 3 ===============================================================================
1.35/3.15 c 3 | 0 | 5118 129703 382075 | 43234 0 nan | 0.000 % |
1.35/3.16 c 3 ===============================================================================
1.35/3.16 c 3 restarts : 2
1.35/3.16 c 3 conflicts : 33 (465 /sec)
1.35/3.16 c 3 decisions : 82 (0.00 % random) (1155 /sec)
1.35/3.16 c 3 propagations : 11529 (162405 /sec)
1.35/3.16 c 3 conflict literals : 1472 (3.85 % deleted)
1.35/3.16 c 3 Memory used : 7.25 MB
1.35/3.16 c 3 CPU time : 0.070989 s
1.35/3.16 c 3
1.35/3.16 c 3 SATISFIABLE
1.35/3.16 c 3 OK
1.35/3.16 c 3 FOUND: _COST <= 75
1.35/3.16 c 3 DECODING HOME/temp.out WITH HOME/temp.map
1.35/3.16 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.59/3.24 c 3 Decoding HOME/temp.out
1.70/3.31 c 3 OBJECTIVE _COST 75
1.70/3.31 o 75
1.70/3.31 v 6 7 5 7 5 9 4 9 7 4 9 3 8 6 2 4 1 5 7 5 4 9 6 9 9
1.70/3.32 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.70/3.33 c 3 OK
1.70/3.33 c 3 OBJECTIVE BOUND: 0 <= _COST <= 75
1.70/3.33 c 3 SEARCHING: _COST <= 37
1.70/3.34 c 3 ============================[ Search Statistics ]==============================
1.70/3.35 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
1.70/3.35 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.70/3.35 c 3 ===============================================================================
1.70/3.35 c 3 | 33 | 3768 129703 382075 | 43234 33 45 | 0.000 % |
1.70/3.36 c 3 | 133 | 3768 129703 382075 | 47557 133 29 | 41.034 % |
1.70/3.37 c 3 | 283 | 3768 129703 382075 | 52313 283 34 | 41.034 % |
1.70/3.39 c 3 | 508 | 3768 129703 382075 | 57544 508 32 | 41.034 % |
1.79/3.40 c 3 ===============================================================================
1.79/3.40 c 3 restarts : 6
1.79/3.40 c 3 conflicts : 538 (3789 /sec)
1.79/3.40 c 3 decisions : 866 (0.69 % random) (6100 /sec)
1.79/3.40 c 3 propagations : 163441 (1151171 /sec)
1.79/3.40 c 3 conflict literals : 16927 (20.69 % deleted)
1.79/3.40 c 3 Memory used : 7.38 MB
1.79/3.40 c 3 CPU time : 0.141978 s
1.79/3.40 c 3
1.79/3.40 c 3 SATISFIABLE
1.79/3.40 c 3 OK
1.79/3.40 c 3 FOUND: _COST <= 37
1.79/3.40 c 3 DECODING HOME/temp.out WITH HOME/temp.map
1.79/3.40 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.79/3.48 c 3 Decoding HOME/temp.out
1.79/3.56 c 3 OBJECTIVE _COST 37
1.79/3.56 o 37
1.79/3.56 v 9 5 9 3 5 9 9 9 9 3 9 3 9 7 9 9 2 9 9 9 9 9 9 9 9
1.79/3.57 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.79/3.61 c 3 OK
1.79/3.61 c 3 OBJECTIVE BOUND: 0 <= _COST <= 37
1.79/3.61 c 3 SEARCHING: _COST <= 18
1.79/3.62 c 3 ============================[ Search Statistics ]==============================
1.79/3.62 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
1.79/3.62 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.79/3.62 c 3 ===============================================================================
1.79/3.62 c 3 | 538 | 3018 129703 382075 | 43234 538 31 | 41.034 % |
1.79/3.62 c 3 ===============================================================================
1.79/3.62 c 3 restarts : 7
1.79/3.62 c 3 conflicts : 543 (3669 /sec)
1.79/3.62 c 3 decisions : 902 (0.67 % random) (6096 /sec)
1.79/3.62 c 3 propagations : 167689 (1133210 /sec)
1.79/3.62 c 3 conflict literals : 16975 (20.69 % deleted)
1.79/3.62 c 3 Memory used : 7.38 MB
1.79/3.62 c 3 CPU time : 0.147977 s
1.79/3.62 c 3
1.79/3.62 c 3 SATISFIABLE
1.79/3.62 c 3 OK
1.79/3.62 c 3 FOUND: _COST <= 18
1.79/3.62 c 3 DECODING HOME/temp.out WITH HOME/temp.map
1.79/3.62 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.79/3.70 c 4 Decoding HOME/temp.out
1.96/3.78 c 4 OBJECTIVE _COST 18
1.96/3.78 o 18
1.96/3.78 v 9 6 4 7 1 9 6 5 9 3 6 3 9 6 6 4 2 5 9 3 1 9 9 5 9
1.96/3.79 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.96/3.87 c 4 OK
1.96/3.87 c 4 OBJECTIVE BOUND: 0 <= _COST <= 18
1.96/3.87 c 4 SEARCHING: _COST <= 9
1.96/3.88 c 4 ============================[ Search Statistics ]==============================
1.96/3.89 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
1.96/3.89 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.96/3.89 c 4 ===============================================================================
1.96/3.89 c 4 | 543 | 2520 129703 382075 | 43234 543 31 | 41.034 % |
1.96/3.89 c 4 | 644 | 2520 129703 382075 | 47557 644 29 | 58.423 % |
2.17/3.91 c 4 | 795 | 2520 129703 382075 | 52313 795 27 | 58.423 % |
2.17/3.94 c 4 | 1021 | 2520 129703 382075 | 57544 1021 25 | 58.423 % |
2.17/3.98 c 4 | 1358 | 2520 129703 382075 | 63299 1358 24 | 58.423 % |
2.27/4.08 c 4 | 1865 | 2128 21462 66040 | 69629 1765 22 | 58.423 % |
2.37/4.16 c 4 | 2624 | 2128 21462 66040 | 76592 2524 23 | 58.423 % |
2.57/4.31 c 4 | 3763 | 2128 21462 66040 | 84251 3663 23 | 58.423 % |
2.76/4.53 c 4 | 5471 | 2128 21462 66040 | 92676 5371 22 | 58.423 % |
3.06/4.85 c 5 | 8033 | 2128 21462 66040 | 101944 7933 23 | 58.423 % |
3.56/5.39 c 5 | 11878 | 2128 21462 66040 | 112138 11778 23 | 58.423 % |
4.55/6.39 c 6 | 17644 | 2128 21462 66040 | 123352 17544 24 | 58.423 % |
6.43/8.23 c 8 | 26293 | 2128 21462 66040 | 135687 26193 25 | 58.423 % |
9.68/11.58 c 11 | 39267 | 2128 21462 66040 | 149256 39167 25 | 58.423 % |
16.50/18.50 c 18 | 58731 | 2128 21462 66040 | 164182 58631 24 | 58.423 % |
32.80/34.91 c 35 | 87923 | 2128 21462 66040 | 180600 87823 25 | 58.423 % |
64.12/66.65 c 66 | 131714 | 2128 21462 66040 | 198660 131614 25 | 58.423 % |
128.62/131.96 c 132 | 197398 | 2128 21462 66040 | 218526 197298 26 | 58.423 % |
200.54/204.73 c 205 | 295925 | 2128 21462 66040 | 240379 89950 28 | 58.423 % |
386.96/393.49 c 393 | 443714 | 2128 21462 66040 | 264417 237739 27 | 58.423 % |
644.80/654.47 c 654 | 665397 | 2128 21462 66040 | 290858 209546 26 | 58.423 % |
646.68/656.31 c 656 ===============================================================================
646.68/656.31 c 656 restarts : 28
646.68/656.31 c 656 conflicts : 666332 (1034 /sec)
646.68/656.31 c 656 decisions : 735948 (0.66 % random) (1142 /sec)
646.68/656.31 c 656 propagations : 196697906 (305147 /sec)
646.68/656.31 c 656 conflict literals : 17643551 (30.67 % deleted)
646.68/656.31 c 656 Memory used : 45.44 MB
646.68/656.31 c 656 CPU time : 644.601 s
646.68/656.31 c 656
646.68/656.31 c 656 SATISFIABLE
646.68/656.31 c 656 OK
646.68/656.31 c 656 FOUND: _COST <= 9
646.68/656.31 c 656 DECODING HOME/temp.out WITH HOME/temp.map
646.68/656.31 c 656 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
646.69/656.43 c 656 Decoding HOME/temp.out
646.69/656.52 c 656 OBJECTIVE _COST 9
646.69/656.52 o 9
646.69/656.52 v 8 9 9 8 5 1 9 9 0 9 0 9 7 7 1 0 1 1 6 9 9 0 3 8 3
646.69/656.53 c 656 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
646.86/656.67 c 657 OK
646.86/656.67 c 657 OBJECTIVE BOUND: 0 <= _COST <= 9
646.86/656.67 c 657 SEARCHING: _COST <= 4
646.86/656.67 c 657 ============================[ Search Statistics ]==============================
646.86/656.67 c 657 | Conflicts | ORIGINAL | LEARNT | Progress |
646.86/656.67 c 657 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
646.86/656.67 c 657 ===============================================================================
646.86/656.67 c 657 | 666332 | 1801 14244 45358 | 4748 210481 26 | 58.423 % |
650.43/660.25 c 660 | 666433 | 1801 14244 45358 | 5222 4770 17 | 64.812 % |
650.43/660.27 c 660 | 666583 | 1801 14244 45358 | 5745 4920 17 | 64.812 % |
650.53/660.31 c 660 | 666809 | 1801 14244 45358 | 6319 5146 17 | 64.812 % |
650.53/660.35 c 660 | 667146 | 1801 14244 45358 | 6951 5483 17 | 64.812 % |
650.63/660.43 c 660 | 667653 | 1801 14244 45358 | 7646 5990 18 | 64.812 % |
650.73/660.54 c 660 | 668414 | 1801 14244 45358 | 8411 6751 18 | 64.812 % |
650.93/660.71 c 661 | 669553 | 1801 14244 45358 | 9252 7890 18 | 64.812 % |
651.12/660.98 c 661 | 671262 | 1801 14244 45358 | 10177 9599 19 | 64.812 % |
651.51/661.39 c 661 | 673824 | 1801 14244 45358 | 11195 12161 20 | 64.812 % |
652.21/662.02 c 662 | 677669 | 1801 14244 45358 | 12315 8269 23 | 64.812 % |
653.10/662.91 c 663 | 683435 | 1801 14244 45358 | 13546 14035 23 | 64.812 % |
654.67/664.58 c 664 | 692084 | 1801 14244 45358 | 14901 13766 25 | 64.812 % |
656.94/666.88 c 667 | 705058 | 1801 14244 45358 | 16391 17243 24 | 64.812 % |
661.10/671.01 c 671 | 724520 | 1801 14244 45358 | 18030 16162 25 | 64.812 % |
667.22/677.30 c 677 | 753714 | 1801 14244 45358 | 19833 11991 24 | 64.812 % |
671.96/682.02 c 682 ===============================================================================
671.96/682.02 c 682 restarts : 44
671.96/682.02 c 682 conflicts : 775762 (1158 /sec)
671.96/682.02 c 682 decisions : 857723 (0.65 % random) (1281 /sec)
671.96/682.02 c 682 propagations : 227947666 (340372 /sec)
671.96/682.02 c 682 conflict literals : 20457122 (30.27 % deleted)
671.96/682.02 c 682 Memory used : 45.44 MB
671.96/682.02 c 682 CPU time : 669.702 s
671.96/682.02 c 682
671.96/682.02 c 682 SATISFIABLE
671.96/682.02 c 682 OK
671.96/682.02 c 682 FOUND: _COST <= 4
671.96/682.02 c 682 DECODING HOME/temp.out WITH HOME/temp.map
671.96/682.02 c 682 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
671.98/682.11 c 682 Decoding HOME/temp.out
671.98/682.19 c 682 OBJECTIVE _COST 4
671.98/682.19 o 4
671.98/682.19 v 2 5 4 5 3 9 6 8 4 5 5 0 9 6 1 3 3 5 3 8 6 9 9 9 5
671.98/682.20 c 682 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
671.98/682.27 c 682 OK
671.98/682.27 c 682 OBJECTIVE BOUND: 0 <= _COST <= 4
671.98/682.27 c 682 SEARCHING: _COST <= 2
671.98/682.27 c 682 ============================[ Search Statistics ]==============================
671.98/682.27 c 682 | Conflicts | ORIGINAL | LEARNT | Progress |
671.98/682.27 c 682 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
671.98/682.27 c 682 ===============================================================================
671.98/682.27 c 682 | 775762 | 1427 9479 32180 | 3159 21939 28 | 64.812 % |
672.20/682.32 c 682 | 775862 | 1427 9479 32180 | 3475 5585 27 | 72.119 % |
672.20/682.34 c 682 | 776012 | 1427 9479 32180 | 3823 5735 27 | 72.119 % |
672.20/682.37 c 682 | 776237 | 1427 9479 32180 | 4205 5960 26 | 72.119 % |
672.30/682.41 c 682 | 776575 | 1427 9479 32180 | 4626 6298 26 | 72.119 % |
672.30/682.48 c 682 | 777081 | 1427 9479 32180 | 5088 6804 26 | 72.119 % |
672.40/682.58 c 682 | 777841 | 1427 9479 32180 | 5597 7564 25 | 72.119 % |
672.59/682.75 c 683 | 778980 | 1427 9479 32180 | 6157 8703 25 | 72.119 % |
672.79/682.97 c 683 | 780688 | 1427 9479 32180 | 6773 10411 25 | 72.119 % |
673.19/683.35 c 683 | 783250 | 1427 9479 32180 | 7450 7541 22 | 72.119 % |
673.70/683.90 c 684 | 787096 | 1427 9479 32180 | 8195 11387 23 | 72.119 % |
674.50/684.69 c 685 | 792862 | 1427 9479 32180 | 9014 10879 26 | 72.119 % |
675.90/686.06 c 686 | 801511 | 1427 9479 32180 | 9916 12899 27 | 72.119 % |
677.80/687.95 c 688 | 814485 | 1427 9479 32180 | 10908 11736 25 | 72.119 % |
680.70/690.90 c 691 | 833947 | 1427 9479 32180 | 11998 8363 35 | 72.119 % |
685.59/695.76 c 696 | 863139 | 1427 9479 32180 | 13198 13205 24 | 72.119 % |
693.39/703.56 c 703 | 906931 | 1427 9479 32180 | 14518 13420 21 | 72.119 % |
704.89/715.08 c 715 | 972615 | 1427 9479 32180 | 15970 12399 28 | 72.119 % |
723.68/733.86 c 734 | 1071141 | 1427 9479 32180 | 17567 20228 24 | 72.119 % |
752.27/762.45 c 762 | 1218930 | 1427 9479 32180 | 19324 15264 24 | 72.119 % |
798.15/808.32 c 808 | 1440615 | 1427 9479 32180 | 21256 13187 21 | 72.119 % |
867.62/877.85 c 878 | 1773142 | 1427 9479 32180 | 23382 20670 26 | 72.119 % |
933.09/943.31 c 943 ===============================================================================
933.09/943.31 c 943 restarts : 66
933.09/943.31 c 943 conflicts : 2059746 (2213 /sec)
933.09/943.31 c 943 decisions : 2277504 (0.69 % random) (2447 /sec)
933.09/943.31 c 943 propagations : 567839007 (610157 /sec)
933.09/943.31 c 943 conflict literals : 54373510 (27.73 % deleted)
933.09/943.31 c 943 Memory used : 45.44 MB
933.09/943.31 c 943 CPU time : 930.644 s
933.09/943.31 c 943
933.09/943.31 c 943 SATISFIABLE
933.09/943.32 c 943 OK
933.09/943.32 c 943 FOUND: _COST <= 2
933.09/943.32 c 943 DECODING HOME/temp.out WITH HOME/temp.map
933.09/943.32 c 943 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
933.11/943.42 c 943 Decoding HOME/temp.out
933.11/943.49 c 943 OBJECTIVE _COST 2
933.11/943.49 o 2
933.11/943.49 v 2 1 6 7 7 7 9 7 4 0 5 5 2 1 5 1 8 5 3 0 7 9 7 7 9
933.11/943.49 c 943 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
933.25/943.60 c 943 OK
933.25/943.60 c 943 OBJECTIVE BOUND: 0 <= _COST <= 2
933.25/943.60 c 943 SEARCHING: _COST <= 1
933.25/943.60 c 943 ============================[ Search Statistics ]==============================
933.25/943.60 c 943 | Conflicts | ORIGINAL | LEARNT | Progress |
933.25/943.60 c 943 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
933.25/943.61 c 943 ===============================================================================
933.25/943.61 c 943 | 2059746 | 1124 7113 25962 | 2371 12637 23 | 72.119 % |
933.25/943.63 c 943 | 2059847 | 1124 7113 25962 | 2608 6420 22 | 78.039 % |
933.25/943.65 c 943 | 2059998 | 1124 7113 25962 | 2868 6571 22 | 78.039 % |
933.25/943.68 c 944 | 2060223 | 1124 7113 25962 | 3155 6796 22 | 78.039 % |
933.35/943.72 c 944 | 2060560 | 1124 7113 25962 | 3471 7133 22 | 78.039 % |
933.35/943.78 c 944 | 2061066 | 1124 7113 25962 | 3818 7639 23 | 78.039 % |
933.45/943.87 c 944 | 2061825 | 1124 7113 25962 | 4200 4304 22 | 78.039 % |
933.65/944.00 c 944 | 2062966 | 1124 7113 25962 | 4620 5445 22 | 78.039 % |
933.65/944.01 c 944 ===============================================================================
933.65/944.01 c 944 restarts : 74
933.65/944.01 c 944 conflicts : 2063044 (2216 /sec)
933.65/944.01 c 944 decisions : 2281365 (0.69 % random) (2450 /sec)
933.65/944.01 c 944 propagations : 568683311 (610792 /sec)
933.65/944.01 c 944 conflict literals : 54453443 (27.72 % deleted)
933.65/944.01 c 944 Memory used : 45.44 MB
933.65/944.01 c 944 CPU time : 931.059 s
933.65/944.01 c 944
933.65/944.01 c 944 SATISFIABLE
933.65/944.02 c 944 OK
933.65/944.02 c 944 FOUND: _COST <= 1
933.65/944.02 c 944 DECODING HOME/temp.out WITH HOME/temp.map
933.65/944.02 c 944 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
933.67/944.13 c 944 Decoding HOME/temp.out
933.67/944.21 c 944 OBJECTIVE _COST 1
933.67/944.21 o 1
933.67/944.21 v 2 1 1 3 3 2 2 5 7 9 3 1 0 9 5 4 2 4 9 5 7 9 4 2 0
933.67/944.23 c 944 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
933.67/944.29 c 944 OK
933.67/944.29 c 944 OBJECTIVE BOUND: 0 <= _COST <= 1
933.67/944.29 c 944 SEARCHING: _COST <= 0
933.67/944.29 c 944 ============================[ Search Statistics ]==============================
933.67/944.29 c 944 | Conflicts | ORIGINAL | LEARNT | Progress |
933.67/944.29 c 944 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
933.67/944.29 c 944 ===============================================================================
933.67/944.29 c 944 | 2063044 | 824 5492 21998 | 1830 5265 22 | 78.039 % |
933.87/944.30 c 944 | 2063144 | 824 5492 21998 | 2013 5365 22 | 83.902 % |
933.87/944.31 c 944 | 2063294 | 824 5492 21998 | 2215 5515 22 | 83.902 % |
933.87/944.33 c 944 | 2063519 | 824 5492 21998 | 2436 5740 23 | 83.902 % |
933.87/944.36 c 944 | 2063856 | 824 5492 21998 | 2680 6077 24 | 83.902 % |
933.97/944.41 c 944 | 2064362 | 824 5492 21998 | 2948 6583 25 | 83.902 % |
933.97/944.49 c 944 | 2065121 | 824 5492 21998 | 3243 7342 26 | 83.902 % |
934.17/944.60 c 944 | 2066260 | 824 5492 21998 | 3567 4386 32 | 83.902 % |
934.27/944.75 c 945 | 2067969 | 824 5492 21998 | 3924 6095 33 | 83.902 % |
934.47/944.99 c 945 | 2070531 | 824 5492 21998 | 4316 8657 35 | 83.902 % |
934.87/945.34 c 945 | 2074375 | 824 5492 21998 | 4748 8173 37 | 83.902 % |
935.47/945.92 c 946 | 2080142 | 824 5492 21998 | 5223 9092 36 | 83.902 % |
936.37/946.83 c 947 | 2088791 | 824 5492 21998 | 5745 7569 30 | 83.902 % |
937.37/947.88 c 948 ===============================================================================
937.37/947.89 c 948 restarts : 87
937.37/947.89 c 948 conflicts : 2099531 (2246 /sec)
937.37/947.89 c 948 decisions : 2324244 (0.68 % random) (2487 /sec)
937.37/947.89 c 948 propagations : 570418074 (610296 /sec)
937.37/947.89 c 948 conflict literals : 55689836 (27.70 % deleted)
937.37/947.89 c 948 Memory used : 45.44 MB
937.37/947.89 c 948 CPU time : 934.658 s
937.37/947.89 c 948
937.37/947.89 c 948 UNSATISFIABLE
937.37/947.89 c 948 OK
937.37/947.89 c 948 NOT FOUND: _COST <= 0
937.37/947.89 c 948 OK
937.37/947.89 c 948 OBJECTIVE _COST 1
937.37/947.89 s OPTIMUM FOUND
937.37/947.90 c 948 CPU 937.03 (0.07 0.02 936.96 0.42)
937.37/947.90 c 948 END Mon Jul 14 22:36:50 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1117819-1216066862/watcher-1117819-1216066862 -o /tmp/evaluation-result-1117819-1216066862/solver-1117819-1216066862 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1117819-1216066862.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 2.43 2.16 2.06 4/105 21316
/proc/meminfo: memFree=1695552/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=18572 CPUtime=0
/proc/21316/stat : 21316 (runsolver) R 21314 21316 19924 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 63383460 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 214945033511 0 0 4096 24578 0 0 0 17 0 0 0
/proc/21316/statm: 4643 292 257 25 0 2626 0
[startup+0.0723019 s]
/proc/loadavg: 2.43 2.16 2.06 4/105 21316
/proc/meminfo: memFree=1695552/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16608 CPUtime=0.05
/proc/21316/stat : 21316 (sugar++) R 21314 21316 19924 0 -1 4194304 1062 0 0 0 4 1 0 0 18 0 1 0 63383460 17006592 1030 996147200 4194304 4206940 548682068528 18446744073709551615 214962587111 0 0 4224 0 0 0 0 17 1 0 0
/proc/21316/statm: 4152 1030 380 3 0 731 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16608
[startup+0.106232 s]
/proc/loadavg: 2.43 2.16 2.06 4/105 21316
/proc/meminfo: memFree=1695552/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16740 CPUtime=0.06
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 63383460 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301331 s]
/proc/loadavg: 2.43 2.16 2.06 4/105 21316
/proc/meminfo: memFree=1695552/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16740 CPUtime=0.06
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 63383460 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701369 s]
/proc/loadavg: 2.43 2.16 2.06 4/105 21316
/proc/meminfo: memFree=1695552/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16740 CPUtime=0.42
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1296 4627 0 1 5 1 33 3 16 0 1 0 63383460 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 16740
[startup+1.50146 s]
/proc/loadavg: 2.43 2.16 2.06 3/116 21338
/proc/meminfo: memFree=1680040/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16740 CPUtime=0.42
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1297 4627 0 1 5 1 33 3 15 0 1 0 63383460 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4185 1104 409 3 0 764 0
[pid=21329] ppid=21316 vsize=5356 CPUtime=0
/proc/21329/stat : 21329 (sh) S 21316 21316 19924 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 63383511 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21329/statm: 1339 233 193 169 0 50 0
[pid=21330] ppid=21329 vsize=868472 CPUtime=0.54
/proc/21330/stat : 21330 (java) S 21329 21316 19924 0 -1 0 6574 0 1 0 51 3 0 0 20 0 9 0 63383511 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21330/statm: 217118 5820 2560 9 0 211665 0
[pid=21330/tid=21331] ppid=21329 vsize=868472 CPUtime=0.3
/proc/21330/task/21331/stat : 21331 (java) R 21329 21316 19924 0 -1 64 2690 0 1 0 28 2 0 0 25 0 9 0 63383512 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4125952058 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21330/tid=21332] ppid=21329 vsize=868472 CPUtime=0.04
/proc/21330/task/21332/stat : 21332 (java) S 21329 21316 19924 0 -1 64 1740 0 0 0 4 0 0 0 16 0 9 0 63383513 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21330/tid=21333] ppid=21329 vsize=868472 CPUtime=0
/proc/21330/task/21333/stat : 21333 (java) S 21329 21316 19924 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 63383513 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21330/tid=21334] ppid=21329 vsize=868472 CPUtime=0
/proc/21330/task/21334/stat : 21334 (java) S 21329 21316 19924 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 63383513 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21330/tid=21335] ppid=21329 vsize=868472 CPUtime=0
/proc/21330/task/21335/stat : 21335 (java) S 21329 21316 19924 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 63383515 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21330/tid=21336] ppid=21329 vsize=868472 CPUtime=0.17
/proc/21330/task/21336/stat : 21336 (java) S 21329 21316 19924 0 -1 64 1451 0 0 0 17 0 0 0 16 0 9 0 63383515 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21330/tid=21337] ppid=21329 vsize=868472 CPUtime=0
/proc/21330/task/21337/stat : 21337 (java) S 21329 21316 19924 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 63383515 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21330/tid=21338] ppid=21329 vsize=868472 CPUtime=0
/proc/21330/task/21338/stat : 21338 (java) S 21329 21316 19924 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 63383515 889315328 5820 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 890568
[startup+3.10165 s]
/proc/loadavg: 2.43 2.16 2.06 3/116 21338
/proc/meminfo: memFree=1676584/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=1.35
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1537 11628 0 2 6 2 116 11 15 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 16872
[startup+6.30302 s]
/proc/loadavg: 2.48 2.18 2.06 4/107 21379
/proc/meminfo: memFree=1682672/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 15 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=7836 CPUtime=2.55
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 1894 0 0 0 255 0 0 0 25 0 1 0 63383681 8024064 1835 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 1959 1835 79 151 0 1805 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 24708
[startup+12.7018 s]
/proc/loadavg: 2.44 2.17 2.06 4/107 21379
/proc/meminfo: memFree=1679984/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=10740 CPUtime=8.87
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 2604 0 0 0 886 1 0 0 25 0 1 0 63383681 10997760 2545 996147200 134512640 135134323 4294956192 18446744073709551615 134532286 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 2685 2545 79 151 0 2531 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (KiB) 27612
[startup+25.5012 s]
/proc/loadavg: 2.41 2.18 2.06 4/107 21379
/proc/meminfo: memFree=1675888/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=14592 CPUtime=21.51
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 3573 0 0 0 2149 2 0 0 25 0 1 0 63383681 14942208 3514 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 3648 3514 79 151 0 3494 0
Current children cumulated CPU time (s) 23.51
Current children cumulated vsize (KiB) 31464
[startup+51.1012 s]
/proc/loadavg: 2.53 2.23 2.08 4/107 21379
/proc/meminfo: memFree=1671088/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=19744 CPUtime=46.8
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 4811 0 0 0 4677 3 0 0 25 0 1 0 63383681 20217856 4752 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 4936 4752 79 151 0 4782 0
Current children cumulated CPU time (s) 48.8
Current children cumulated vsize (KiB) 36616
[startup+102.307 s]
/proc/loadavg: 2.61 2.30 2.11 4/107 21379
/proc/meminfo: memFree=1662768/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=28008 CPUtime=97.38
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 6869 0 0 0 9733 5 0 0 25 0 1 0 63383681 28680192 6810 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 7002 6810 79 151 0 6848 0
Current children cumulated CPU time (s) 99.38
Current children cumulated vsize (KiB) 44880
[startup+162.302 s]
/proc/loadavg: 2.65 2.36 2.14 3/107 21379
/proc/meminfo: memFree=1655664/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=35148 CPUtime=156.66
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 8602 0 0 0 15659 7 0 0 25 0 1 0 63383681 35991552 8543 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 8787 8543 79 151 0 8633 0
Current children cumulated CPU time (s) 158.66
Current children cumulated vsize (KiB) 52020
[startup+222.302 s]
/proc/loadavg: 2.68 2.42 2.17 4/107 21379
/proc/meminfo: memFree=1655152/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=35692 CPUtime=215.92
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 8731 0 0 0 21585 7 0 0 25 0 1 0 63383681 36548608 8672 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 8923 8672 79 151 0 8769 0
Current children cumulated CPU time (s) 217.92
Current children cumulated vsize (KiB) 52564
[startup+282.302 s]
/proc/loadavg: 2.53 2.42 2.19 3/107 21379
/proc/meminfo: memFree=1654768/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=36048 CPUtime=275.2
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 8816 0 0 0 27513 7 0 0 25 0 1 0 63383681 36913152 8757 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 9012 8757 79 151 0 8858 0
Current children cumulated CPU time (s) 277.2
Current children cumulated vsize (KiB) 52920
[startup+342.302 s]
/proc/loadavg: 2.45 2.41 2.20 4/107 21379
/proc/meminfo: memFree=1654512/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=36404 CPUtime=334.47
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 8883 0 0 0 33440 7 0 0 25 0 1 0 63383681 37277696 8824 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
################
# More data... #
################
[startup+522.301 s]
/proc/loadavg: 2.67 2.49 2.26 4/107 21379
/proc/meminfo: memFree=1645232/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=45620 CPUtime=512.3
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11196 0 0 0 51221 9 0 0 25 0 1 0 63383681 46714880 11129 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 11405 11129 79 151 0 11251 0
Current children cumulated CPU time (s) 514.3
Current children cumulated vsize (KiB) 62492
[startup+582.301 s]
/proc/loadavg: 2.72 2.54 2.29 4/107 21379
/proc/meminfo: memFree=1645104/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=45796 CPUtime=571.57
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11208 0 0 0 57148 9 0 0 25 0 1 0 63383681 46895104 11141 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 11449 11141 79 151 0 11295 0
Current children cumulated CPU time (s) 573.57
Current children cumulated vsize (KiB) 62668
[startup+642.301 s]
/proc/loadavg: 2.75 2.57 2.31 4/107 21379
/proc/meminfo: memFree=1644720/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1765 26765 0 6 6 2 171 21 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46128 CPUtime=630.84
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11312 0 0 0 63075 9 0 0 25 0 1 0 63383681 47235072 11245 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21339/statm: 11532 11245 79 151 0 11378 0
Current children cumulated CPU time (s) 632.84
Current children cumulated vsize (KiB) 63000
[startup+702.301 s]
/proc/loadavg: 2.72 2.59 2.33 3/107 21399
/proc/meminfo: memFree=1644400/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.38
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1905 34332 0 8 7 2 202 27 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=689.81
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11390 0 0 0 68972 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 692.19
Current children cumulated vsize (KiB) 63396
[startup+762.307 s]
/proc/loadavg: 2.77 2.63 2.36 3/107 21399
/proc/meminfo: memFree=1644208/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.38
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1905 34332 0 8 7 2 202 27 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=749.79
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11390 0 0 0 74970 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 752.17
Current children cumulated vsize (KiB) 63396
[startup+822.302 s]
/proc/loadavg: 2.66 2.62 2.37 3/107 21399
/proc/meminfo: memFree=1644272/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.38
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1905 34332 0 8 7 2 202 27 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=809.76
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11390 0 0 0 80967 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134532037 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 812.14
Current children cumulated vsize (KiB) 63396
[startup+882.302 s]
/proc/loadavg: 2.67 2.62 2.38 3/107 21399
/proc/meminfo: memFree=1644272/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.38
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1905 34332 0 8 7 2 202 27 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=869.74
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11390 0 0 0 86965 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 872.12
Current children cumulated vsize (KiB) 63396
[startup+942.302 s]
/proc/loadavg: 2.59 2.61 2.39 3/107 21399
/proc/meminfo: memFree=1644272/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.38
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1905 34332 0 8 7 2 202 27 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=929.71
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11390 0 0 0 92962 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 932.09
Current children cumulated vsize (KiB) 63396
Solver just ended. Dumping a history of the last processes samples
[startup+943.902 s]
/proc/loadavg: 2.62 2.62 2.40 3/107 21409
/proc/meminfo: memFree=1644144/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.52
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 1975 38111 0 9 7 2 214 29 15 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=931.03
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11392 0 0 0 93094 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 933.55
Current children cumulated vsize (KiB) 63396
[startup+945.501 s]
/proc/loadavg: 2.62 2.62 2.40 3/107 21419
/proc/meminfo: memFree=1644016/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.71
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 2046 41901 0 10 7 2 230 32 15 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=932.36
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11394 0 0 0 93227 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 935.07
Current children cumulated vsize (KiB) 63396
[startup+947.108 s]
/proc/loadavg: 2.62 2.62 2.40 3/107 21419
/proc/meminfo: memFree=1644016/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.71
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 2046 41901 0 10 7 2 230 32 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=933.96
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11394 0 0 0 93387 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 936.67
Current children cumulated vsize (KiB) 63396
[startup+947.501 s]
/proc/loadavg: 2.62 2.62 2.40 3/107 21419
/proc/meminfo: memFree=1644016/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.71
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 2046 41901 0 10 7 2 230 32 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=934.35
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11394 0 0 0 93426 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134523948 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 937.06
Current children cumulated vsize (KiB) 63396
[startup+947.702 s]
/proc/loadavg: 2.62 2.62 2.40 3/107 21419
/proc/meminfo: memFree=1644016/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.71
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 2046 41901 0 10 7 2 230 32 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=934.56
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11394 0 0 0 93447 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 937.27
Current children cumulated vsize (KiB) 63396
[startup+947.802 s]
/proc/loadavg: 2.62 2.62 2.40 3/107 21419
/proc/meminfo: memFree=1644016/2055920 swapFree=4192812/4192956
[pid=21316] ppid=21314 vsize=16872 CPUtime=2.71
/proc/21316/stat : 21316 (sugar++) S 21314 21316 19924 0 -1 4194304 2046 41901 0 10 7 2 230 32 16 0 1 0 63383460 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 4218 1121 414 3 0 797 0
[pid=21339] ppid=21316 vsize=46524 CPUtime=934.66
/proc/21339/stat : 21339 (minisat-inc) R 21316 21316 19924 0 -1 4194304 11394 0 0 0 93457 9 0 0 25 0 1 0 63383681 47640576 11319 996147200 134512640 135134323 4294956192 18446744073709551615 134532056 0 0 4096 3 0 0 0 17 0 0 0
/proc/21339/statm: 11631 11319 79 151 0 11477 0
Current children cumulated CPU time (s) 937.37
Current children cumulated vsize (KiB) 63396
Child status: 0
Real time (s): 947.901
CPU time (s): 937.495
CPU user time (s): 937.036
CPU system time (s): 0.45993
CPU usage (%): 98.9023
Max. virtual memory (cumulated for all children) (KiB): 890568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 937.036
system time used= 0.45993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55422
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4385
involuntary context switches= 29135
runsolver used 1.37779 second user time and 3.81942 second system time
The end
Begin job on node85 at 2008-07-14 22:21:02
IDJOB=1117819
IDBENCH=62167
IDSOLVER=367
FILE ID=node85/1117819-1216066862
PBS_JOBID= 7905038
Free space on /tmp= 126852 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-44_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1117819-1216066862/watcher-1117819-1216066862 -o /tmp/evaluation-result-1117819-1216066862/solver-1117819-1216066862 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1117819-1216066862.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0f4a4859a4e7ff56ab053373ca460adf
RANDOM SEED=1490216765
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.225
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.225
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1696032 kB
Buffers: 50376 kB
Cached: 143356 kB
SwapCached: 0 kB
Active: 236780 kB
Inactive: 65696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1696032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 892 kB
Writeback: 0 kB
Mapped: 130420 kB
Slab: 39652 kB
Committed_AS: 1241620 kB
PageTables: 4064 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= 126852 MiB
End job on node85 at 2008-07-14 22:36:50