0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Mon Jul 14 22:18:55 2008
0.00/0.08 c 0 PID 23673
0.00/0.08 c 0 HOST node71.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-1117811-1216066734.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1117811-1216066734.xml' 'HOME/temp.csp'
0.06/0.62 c 0 1 domains, 25 variables, 0 predicates, 300 relations, 300 constraints
0.06/0.66 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.66 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.61/0.74 c 0 Parsing HOME/temp.csp
0.93/1.06 c 1 parsed 626 expressions
0.93/1.09 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.93/1.09 c 1 MAX CSP: 300 constraints
0.93/1.09 c 1 Converting to clausal form CSP
1.03/1.12 c 1 converted 93 (10%) expressions
1.03/1.12 c 1 converted 186 (20%) expressions
1.03/1.12 c 1 converted 279 (30%) expressions
1.03/1.14 c 1 converted 372 (40%) expressions
1.03/1.16 c 1 converted 465 (50%) expressions
1.03/1.16 c 1 converted 558 (60%) expressions
1.03/1.17 c 1 converted 651 (70%) expressions
1.03/1.18 c 1 converted 744 (80%) expressions
1.03/1.19 c 1 converted 837 (90%) expressions
1.23/1.34 c 1 converted 929 (100%) expressions
1.23/1.34 c 1 CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 451
1.23/1.34 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.34 c 1 Propagation in CSP
1.23/1.38 c 1 296 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.23/1.38 c 1 CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
1.23/1.38 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.38 c 1 Simplifing CSP by introducing new Boolean variables
1.23/1.38 c 1 CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
1.23/1.38 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.32/1.41 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.32/1.43 c 1 63 (10%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.32/1.43 c 1 125 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.32/1.43 c 1 188 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.32/1.43 c 1 250 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.32/1.43 c 1 313 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.32/1.44 c 1 375 (60%) CSP integer variables are encoded (693 clauses, 7608 bytes)
1.32/1.44 c 1 438 (70%) CSP integer variables are encoded (3016 clauses, 37807 bytes)
1.32/1.45 c 1 500 (80%) CSP integer variables are encoded (3623 clauses, 45698 bytes)
1.32/1.45 c 1 563 (90%) CSP integer variables are encoded (3979 clauses, 50326 bytes)
1.32/1.45 c 1 625 (100%) CSP integer variables are encoded (4493 clauses, 57008 bytes)
1.32/1.50 c 1 90 (10%) CSP clauses are encoded (5726 clauses, 81537 bytes)
1.42/1.51 c 1 180 (20%) CSP clauses are encoded (6962 clauses, 107121 bytes)
1.42/1.53 c 1 270 (30%) CSP clauses are encoded (8209 clauses, 134990 bytes)
1.42/1.54 c 1 360 (40%) CSP clauses are encoded (9298 clauses, 153812 bytes)
1.52/1.64 c 1 450 (50%) CSP clauses are encoded (58466 clauses, 1026620 bytes)
1.52/1.65 c 1 540 (60%) CSP clauses are encoded (60364 clauses, 1059039 bytes)
1.62/1.73 c 1 630 (70%) CSP clauses are encoded (105224 clauses, 1881747 bytes)
1.62/1.74 c 1 720 (80%) CSP clauses are encoded (107376 clauses, 1918637 bytes)
1.62/1.75 c 1 810 (90%) CSP clauses are encoded (112212 clauses, 2004587 bytes)
1.62/1.78 c 1 899 (100%) CSP clauses are encoded (129698 clauses, 2321495 bytes)
1.62/1.78 c 1 899 CSP clauses encoded
1.62/1.79 c 1 Writing map file : HOME/temp.map
1.62/1.79 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.62/1.79 c 1 SAT : 5118 SAT variables, 129698 SAT clauses, 2321495 bytes
1.62/1.79 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.72/1.82 c 1 OBJECTIVE minimize _COST
1.72/1.82 c 1 SOLVING HOME/temp.cnf
1.72/1.82 c 1 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.72/1.82 c 1 This is MiniSat 2.0 beta incremental
1.72/1.82 c 1 WARNING: for repeatability, setting FPU to use double precision
1.72/1.82 c 1 ============================[ Problem Statistics ]=============================
1.72/1.82 c 1 | |
1.72/1.82 c 1 | Number of variables: 5118 |
1.72/1.82 c 1 | Number of clauses: 129698 |
1.72/1.88 c 1 | Parsing time: 0.05 s |
1.72/1.88 c 1 OK
1.72/1.88 c 1 OBJECTIVE BOUND: 0 <= _COST <=
1.72/1.88 c 1 SEARCHING: _COST <= 150
1.72/1.88 c 1 ============================[ Search Statistics ]==============================
1.72/1.88 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.72/1.88 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.72/1.88 c 1 ===============================================================================
1.72/1.88 c 1 | 0 | 5118 129698 382009 | 43232 0 nan | 0.000 % |
1.72/1.89 c 1 ===============================================================================
1.72/1.89 c 1 restarts : 1
1.72/1.89 c 1 conflicts : 1 (15 /sec)
1.72/1.89 c 1 decisions : 18 (0.00 % random) (277 /sec)
1.72/1.89 c 1 propagations : 5150 (79243 /sec)
1.72/1.89 c 1 conflict literals : 28 (6.67 % deleted)
1.72/1.89 c 1 Memory used : 7.12 MB
1.72/1.89 c 1 CPU time : 0.06499 s
1.72/1.90 c 1
1.72/1.90 c 1 SATISFIABLE
1.72/1.90 c 1 OK
1.72/1.90 c 1 FOUND: _COST <= 150
1.72/1.90 s SATISFIABLE
1.72/1.90 c 1 DECODING HOME/temp.out WITH HOME/temp.map
1.72/1.90 c 1 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.73/1.98 c 1 Decoding HOME/temp.out
1.73/2.06 c 2 OBJECTIVE _COST 150
1.73/2.06 o 150
1.73/2.07 v 1 0 9 6 6 3 5 3 1 9 8 8 4 2 3 8 9 8 7 9 9 9 9 9 9
1.73/2.07 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.97/2.11 c 2 OK
1.97/2.11 c 2 OBJECTIVE BOUND: 0 <= _COST <= 150
1.97/2.11 c 2 SEARCHING: _COST <= 75
1.97/2.11 c 2 ============================[ Search Statistics ]==============================
1.97/2.12 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.97/2.12 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.97/2.12 c 2 ===============================================================================
1.97/2.12 c 2 | 1 | 5118 129698 382009 | 43232 1 28 | 0.000 % |
1.97/2.12 c 2 ===============================================================================
1.97/2.12 c 2 restarts : 2
1.97/2.12 c 2 conflicts : 11 (143 /sec)
1.97/2.12 c 2 decisions : 136 (0.00 % random) (1767 /sec)
1.97/2.12 c 2 propagations : 12321 (160038 /sec)
1.97/2.12 c 2 conflict literals : 490 (2.58 % deleted)
1.97/2.12 c 2 Memory used : 7.25 MB
1.97/2.12 c 2 CPU time : 0.076988 s
1.97/2.12 c 2
1.97/2.12 c 2 SATISFIABLE
1.97/2.12 c 2 OK
1.97/2.12 c 2 FOUND: _COST <= 75
1.97/2.12 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.97/2.12 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.97/2.20 c 2 Decoding HOME/temp.out
2.00/2.27 c 2 OBJECTIVE _COST 75
2.00/2.27 o 75
2.00/2.27 v 7 9 2 7 8 6 1 7 2 8 9 0 6 9 8 6 9 8 9 0 9 9 7 7 0
2.00/2.28 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.00/2.33 c 2 OK
2.00/2.33 c 2 OBJECTIVE BOUND: 0 <= _COST <= 75
2.00/2.33 c 2 SEARCHING: _COST <= 37
2.00/2.33 c 2 ============================[ Search Statistics ]==============================
2.00/2.34 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.00/2.34 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.00/2.34 c 2 ===============================================================================
2.00/2.34 c 2 | 11 | 3768 129698 382009 | 43232 11 45 | 0.000 % |
2.00/2.35 c 2 | 113 | 3768 129698 382009 | 47555 113 26 | 41.034 % |
2.00/2.37 c 2 | 263 | 3768 129698 382009 | 52311 263 28 | 41.034 % |
2.24/2.40 c 2 | 488 | 3768 129698 382009 | 57542 488 26 | 41.034 % |
2.24/2.41 c 2 ===============================================================================
2.24/2.41 c 2 restarts : 6
2.24/2.41 c 2 conflicts : 496 (3200 /sec)
2.24/2.41 c 2 decisions : 911 (0.33 % random) (5878 /sec)
2.24/2.41 c 2 propagations : 172111 (1110566 /sec)
2.24/2.41 c 2 conflict literals : 12852 (20.50 % deleted)
2.24/2.41 c 2 Memory used : 7.38 MB
2.24/2.41 c 2 CPU time : 0.154976 s
2.24/2.41 c 2
2.24/2.41 c 2 SATISFIABLE
2.24/2.41 c 2 OK
2.24/2.41 c 2 FOUND: _COST <= 37
2.24/2.41 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.24/2.41 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'
2.24/2.49 c 2 Decoding HOME/temp.out
2.25/2.56 c 2 OBJECTIVE _COST 37
2.25/2.56 o 37
2.25/2.56 v 9 9 9 9 8 7 5 9 9 8 9 8 9 2 5 9 9 6 9 9 8 7 9 9 3
2.25/2.56 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.25/2.57 c 2 OK
2.25/2.57 c 2 OBJECTIVE BOUND: 0 <= _COST <= 37
2.25/2.57 c 2 SEARCHING: _COST <= 18
2.25/2.57 c 2 ============================[ Search Statistics ]==============================
2.25/2.57 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.25/2.57 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.25/2.57 c 2 ===============================================================================
2.25/2.57 c 2 | 496 | 3018 129698 382009 | 43232 496 26 | 41.034 % |
2.25/2.59 c 2 | 596 | 3018 129698 382009 | 47555 596 25 | 50.764 % |
2.42/2.61 c 2 | 747 | 3018 129698 382009 | 52311 747 24 | 50.764 % |
2.42/2.64 c 2 | 972 | 3018 129698 382009 | 57542 972 24 | 50.764 % |
2.42/2.69 c 2 | 1310 | 3018 129698 382009 | 63296 1310 23 | 50.764 % |
2.52/2.78 c 2 | 1818 | 2520 34975 105371 | 69626 1817 25 | 50.764 % |
2.62/2.87 c 2 | 2578 | 2520 34975 105371 | 76589 2577 25 | 50.764 % |
2.81/3.01 c 2 | 3718 | 2520 34975 105371 | 84248 3717 25 | 50.764 % |
3.02/3.23 c 3 | 5427 | 2520 34975 105371 | 92673 5426 26 | 50.764 % |
3.41/3.61 c 3 | 7990 | 2520 34975 105371 | 101940 7989 25 | 50.764 % |
3.91/4.18 c 4 | 11834 | 2520 34975 105371 | 112134 11833 24 | 50.764 % |
5.01/5.20 c 5 | 17601 | 2520 34975 105371 | 123347 17600 24 | 50.764 % |
7.02/7.20 c 7 | 26250 | 2520 34975 105371 | 135682 26249 24 | 50.764 % |
10.21/10.43 c 10 | 39225 | 2520 34975 105371 | 149250 39224 25 | 50.764 % |
14.62/14.82 c 14 ===============================================================================
14.62/14.82 c 14 restarts : 20
14.62/14.82 c 14 conflicts : 52250 (4218 /sec)
14.62/14.82 c 14 decisions : 59867 (0.61 % random) (4833 /sec)
14.62/14.82 c 14 propagations : 16517753 (1333570 /sec)
14.62/14.82 c 14 conflict literals : 1312396 (31.58 % deleted)
14.62/14.82 c 14 Memory used : 11.89 MB
14.62/14.82 c 14 CPU time : 12.3861 s
14.62/14.82 c 14
14.62/14.82 c 14 SATISFIABLE
14.62/14.83 c 14 OK
14.62/14.83 c 14 FOUND: _COST <= 18
14.62/14.83 c 14 DECODING HOME/temp.out WITH HOME/temp.map
14.62/14.83 c 14 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
14.64/14.91 c 14 Decoding HOME/temp.out
14.64/14.98 c 14 OBJECTIVE _COST 18
14.64/14.98 o 18
14.64/14.98 v 4 5 0 9 2 3 9 9 9 7 2 5 9 3 9 0 9 9 1 9 4 7 0 4 1
14.64/14.98 c 14 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
14.64/15.06 c 15 OK
14.64/15.06 c 15 OBJECTIVE BOUND: 0 <= _COST <= 18
14.64/15.06 c 15 SEARCHING: _COST <= 9
14.64/15.06 c 15 ============================[ Search Statistics ]==============================
14.64/15.06 c 15 | Conflicts | ORIGINAL | LEARNT | Progress |
14.64/15.06 c 15 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.64/15.06 c 15 ===============================================================================
14.64/15.06 c 15 | 52250 | 2128 21457 65974 | 7152 52161 25 | 50.764 % |
14.96/15.27 c 15 | 52350 | 2128 21457 65974 | 7867 6623 23 | 58.423 % |
14.96/15.29 c 15 | 52501 | 2128 21457 65974 | 8654 6774 22 | 58.423 % |
15.06/15.34 c 15 | 52726 | 2128 21457 65974 | 9519 6999 22 | 58.423 % |
15.06/15.39 c 15 | 53064 | 2128 21457 65974 | 10471 7337 22 | 58.423 % |
15.16/15.47 c 15 | 53570 | 2128 21457 65974 | 11518 7843 22 | 58.423 % |
15.26/15.59 c 15 | 54329 | 2128 21457 65974 | 12670 8602 22 | 58.423 % |
15.46/15.78 c 15 | 55468 | 2128 21457 65974 | 13937 9741 22 | 58.423 % |
15.75/16.04 c 16 | 57176 | 2128 21457 65974 | 15331 11449 22 | 58.423 % |
16.15/16.44 c 16 | 59738 | 2128 21457 65974 | 16864 14011 22 | 58.423 % |
16.84/17.12 c 17 | 63583 | 2128 21457 65974 | 18551 17856 23 | 58.423 % |
18.13/18.41 c 18 | 69351 | 2128 21457 65974 | 20406 12384 23 | 58.423 % |
20.21/20.56 c 20 | 78000 | 2128 21457 65974 | 22447 21033 23 | 58.423 % |
23.37/23.78 c 23 | 90976 | 2128 21457 65974 | 24691 20669 24 | 58.423 % |
28.43/28.86 c 28 | 110437 | 2128 21457 65974 | 27160 24312 25 | 58.423 % |
37.44/37.95 c 37 | 139629 | 2128 21457 65974 | 29877 19215 22 | 58.423 % |
51.90/52.59 c 52 | 183418 | 2128 21457 65974 | 32864 24244 21 | 58.423 % |
72.40/73.22 c 73 | 249102 | 2128 21457 65974 | 36151 22281 22 | 58.423 % |
105.78/106.98 c 106 | 347628 | 2128 21457 65974 | 39766 19027 24 | 58.423 % |
158.57/160.29 c 160 | 495419 | 2128 21457 65974 | 43743 22280 25 | 58.423 % |
242.26/244.78 c 244 | 717104 | 2128 21457 65974 | 48117 45555 27 | 58.423 % |
377.46/381.22 c 381 | 1049629 | 2128 21457 65974 | 52929 49098 26 | 58.423 % |
596.86/602.74 c 602 | 1548417 | 2128 21457 65974 | 58221 52325 28 | 58.423 % |
832.70/840.87 c 840 ===============================================================================
832.70/840.87 c 840 restarts : 43
832.70/840.87 c 840 conflicts : 2061447 (2483 /sec)
832.70/840.87 c 840 decisions : 2288020 (0.70 % random) (2756 /sec)
832.70/840.87 c 840 propagations : 620961778 (747866 /sec)
832.70/840.87 c 840 conflict literals : 55764599 (28.07 % deleted)
832.70/840.87 c 840 Memory used : 20.58 MB
832.70/840.87 c 840 CPU time : 830.312 s
832.70/840.87 c 840
832.70/840.87 c 840 SATISFIABLE
832.70/840.88 c 840 OK
832.70/840.88 c 840 FOUND: _COST <= 9
832.70/840.88 c 840 DECODING HOME/temp.out WITH HOME/temp.map
832.70/840.88 c 840 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
832.79/840.97 c 840 Decoding HOME/temp.out
832.79/841.05 c 841 OBJECTIVE _COST 9
832.79/841.05 o 9
832.79/841.06 v 1 3 9 7 4 9 7 9 9 8 1 8 4 0 2 6 7 7 7 9 7 3 0 5 9
832.79/841.06 c 841 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
833.00/841.10 c 841 OK
833.00/841.10 c 841 OBJECTIVE BOUND: 0 <= _COST <= 9
833.00/841.10 c 841 SEARCHING: _COST <= 4
833.00/841.10 c 841 ============================[ Search Statistics ]==============================
833.00/841.10 c 841 | Conflicts | ORIGINAL | LEARNT | Progress |
833.00/841.10 c 841 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
833.00/841.10 c 841 ===============================================================================
833.00/841.10 c 841 | 2061447 | 1801 14239 45292 | 4746 15695 25 | 58.423 % |
833.00/841.15 c 841 | 2061547 | 1801 14239 45292 | 5220 7948 22 | 64.812 % |
833.00/841.17 c 841 | 2061698 | 1801 14239 45292 | 5743 8099 22 | 64.812 % |
833.10/841.20 c 841 | 2061923 | 1801 14239 45292 | 6317 8324 22 | 64.812 % |
833.10/841.25 c 841 | 2062262 | 1801 14239 45292 | 6949 8663 22 | 64.812 % |
833.20/841.33 c 841 | 2062771 | 1801 14239 45292 | 7644 9172 22 | 64.812 % |
833.30/841.45 c 841 | 2063530 | 1801 14239 45292 | 8408 9931 22 | 64.812 % |
833.50/841.62 c 841 | 2064669 | 1801 14239 45292 | 9249 11070 23 | 64.812 % |
833.69/841.89 c 841 | 2066378 | 1801 14239 45292 | 10174 12779 23 | 64.812 % |
834.19/842.32 c 842 | 2068940 | 1801 14239 45292 | 11191 8166 23 | 64.812 % |
834.68/842.89 c 842 | 2072786 | 1801 14239 45292 | 12310 12012 23 | 64.812 % |
835.67/843.86 c 843 | 2078553 | 1801 14239 45292 | 13541 9534 24 | 64.812 % |
836.86/845.01 c 844 ===============================================================================
836.86/845.01 c 844 restarts : 55
836.86/845.01 c 844 conflicts : 2084755 (2499 /sec)
836.86/845.01 c 844 decisions : 2314011 (0.70 % random) (2774 /sec)
836.86/845.01 c 844 propagations : 628058815 (752897 /sec)
836.86/845.01 c 844 conflict literals : 56328935 (28.07 % deleted)
836.86/845.01 c 844 Memory used : 20.58 MB
836.86/845.01 c 844 CPU time : 834.189 s
836.86/845.01 c 844
836.86/845.01 c 844 SATISFIABLE
836.86/845.01 c 845 OK
836.86/845.01 c 845 FOUND: _COST <= 4
836.86/845.01 c 845 DECODING HOME/temp.out WITH HOME/temp.map
836.86/845.01 c 845 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
836.86/845.09 c 845 Decoding HOME/temp.out
836.88/845.17 c 845 OBJECTIVE _COST 4
836.88/845.17 o 4
836.88/845.17 v 9 6 7 9 4 9 2 1 4 9 9 2 8 1 9 5 0 3 3 7 2 2 9 4 1
836.88/845.18 c 845 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
836.88/845.23 c 845 OK
836.88/845.23 c 845 OBJECTIVE BOUND: 0 <= _COST <= 4
836.88/845.23 c 845 SEARCHING: _COST <= 2
836.88/845.23 c 845 ============================[ Search Statistics ]==============================
836.88/845.23 c 845 | Conflicts | ORIGINAL | LEARNT | Progress |
836.88/845.23 c 845 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
836.88/845.23 c 845 ===============================================================================
836.88/845.23 c 845 | 2084755 | 1427 9474 32114 | 3158 15736 24 | 64.812 % |
836.88/845.28 c 845 | 2084855 | 1427 9474 32114 | 3473 4034 20 | 72.119 % |
837.09/845.30 c 845 | 2085005 | 1427 9474 32114 | 3821 4184 20 | 72.119 % |
837.09/845.33 c 845 | 2085230 | 1427 9474 32114 | 4203 4409 21 | 72.119 % |
837.09/845.37 c 845 | 2085567 | 1427 9474 32114 | 4623 4746 22 | 72.119 % |
837.19/845.43 c 845 | 2086073 | 1427 9474 32114 | 5085 5252 22 | 72.119 % |
837.29/845.52 c 845 | 2086832 | 1427 9474 32114 | 5594 6011 22 | 72.119 % |
837.39/845.65 c 845 | 2087972 | 1427 9474 32114 | 6154 7151 21 | 72.119 % |
837.59/845.86 c 845 | 2089680 | 1427 9474 32114 | 6769 8859 23 | 72.119 % |
837.98/846.20 c 846 | 2092242 | 1427 9474 32114 | 7446 5921 25 | 72.119 % |
838.48/846.75 c 846 | 2096087 | 1427 9474 32114 | 8191 9766 24 | 72.119 % |
839.46/847.73 c 847 | 2101854 | 1427 9474 32114 | 9010 9352 23 | 72.119 % |
840.76/849.07 c 849 | 2110503 | 1427 9474 32114 | 9911 11361 23 | 72.119 % |
842.83/851.15 c 851 | 2123477 | 1427 9474 32114 | 10902 10319 22 | 72.119 % |
846.00/854.40 c 854 | 2142938 | 1427 9474 32114 | 11992 14664 23 | 72.119 % |
851.06/859.42 c 859 | 2172130 | 1427 9474 32114 | 13191 11427 25 | 72.119 % |
858.68/867.15 c 867 | 2215921 | 1427 9474 32114 | 14510 11685 25 | 72.119 % |
870.76/879.36 c 879 | 2281606 | 1427 9474 32114 | 15962 11366 22 | 72.119 % |
889.98/898.71 c 898 | 2380133 | 1427 9474 32114 | 17558 18084 26 | 72.119 % |
920.78/929.83 c 929 | 2527922 | 1427 9474 32114 | 19314 13788 23 | 72.119 % |
969.51/979.01 c 979 | 2749605 | 1427 9474 32114 | 21245 23381 24 | 72.119 % |
1042.61/1052.85 c 1052 | 3082130 | 1427 9474 32114 | 23369 18749 25 | 72.119 % |
1043.20/1053.49 c 1053 ===============================================================================
1043.20/1053.49 c 1053 restarts : 77
1043.20/1053.49 c 1053 conflicts : 3084612 (2965 /sec)
1043.20/1053.49 c 1053 decisions : 3426855 (0.69 % random) (3294 /sec)
1043.20/1053.49 c 1053 propagations : 884138122 (849755 /sec)
1043.20/1053.49 c 1053 conflict literals : 83331498 (27.31 % deleted)
1043.20/1053.49 c 1053 Memory used : 20.87 MB
1043.20/1053.49 c 1053 CPU time : 1040.46 s
1043.20/1053.49 c 1053
1043.20/1053.49 c 1053 SATISFIABLE
1043.20/1053.50 c 1053 OK
1043.20/1053.50 c 1053 FOUND: _COST <= 2
1043.20/1053.50 c 1053 DECODING HOME/temp.out WITH HOME/temp.map
1043.20/1053.50 c 1053 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1043.30/1053.58 c 1053 Decoding HOME/temp.out
1043.30/1053.67 c 1053 OBJECTIVE _COST 2
1043.30/1053.67 o 2
1043.30/1053.67 v 6 9 1 8 6 9 4 1 3 1 2 1 9 2 9 7 3 3 2 4 2 3 2 4 0
1043.30/1053.70 c 1053 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1043.49/1053.72 c 1053 OK
1043.49/1053.72 c 1053 OBJECTIVE BOUND: 0 <= _COST <= 2
1043.49/1053.72 c 1053 SEARCHING: _COST <= 1
1043.49/1053.72 c 1053 ============================[ Search Statistics ]==============================
1043.49/1053.72 c 1053 | Conflicts | ORIGINAL | LEARNT | Progress |
1043.49/1053.72 c 1053 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1043.49/1053.72 c 1053 ===============================================================================
1043.49/1053.72 c 1053 | 3084612 | 1124 7131 25993 | 2377 21230 25 | 72.119 % |
1043.49/1053.79 c 1053 | 3084712 | 1124 7131 25993 | 2614 5408 21 | 78.039 % |
1043.61/1053.81 c 1053 | 3084862 | 1124 7131 25993 | 2876 5558 21 | 78.039 % |
1043.61/1053.84 c 1053 | 3085090 | 1124 7131 25993 | 3163 5786 21 | 78.039 % |
1043.61/1053.88 c 1053 | 3085427 | 1124 7131 25993 | 3480 6123 21 | 78.039 % |
1043.70/1053.95 c 1053 | 3085935 | 1124 7131 25993 | 3828 6631 21 | 78.039 % |
1043.80/1054.05 c 1054 | 3086694 | 1124 7131 25993 | 4211 7390 21 | 78.039 % |
1044.00/1054.21 c 1054 | 3087833 | 1124 7131 25993 | 4632 8529 21 | 78.039 % |
1044.20/1054.43 c 1054 | 3089541 | 1124 7131 25993 | 5095 5744 20 | 78.039 % |
1044.50/1054.72 c 1054 | 3092104 | 1124 7131 25993 | 5604 8307 22 | 78.039 % |
1044.99/1055.22 c 1055 | 3095948 | 1124 7131 25993 | 6165 7166 24 | 78.039 % |
1045.78/1056.04 c 1056 | 3101714 | 1124 7131 25993 | 6781 7445 23 | 78.039 % |
1047.07/1057.31 c 1057 | 3110363 | 1124 7131 25993 | 7460 10515 22 | 78.039 % |
1048.95/1059.22 c 1059 | 3123338 | 1124 7131 25993 | 8206 11688 22 | 78.039 % |
1051.62/1061.98 c 1061 | 3142799 | 1124 7131 25993 | 9026 12227 23 | 78.039 % |
1055.98/1066.36 c 1066 | 3171991 | 1124 7131 25993 | 9929 7914 25 | 78.039 % |
1062.32/1072.78 c 1072 | 3215780 | 1124 7131 25993 | 10922 8024 47 | 78.039 % |
1072.72/1083.26 c 1083 | 3281464 | 1124 7131 25993 | 12014 12456 29 | 78.039 % |
1089.55/1100.26 c 1100 | 3379991 | 1124 7131 25993 | 13215 11542 30 | 78.039 % |
1115.11/1126.03 c 1126 | 3527780 | 1124 7131 25993 | 14537 9714 26 | 78.039 % |
1152.74/1164.00 c 1163 | 3749463 | 1124 7131 25993 | 15991 12057 22 | 78.039 % |
1201.18/1212.99 c 1212 ===============================================================================
1201.18/1212.99 c 1212 restarts : 98
1201.18/1212.99 c 1212 conflicts : 4020005 (3355 /sec)
1201.18/1212.99 c 1212 decisions : 4481503 (0.70 % random) (3740 /sec)
1201.18/1212.99 c 1212 propagations : 1093916477 (912959 /sec)
1201.18/1212.99 c 1212 conflict literals : 111052159 (26.06 % deleted)
1201.18/1212.99 c 1212 Memory used : 21.55 MB
1201.18/1212.99 c 1212 CPU time : 1198.21 s
1201.18/1212.99 c 1212
1201.18/1212.99 c 1212 UNSATISFIABLE
1201.18/1212.99 c 1212 OK
1201.18/1212.99 c 1212 NOT FOUND: _COST <= 1
1201.18/1212.99 c 1212 OK
1201.18/1212.99 c 1212 OBJECTIVE _COST 2
1201.18/1212.99 s OPTIMUM FOUND
1201.18/1212.99 c 1212 CPU 1200.87 (0.07 0.03 1200.8 0.39)
1201.18/1212.99 c 1212 END Mon Jul 14 22:39:07 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-1117811-1216066734/watcher-1117811-1216066734 -o /tmp/evaluation-result-1117811-1216066734/solver-1117811-1216066734 -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-1117811-1216066734.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.12 2.07 2.02 4/87 23673
/proc/meminfo: memFree=1791736/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=12268 CPUtime=0
/proc/23673/stat : 23673 (sugar++) R 23671 23673 23266 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 63371249 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 231962540645 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/23673/statm: 3067 316 241 3 0 167 0
[startup+0.0950501 s]
/proc/loadavg: 2.12 2.07 2.02 4/87 23673
/proc/meminfo: memFree=1791736/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16740 CPUtime=0.06
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 63371249 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101033 s]
/proc/loadavg: 2.12 2.07 2.02 4/87 23673
/proc/meminfo: memFree=1791736/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16740 CPUtime=0.06
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 63371249 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301039 s]
/proc/loadavg: 2.12 2.07 2.02 4/87 23673
/proc/meminfo: memFree=1791736/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16740 CPUtime=0.06
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 63371249 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701101 s]
/proc/loadavg: 2.12 2.07 2.02 4/87 23673
/proc/meminfo: memFree=1791736/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16740 CPUtime=0.61
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1279 4630 0 1 5 1 52 3 16 0 1 0 63371249 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 16740
[startup+1.50221 s]
/proc/loadavg: 2.12 2.07 2.02 4/98 23695
/proc/meminfo: memFree=1782688/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16740 CPUtime=0.62
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1297 4630 0 1 6 1 52 3 15 0 1 0 63371249 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4185 1104 409 3 0 764 0
[pid=23686] ppid=23673 vsize=5356 CPUtime=0
/proc/23686/stat : 23686 (sh) S 23673 23673 23266 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 63371316 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23686/statm: 1339 233 193 169 0 50 0
[pid=23687] ppid=23686 vsize=868388 CPUtime=0.8
/proc/23687/stat : 23687 (java) S 23686 23673 23266 0 -1 0 6617 0 1 0 77 3 0 0 18 0 9 0 63371316 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23687/statm: 217097 5859 2564 9 0 211644 0
[pid=23687/tid=23688] ppid=23686 vsize=868388 CPUtime=0.49
/proc/23687/task/23688/stat : 23688 (java) R 23686 23673 23266 0 -1 64 2709 0 1 0 48 1 0 0 18 0 9 0 63371317 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4126588424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23687/tid=23689] ppid=23686 vsize=868388 CPUtime=0.05
/proc/23687/task/23689/stat : 23689 (java) S 23686 23673 23266 0 -1 64 1745 0 0 0 5 0 0 0 16 0 9 0 63371318 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23687/tid=23690] ppid=23686 vsize=868388 CPUtime=0
/proc/23687/task/23690/stat : 23690 (java) S 23686 23673 23266 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 63371318 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23687/tid=23691] ppid=23686 vsize=868388 CPUtime=0
/proc/23687/task/23691/stat : 23691 (java) S 23686 23673 23266 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 63371318 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23687/tid=23692] ppid=23686 vsize=868388 CPUtime=0
/proc/23687/task/23692/stat : 23692 (java) S 23686 23673 23266 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 63371320 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23687/tid=23693] ppid=23686 vsize=868388 CPUtime=0.23
/proc/23687/task/23693/stat : 23693 (java) S 23686 23673 23266 0 -1 64 1471 0 0 0 23 0 0 0 16 0 9 0 63371320 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23687/tid=23694] ppid=23686 vsize=868388 CPUtime=0
/proc/23687/task/23694/stat : 23694 (java) S 23686 23673 23266 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 63371320 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23687/tid=23695] ppid=23686 vsize=868388 CPUtime=0
/proc/23687/task/23695/stat : 23695 (java) S 23686 23673 23266 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 63371321 889229312 5859 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 890484
[startup+3.10142 s]
/proc/loadavg: 2.12 2.07 2.02 2/99 23706
/proc/meminfo: memFree=1773976/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.24
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1695 22970 0 5 6 2 199 17 15 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=7688 CPUtime=0.67
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 1872 0 0 0 67 0 0 0 21 0 1 0 63371432 7872512 1815 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/23696/statm: 1922 1815 79 151 0 1768 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 24560
[startup+6.30185 s]
/proc/loadavg: 2.11 2.07 2.02 3/89 23726
/proc/meminfo: memFree=1778920/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.24
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1695 22970 0 5 6 2 199 17 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=8084 CPUtime=3.88
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 1980 0 0 0 387 1 0 0 25 0 1 0 63371432 8278016 1923 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/23696/statm: 2021 1923 79 151 0 1867 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 24956
[startup+12.7017 s]
/proc/loadavg: 2.10 2.07 2.02 3/89 23726
/proc/meminfo: memFree=1775592/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.24
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1695 22970 0 5 6 2 199 17 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=11512 CPUtime=10.28
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 2804 0 0 0 1026 2 0 0 25 0 1 0 63371432 11788288 2747 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/23696/statm: 2878 2747 79 151 0 2724 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 28384
[startup+25.5015 s]
/proc/loadavg: 2.08 2.06 2.02 3/89 23736
/proc/meminfo: memFree=1774440/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=12340 CPUtime=22.76
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 3009 0 0 0 2274 2 0 0 25 0 1 0 63371432 12636160 2950 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 3085 2950 79 151 0 2931 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 29212
[startup+51.1019 s]
/proc/loadavg: 2.05 2.06 2.02 3/89 23736
/proc/meminfo: memFree=1774440/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=12340 CPUtime=48.11
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 3018 0 0 0 4809 2 0 0 25 0 1 0 63371432 12636160 2959 996147200 134512640 135134323 4294956192 18446744073709551615 134529607 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 3085 2959 79 151 0 2931 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 29212
[startup+102.308 s]
/proc/loadavg: 2.02 2.05 2.01 3/89 23738
/proc/meminfo: memFree=1774312/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=12480 CPUtime=98.82
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 3060 0 0 0 9880 2 0 0 25 0 1 0 63371432 12779520 3001 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 3120 3001 79 151 0 2966 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 29352
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/89 23738
/proc/meminfo: memFree=1772968/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=13884 CPUtime=158.25
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 3375 0 0 0 15822 3 0 0 25 0 1 0 63371432 14217216 3316 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 3471 3316 79 151 0 3317 0
Current children cumulated CPU time (s) 160.65
Current children cumulated vsize (KiB) 30756
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/89 23738
/proc/meminfo: memFree=1772072/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=14768 CPUtime=217.67
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 3609 0 0 0 21764 3 0 0 25 0 1 0 63371432 15122432 3550 996147200 134512640 135134323 4294956192 18446744073709551615 134529140 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 3692 3550 79 151 0 3538 0
Current children cumulated CPU time (s) 220.07
Current children cumulated vsize (KiB) 31640
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 23738
/proc/meminfo: memFree=1770984/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=15964 CPUtime=277.11
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 3875 0 0 0 27707 4 0 0 25 0 1 0 63371432 16347136 3816 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 3991 3816 79 151 0 3837 0
Current children cumulated CPU time (s) 279.51
Current children cumulated vsize (KiB) 32836
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 23738
/proc/meminfo: memFree=1770664/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23738
/proc/meminfo: memFree=1766056/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.4
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1765 26749 0 6 6 2 212 20 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=20940 CPUtime=811.98
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5050 0 0 0 81191 7 0 0 25 0 1 0 63371432 21442560 4991 996147200 134512640 135134323 4294956192 18446744073709551615 134532177 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5235 4991 79 151 0 5081 0
Current children cumulated CPU time (s) 814.38
Current children cumulated vsize (KiB) 37812
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23758
/proc/meminfo: memFree=1765672/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.76
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1905 34305 0 8 6 3 242 25 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=21072 CPUtime=870.97
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5079 0 0 0 87090 7 0 0 25 0 1 0 63371432 21577728 5016 996147200 134512640 135134323 4294956192 18446744073709551615 134529030 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5268 5016 79 151 0 5114 0
Current children cumulated CPU time (s) 873.73
Current children cumulated vsize (KiB) 37944
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23758
/proc/meminfo: memFree=1765672/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.76
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1905 34305 0 8 6 3 242 25 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=21072 CPUtime=930.4
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5080 0 0 0 93033 7 0 0 25 0 1 0 63371432 21577728 5017 996147200 134512640 135134323 4294956192 18446744073709551615 134532294 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5268 5017 79 151 0 5114 0
Current children cumulated CPU time (s) 933.16
Current children cumulated vsize (KiB) 37944
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23758
/proc/meminfo: memFree=1765608/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.76
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1905 34305 0 8 6 3 242 25 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=21224 CPUtime=989.82
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5119 0 0 0 98975 7 0 0 25 0 1 0 63371432 21733376 5056 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5306 5056 79 151 0 5152 0
Current children cumulated CPU time (s) 992.58
Current children cumulated vsize (KiB) 38096
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1765096/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=21368 CPUtime=1049.04
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5157 0 0 0 104896 8 0 0 25 0 1 0 63371432 21880832 5092 996147200 134512640 135134323 4294956192 18446744073709551615 134529445 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5342 5092 79 151 0 5188 0
Current children cumulated CPU time (s) 1052.02
Current children cumulated vsize (KiB) 38240
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1765096/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=21652 CPUtime=1108.46
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5211 0 0 0 110838 8 0 0 25 0 1 0 63371432 22171648 5146 996147200 134512640 135134323 4294956192 18446744073709551615 134529634 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5413 5146 79 151 0 5259 0
Current children cumulated CPU time (s) 1111.44
Current children cumulated vsize (KiB) 38524
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1764840/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=21920 CPUtime=1167.9
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5275 0 0 0 116781 9 0 0 25 0 1 0 63371432 22446080 5210 996147200 134512640 135134323 4294956192 18446744073709551615 134528246 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5480 5210 79 151 0 5326 0
Current children cumulated CPU time (s) 1170.88
Current children cumulated vsize (KiB) 38792
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1764776/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=21920 CPUtime=1175.82
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5288 0 0 0 117573 9 0 0 25 0 1 0 63371432 22446080 5223 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5480 5223 79 151 0 5326 0
Current children cumulated CPU time (s) 1178.8
Current children cumulated vsize (KiB) 38792
[startup+1203.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 23768
/proc/meminfo: memFree=1764712/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=22064 CPUtime=1188.5
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5302 0 0 0 118841 9 0 0 25 0 1 0 63371432 22593536 5237 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5516 5237 79 151 0 5362 0
Current children cumulated CPU time (s) 1191.48
Current children cumulated vsize (KiB) 38936
[startup+1209.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1764520/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=22064 CPUtime=1194.84
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5313 0 0 0 119475 9 0 0 25 0 1 0 63371432 22593536 5248 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5516 5248 79 151 0 5362 0
Current children cumulated CPU time (s) 1197.82
Current children cumulated vsize (KiB) 38936
[startup+1211.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1764520/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=22064 CPUtime=1196.43
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5314 0 0 0 119634 9 0 0 25 0 1 0 63371432 22593536 5249 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5516 5249 79 151 0 5362 0
Current children cumulated CPU time (s) 1199.41
Current children cumulated vsize (KiB) 38936
[startup+1211.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1764520/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=22064 CPUtime=1197.22
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5314 0 0 0 119713 9 0 0 25 0 1 0 63371432 22593536 5249 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5516 5249 79 151 0 5362 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 38936
[startup+1212.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1764520/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=22064 CPUtime=1198
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5314 0 0 0 119791 9 0 0 25 0 1 0 63371432 22593536 5249 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5516 5249 79 151 0 5362 0
Current children cumulated CPU time (s) 1200.98
Current children cumulated vsize (KiB) 38936
[startup+1212.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23768
/proc/meminfo: memFree=1764520/2055920 swapFree=4176680/4192956
[pid=23673] ppid=23671 vsize=16872 CPUtime=2.98
/proc/23673/stat : 23673 (sugar++) S 23671 23673 23266 0 -1 4194304 1975 38083 0 9 7 3 259 29 16 0 1 0 63371249 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23673/statm: 4218 1121 414 3 0 797 0
[pid=23696] ppid=23673 vsize=22064 CPUtime=1198.2
/proc/23696/stat : 23696 (minisat-inc) R 23673 23673 23266 0 -1 4194304 5314 0 0 0 119811 9 0 0 25 0 1 0 63371432 22593536 5249 996147200 134512640 135134323 4294956192 18446744073709551615 134528305 0 0 4096 3 0 0 0 17 1 0 0
/proc/23696/statm: 5516 5249 79 151 0 5362 0
Current children cumulated CPU time (s) 1201.18
Current children cumulated vsize (KiB) 38936
Child status: 0
Real time (s): 1213
CPU time (s): 1201.3
CPU user time (s): 1200.87
CPU system time (s): 0.429934
CPU usage (%): 99.0359
Max. virtual memory (cumulated for all children) (KiB): 890484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.87
system time used= 0.429934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45454
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3271
involuntary context switches= 50898
runsolver used 1.12383 second user time and 4.41433 second system time
The end
Begin job on node71 at 2008-07-14 22:18:54
IDJOB=1117811
IDBENCH=62166
IDSOLVER=367
FILE ID=node71/1117811-1216066734
PBS_JOBID= 7905083
Free space on /tmp= 66516 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-15_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-1117811-1216066734/watcher-1117811-1216066734 -o /tmp/evaluation-result-1117811-1216066734/solver-1117811-1216066734 -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-1117811-1216066734.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 982091cdbafce5c95ca2a9b20cf35f47
RANDOM SEED=45655250
node71.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1792216 kB
Buffers: 53812 kB
Cached: 125328 kB
SwapCached: 5684 kB
Active: 144708 kB
Inactive: 55300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1792216 kB
SwapTotal: 4192956 kB
SwapFree: 4176680 kB
Dirty: 1020 kB
Writeback: 0 kB
Mapped: 36880 kB
Slab: 48080 kB
Committed_AS: 252288 kB
PageTables: 2520 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= 66516 MiB
End job on node71 at 2008-07-14 22:39:07