Trace number 1112967

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incMSAT (TO)196 3600.23 3613.3

General information on the benchmark

Namecsp/fapp/fapp01/
normalized-fapp01-0200-2.xml
MD5SUM8958f22ef51eff112eba2674fcf8e386
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2053
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2053
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sat Jul 12 17:24:07 2008
0.00/0.08	c 0	PID 17826
0.00/0.08	c 0	HOST node26.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-1112967-1215876247.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-1112967-1215876247.xml' 'HOME/temp.csp'
0.06/0.74	c 1	9 domains, 200 variables, 8 predicates, 0 relations, 2053 constraints
0.06/0.76	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.76	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.71/0.84	c 1	Parsing HOME/temp.csp
0.93/1.05	c 1	parsed 2270 expressions
0.93/1.05	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.93/1.08	c 1	MAX CSP: 2053 constraints
0.93/1.08	c 1	Converting to clausal form CSP
1.33/1.41	c 2	converted 433 (10%) expressions
1.73/1.80	c 2	converted 866 (20%) expressions
1.92/2.08	c 2	converted 1298 (30%) expressions
2.12/2.29	c 2	converted 1731 (40%) expressions
2.42/2.52	c 3	converted 2163 (50%) expressions
2.61/2.79	c 3	converted 2596 (60%) expressions
2.81/2.94	c 3	converted 3029 (70%) expressions
3.01/3.11	c 3	converted 3461 (80%) expressions
3.11/3.27	c 3	converted 3894 (90%) expressions
3.60/3.76	c 4	converted 4326 (100%) expressions
3.60/3.76	c 4	CSP : 4503 integers, 7896 booleans, 18652 clauses, largest domain size 3080
3.60/3.76	c 4	Heap : 23 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.60/3.76	c 4	Propagation in CSP
3.90/4.03	c 4	2050 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.90/4.04	c 4	CSP : 4503 integers, 7896 booleans, 18652 clauses, largest domain size 2657
3.90/4.04	c 4	Heap : 23 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.90/4.05	c 4	Simplifing CSP by introducing new Boolean variables
3.90/4.08	c 4	CSP : 4503 integers, 12096 booleans, 22852 clauses, largest domain size 2657
3.90/4.08	c 4	Heap : 25 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.09/4.24	c 4	Encoding CSP to SAT : HOME/temp.cnf
4.79/4.92	c 5	451 (10%) CSP integer variables are encoded (136455 clauses, 2098456 bytes)
4.98/5.10	c 5	901 (20%) CSP integer variables are encoded (270113 clauses, 4370642 bytes)
4.98/5.16	c 5	1351 (30%) CSP integer variables are encoded (310402 clauses, 5055555 bytes)
4.98/5.18	c 5	1802 (40%) CSP integer variables are encoded (323704 clauses, 5281689 bytes)
4.98/5.18	c 5	2252 (50%) CSP integer variables are encoded (329014 clauses, 5371959 bytes)
4.98/5.19	c 5	2702 (60%) CSP integer variables are encoded (332376 clauses, 5429113 bytes)
4.98/5.20	c 5	3153 (70%) CSP integer variables are encoded (336187 clauses, 5493900 bytes)
5.10/5.20	c 5	3603 (80%) CSP integer variables are encoded (340902 clauses, 5574055 bytes)
5.10/5.23	c 5	4053 (90%) CSP integer variables are encoded (364193 clauses, 5970002 bytes)
5.10/5.24	c 5	4503 (100%) CSP integer variables are encoded (370088 clauses, 6070217 bytes)
9.35/9.56	c 10	2286 (10%) CSP clauses are encoded (1157095 clauses, 22040722 bytes)
12.71/12.95	c 13	4571 (20%) CSP clauses are encoded (1834973 clauses, 36919132 bytes)
14.10/14.32	c 14	6856 (30%) CSP clauses are encoded (2174778 clauses, 44584451 bytes)
15.37/15.66	c 16	9141 (40%) CSP clauses are encoded (2567512 clauses, 53908667 bytes)
16.56/16.88	c 17	11426 (50%) CSP clauses are encoded (2975974 clauses, 63668455 bytes)
17.85/18.12	c 18	13712 (60%) CSP clauses are encoded (3419515 clauses, 74541366 bytes)
18.83/19.19	c 19	15997 (70%) CSP clauses are encoded (3792288 clauses, 83704054 bytes)
19.91/20.23	c 20	18282 (80%) CSP clauses are encoded (4160929 clauses, 92717806 bytes)
20.80/21.15	c 21	20567 (90%) CSP clauses are encoded (4591332 clauses, 103138688 bytes)
30.81/31.24	c 31	22852 (100%) CSP clauses are encoded (9579859 clauses, 224838813 bytes)
30.81/31.24	c 31	22852 CSP clauses encoded
30.81/31.25	c 31	Writing map file : HOME/temp.map
30.91/31.30	c 31	Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
30.91/31.30	c 31	SAT : 386687 SAT variables, 9579859 SAT clauses, 224838813 bytes
30.91/31.30	c 31	Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
30.91/31.37	c 31	OBJECTIVE minimize _COST
30.91/31.38	c 31	SOLVING HOME/temp.cnf
30.91/31.38	c 31	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
30.91/31.38	c 31	This is MiniSat 2.0 beta incremental
30.91/31.38	c 31	WARNING: for repeatability, setting FPU to use double precision
30.91/31.38	c 31	============================[ Problem Statistics ]=============================
30.91/31.38	c 31	|                                                                             |
30.91/31.38	c 31	|  Number of variables:  386687                                               |
30.91/31.38	c 31	|  Number of clauses:    9579859                                              |
35.80/36.36	c 36	|  Parsing time:         4.24         s                                       |
36.00/36.57	c 37	OK
36.00/36.57	c 37	OBJECTIVE BOUND: 0 <= _COST <= 
36.00/36.57	c 37	SEARCHING: _COST <= 1027
36.00/36.57	c 37	============================[ Search Statistics ]==============================
36.00/36.57	c 37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.00/36.57	c 37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
36.00/36.57	c 37	===============================================================================
36.00/36.57	c 37	|         0 |  386687  9579859 27743109 |  3193286        0    nan |  0.000 % |
52.64/53.33	c 53	|       100 |  386687  9579859 27743109 |  3512614      100      5 |  0.000 % |
77.90/78.89	c 79	|       250 |  386687  9579859 27743109 |  3863876      250      5 |  0.000 % |
90.28/91.31	c 91	|       475 |  386687  9579859 27743109 |  4250264      475      5 |  0.000 % |
94.64/95.74	c 96	|       812 |  386687  9579859 27743109 |  4675290      812      5 |  0.000 % |
99.09/100.23	c 100	===============================================================================
99.09/100.25	c 100	restarts              : 5
99.09/100.25	c 100	conflicts             : 1099          (16 /sec)
99.09/100.25	c 100	decisions             : 1426537       (0.48 % random) (21143 /sec)
99.09/100.25	c 100	propagations          : 32431650       (480684 /sec)
99.09/100.25	c 100	conflict literals     : 5216           (2.58 % deleted)
99.09/100.25	c 100	Memory used           : 431.01 MB
99.09/100.25	c 100	CPU time              : 67.4697 s
99.09/100.25	c 100	
99.09/100.25	c 100	SATISFIABLE
99.19/100.38	c 100	OK
99.19/100.38	c 100	FOUND: _COST <= 1027
99.19/100.38	s SATISFIABLE
99.19/100.38	c 100	DECODING HOME/temp.out WITH HOME/temp.map
99.19/100.38	c 100	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
99.28/100.47	c 101	Decoding HOME/temp.out
100.26/101.42	c 102	OBJECTIVE _COST 1027
100.26/101.42	o 1027
100.26/101.43	v 2640 2464 2656 2476 2588 2656 2572 2492 2532 2656 2368 2640 2548 2596 2452 2580 2616 2552 2644 2656 2600 2512 2656 2620 2616 2548 2616 2648 2620 2656 2640 2612 2628 2464 2552 2544 2628 2656 2424 2616 2656 2604 2472 2492 2428 2380 2528 2656 2492 2616 2492 2656 2412 2656 2388 2548 2616 2532 2484 2384 2652 2472 2424 2508 2508 2468 2492 2656 2616 2464 2656 2616 2588 2492 2616 2608 2616 2640 2600 2656 2424 2656 2656 2656 2656 2656 2608 2576 2656 2600 2656 2580 2452 2492 2656 2616 2508 2552 2616 2656 2600 2648 2576 2512 2532 2500 2656 2568 2564 2656 2524 2616 2460 2588 2628 2512 2616 2604 2616 2616 2656 2468 2540 2372 2476 2656 2532 2464 2608 2532 2640 2644 2532 2464 2516 2532 2600 2456 2596 2648 2656 2616 2552 2656 2500 2620 2656 2656 2524 2648 2656 2656 2616 2464 2544 2656 2636 2656 2512 2656 2532 2584 2568 2656 2564 2600 2532 2460 2580 2464 2540 2616 -2280 2456 2656 2384 2492 2424 2424 2452 2608 2484 2656 2412 2656 2608 2540 2656 2516 2616 2552 2500 2656 2604 2340 2656 2464 2448 2616 2552
100.26/101.43	c 102	Heap : 2 MB used (max 52 MB), NonHeap : 14 MB used (max 121 MB)
106.57/107.81	c 108	OK
106.57/107.81	c 108	OBJECTIVE BOUND: 0 <= _COST <= 1027
106.57/107.81	c 108	SEARCHING: _COST <= 513
106.57/107.81	c 108	============================[ Search Statistics ]==============================
106.57/107.81	c 108	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
106.57/107.81	c 108	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
106.57/107.81	c 108	===============================================================================
106.57/107.81	c 108	|      1099 |  374375  7614642 21883368 |  2538214     1099      5 |  0.000 % |
107.66/108.97	c 109	|      1199 |  374375  7614642 21883368 |  2792035     1199      8 |  3.184 % |
109.05/110.39	c 110	|      1350 |  374375  7614642 21883368 |  3071238     1350      8 |  3.184 % |
112.22/113.52	c 114	|      1575 |  374374  7614642 21883368 |  3378362     1574      8 |  3.765 % |
116.38/117.72	c 118	|      1912 |  372130  7614642 21883368 |  3716199     1911      8 |  3.765 % |
121.53/122.93	c 123	|      2418 |  372130  7614642 21883368 |  4087819     2417      7 |  3.765 % |
127.57/129.05	c 129	|      3178 |  372130  7597074 21837403 |  4496600     3177     28 |  3.765 % |
136.28/137.84	c 138	|      4317 |  372129  7597074 21837403 |  4946261     4315     42 |  4.348 % |
142.72/144.31	c 144	===============================================================================
142.72/144.33	c 144	restarts              : 13
142.72/144.33	c 144	conflicts             : 4878          (44 /sec)
142.72/144.33	c 144	decisions             : 2225418       (0.39 % random) (20229 /sec)
142.72/144.33	c 144	propagations          : 98320556       (893724 /sec)
142.72/144.33	c 144	conflict literals     : 185288         (9.48 % deleted)
142.72/144.33	c 144	Memory used           : 431.01 MB
142.72/144.33	c 144	CPU time              : 110.012 s
142.72/144.33	c 144	
142.72/144.33	c 144	SATISFIABLE
142.82/144.46	c 145	OK
142.82/144.46	c 145	FOUND: _COST <= 513
142.82/144.46	c 145	DECODING HOME/temp.out WITH HOME/temp.map
142.82/144.46	c 145	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
142.88/144.54	c 145	Decoding HOME/temp.out
143.59/145.25	c 145	OBJECTIVE _COST 513
143.59/145.25	o 513
143.59/145.26	v -2600 2424 2348 2656 -2332 2648 2552 2440 2456 2292 2656 2640 2500 2536 2480 2656 2588 2448 2360 2656 2612 2424 2656 2612 2328 2556 2656 2576 2376 2520 2600 2324 2656 2432 -2552 2488 2584 2652 2464 2512 2424 -2424 2532 2496 2464 2384 2472 2608 2512 2616 -2496 -2648 2348 2584 2432 2472 2344 2472 2564 2420 2308 2656 2464 2516 2528 2532 2520 2556 2616 2356 2628 2456 2624 2508 2656 2648 2644 2640 2600 2340 2656 -2472 2656 2584 2616 2656 2656 2288 2552 2640 2616 2500 2568 2528 2616 2656 2492 -2512 2612 2472 2656 2568 2656 2552 2572 -2512 2656 -2568 2544 2408 2488 2300 2424 2488 2328 2552 2500 2656 2528 2284 2460 2552 2644 2324 2280 2320 2456 2424 2340 2496 2584 2616 2536 -2340 2656 2480 2640 2584 2600 2632 2280 2356 2460 2656 2480 2460 2344 2656 2604 -2656 2568 2656 -2612 2464 2608 2292 2640 2368 2440 2652 2536 2568 2432 2580 2496 2600 2468 2440 2280 2424 2328 2312 -2656 2392 2604 2408 2564 2396 2412 2388 2592 2616 2388 2284 2500 2616 2552 2552 2656 2384 2528 2368 2652 2656 2424 2572 2464 2656 2656 2520
143.59/145.26	c 145	Heap : 2 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
143.66/145.32	c 145	OK
143.66/145.32	c 145	OBJECTIVE BOUND: 0 <= _COST <= 513
143.66/145.32	c 145	SEARCHING: _COST <= 256
143.66/145.32	c 145	============================[ Search Statistics ]==============================
143.66/145.32	c 145	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
143.66/145.32	c 145	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
143.66/145.32	c 145	===============================================================================
143.66/145.32	c 145	|      4878 |  369873  7577000 21783957 |  2525666     4876     38 |  4.348 % |
144.45/146.14	c 146	|      4978 |  369873  7577000 21783957 |  2778233     4976     37 |  6.076 % |
145.44/147.11	c 147	|      5128 |  369873  7577000 21783957 |  3056056     5126     37 |  6.076 % |
147.02/148.79	c 149	|      5354 |  369873  7577000 21783957 |  3361662     5352     38 |  6.076 % |
149.40/151.18	c 151	|      5691 |  369873  7577000 21783957 |  3697828     5689     36 |  6.076 % |
154.35/156.12	c 156	|      6199 |  363190  6370383 18183641 |  4067611     6196     38 |  6.076 % |
158.41/160.26	c 160	|      6958 |  363190  6370383 18183641 |  4474372     6955     39 |  6.076 % |
166.93/168.81	c 169	|      8097 |  360939  6348149 18123680 |  4921809     8089     36 |  9.002 % |
179.21/181.22	c 181	|      9805 |  351879  6252176 17862988 |  5413990     9797     44 |  9.002 % |
195.93/198.28	c 198	|     12367 |  349649  6223638 17784070 |  5955389    12357     52 | 10.163 % |
218.69/221.20	c 221	|     16212 |  347388  6201252 17721439 |  6550928    16201     67 | 10.747 % |
260.90/263.82	c 264	|     21978 |  338433  6097522 17432612 |  7206021    21964     66 | 12.479 % |
312.41/315.89	c 316	|     30628 |  333936  6048886 17300202 |  7926623    30611     71 | 14.230 % |
377.00/381.01	c 381	|     43603 |  331658  6028606 17246198 |  8719286    43584     79 | 14.812 % |
503.80/509.05	c 509	|     63064 |  329408  6013183 17206688 |  9591214    63044    105 | 15.395 % |
683.01/689.96	c 690	|     92256 |  327152  5988743 17140134 | 10550336    92232    116 | 17.713 % |
977.20/986.80	c 987	|    136045 |  318192  5894616 16884669 | 11605370   136020    117 | 18.296 % |
1369.05/1378.85	c 1379	|    201729 |  311515  5807291 16642747 | 12765907   201699    120 | 20.616 % |
1967.14/1979.41	c 1980	|    300256 |  297974  5662937 16245805 | 14042497   300219    127 | 23.524 % |
1973.48/1985.84	c 1986	===============================================================================
1973.48/1985.86	c 1986	restarts              : 32
1973.48/1985.86	c 1986	conflicts             : 301152        (155 /sec)
1973.48/1985.86	c 1986	decisions             : 3127668       (0.47 % random) (1612 /sec)
1973.48/1985.86	c 1986	propagations          : 3763902942     (1940400 /sec)
1973.48/1985.86	c 1986	conflict literals     : 38066996       (13.22 % deleted)
1973.48/1985.86	c 1986	Memory used           : 504.47 MB
1973.48/1985.86	c 1986	CPU time              : 1939.76 s
1973.48/1985.86	c 1986	
1973.48/1985.86	c 1986	SATISFIABLE
1973.58/1986.00	c 1986	OK
1973.58/1986.00	c 1986	FOUND: _COST <= 256
1973.58/1986.00	c 1986	DECODING HOME/temp.out WITH HOME/temp.map
1973.58/1986.00	c 1986	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1973.68/1986.08	c 1986	Decoding HOME/temp.out
1974.35/1986.76	c 1987	OBJECTIVE _COST 256
1974.35/1986.77	o 256
1974.35/1986.77	v 2588 -2424 2656 2584 2300 -2352 2572 2480 2420 -2284 2352 2568 2552 2580 2440 2456 2508 2496 2292 -2616 -2628 2476 2364 2440 2656 2572 2656 2568 2308 -2620 -2628 2656 2316 2424 -2516 2456 2632 -2588 -2440 2560 -2408 -2332 2492 2532 2400 2368 2440 -2580 2520 2652 2552 2544 2424 2428 2488 -2340 2324 2524 2432 2444 2616 2356 -2464 -2544 -2532 2464 2424 2332 2656 2340 2468 2456 -2636 -2420 2284 2604 2616 2640 2640 2328 -2404 -2472 2280 2388 -2656 2292 2656 2552 2520 2640 2380 2556 2448 2488 2324 -2524 2424 -2552 2280 -2656 -2368 -2644 -2484 -2500 2572 2500 -2312 2656 2356 -2280 2540 -2288 -2412 2356 2320 -2512 -2412 2536 2292 2580 2452 2472 2516 2656 2656 -2280 2488 2424 -2376 2528 2600 2632 2532 2336 -2284 2464 2628 -2316 2580 2608 2320 2656 2512 -2324 2500 -2312 -2332 2624 2472 2416 2620 2288 2280 2464 2656 2496 -2620 -2280 2532 2656 2424 2616 -2424 2284 -2496 2640 -2532 2512 2656 -2444 2296 2504 -2340 2464 2656 2348 2532 2336 2464 2464 2648 2396 -2364 2616 2584 2608 2452 2656 2544 2372 -2500 2656 2656 2592 2364 2528 2372 2284 2324 2512
1974.35/1986.78	c 1987	Heap : 2 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1974.45/1986.95	c 1987	OK
1974.45/1986.95	c 1987	OBJECTIVE BOUND: 0 <= _COST <= 256
1974.45/1986.95	c 1987	SEARCHING: _COST <= 128
1974.45/1986.95	c 1987	============================[ Search Statistics ]==============================
1974.45/1986.95	c 1987	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1974.45/1986.95	c 1987	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1974.45/1986.96	c 1987	===============================================================================
1974.45/1986.96	c 1987	|    301152 |  295722  5638522 16179326 |  1879507   301115    126 | 23.524 % |
1975.30/1987.89	c 1988	|    301252 |  295722  5638522 16179326 |  2067458   301215    126 | 24.589 % |
1976.20/1988.79	c 1989	|    301402 |  295722  5638522 16179326 |  2274203   301364    126 | 25.170 % |
1978.40/1990.93	c 1991	|    301627 |  295721  5638522 16179326 |  2501624   301589    126 | 25.170 % |
1980.30/1992.86	c 1993	|    301965 |  295720  5638522 16179326 |  2751786   301926    126 | 25.754 % |
1984.20/1996.80	c 1997	|    302471 |  295719  5638522 16179326 |  3026965   302431    126 | 26.340 % |
1989.70/2002.26	c 2002	|    303231 |  295718  5638522 16179326 |  3329661   303190    126 | 26.342 % |
1996.80/2009.36	c 2009	|    304371 |  295717  5638522 16179326 |  3662628   304329    126 | 26.347 % |
2011.09/2023.61	c 2024	|    306080 |  284805  4591343 13065753 |  4028890   305856    125 | 26.935 % |
2029.88/2042.48	c 2043	|    308642 |  284805  4591343 13065753 |  4431779   308417    125 | 26.951 % |
2052.38/2064.96	c 2065	|    312486 |  282470  4563702 12987569 |  4874957   312259    125 | 27.500 % |
2087.06/2099.67	c 2100	|    318252 |  278098  4502309 12812316 |  5362453   318022    124 | 28.672 % |
2140.94/2153.52	c 2154	|    326902 |  275814  4486649 12772194 |  5898699   326671    123 | 29.255 % |
2237.19/2249.80	c 2250	|    339876 |  271260  4430958 12618784 |  6488569   339641    121 | 30.425 % |
2353.14/2365.88	c 2366	|    359337 |  266810  4387206 12500887 |  7137425   359099    117 | 31.585 % |
2547.38/2560.17	c 2560	|    388529 |  264551  4367149 12447501 |  7851168   388290    114 | 31.590 % |
2790.89/2803.73	c 2804	|    432318 |  264530  4366969 12447021 |  8636285   432078    112 | 32.179 % |
3219.44/3232.49	c 3233	|    498002 |  257767  4293805 12245538 |  9499913   497757    110 | 33.902 % |
3600.00/3613.11	c ERROR INTERRUPTED
3600.12/3613.28	c 3613	CPU 3597.06 (0.08 0.03 3596.98 3.01)
3600.12/3613.28	c 3613	END Sat Jul 12 18:24:20 2008

Verifier Data (download as text)

OK	196	1857
196 unsatisfied constraints, 1857 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112967-1215876247/watcher-1112967-1215876247 -o /tmp/evaluation-result-1112967-1215876247/solver-1112967-1215876247 -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-1112967-1215876247.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.08 2.02 2.01 4/81 17826
/proc/meminfo: memFree=1898640/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=12268 CPUtime=0
/proc/17826/stat : 17826 (sugar++) R 17824 17826 17344 0 -1 4194304 348 0 0 0 0 0 0 0 23 0 1 0 44326637 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 269037386750 0 0 4224 0 0 0 0 17 1 0 0
/proc/17826/statm: 3067 316 241 3 0 167 0

[startup+0.0862439 s]
/proc/loadavg: 2.08 2.02 2.01 4/81 17826
/proc/meminfo: memFree=1898640/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.06
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101831 s]
/proc/loadavg: 2.08 2.02 2.01 4/81 17826
/proc/meminfo: memFree=1898640/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.06
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301843 s]
/proc/loadavg: 2.08 2.02 2.01 4/81 17826
/proc/meminfo: memFree=1898640/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.06
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701878 s]
/proc/loadavg: 2.08 2.02 2.01 4/81 17826
/proc/meminfo: memFree=1898640/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.06
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50294 s]
/proc/loadavg: 2.08 2.02 2.01 3/92 17848
/proc/meminfo: memFree=1889336/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.71
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1296 5151 0 1 5 1 61 4 15 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
[pid=17839] ppid=17826 vsize=5356 CPUtime=0
/proc/17839/stat : 17839 (sh) S 17826 17826 17344 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44326714 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17839/statm: 1339 233 193 169 0 50 0
[pid=17840] ppid=17839 vsize=868384 CPUtime=0.72
/proc/17840/stat : 17840 (java) S 17839 17826 17344 0 -1 0 5643 0 1 0 68 4 0 0 19 0 9 0 44326714 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17840/statm: 217096 5052 1732 9 0 211671 0
[pid=17840/tid=17841] ppid=17839 vsize=868384 CPUtime=0.46
/proc/17840/task/17841/stat : 17841 (java) R 17839 17826 17344 0 -1 64 2660 0 1 0 44 2 0 0 23 0 9 0 44326715 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4126469303 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17842] ppid=17839 vsize=868384 CPUtime=0.05
/proc/17840/task/17842/stat : 17842 (java) S 17839 17826 17344 0 -1 64 840 0 0 0 5 0 0 0 16 0 9 0 44326716 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17843] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17843/stat : 17843 (java) S 17839 17826 17344 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 44326716 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17844] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17844/stat : 17844 (java) S 17839 17826 17344 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44326716 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17845] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17845/stat : 17845 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44326718 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17846] ppid=17839 vsize=868384 CPUtime=0.19
/proc/17840/task/17846/stat : 17846 (java) S 17839 17826 17344 0 -1 64 1451 0 0 0 18 1 0 0 16 0 9 0 44326718 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17847] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17847/stat : 17847 (java) S 17839 17826 17344 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44326718 889225216 5052 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17848] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17848/stat : 17848 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44326718 889225216 5052 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) 890480

[startup+3.10207 s]
/proc/loadavg: 2.07 2.02 2.01 4/92 17848
/proc/meminfo: memFree=1876664/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.71
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1296 5151 0 1 5 1 61 4 15 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
[pid=17839] ppid=17826 vsize=5356 CPUtime=0
/proc/17839/stat : 17839 (sh) S 17826 17826 17344 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44326714 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17839/statm: 1339 233 193 169 0 50 0
[pid=17840] ppid=17839 vsize=868384 CPUtime=2.3
/proc/17840/stat : 17840 (java) S 17839 17826 17344 0 -1 0 10334 0 1 0 223 7 0 0 19 0 9 0 44326714 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17840/statm: 217096 9466 2540 9 0 211671 0
[pid=17840/tid=17841] ppid=17839 vsize=868384 CPUtime=1.63
/proc/17840/task/17841/stat : 17841 (java) R 17839 17826 17344 0 -1 64 2879 0 1 0 161 2 0 0 25 0 9 0 44326715 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4126456447 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17842] ppid=17839 vsize=868384 CPUtime=0.44
/proc/17840/task/17842/stat : 17842 (java) S 17839 17826 17344 0 -1 64 5293 0 0 0 41 3 0 0 16 0 9 0 44326716 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17843] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17843/stat : 17843 (java) S 17839 17826 17344 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44326716 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17844] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17844/stat : 17844 (java) S 17839 17826 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44326716 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17845] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17845/stat : 17845 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44326718 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17846] ppid=17839 vsize=868384 CPUtime=0.21
/proc/17840/task/17846/stat : 17846 (java) S 17839 17826 17344 0 -1 64 1468 0 0 0 20 1 0 0 15 0 9 0 44326718 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17847] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17847/stat : 17847 (java) S 17839 17826 17344 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44326718 889225216 9466 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17848] ppid=17839 vsize=868384 CPUtime=0
/proc/17840/task/17848/stat : 17848 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44326718 889225216 9466 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) 890480

[startup+6.30132 s]
/proc/loadavg: 2.07 2.02 2.01 3/92 17848
/proc/meminfo: memFree=1851960/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.72
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1297 5151 0 1 6 1 61 4 15 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
[pid=17839] ppid=17826 vsize=5356 CPUtime=0
/proc/17839/stat : 17839 (sh) S 17826 17826 17344 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44326714 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17839/statm: 1339 233 193 169 0 50 0
[pid=17840] ppid=17839 vsize=868496 CPUtime=5.46
/proc/17840/stat : 17840 (java) S 17839 17826 17344 0 -1 0 12739 0 1 0 531 15 0 0 19 0 9 0 44326714 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17840/statm: 217124 11620 2566 9 0 211671 0
[pid=17840/tid=17841] ppid=17839 vsize=868496 CPUtime=4.24
/proc/17840/task/17841/stat : 17841 (java) R 17839 17826 17344 0 -1 64 3214 0 1 0 416 8 0 0 25 0 9 0 44326715 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4126456815 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17842] ppid=17839 vsize=868496 CPUtime=0.88
/proc/17840/task/17842/stat : 17842 (java) S 17839 17826 17344 0 -1 64 7302 0 0 0 84 4 0 0 16 0 9 0 44326716 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17843] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17843/stat : 17843 (java) S 17839 17826 17344 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44326716 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17844] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17844/stat : 17844 (java) S 17839 17826 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44326716 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17845] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17845/stat : 17845 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44326718 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17846] ppid=17839 vsize=868496 CPUtime=0.31
/proc/17840/task/17846/stat : 17846 (java) S 17839 17826 17344 0 -1 64 1529 0 0 0 30 1 0 0 16 0 9 0 44326718 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17847] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17847/stat : 17847 (java) S 17839 17826 17344 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44326718 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17848] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17848/stat : 17848 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44326718 889339904 11620 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 890592

[startup+12.7018 s]
/proc/loadavg: 2.13 2.04 2.02 3/92 17848
/proc/meminfo: memFree=1825912/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.72
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1297 5151 0 1 6 1 61 4 16 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
[pid=17839] ppid=17826 vsize=5356 CPUtime=0
/proc/17839/stat : 17839 (sh) S 17826 17826 17344 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44326714 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17839/statm: 1339 233 193 169 0 50 0
[pid=17840] ppid=17839 vsize=868496 CPUtime=11.79
/proc/17840/stat : 17840 (java) S 17839 17826 17344 0 -1 0 13017 0 1 0 1144 35 0 0 19 0 9 0 44326714 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17840/statm: 217124 11623 2566 9 0 211671 0
[pid=17840/tid=17841] ppid=17839 vsize=868496 CPUtime=10.43
/proc/17840/task/17841/stat : 17841 (java) R 17839 17826 17344 0 -1 64 3489 0 1 0 1017 26 0 0 25 0 9 0 44326715 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17842] ppid=17839 vsize=868496 CPUtime=1.01
/proc/17840/task/17842/stat : 17842 (java) S 17839 17826 17344 0 -1 64 7302 0 0 0 95 6 0 0 16 0 9 0 44326716 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17843] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17843/stat : 17843 (java) S 17839 17826 17344 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44326716 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17844] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17844/stat : 17844 (java) S 17839 17826 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44326716 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17845] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17845/stat : 17845 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44326718 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17846] ppid=17839 vsize=868496 CPUtime=0.32
/proc/17840/task/17846/stat : 17846 (java) S 17839 17826 17344 0 -1 64 1532 0 0 0 31 1 0 0 16 0 9 0 44326718 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17847] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17847/stat : 17847 (java) S 17839 17826 17344 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44326718 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17848] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17848/stat : 17848 (java) S 17839 17826 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44326718 889339904 11623 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 890592

[startup+25.5028 s]
/proc/loadavg: 2.11 2.04 2.02 3/92 17848
/proc/meminfo: memFree=1713528/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=16740 CPUtime=0.72
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1297 5151 0 1 6 1 61 4 16 0 1 0 44326637 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17826/statm: 4185 1104 409 3 0 764 0
[pid=17839] ppid=17826 vsize=5356 CPUtime=0
/proc/17839/stat : 17839 (sh) S 17826 17826 17344 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44326714 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17839/statm: 1339 233 193 169 0 50 0
[pid=17840] ppid=17839 vsize=868496 CPUtime=24.42
/proc/17840/stat : 17840 (java) S 17839 17826 17344 0 -1 0 14056 0 1 0 2335 107 0 0 19 0 9 0 44326714 889339904 11626 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17840/statm: 217124 11626 2566 9 0 211671 0
[pid=17840/tid=17841] ppid=17839 vsize=868496 CPUtime=22.64
/proc/17840/task/17841/stat : 17841 (java) R 17839 17826 17344 0 -1 64 4526 0 1 0 2172 92 0 0 25 0 9 0 44326715 889339904 11626 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17840/tid=17842] ppid=17839 vsize=868496 CPUtime=1.44
/proc/17840/task/17842/stat : 17842 (java) S 17839 17826 17344 0 -1 64 7302 0 0 0 131 13 0 0 16 0 9 0 44326716 889339904 11626 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17840/tid=17843] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17843/stat : 17843 (java) S 17839 17826 17344 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44326716 889339904 11626 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17840/tid=17844] ppid=17839 vsize=868496 CPUtime=0
/proc/17840/task/17844/stat : 17844 (java) S 17839 17826 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44326716 889339904 11626 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

################
# More data... #
################

[startup+2982.3 s]
/proc/loadavg: 2.69 2.72 2.49 3/82 17958
/proc/meminfo: memFree=1028688/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=545528 CPUtime=2935.87
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 132529 0 0 0 293476 111 0 0 25 0 1 0 44329775 558620672 132472 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 136382 132472 80 151 0 136228 0
Current children cumulated CPU time (s) 2969.43
Current children cumulated vsize (KiB) 562532

[startup+3042.3 s]
/proc/loadavg: 2.51 2.66 2.48 3/82 17958
/proc/meminfo: memFree=1024592/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=550532 CPUtime=2995.85
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 133560 0 0 0 299473 112 0 0 25 0 1 0 44329775 563744768 133503 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 137633 133503 80 151 0 137479 0
Current children cumulated CPU time (s) 3029.41
Current children cumulated vsize (KiB) 567536

[startup+3102.3 s]
/proc/loadavg: 2.83 2.72 2.51 3/82 17958
/proc/meminfo: memFree=1020112/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=555024 CPUtime=3055.83
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 134669 0 0 0 305470 113 0 0 25 0 1 0 44329775 568344576 134612 996147200 134512640 135134323 4294956192 18446744073709551615 134528258 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 138756 134612 80 151 0 138602 0
Current children cumulated CPU time (s) 3089.39
Current children cumulated vsize (KiB) 572028

[startup+3162.3 s]
/proc/loadavg: 2.72 2.71 2.51 3/82 17958
/proc/meminfo: memFree=1017296/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=557804 CPUtime=3115.81
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 135382 0 0 0 311467 114 0 0 25 0 1 0 44329775 571191296 135325 996147200 134512640 135134323 4294956192 18446744073709551615 134531934 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 139451 135325 80 151 0 139297 0
Current children cumulated CPU time (s) 3149.37
Current children cumulated vsize (KiB) 574808

[startup+3222.3 s]
/proc/loadavg: 2.75 2.71 2.53 3/82 17958
/proc/meminfo: memFree=1013968/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=561104 CPUtime=3175.78
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 136212 0 0 0 317463 115 0 0 25 0 1 0 44329775 574570496 136155 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 140276 136155 80 151 0 140122 0
Current children cumulated CPU time (s) 3209.34
Current children cumulated vsize (KiB) 578108

[startup+3282.3 s]
/proc/loadavg: 2.71 2.72 2.54 3/82 17960
/proc/meminfo: memFree=1010960/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=564008 CPUtime=3235.77
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 136954 0 0 0 323461 116 0 0 25 0 1 0 44329775 577544192 136897 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 141002 136897 80 151 0 140848 0
Current children cumulated CPU time (s) 3269.33
Current children cumulated vsize (KiB) 581012

[startup+3342.3 s]
/proc/loadavg: 2.48 2.66 2.53 3/82 17960
/proc/meminfo: memFree=1006608/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=568244 CPUtime=3295.74
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 138028 0 0 0 329457 117 0 0 25 0 1 0 44329775 581881856 137971 996147200 134512640 135134323 4294956192 18446744073709551615 134523972 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 142061 137971 80 151 0 141907 0
Current children cumulated CPU time (s) 3329.3
Current children cumulated vsize (KiB) 585248

[startup+3402.31 s]
/proc/loadavg: 2.67 2.67 2.55 3/82 17960
/proc/meminfo: memFree=1005648/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=569168 CPUtime=3355.72
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 138244 0 0 0 335455 117 0 0 25 0 1 0 44329775 582828032 138187 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 142292 138187 80 151 0 142138 0
Current children cumulated CPU time (s) 3389.28
Current children cumulated vsize (KiB) 586172

[startup+3462.3 s]
/proc/loadavg: 2.64 2.66 2.55 3/82 17960
/proc/meminfo: memFree=1002384/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=572228 CPUtime=3415.69
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 139027 0 0 0 341451 118 0 0 25 0 1 0 44329775 585961472 138970 996147200 134512640 135134323 4294956192 18446744073709551615 134531977 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 143057 138970 80 151 0 142903 0
Current children cumulated CPU time (s) 3449.25
Current children cumulated vsize (KiB) 589232

[startup+3522.3 s]
/proc/loadavg: 2.66 2.65 2.55 3/82 17960
/proc/meminfo: memFree=998160/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=576332 CPUtime=3475.67
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 140061 0 0 0 347447 120 0 0 25 0 1 0 44329775 590163968 140004 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 144083 140004 80 151 0 143929 0
Current children cumulated CPU time (s) 3509.23
Current children cumulated vsize (KiB) 593336

[startup+3582.3 s]
/proc/loadavg: 2.71 2.68 2.56 3/82 17960
/proc/meminfo: memFree=993936/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=580596 CPUtime=3535.66
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 141118 0 0 0 353444 122 0 0 25 0 1 0 44329775 594530304 141061 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 145149 141061 80 151 0 144995 0
Current children cumulated CPU time (s) 3569.22
Current children cumulated vsize (KiB) 597600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.1 s]
/proc/loadavg: 2.65 2.66 2.56 3/82 17960
/proc/meminfo: memFree=991504/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=33.56
/proc/17826/stat : 17826 (sugar++) S 17824 17826 17344 0 -1 4194304 1763 33952 0 5 8 3 3175 170 16 0 1 0 44326637 17412096 1180 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17826/statm: 4251 1180 414 3 0 830 0
[pid=17849] ppid=17826 vsize=582868 CPUtime=3566.44
/proc/17849/stat : 17849 (minisat-inc) R 17826 17826 17344 0 -1 4194304 141711 0 0 0 356522 122 0 0 25 0 1 0 44329775 596856832 141654 996147200 134512640 135134323 4294956192 18446744073709551615 134531977 0 0 4096 3 0 0 0 17 0 0 0
/proc/17849/statm: 145717 141654 80 151 0 145563 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 599872

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+3613.21 s]
/proc/loadavg: 2.65 2.66 2.56 3/82 17960
/proc/meminfo: memFree=991504/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=3600.12
/proc/17826/stat : 17826 (sugar++) R 17824 17826 17344 0 -1 4194304 1788 175663 0 5 8 5 359698 301 16 0 1 0 44326637 17412096 1181 996147200 4194304 4206940 548682068528 18446744073709551615 269028660265 0 0 4224 16386 0 0 0 17 0 0 0
/proc/17826/statm: 4251 1181 415 3 0 830 0
Current children cumulated CPU time (s) 3600.12
Current children cumulated vsize (KiB) 17004

[startup+3613.3 s]
/proc/loadavg: 2.65 2.66 2.56 3/82 17960
/proc/meminfo: memFree=991504/2055920 swapFree=4181272/4192956
[pid=17826] ppid=17824 vsize=17004 CPUtime=3600.21
/proc/17826/stat : 17826 (sugar++) R 17824 17826 17344 0 -1 4194304 1788 175663 0 5 8 14 359698 301 19 0 1 0 44326637 17412096 1181 996147200 4194304 4206940 548682068528 18446744073709551615 269028660265 0 0 4224 16386 0 0 0 17 0 0 0
/proc/17826/statm: 4251 1181 415 3 0 830 0
Current children cumulated CPU time (s) 3600.21
Current children cumulated vsize (KiB) 17004

Child status: 0
Real time (s): 3613.3
CPU time (s): 3600.23
CPU user time (s): 3597.07
CPU system time (s): 3.15752
CPU usage (%): 99.6381
Max. virtual memory (cumulated for all children) (KiB): 890732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.07
system time used= 3.15752
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177506
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21180
involuntary context switches= 111162

runsolver used 4.98424 second user time and 11.3223 second system time

The end

Launcher Data (download as text)

Begin job on node26 at 2008-07-12 17:24:07
IDJOB=1112967
IDBENCH=61504
IDSOLVER=367
FILE ID=node26/1112967-1215876247
PBS_JOBID= 7903578
Free space on /tmp= 66468 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/fapp/fapp01/normalized-fapp01-0200-2.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-1112967-1215876247/watcher-1112967-1215876247 -o /tmp/evaluation-result-1112967-1215876247/solver-1112967-1215876247 -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-1112967-1215876247.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8958f22ef51eff112eba2674fcf8e386
RANDOM SEED=233372148

node26.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.213
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.213
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:       1899120 kB
Buffers:          7740 kB
Cached:          40148 kB
SwapCached:       5424 kB
Active:          93636 kB
Inactive:        10912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1899120 kB
SwapTotal:     4192956 kB
SwapFree:      4181272 kB
Dirty:            1120 kB
Writeback:           0 kB
Mapped:          72716 kB
Slab:            37496 kB
Committed_AS:   254532 kB
PageTables:       1884 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= 66464 MiB
End job on node26 at 2008-07-12 18:24:22