0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Sun Jul 13 03:56:46 2008
0.00/0.08 c 0 PID 20311
0.06/0.08 c 0 HOST node18.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-1115051-1215914206.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115051-1215914206.xml' 'HOME/temp.csp'
0.06/0.81 c 1 1 domains, 40 variables, 0 predicates, 752 relations, 752 constraints
0.06/0.82 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.82 c 1 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.77/0.90 c 1 Parsing HOME/temp.csp
0.94/1.10 c 1 parsed 1545 expressions
0.94/1.10 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.03/1.11 c 1 MAX CSP: 752 constraints
1.03/1.11 c 1 Converting to clausal form CSP
1.03/1.15 c 1 converted 230 (10%) expressions
1.03/1.15 c 1 converted 460 (20%) expressions
1.03/1.15 c 1 converted 690 (30%) expressions
1.03/1.17 c 1 converted 920 (40%) expressions
1.03/1.19 c 1 converted 1150 (50%) expressions
1.13/1.21 c 1 converted 1380 (60%) expressions
1.13/1.23 c 1 converted 1610 (70%) expressions
1.23/1.31 c 1 converted 1840 (80%) expressions
1.23/1.31 c 1 converted 2070 (90%) expressions
1.34/1.44 c 1 converted 2300 (100%) expressions
1.34/1.45 c 1 CSP : 1544 integers, 0 booleans, 2255 clauses, largest domain size 1129
1.34/1.45 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.34/1.45 c 1 Propagation in CSP
1.34/1.49 c 2 747 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.34/1.49 c 2 CSP : 1544 integers, 0 booleans, 2255 clauses, largest domain size 753
1.34/1.49 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.34/1.50 c 2 Simplifing CSP by introducing new Boolean variables
1.43/1.50 c 2 CSP : 1544 integers, 0 booleans, 2255 clauses, largest domain size 753
1.43/1.50 c 2 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.43/1.54 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.43/1.56 c 2 155 (10%) CSP integer variables are encoded (240 clauses, 2520 bytes)
1.43/1.56 c 2 309 (20%) CSP integer variables are encoded (240 clauses, 2520 bytes)
1.43/1.56 c 2 464 (30%) CSP integer variables are encoded (240 clauses, 2520 bytes)
1.43/1.56 c 2 618 (40%) CSP integer variables are encoded (240 clauses, 2520 bytes)
1.43/1.57 c 2 772 (50%) CSP integer variables are encoded (240 clauses, 2520 bytes)
1.43/1.58 c 2 927 (60%) CSP integer variables are encoded (6737 clauses, 86981 bytes)
1.43/1.58 c 2 1081 (70%) CSP integer variables are encoded (8430 clauses, 108990 bytes)
1.43/1.58 c 2 1236 (80%) CSP integer variables are encoded (10159 clauses, 134118 bytes)
1.43/1.58 c 2 1390 (90%) CSP integer variables are encoded (11256 clauses, 150573 bytes)
1.43/1.59 c 2 1544 (100%) CSP integer variables are encoded (12758 clauses, 173103 bytes)
1.52/1.64 c 2 226 (10%) CSP clauses are encoded (14021 clauses, 198333 bytes)
1.52/1.66 c 2 451 (20%) CSP clauses are encoded (15237 clauses, 223414 bytes)
1.52/1.68 c 2 677 (30%) CSP clauses are encoded (16474 clauses, 251367 bytes)
1.82/1.93 c 2 902 (40%) CSP clauses are encoded (97811 clauses, 1701374 bytes)
2.22/2.31 c 2 1128 (50%) CSP clauses are encoded (313823 clauses, 5671345 bytes)
2.22/2.34 c 2 1353 (60%) CSP clauses are encoded (324122 clauses, 5853735 bytes)
2.71/2.86 c 3 1579 (70%) CSP clauses are encoded (601974 clauses, 11516369 bytes)
2.71/2.88 c 3 1804 (80%) CSP clauses are encoded (613853 clauses, 11760766 bytes)
2.81/2.94 c 3 2030 (90%) CSP clauses are encoded (642525 clauses, 12364445 bytes)
3.01/3.14 c 3 2255 (100%) CSP clauses are encoded (748823 clauses, 14627670 bytes)
3.01/3.14 c 3 2255 CSP clauses encoded
3.01/3.14 c 3 Writing map file : HOME/temp.map
3.01/3.15 c 3 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.01/3.15 c 3 SAT : 14302 SAT variables, 748823 SAT clauses, 14627670 bytes
3.01/3.15 c 3 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.01/3.18 c 3 OBJECTIVE minimize _COST
3.01/3.18 c 3 SOLVING HOME/temp.cnf
3.01/3.18 c 3 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
3.01/3.18 c 3 This is MiniSat 2.0 beta incremental
3.01/3.18 c 3 WARNING: for repeatability, setting FPU to use double precision
3.01/3.18 c 3 ============================[ Problem Statistics ]=============================
3.01/3.18 c 3 | |
3.01/3.18 c 3 | Number of variables: 14302 |
3.01/3.18 c 3 | Number of clauses: 748823 |
3.39/3.54 c 4 | Parsing time: 0.30 s |
3.39/3.55 c 4 OK
3.39/3.55 c 4 OBJECTIVE BOUND: 0 <= _COST <=
3.39/3.55 c 4 SEARCHING: _COST <= 376
3.39/3.55 c 4 ============================[ Search Statistics ]==============================
3.39/3.55 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.39/3.55 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.39/3.55 c 4 ===============================================================================
3.39/3.55 c 4 | 0 | 14302 748823 2213943 | 249607 0 nan | 0.000 % |
3.49/3.61 c 4 ===============================================================================
3.49/3.61 c 4 restarts : 1
3.49/3.61 c 4 conflicts : 0 (0 /sec)
3.49/3.61 c 4 decisions : 28 (0.00 % random) (77 /sec)
3.49/3.61 c 4 propagations : 14302 (39190 /sec)
3.49/3.61 c 4 conflict literals : 0 ( nan % deleted)
3.49/3.61 c 4 Memory used : 33.54 MB
3.49/3.61 c 4 CPU time : 0.364944 s
3.49/3.61 c 4
3.49/3.61 c 4 SATISFIABLE
3.49/3.62 c 4 OK
3.49/3.62 c 4 FOUND: _COST <= 376
3.49/3.62 s SATISFIABLE
3.49/3.62 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.49/3.62 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.51/3.70 c 4 Decoding HOME/temp.out
3.51/3.83 c 4 OBJECTIVE _COST 376
3.51/3.83 o 376
3.51/3.83 v 6 1 7 4 7 5 1 4 6 4 6 7 5 7 7 7 1 0 3 3 5 6 6 3 4 1 7 5 6 7 7 7 7 7 7 6 7 7 7 7
3.51/3.83 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.51/3.88 c 4 OK
3.51/3.88 c 4 OBJECTIVE BOUND: 0 <= _COST <= 376
3.51/3.88 c 4 SEARCHING: _COST <= 188
3.51/3.89 c 4 ============================[ Search Statistics ]==============================
3.51/3.89 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.51/3.89 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.51/3.89 c 4 ===============================================================================
3.51/3.89 c 4 | 0 | 14302 748823 2213943 | 249607 0 nan | 0.000 % |
3.74/3.92 c 4 ===============================================================================
3.74/3.92 c 4 restarts : 2
3.74/3.92 c 4 conflicts : 48 (118 /sec)
3.74/3.92 c 4 decisions : 108 (0.00 % random) (265 /sec)
3.74/3.92 c 4 propagations : 31085 (76200 /sec)
3.74/3.92 c 4 conflict literals : 2415 (3.90 % deleted)
3.74/3.92 c 4 Memory used : 34.06 MB
3.74/3.92 c 4 CPU time : 0.407937 s
3.74/3.92 c 4
3.74/3.92 c 4 SATISFIABLE
3.74/3.93 c 4 OK
3.74/3.93 c 4 FOUND: _COST <= 188
3.74/3.93 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.74/3.93 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.78/4.01 c 4 Decoding HOME/temp.out
3.78/4.13 c 4 OBJECTIVE _COST 188
3.78/4.13 o 188
3.78/4.14 v 3 1 1 2 4 1 1 6 3 1 6 3 2 7 0 4 5 7 3 1 7 4 0 3 2 1 2 7 0 6 3 5 1 7 1 6 7 7 7 7
3.78/4.14 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.78/4.20 c 4 OK
3.78/4.20 c 4 OBJECTIVE BOUND: 0 <= _COST <= 188
3.78/4.20 c 4 SEARCHING: _COST <= 94
3.99/4.20 c 4 ============================[ Search Statistics ]==============================
3.99/4.21 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.99/4.21 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.99/4.21 c 4 ===============================================================================
3.99/4.21 c 4 | 48 | 10542 748823 2213943 | 249607 48 50 | 0.000 % |
3.99/4.27 c 4 | 148 | 10542 748823 2213943 | 274568 148 36 | 40.750 % |
3.99/4.29 c 4 ===============================================================================
3.99/4.29 c 4 restarts : 4
3.99/4.29 c 4 conflicts : 182 (360 /sec)
3.99/4.29 c 4 decisions : 433 (0.69 % random) (856 /sec)
3.99/4.29 c 4 propagations : 130195 (257342 /sec)
3.99/4.29 c 4 conflict literals : 6829 (19.03 % deleted)
3.99/4.29 c 4 Memory used : 34.45 MB
3.99/4.29 c 4 CPU time : 0.505923 s
3.99/4.29 c 4
3.99/4.29 c 4 SATISFIABLE
3.99/4.30 c 4 OK
3.99/4.30 c 4 FOUND: _COST <= 94
3.99/4.30 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.99/4.30 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
4.08/4.38 c 4 Decoding HOME/temp.out
4.08/4.50 c 5 OBJECTIVE _COST 94
4.08/4.51 o 94
4.08/4.51 v 7 7 7 6 7 3 3 7 4 7 1 4 2 7 5 7 5 7 5 7 7 7 4 7 6 7 4 6 6 7 2 7 6 0 6 7 6 1 7 7
4.08/4.51 c 5 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
4.08/4.57 c 5 OK
4.08/4.57 c 5 OBJECTIVE BOUND: 0 <= _COST <= 94
4.08/4.57 c 5 SEARCHING: _COST <= 47
4.08/4.57 c 5 ============================[ Search Statistics ]==============================
4.08/4.57 c 5 | Conflicts | ORIGINAL | LEARNT | Progress |
4.08/4.57 c 5 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.08/4.57 c 5 ===============================================================================
4.08/4.57 c 5 | 182 | 8474 748823 2213943 | 249607 182 38 | 40.750 % |
4.33/4.65 c 5 | 282 | 8474 748823 2213943 | 274568 282 35 | 49.952 % |
4.33/4.69 c 5 ===============================================================================
4.33/4.69 c 5 restarts : 6
4.33/4.69 c 5 conflicts : 430 (685 /sec)
4.33/4.69 c 5 decisions : 889 (0.79 % random) (1416 /sec)
4.33/4.69 c 5 propagations : 291440 (464147 /sec)
4.33/4.69 c 5 conflict literals : 16824 (17.00 % deleted)
4.33/4.69 c 5 Memory used : 34.45 MB
4.33/4.69 c 5 CPU time : 0.627904 s
4.33/4.69 c 5
4.33/4.69 c 5 SATISFIABLE
4.33/4.70 c 5 OK
4.33/4.70 c 5 FOUND: _COST <= 47
4.33/4.70 c 5 DECODING HOME/temp.out WITH HOME/temp.map
4.33/4.70 c 5 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
4.42/4.78 c 5 Decoding HOME/temp.out
4.42/4.91 c 5 OBJECTIVE _COST 47
4.42/4.91 o 47
4.42/4.91 v 7 7 3 2 7 3 4 7 2 7 6 0 7 7 7 4 7 4 7 7 7 7 7 3 5 7 7 7 1 7 4 4 3 4 7 7 6 3 7 6
4.42/4.91 c 5 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
4.42/4.97 c 5 OK
4.42/4.97 c 5 OBJECTIVE BOUND: 0 <= _COST <= 47
4.42/4.97 c 5 SEARCHING: _COST <= 23
4.42/4.97 c 5 ============================[ Search Statistics ]==============================
4.42/4.97 c 5 | Conflicts | ORIGINAL | LEARNT | Progress |
4.42/4.97 c 5 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.42/4.97 c 5 ===============================================================================
4.42/4.97 c 5 | 430 | 7158 748823 2213943 | 249607 430 39 | 49.952 % |
4.67/5.00 c 5 | 530 | 7158 748823 2213943 | 274568 530 37 | 56.853 % |
4.67/5.09 c 5 | 681 | 7158 748823 2213943 | 302025 681 35 | 56.853 % |
4.77/5.19 c 5 | 907 | 7158 748823 2213943 | 332227 907 34 | 56.853 % |
4.97/5.34 c 5 | 1245 | 7158 748823 2213943 | 365450 1245 32 | 56.853 % |
5.17/5.57 c 6 | 1751 | 7158 748823 2213943 | 401995 1751 31 | 56.853 % |
5.46/5.85 c 6 | 2510 | 7158 748823 2213943 | 442195 2510 31 | 56.853 % |
5.96/6.39 c 6 | 3650 | 7158 748823 2213943 | 486414 3650 31 | 56.853 % |
6.95/7.34 c 7 | 5358 | 6171 102933 299961 | 535056 5264 32 | 56.853 % |
7.74/8.11 c 8 | 7920 | 6171 102933 299961 | 588561 7826 33 | 56.853 % |
9.03/9.40 c 9 | 11764 | 6171 102933 299961 | 647418 11670 33 | 56.853 % |
10.12/10.59 c 11 ===============================================================================
10.12/10.59 c 11 restarts : 17
10.12/10.59 c 11 conflicts : 15298 (2464 /sec)
10.12/10.59 c 11 decisions : 18185 (0.51 % random) (2929 /sec)
10.12/10.59 c 11 propagations : 10441485 (1681925 /sec)
10.12/10.59 c 11 conflict literals : 534922 (27.99 % deleted)
10.12/10.59 c 11 Memory used : 34.96 MB
10.12/10.59 c 11 CPU time : 6.20806 s
10.12/10.59 c 11
10.12/10.59 c 11 SATISFIABLE
10.22/10.60 c 11 OK
10.22/10.60 c 11 FOUND: _COST <= 23
10.22/10.60 c 11 DECODING HOME/temp.out WITH HOME/temp.map
10.22/10.60 c 11 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
10.22/10.68 c 11 Decoding HOME/temp.out
10.22/10.80 c 11 OBJECTIVE _COST 23
10.22/10.80 o 23
10.22/10.81 v 5 6 5 0 4 7 7 7 4 7 7 5 7 3 0 7 7 4 7 6 7 6 6 7 5 6 7 0 2 7 3 1 3 2 5 7 7 1 7 6
10.22/10.81 c 11 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
10.22/10.88 c 11 OK
10.22/10.88 c 11 OBJECTIVE BOUND: 0 <= _COST <= 23
10.22/10.88 c 11 SEARCHING: _COST <= 11
10.22/10.88 c 11 ============================[ Search Statistics ]==============================
10.22/10.88 c 11 | Conflicts | ORIGINAL | LEARNT | Progress |
10.22/10.88 c 11 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.22/10.88 c 11 ===============================================================================
10.22/10.88 c 11 | 15298 | 5291 58105 168093 | 19368 15196 35 | 56.853 % |
10.46/10.93 c 11 | 15398 | 5291 58105 168093 | 21305 15296 35 | 63.006 % |
10.46/10.98 c 11 | 15548 | 5291 58105 168093 | 23435 15446 35 | 63.006 % |
10.56/11.04 c 11 | 15773 | 5291 58105 168093 | 25779 15671 35 | 63.006 % |
10.66/11.16 c 11 | 16111 | 5291 58105 168093 | 28357 16009 35 | 63.006 % |
10.86/11.31 c 11 | 16617 | 5291 58105 168093 | 31192 16515 34 | 63.006 % |
11.05/11.56 c 12 | 17376 | 5291 58105 168093 | 34312 17274 34 | 63.006 % |
11.45/11.92 c 12 | 18517 | 5291 58105 168093 | 37743 18415 34 | 63.006 % |
11.94/12.48 c 12 | 20225 | 5291 58105 168093 | 41517 20123 33 | 63.006 % |
12.83/13.38 c 13 | 22788 | 5291 58105 168093 | 45669 22686 33 | 63.006 % |
14.32/14.85 c 15 | 26632 | 5291 58105 168093 | 50236 26530 32 | 63.006 % |
16.50/17.03 c 17 | 32398 | 5291 58105 168093 | 55260 32296 32 | 63.006 % |
20.37/20.96 c 21 | 41047 | 5291 58105 168093 | 60786 40945 31 | 63.006 % |
28.20/28.83 c 29 | 54022 | 5291 58105 168093 | 66864 53920 31 | 63.006 % |
41.67/42.46 c 42 | 73484 | 5291 58105 168093 | 73551 73382 30 | 63.006 % |
59.40/60.39 c 60 | 102676 | 5291 58105 168093 | 80906 31410 29 | 63.006 % |
92.39/93.67 c 94 | 146466 | 5291 58105 168093 | 88996 75200 31 | 63.006 % |
112.50/113.91 c 114 ===============================================================================
112.50/113.91 c 114 restarts : 34
112.50/113.91 c 114 conflicts : 164559 (1520 /sec)
112.50/113.91 c 114 decisions : 182699 (0.57 % random) (1687 /sec)
112.50/113.91 c 114 propagations : 119040375 (1099360 /sec)
112.50/113.91 c 114 conflict literals : 5094969 (30.96 % deleted)
112.50/113.91 c 114 Memory used : 36.17 MB
112.50/113.91 c 114 CPU time : 108.282 s
112.50/113.91 c 114
112.50/113.91 c 114 SATISFIABLE
112.50/113.91 c 114 OK
112.50/113.91 c 114 FOUND: _COST <= 11
112.50/113.91 c 114 DECODING HOME/temp.out WITH HOME/temp.map
112.50/113.91 c 114 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
112.51/114.00 c 114 Decoding HOME/temp.out
112.51/114.24 c 114 OBJECTIVE _COST 11
112.51/114.24 o 11
112.51/114.24 v 7 7 7 7 7 4 4 2 1 7 7 4 4 3 5 3 3 0 7 7 4 3 7 1 2 7 1 7 4 7 1 5 6 1 7 2 3 1 4 3
112.51/114.25 c 114 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
112.87/114.34 c 114 OK
112.87/114.34 c 114 OBJECTIVE BOUND: 0 <= _COST <= 11
112.87/114.34 c 114 SEARCHING: _COST <= 5
112.87/114.34 c 114 ============================[ Search Statistics ]==============================
112.87/114.34 c 114 | Conflicts | ORIGINAL | LEARNT | Progress |
112.87/114.34 c 114 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
112.87/114.34 c 114 ===============================================================================
112.87/114.34 c 114 | 164559 | 4439 33687 97383 | 11229 93293 31 | 63.006 % |
113.55/115.06 c 115 | 164659 | 4439 33687 97383 | 12351 15184 29 | 68.963 % |
113.65/115.11 c 115 | 164809 | 4439 33687 97383 | 13587 15334 29 | 68.963 % |
113.65/115.18 c 115 | 165035 | 4439 33687 97383 | 14945 15560 29 | 68.963 % |
113.75/115.28 c 115 | 165372 | 4439 33687 97383 | 16440 15897 29 | 68.963 % |
113.95/115.44 c 115 | 165878 | 4439 33687 97383 | 18084 16403 28 | 68.963 % |
114.15/115.66 c 116 | 166637 | 4439 33687 97383 | 19892 17162 28 | 68.963 % |
114.45/115.97 c 116 | 167777 | 4439 33687 97383 | 21882 18302 28 | 68.963 % |
114.94/116.50 c 117 | 169485 | 4439 33687 97383 | 24070 20010 28 | 68.963 % |
115.73/117.24 c 117 | 172047 | 4439 33687 97383 | 26477 22572 28 | 68.963 % |
116.92/118.42 c 118 | 175892 | 4439 33687 97383 | 29125 26417 28 | 68.963 % |
119.00/120.55 c 121 | 181658 | 4439 33687 97383 | 32037 32183 29 | 68.963 % |
122.47/124.03 c 124 | 190307 | 4439 33687 97383 | 35241 40832 30 | 68.963 % |
128.41/130.04 c 130 | 203281 | 4439 33687 97383 | 38765 19347 27 | 68.963 % |
138.02/139.76 c 140 | 222742 | 4439 33687 97383 | 42642 38808 29 | 68.963 % |
153.38/155.23 c 155 | 251934 | 4439 33687 97383 | 46906 26835 32 | 68.963 % |
178.83/180.90 c 181 | 295723 | 4439 33687 97383 | 51596 26759 26 | 68.963 % |
214.20/216.63 c 217 | 361407 | 4439 33687 97383 | 56756 44884 28 | 68.963 % |
275.90/278.95 c 279 | 459933 | 4439 33687 97383 | 62432 37480 29 | 68.963 % |
373.43/379.16 c 379 | 607723 | 4439 33687 97383 | 68675 65772 29 | 68.963 % |
541.35/548.66 c 549 | 829406 | 4439 33687 97383 | 75543 30522 32 | 68.963 % |
786.24/795.84 c 796 | 1161931 | 4439 33687 97383 | 83097 75778 34 | 68.963 % |
967.92/979.26 c 979 ===============================================================================
967.92/979.26 c 979 restarts : 56
967.92/979.26 c 979 conflicts : 1405972 (1459 /sec)
967.92/979.26 c 979 decisions : 1556289 (0.56 % random) (1615 /sec)
967.92/979.26 c 979 propagations : 855015585 (887530 /sec)
967.92/979.26 c 979 conflict literals : 45209911 (29.95 % deleted)
967.92/979.26 c 979 Memory used : 42.60 MB
967.92/979.26 c 979 CPU time : 963.366 s
967.92/979.26 c 979
967.92/979.26 c 979 SATISFIABLE
967.92/979.27 c 979 OK
967.92/979.27 c 979 FOUND: _COST <= 5
967.92/979.27 c 979 DECODING HOME/temp.out WITH HOME/temp.map
967.92/979.27 c 979 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
967.99/979.36 c 979 Decoding HOME/temp.out
967.99/979.60 c 980 OBJECTIVE _COST 5
967.99/979.60 o 5
967.99/979.60 v 7 6 0 0 5 4 4 2 7 6 7 0 4 1 3 3 2 0 6 7 3 3 3 5 6 4 0 3 2 7 3 5 6 2 3 2 3 1 4 7
967.99/979.64 c 980 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
968.35/979.73 c 980 OK
968.35/979.73 c 980 OBJECTIVE BOUND: 0 <= _COST <= 5
968.35/979.73 c 980 SEARCHING: _COST <= 2
968.35/979.73 c 980 ============================[ Search Statistics ]==============================
968.35/979.73 c 980 | Conflicts | ORIGINAL | LEARNT | Progress |
968.35/979.73 c 980 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
968.35/979.73 c 980 ===============================================================================
968.35/979.73 c 980 | 1405972 | 3547 19930 58782 | 6643 81144 34 | 68.963 % |
968.85/980.21 c 980 | 1406072 | 3547 19930 58782 | 7307 16729 30 | 75.200 % |
968.85/980.29 c 980 | 1406222 | 3547 19930 58782 | 8038 16879 30 | 75.200 % |
968.95/980.38 c 980 | 1406448 | 3547 19930 58782 | 8842 17105 30 | 75.200 % |
969.15/980.50 c 981 | 1406788 | 3547 19930 58782 | 9726 17445 30 | 75.200 % |
969.35/980.70 c 981 | 1407294 | 3547 19930 58782 | 10699 17951 30 | 75.200 % |
969.55/980.91 c 981 | 1408053 | 3547 19930 58782 | 11769 18710 30 | 75.200 % |
969.85/981.29 c 981 | 1409192 | 3547 19930 58782 | 12945 19849 30 | 75.200 % |
970.44/981.89 c 982 | 1410902 | 3547 19930 58782 | 14240 21559 29 | 75.200 % |
971.33/982.75 c 983 | 1413464 | 3547 19930 58782 | 15664 24121 30 | 75.200 % |
972.92/984.35 c 984 | 1417308 | 3547 19930 58782 | 17231 12635 25 | 75.200 % |
974.80/986.25 c 986 | 1423076 | 3547 19930 58782 | 18954 18403 26 | 75.200 % |
978.07/989.57 c 990 | 1431726 | 3547 19930 58782 | 20849 27053 26 | 75.200 % |
982.72/994.28 c 994 | 1444701 | 3547 19930 58782 | 22934 20020 29 | 75.200 % |
989.86/1001.43 c 1001 | 1464163 | 3547 19930 58782 | 25228 17530 28 | 75.200 % |
1001.54/1013.27 c 1013 | 1493356 | 3547 19930 58782 | 27750 22703 28 | 75.200 % |
1018.38/1030.25 c 1030 | 1537145 | 3547 19930 58782 | 30525 37832 44 | 75.200 % |
1048.10/1060.29 c 1060 | 1602829 | 3547 19930 58782 | 33578 17375 26 | 75.200 % |
1091.60/1104.13 c 1104 | 1701355 | 3547 19930 58782 | 36936 21074 27 | 75.200 % |
1163.68/1176.87 c 1177 | 1849145 | 3547 19930 58782 | 40630 28329 31 | 75.200 % |
1270.03/1283.29 c 1283 | 2070831 | 3547 19930 58782 | 44693 20410 28 | 75.200 % |
1440.36/1453.63 c 1454 | 2403359 | 3547 19930 58782 | 49162 53592 30 | 75.200 % |
1723.03/1767.17 c 1767 | 2902149 | 3547 19930 58782 | 54078 46792 29 | 75.200 % |
2184.10/2271.68 c 2272 | 3650333 | 3547 19930 58782 | 59486 38813 36 | 75.200 % |
2875.77/2969.45 c 2969 | 4772608 | 3547 19930 58782 | 65435 44523 29 | 75.200 % |
3600.05/3700.11 c ERROR INTERRUPTED
3600.05/3700.12 c 3700 CPU 3599.28 (0.07 0.03 3599.21 0.77)
3600.05/3700.12 c 3700 END Sun Jul 13 04:58:26 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-1115051-1215914206/watcher-1115051-1215914206 -o /tmp/evaluation-result-1115051-1215914206/solver-1115051-1215914206 -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-1115051-1215914206.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.48 2.58 2.60 4/81 20311
/proc/meminfo: memFree=1886880/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=12268 CPUtime=0
/proc/20311/stat : 20311 (sugar++) R 20309 20311 19735 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 48122911 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 227857710078 0 0 4224 0 0 0 0 17 1 0 0
/proc/20311/statm: 3067 316 241 3 0 167 0
[startup+0.0811229 s]
/proc/loadavg: 2.48 2.58 2.60 4/81 20311
/proc/meminfo: memFree=1886880/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16740 CPUtime=0.06
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 48122911 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101922 s]
/proc/loadavg: 2.48 2.58 2.60 4/81 20311
/proc/meminfo: memFree=1886880/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16740 CPUtime=0.06
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 48122911 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301797 s]
/proc/loadavg: 2.48 2.58 2.60 4/81 20311
/proc/meminfo: memFree=1886880/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16740 CPUtime=0.06
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 48122911 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.70184 s]
/proc/loadavg: 2.48 2.58 2.60 4/81 20311
/proc/meminfo: memFree=1886880/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16740 CPUtime=0.06
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 48122911 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.50292 s]
/proc/loadavg: 2.44 2.57 2.59 3/92 20333
/proc/meminfo: memFree=1878152/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16740 CPUtime=0.78
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1297 4847 0 1 6 1 68 3 15 0 1 0 48122911 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4185 1104 409 3 0 764 0
[pid=20324] ppid=20311 vsize=5356 CPUtime=0
/proc/20324/stat : 20324 (sh) S 20311 20311 19735 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48122993 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20324/statm: 1339 233 193 169 0 50 0
[pid=20325] ppid=20324 vsize=868392 CPUtime=0.65
/proc/20325/stat : 20325 (java) S 20324 20311 19735 0 -1 0 5727 0 1 0 61 4 0 0 18 0 9 0 48122993 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20325/statm: 217098 5154 1733 9 0 211673 0
[pid=20325/tid=20326] ppid=20324 vsize=868392 CPUtime=0.36
/proc/20325/task/20326/stat : 20326 (java) R 20324 20311 19735 0 -1 64 2650 0 1 0 35 1 0 0 22 0 9 0 48122994 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20327] ppid=20324 vsize=868392 CPUtime=0.04
/proc/20325/task/20327/stat : 20327 (java) S 20324 20311 19735 0 -1 64 917 0 0 0 4 0 0 0 16 0 9 0 48122995 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20328] ppid=20324 vsize=868392 CPUtime=0
/proc/20325/task/20328/stat : 20328 (java) S 20324 20311 19735 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 48122996 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20329] ppid=20324 vsize=868392 CPUtime=0
/proc/20325/task/20329/stat : 20329 (java) S 20324 20311 19735 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 48122996 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20330] ppid=20324 vsize=868392 CPUtime=0
/proc/20325/task/20330/stat : 20330 (java) S 20324 20311 19735 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 48122998 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20331] ppid=20324 vsize=868392 CPUtime=0.23
/proc/20325/task/20331/stat : 20331 (java) R 20324 20311 19735 0 -1 64 1468 0 0 0 22 1 0 0 16 0 9 0 48122998 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 101568185 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20332] ppid=20324 vsize=868392 CPUtime=0
/proc/20325/task/20332/stat : 20332 (java) S 20324 20311 19735 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 48122998 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20333] ppid=20324 vsize=868392 CPUtime=0
/proc/20325/task/20333/stat : 20333 (java) S 20324 20311 19735 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48122998 889233408 5154 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 890488
[startup+3.10107 s]
/proc/loadavg: 2.44 2.57 2.59 3/92 20333
/proc/meminfo: memFree=1865224/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16740 CPUtime=0.78
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1297 4847 0 1 6 1 68 3 15 0 1 0 48122911 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4185 1104 409 3 0 764 0
[pid=20324] ppid=20311 vsize=5356 CPUtime=0
/proc/20324/stat : 20324 (sh) S 20311 20311 19735 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48122993 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20324/statm: 1339 233 193 169 0 50 0
[pid=20325] ppid=20324 vsize=868504 CPUtime=2.23
/proc/20325/stat : 20325 (java) S 20324 20311 19735 0 -1 0 7405 0 1 0 207 16 0 0 18 0 9 0 48122993 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20325/statm: 217126 6220 2564 9 0 211673 0
[pid=20325/tid=20326] ppid=20324 vsize=868504 CPUtime=1.74
/proc/20325/task/20326/stat : 20326 (java) R 20324 20311 19735 0 -1 64 3140 0 1 0 163 11 0 0 25 0 9 0 48122994 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4126589948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20327] ppid=20324 vsize=868504 CPUtime=0.17
/proc/20325/task/20327/stat : 20327 (java) S 20324 20311 19735 0 -1 64 2066 0 0 0 14 3 0 0 16 0 9 0 48122995 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20328] ppid=20324 vsize=868504 CPUtime=0
/proc/20325/task/20328/stat : 20328 (java) S 20324 20311 19735 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48122996 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20329] ppid=20324 vsize=868504 CPUtime=0
/proc/20325/task/20329/stat : 20329 (java) S 20324 20311 19735 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 48122996 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20330] ppid=20324 vsize=868504 CPUtime=0
/proc/20325/task/20330/stat : 20330 (java) S 20324 20311 19735 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 48122998 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20331] ppid=20324 vsize=868504 CPUtime=0.29
/proc/20325/task/20331/stat : 20331 (java) S 20324 20311 19735 0 -1 64 1506 0 0 0 28 1 0 0 16 0 9 0 48122998 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20332] ppid=20324 vsize=868504 CPUtime=0
/proc/20325/task/20332/stat : 20332 (java) S 20324 20311 19735 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 48122998 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20325/tid=20333] ppid=20324 vsize=868504 CPUtime=0
/proc/20325/task/20333/stat : 20333 (java) S 20324 20311 19735 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48122998 889348096 6220 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 890600
[startup+6.30138 s]
/proc/loadavg: 2.44 2.57 2.59 3/83 20374
/proc/meminfo: memFree=1835408/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=3.95
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1779 28086 0 6 7 2 355 31 15 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=35664 CPUtime=2.01
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 8546 0 0 0 195 6 0 0 25 0 1 0 48123229 36519936 8486 996147200 134512640 135134323 4294956192 18446744073709551615 134532360 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 8916 8486 79 151 0 8762 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 52536
[startup+12.702 s]
/proc/loadavg: 2.37 2.55 2.59 3/83 20384
/proc/meminfo: memFree=1835024/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.16
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1849 31966 0 7 7 2 373 34 15 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=35796 CPUtime=8.08
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 8575 0 0 0 802 6 0 0 25 0 1 0 48123229 36655104 8513 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 8949 8513 79 151 0 8795 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 52668
[startup+25.5012 s]
/proc/loadavg: 2.31 2.53 2.58 3/83 20384
/proc/meminfo: memFree=1835152/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.16
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1849 31966 0 7 7 2 373 34 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=36040 CPUtime=20.77
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 8628 0 0 0 2070 7 0 0 25 0 1 0 48123229 36904960 8566 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 9010 8566 79 151 0 8856 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 52912
[startup+51.1017 s]
/proc/loadavg: 2.21 2.49 2.56 3/83 20384
/proc/meminfo: memFree=1835024/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.16
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1849 31966 0 7 7 2 373 34 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=36308 CPUtime=46.12
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 8671 0 0 0 4605 7 0 0 25 0 1 0 48123229 37179392 8609 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 9077 8609 79 151 0 8923 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 53180
[startup+102.307 s]
/proc/loadavg: 2.08 2.40 2.53 3/83 20384
/proc/meminfo: memFree=1834768/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.16
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1849 31966 0 7 7 2 373 34 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=36624 CPUtime=96.85
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 8754 0 0 0 9678 7 0 0 25 0 1 0 48123229 37502976 8692 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 9156 8692 79 151 0 9002 0
Current children cumulated CPU time (s) 101.01
Current children cumulated vsize (KiB) 53496
[startup+162.301 s]
/proc/loadavg: 2.03 2.33 2.49 3/83 20394
/proc/meminfo: memFree=1834128/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.51
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1919 35850 0 8 7 2 405 37 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=37172 CPUtime=155.9
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 8846 0 0 0 15583 7 0 0 25 0 1 0 48123229 38064128 8782 996147200 134512640 135134323 4294956192 18446744073709551615 134523974 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 9293 8782 79 151 0 9139 0
Current children cumulated CPU time (s) 160.41
Current children cumulated vsize (KiB) 54044
[startup+222.301 s]
/proc/loadavg: 2.01 2.26 2.46 3/83 20394
/proc/meminfo: memFree=1833744/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.51
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1919 35850 0 8 7 2 405 37 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=37736 CPUtime=215.34
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 8978 0 0 0 21526 8 0 0 25 0 1 0 48123229 38641664 8914 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 9434 8914 79 151 0 9280 0
Current children cumulated CPU time (s) 219.85
################
# More data... #
################
[pid=20334] ppid=20311 vsize=50972 CPUtime=2883.69
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 11968 0 0 0 288336 33 0 0 25 0 1 0 48123229 52195328 11902 996147200 134512640 135134323 4294956192 18446744073709551615 134532213 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 12743 11902 79 151 0 12589 0
Current children cumulated CPU time (s) 2888.56
Current children cumulated vsize (KiB) 67844
[startup+3042.3 s]
/proc/loadavg: 2.56 2.65 2.68 4/82 23535
/proc/meminfo: memFree=1695584/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=51152 CPUtime=2943.16
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12046 0 0 0 294283 33 0 0 25 0 1 0 48123229 52379648 11980 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 12788 11980 79 151 0 12634 0
Current children cumulated CPU time (s) 2948.03
Current children cumulated vsize (KiB) 68024
[startup+3102.3 s]
/proc/loadavg: 2.62 2.65 2.68 4/82 23535
/proc/meminfo: memFree=1695392/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=51320 CPUtime=3002.63
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12077 0 0 0 300230 33 0 0 25 0 1 0 48123229 52551680 12011 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 12830 12011 79 151 0 12676 0
Current children cumulated CPU time (s) 3007.5
Current children cumulated vsize (KiB) 68192
[startup+3162.3 s]
/proc/loadavg: 2.49 2.60 2.66 4/82 23535
/proc/meminfo: memFree=1695200/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=51452 CPUtime=3062.11
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12113 0 0 0 306178 33 0 0 25 0 1 0 48123229 52686848 12047 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 12863 12047 79 151 0 12709 0
Current children cumulated CPU time (s) 3066.98
Current children cumulated vsize (KiB) 68324
[startup+3222.3 s]
/proc/loadavg: 2.60 2.62 2.66 3/82 23535
/proc/meminfo: memFree=1694880/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=51908 CPUtime=3121.59
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12186 0 0 0 312125 34 0 0 25 0 1 0 48123229 53153792 12120 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 12977 12120 79 151 0 12823 0
Current children cumulated CPU time (s) 3126.46
Current children cumulated vsize (KiB) 68780
[startup+3282.3 s]
/proc/loadavg: 2.69 2.63 2.66 3/82 23535
/proc/meminfo: memFree=1694880/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=51908 CPUtime=3181.06
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12186 0 0 0 318072 34 0 0 25 0 1 0 48123229 53153792 12120 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 12977 12120 79 151 0 12823 0
Current children cumulated CPU time (s) 3185.93
Current children cumulated vsize (KiB) 68780
[startup+3342.3 s]
/proc/loadavg: 2.79 2.67 2.66 3/82 23535
/proc/meminfo: memFree=1694688/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52064 CPUtime=3240.52
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12225 0 0 0 324018 34 0 0 25 0 1 0 48123229 53313536 12159 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13016 12159 79 151 0 12862 0
Current children cumulated CPU time (s) 3245.39
Current children cumulated vsize (KiB) 68936
[startup+3402.31 s]
/proc/loadavg: 2.79 2.68 2.67 4/82 23535
/proc/meminfo: memFree=1694560/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52064 CPUtime=3300.01
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12252 0 0 0 329966 35 0 0 25 0 1 0 48123229 53313536 12186 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13016 12186 79 151 0 12862 0
Current children cumulated CPU time (s) 3304.88
Current children cumulated vsize (KiB) 68936
[startup+3462.3 s]
/proc/loadavg: 2.58 2.63 2.65 4/82 23535
/proc/meminfo: memFree=1694368/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52252 CPUtime=3359.47
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12269 0 0 0 335912 35 0 0 25 0 1 0 48123229 53506048 12203 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13063 12203 79 151 0 12909 0
Current children cumulated CPU time (s) 3364.34
Current children cumulated vsize (KiB) 69124
[startup+3522.3 s]
/proc/loadavg: 2.60 2.62 2.64 3/82 23535
/proc/meminfo: memFree=1694240/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52252 CPUtime=3418.95
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12296 0 0 0 341860 35 0 0 25 0 1 0 48123229 53506048 12230 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13063 12230 79 151 0 12909 0
Current children cumulated CPU time (s) 3423.82
Current children cumulated vsize (KiB) 69124
[startup+3582.3 s]
/proc/loadavg: 2.57 2.60 2.63 3/82 23535
/proc/meminfo: memFree=1693792/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52608 CPUtime=3478.43
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12381 0 0 0 347807 36 0 0 25 0 1 0 48123229 53870592 12315 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13152 12315 79 151 0 12998 0
Current children cumulated CPU time (s) 3483.3
Current children cumulated vsize (KiB) 69480
[startup+3642.3 s]
/proc/loadavg: 2.67 2.61 2.63 3/82 23535
/proc/meminfo: memFree=1693728/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52820 CPUtime=3537.9
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12400 0 0 0 353754 36 0 0 25 0 1 0 48123229 54087680 12334 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13205 12334 79 151 0 13051 0
Current children cumulated CPU time (s) 3542.77
Current children cumulated vsize (KiB) 69692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3700.1 s]
/proc/loadavg: 2.58 2.60 2.63 3/82 23535
/proc/meminfo: memFree=1693664/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52820 CPUtime=3595.18
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12416 0 0 0 359482 36 0 0 25 0 1 0 48123229 54087680 12350 996147200 134512640 135134323 4294956192 18446744073709551615 134532062 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13205 12350 79 151 0 13051 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 69692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3700.1 s]
/proc/loadavg: 2.58 2.60 2.63 3/82 23535
/proc/meminfo: memFree=1693664/2055920 swapFree=4181220/4192956
[pid=20311] ppid=20309 vsize=16872 CPUtime=4.87
/proc/20311/stat : 20311 (sugar++) S 20309 20311 19735 0 -1 4194304 1989 39741 0 9 7 3 438 39 16 0 1 0 48122911 17276928 1134 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20311/statm: 4218 1134 414 3 0 797 0
[pid=20334] ppid=20311 vsize=52820 CPUtime=3595.18
/proc/20334/stat : 20334 (minisat-inc) R 20311 20311 19735 0 -1 4194304 12416 0 0 0 359482 36 0 0 25 0 1 0 48123229 54087680 12350 996147200 134512640 135134323 4294956192 18446744073709551615 134532062 0 0 4096 3 0 0 0 17 1 0 0
/proc/20334/statm: 13205 12350 79 151 0 13051 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 69692
Child status: 0
Real time (s): 3700.13
CPU time (s): 3600.11
CPU user time (s): 3599.3
CPU system time (s): 0.811876
CPU usage (%): 97.2969
Max. virtual memory (cumulated for all children) (KiB): 890600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.3
system time used= 0.811876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54225
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= 7324
involuntary context switches= 146770
runsolver used 4.65729 second user time and 11.1453 second system time
The end
Begin job on node18 at 2008-07-13 03:56:46
IDJOB=1115051
IDBENCH=61810
IDSOLVER=367
FILE ID=node18/1115051-1215914206
PBS_JOBID= 7903729
Free space on /tmp= 66556 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.1/normalized-rand-2-40-8-753-100-78_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-1115051-1215914206/watcher-1115051-1215914206 -o /tmp/evaluation-result-1115051-1215914206/solver-1115051-1215914206 -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-1115051-1215914206.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8c1f6ccac803ecd715fe8379bb39abf1
RANDOM SEED=252332192
node18.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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1887360 kB
Buffers: 26212 kB
Cached: 61504 kB
SwapCached: 5852 kB
Active: 86420 kB
Inactive: 36116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1887360 kB
SwapTotal: 4192956 kB
SwapFree: 4181220 kB
Dirty: 1124 kB
Writeback: 0 kB
Mapped: 50472 kB
Slab: 31040 kB
Committed_AS: 287676 kB
PageTables: 1988 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= 66556 MiB
End job on node18 at 2008-07-13 04:58:28