Trace number 2086746

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 NameAnswerCPU timeWall clock time
Sugar v1.14.6+minisatSAT 52.2541 52.8149

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-9.xml
MD5SUM501f6fc5db626afa3267b44860e8f65f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark46.7539
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1697
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data 

0.00/0.07	c 0	Sugar v1-14-6 + HOME/minisat
0.00/0.07	c 0	BEGIN Sun Jul 12 09:33:53 2009
0.00/0.07	c 0	PID 28224
0.00/0.07	c 0	HOST node86.alineos.net
0.00/0.07	c 0	CONVERTING HOME/instance-2086746-1247384033.xml TO HOME/temp.csp
0.00/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2086746-1247384033.xml' 'HOME/temp.csp'
0.06/0.82	c 1	400 domains, 400 variables, 2 predicates, 0 relations, 4180 constraints
0.06/0.83	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.83	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.81/0.91	c 1	Parsing HOME/temp.csp
0.95/1.03	c 1	parsed 4982 expressions
0.95/1.04	c 1	Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.95/1.04	c 1	Converting to clausal form CSP
0.95/1.07	c 1	converted 499 (10%) expressions
1.06/1.14	c 1	converted 997 (20%) expressions
1.15/1.26	c 1	converted 1495 (30%) expressions
1.15/1.30	c 1	converted 1993 (40%) expressions
1.26/1.32	c 1	converted 2491 (50%) expressions
1.26/1.33	c 1	converted 2990 (60%) expressions
1.26/1.35	c 1	converted 3488 (70%) expressions
1.35/1.41	c 2	converted 3986 (80%) expressions
1.35/1.43	c 2	converted 4484 (90%) expressions
1.35/1.44	c 2	converted 4982 (100%) expressions
1.35/1.44	c 2	CSP : 400 integers, 0 booleans, 4180 clauses, largest domain size 1682
1.35/1.44	c 2	Heap : 5 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.35/1.44	c 2	Propagation in CSP
1.55/1.66	c 2	170280 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.55/1.66	c 2	CSP : 400 integers, 0 booleans, 4180 clauses, largest domain size 939
1.55/1.66	c 2	Heap : 5 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.55/1.67	c 2	Simplifing CSP by introducing new Boolean variables
1.65/1.71	c 2	CSP : 400 integers, 7600 booleans, 11780 clauses, largest domain size 939
1.65/1.71	c 2	Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.65/1.76	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.75/1.81	c 2	40 (10%) CSP integer variables are encoded (30920 clauses, 441682 bytes)
1.75/1.85	c 2	80 (20%) CSP integer variables are encoded (60040 clauses, 878482 bytes)
1.75/1.88	c 2	120 (30%) CSP integer variables are encoded (89880 clauses, 1326082 bytes)
1.85/1.93	c 2	160 (40%) CSP integer variables are encoded (121800 clauses, 1848755 bytes)
1.85/1.95	c 2	200 (50%) CSP integer variables are encoded (142020 clauses, 2192495 bytes)
1.85/1.99	c 2	240 (60%) CSP integer variables are encoded (171100 clauses, 2686855 bytes)
1.95/2.02	c 2	280 (70%) CSP integer variables are encoded (195020 clauses, 3093495 bytes)
1.95/2.06	c 2	320 (80%) CSP integer variables are encoded (222740 clauses, 3564735 bytes)
1.95/2.10	c 2	360 (90%) CSP integer variables are encoded (250160 clauses, 4030875 bytes)
2.05/2.14	c 2	400 (100%) CSP integer variables are encoded (277360 clauses, 4493275 bytes)
2.73/2.83	c 3	1178 (10%) CSP clauses are encoded (627017 clauses, 12382454 bytes)
3.33/3.44	c 4	2356 (20%) CSP clauses are encoded (949068 clauses, 19883420 bytes)
3.93/4.02	c 4	3534 (30%) CSP clauses are encoded (1258246 clauses, 27079765 bytes)
4.51/4.61	c 5	4712 (40%) CSP clauses are encoded (1571697 clauses, 34383456 bytes)
5.01/5.18	c 5	5890 (50%) CSP clauses are encoded (1875623 clauses, 41483560 bytes)
5.61/5.74	c 6	7068 (60%) CSP clauses are encoded (2172314 clauses, 48538984 bytes)
6.11/6.26	c 6	8246 (70%) CSP clauses are encoded (2457024 clauses, 55475862 bytes)
6.60/6.73	c 7	9424 (80%) CSP clauses are encoded (2701199 clauses, 61402204 bytes)
7.09/7.29	c 7	10602 (90%) CSP clauses are encoded (3008770 clauses, 68805077 bytes)
7.77/7.92	c 8	11780 (100%) CSP clauses are encoded (3345482 clauses, 76548892 bytes)
7.77/7.92	c 8	11780 CSP clauses encoded
7.77/7.92	c 8	Writing map file : HOME/temp.map
7.77/7.93	c 8	Heap : 4 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
7.77/7.93	c 8	SAT : 285360 SAT variables, 3345482 SAT clauses, 76548892 bytes
7.77/7.93	c 8	Heap : 4 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
7.77/7.98	c 8	SOLVING HOME/temp.cnf
7.77/7.98	c 8	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
7.77/7.99	c 8	This is MiniSat 2.0 beta
7.77/7.99	c 8	WARNING: for repeatability, setting FPU to use double precision
7.77/7.99	c 8	============================[ Problem Statistics ]=============================
7.77/7.99	c 8	|                                                                             |
7.77/7.99	c 8	|  Number of variables:  285360                                               |
7.77/7.99	c 8	|  Number of clauses:    3345482                                              |
9.60/9.84	c 10	|  Parsing time:         1.61         s                                       |
9.70/9.93	c 10	============================[ Search Statistics ]==============================
9.70/9.93	c 10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.70/9.93	c 10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.70/9.93	c 10	===============================================================================
9.70/9.93	c 10	|         0 |  284312  3344434  9481559 |  1114811        0    nan |  0.000 % |
11.38/11.62	c 12	|       100 |  284312  3344434  9481559 |  1226292      100     24 |  0.367 % |
13.46/13.78	c 14	|       250 |  284312  3344434  9481559 |  1348921      250     24 |  0.367 % |
15.84/16.14	c 16	|       475 |  284312  3344434  9481559 |  1483813      475     25 |  0.367 % |
20.10/20.45	c 21	|       814 |  284312  3344434  9481559 |  1632195      814     26 |  0.367 % |
26.45/26.88	c 27	|      1320 |  284312  3344434  9481559 |  1795414     1320     30 |  0.367 % |
36.36/36.85	c 37	|      2080 |  284312  3344434  9481559 |  1974956     2080     32 |  0.367 % |
50.54/51.10	c 51	|      3219 |  284312  3344434  9481559 |  2172451     3219     32 |  0.367 % |
51.53/52.15	c 52	===============================================================================
51.53/52.17	c 52	restarts              : 8
51.53/52.17	c 52	conflicts             : 3293           (76 /sec)
51.53/52.17	c 52	decisions             : 6688           (0.82 % random) (154 /sec)
51.53/52.17	c 52	propagations          : 65860134       (1512171 /sec)
51.53/52.17	c 52	conflict literals     : 104840         (27.50 % deleted)
51.53/52.17	c 52	Memory used           : 160.37 MB
51.53/52.17	c 52	CPU time              : 43.5534 s
51.53/52.17	c 52	
51.63/52.27	c 52	SATISFIABLE
51.73/52.30	c 52	DECODING HOME/temp.out WITH HOME/temp.map
51.73/52.30	c 52	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
51.73/52.37	c 52	Decoding HOME/temp.out
52.13/52.73	s SATISFIABLE
52.13/52.74	v 123 207 216 250 312 323 383 426 517 628 679 694 737 793 836 872 1031 1159 1267 1353 62 134 190 281 438 511 530 538 554 581 644 675 751 848 953 961 999 1412 1535 1665 48 134 350 409 421 568 660 725 811 928 949 1007 1077 1191 1269 1309 1397 1467 1532 1659 109 112 154 221 234 309 397 512 533 565 656 663 754 879 994 1086 1383 1477 1553 1610 71 100 174 263 297 687 762 786 801 896 907 931 973 994 1011 1082 1117 1179 1628 1676 0 11 25 115 189 256 347 417 425 432 481 494 572 647 727 758 780 1001 1132 1212 598 695 775 789 860 900 964 1034 1067 1143 1219 1305 1392 1401 1419 1470 1497 1545 1576 1621 4 23 93 187 206 318 366 552 842 844 860 901 1054 1069 1098 1522 1593 1611 1633 1674 39 122 256 440 513 595 675 757 762 859 935 1086 1192 1266 1429 1470 1479 1525 1560 1665 73 287 554 608 694 709 728 790 884 970 1029 1121 1210 1318 1366 1379 1411 1439 1549 1635 260 291 377 456 523 657 759 853 914 985 1036 1086 1141 1144 1226 1306 1348 1434 1531 1584 28 91 141 213 303 351 438 762 772 798 930 972 1077 1268 1329 1367 1506 1578 1638 1643 191 236 316 420 478 572 662 759 812 954 1051 1135 1168 1302 1361 1408 1453 1535 1620 1646 87 188 237 276 328 413 510 566 582 651 722 739 820 953 1292 1318 1348 1436 1509 1598 44 60 122 125 157 173 267 329 584 659 756 861 993 1176 1197 1227 1447 1531 1584 1600 37 42 321 375 590 616 652 845 901 963 1024 1026 1049 1109 1138 1228 1284 1390 1515 1601 20 23 155 236 335 437 454 455 465 497 535 665 935 1025 1045 1159 1162 1278 1455 1534 6 58 134 213 357 409 456 491 594 662 756 782 886 1246 1262 1290 1338 1484 1560 1650 309 460 523 591 763 850 898 927 951 1011 1114 1176 1273 1292 1391 1454 1500 1595 1648 1693 107 154 246 287 359 446 513 591 680 745 766 987 1122 1132 1298 1389 1448 1585 1660 1694
52.13/52.75	c 53	Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
52.13/52.78	c 53	CPU 52.19 (0.05 0.02 51.19 0.93)
52.13/52.78	c 53	END Sun Jul 12 09:34:46 2009

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086746-1247384033/watcher-2086746-1247384033 -o /tmp/evaluation-result-2086746-1247384033/solver-2086746-1247384033 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2086746-1247384033.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 28224
/proc/meminfo: memFree=1714984/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=12272 CPUtime=0
/proc/28224/stat : 28224 (sugar) R 28222 28224 27617 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 25468592 12566528 327 996147200 4194304 4206940 548682068608 18446744073709551615 240154016357 0 0 4224 0 0 0 0 17 0 0 0
/proc/28224/statm: 3068 327 246 3 0 168 0

[startup+0.00851696 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 28224
/proc/meminfo: memFree=1714984/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=12272 CPUtime=0
/proc/28224/stat : 28224 (sugar) R 28222 28224 27617 0 -1 4194304 407 0 0 0 0 0 0 0 18 0 1 0 25468592 12566528 375 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 0 0 0 0 17 0 0 0
/proc/28224/statm: 3068 376 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.103541 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 28224
/proc/meminfo: memFree=1714984/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=0.06
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1227 128 0 0 4 2 0 0 17 0 1 0 25468592 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28224/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.301573 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 28224
/proc/meminfo: memFree=1714984/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=0.06
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1227 128 0 0 4 2 0 0 17 0 1 0 25468592 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28224/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.701656 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 28224
/proc/meminfo: memFree=1714984/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=0.06
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1227 128 0 0 4 2 0 0 17 0 1 0 25468592 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28224/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+1.50281 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 28246
/proc/meminfo: memFree=1706000/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=0.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1310 7270 0 1 5 2 70 4 15 0 1 0 25468592 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1111 409 3 0 796 0
[pid=28237] ppid=28224 vsize=5356 CPUtime=0
/proc/28237/stat : 28237 (sh) S 28224 28224 27617 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25468675 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28237/statm: 1339 233 193 169 0 50 0
[pid=28238] ppid=28237 vsize=868596 CPUtime=0.64
/proc/28238/stat : 28238 (java) S 28237 28224 27617 0 -1 0 7355 0 1 0 61 3 0 0 18 0 9 0 25468676 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28238/statm: 217149 6592 2566 9 0 211654 0
[pid=28238/tid=28239] ppid=28237 vsize=868596 CPUtime=0.39
/proc/28238/task/28239/stat : 28239 (java) R 28237 28224 27617 0 -1 64 2681 0 1 0 38 1 0 0 19 0 9 0 25468677 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4126522839 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28240] ppid=28237 vsize=868596 CPUtime=0.08
/proc/28238/task/28240/stat : 28240 (java) S 28237 28224 27617 0 -1 64 2499 0 0 0 8 0 0 0 16 0 9 0 25468678 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28241] ppid=28237 vsize=868596 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28237 28224 27617 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25468678 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28242] ppid=28237 vsize=868596 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28237 28224 27617 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25468678 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28243] ppid=28237 vsize=868596 CPUtime=0
/proc/28238/task/28243/stat : 28243 (java) S 28237 28224 27617 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25468680 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28244] ppid=28237 vsize=868596 CPUtime=0.14
/proc/28238/task/28244/stat : 28244 (java) S 28237 28224 27617 0 -1 64 1477 0 0 0 14 0 0 0 16 0 9 0 25468680 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28245] ppid=28237 vsize=868596 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28237 28224 27617 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25468680 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28246] ppid=28237 vsize=868596 CPUtime=0
/proc/28238/task/28246/stat : 28246 (java) S 28237 28224 27617 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25468680 889442304 6592 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 890820

[startup+3.10111 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 28246
/proc/meminfo: memFree=1689104/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=0.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1310 7270 0 1 5 2 70 4 15 0 1 0 25468592 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1111 409 3 0 796 0
[pid=28237] ppid=28224 vsize=5356 CPUtime=0
/proc/28237/stat : 28237 (sh) S 28224 28224 27617 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25468675 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28237/statm: 1339 233 193 169 0 50 0
[pid=28238] ppid=28237 vsize=868708 CPUtime=2.22
/proc/28238/stat : 28238 (java) S 28237 28224 27617 0 -1 0 8322 0 1 0 207 15 0 0 18 0 9 0 25468676 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28238/statm: 217177 7101 2590 9 0 211654 0
[pid=28238/tid=28239] ppid=28237 vsize=868708 CPUtime=1.74
/proc/28238/task/28239/stat : 28239 (java) R 28237 28224 27617 0 -1 64 3184 0 1 0 164 10 0 0 25 0 9 0 25468677 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4126902802 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28240] ppid=28237 vsize=868708 CPUtime=0.26
/proc/28238/task/28240/stat : 28240 (java) S 28237 28224 27617 0 -1 64 2937 0 0 0 23 3 0 0 16 0 9 0 25468678 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28241] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28237 28224 27617 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25468678 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28242] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28237 28224 27617 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25468678 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28243] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28243/stat : 28243 (java) S 28237 28224 27617 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25468680 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28244] ppid=28237 vsize=868708 CPUtime=0.18
/proc/28238/task/28244/stat : 28244 (java) S 28237 28224 27617 0 -1 64 1503 0 0 0 18 0 0 0 16 0 9 0 25468680 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28245] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28237 28224 27617 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25468680 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28246] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28246/stat : 28246 (java) S 28237 28224 27617 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25468680 889556992 7101 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 890932

[startup+6.30272 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 28246
/proc/meminfo: memFree=1648528/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=0.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1310 7270 0 1 5 2 70 4 15 0 1 0 25468592 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1111 409 3 0 796 0
[pid=28237] ppid=28224 vsize=5356 CPUtime=0
/proc/28237/stat : 28237 (sh) S 28224 28224 27617 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25468675 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28237/statm: 1339 233 193 169 0 50 0
[pid=28238] ppid=28237 vsize=868708 CPUtime=5.39
/proc/28238/stat : 28238 (java) S 28237 28224 27617 0 -1 0 9380 0 1 0 497 42 0 0 18 0 9 0 25468676 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28238/statm: 217177 7114 2590 9 0 211654 0
[pid=28238/tid=28239] ppid=28237 vsize=868708 CPUtime=4.67
/proc/28238/task/28239/stat : 28239 (java) R 28237 28224 27617 0 -1 64 4230 0 1 0 434 33 0 0 25 0 9 0 25468677 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4126813486 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28240] ppid=28237 vsize=868708 CPUtime=0.49
/proc/28238/task/28240/stat : 28240 (java) S 28237 28224 27617 0 -1 64 2937 0 0 0 42 7 0 0 16 0 9 0 25468678 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28241] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28237 28224 27617 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25468678 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28242] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28237 28224 27617 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25468678 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28243] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28243/stat : 28243 (java) S 28237 28224 27617 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25468680 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28244] ppid=28237 vsize=868708 CPUtime=0.21
/proc/28238/task/28244/stat : 28244 (java) S 28237 28224 27617 0 -1 64 1515 0 0 0 20 1 0 0 17 0 9 0 25468680 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28245] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28237 28224 27617 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25468680 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28238/tid=28246] ppid=28237 vsize=868708 CPUtime=0
/proc/28238/task/28246/stat : 28246 (java) S 28237 28224 27617 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25468680 889556992 7114 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 890932

[startup+12.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 28248
/proc/meminfo: memFree=1475664/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=7.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1376 17481 0 2 5 2 712 62 16 0 1 0 25468592 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1113 409 3 0 796 0
[pid=28247] ppid=28224 vsize=5356 CPUtime=0
/proc/28247/stat : 28247 (sh) S 28224 28224 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25469390 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28247/statm: 1339 232 193 169 0 50 0
[pid=28248] ppid=28247 vsize=161292 CPUtime=4.66
/proc/28248/stat : 28248 (minisat) R 28247 28224 27617 0 -1 4194304 39431 0 0 0 442 24 0 0 25 0 1 0 25469391 165163008 39417 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/28248/statm: 40323 39417 75 150 0 40170 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 183516

[startup+25.5014 s]
/proc/loadavg: 2.07 2.02 2.00 3/77 28248
/proc/meminfo: memFree=1475280/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=7.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1376 17481 0 2 5 2 712 62 16 0 1 0 25468592 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1113 409 3 0 796 0
[pid=28247] ppid=28224 vsize=5356 CPUtime=0
/proc/28247/stat : 28247 (sh) S 28224 28224 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25469390 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28247/statm: 1339 232 193 169 0 50 0
[pid=28248] ppid=28247 vsize=163536 CPUtime=17.34
/proc/28248/stat : 28248 (minisat) R 28247 28224 27617 0 -1 4194304 39973 0 0 0 1710 24 0 0 25 0 1 0 25469391 167460864 39959 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/28248/statm: 40884 39959 75 150 0 40731 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 185760

[startup+51.1023 s]
/proc/loadavg: 2.04 2.01 2.00 3/77 28248
/proc/meminfo: memFree=1475216/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=7.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1376 17481 0 2 5 2 712 62 16 0 1 0 25468592 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1113 409 3 0 796 0
[pid=28247] ppid=28224 vsize=5356 CPUtime=0
/proc/28247/stat : 28247 (sh) S 28224 28224 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25469390 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28247/statm: 1339 232 193 169 0 50 0
[pid=28248] ppid=28247 vsize=163800 CPUtime=42.73
/proc/28248/stat : 28248 (minisat) R 28247 28224 27617 0 -1 4194304 40063 0 0 0 4249 24 0 0 25 0 1 0 25469391 167731200 40049 996147200 134512640 135127466 4294956256 18446744073709551615 134522617 0 0 4096 3 0 0 0 17 1 0 0
/proc/28248/statm: 40950 40049 75 150 0 40797 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 186024

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

[startup+51.9025 s]
/proc/loadavg: 2.04 2.01 2.00 3/77 28248
/proc/meminfo: memFree=1475152/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=7.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1376 17481 0 2 5 2 712 62 16 0 1 0 25468592 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1113 409 3 0 796 0
[pid=28247] ppid=28224 vsize=5356 CPUtime=0
/proc/28247/stat : 28247 (sh) S 28224 28224 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25469390 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28247/statm: 1339 232 193 169 0 50 0
[pid=28248] ppid=28247 vsize=163932 CPUtime=43.52
/proc/28248/stat : 28248 (minisat) R 28247 28224 27617 0 -1 4194304 40079 0 0 0 4328 24 0 0 25 0 1 0 25469391 167866368 40065 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/28248/statm: 40983 40065 75 150 0 40830 0
Current children cumulated CPU time (s) 51.33
Current children cumulated vsize (KiB) 186156

[startup+52.3032 s]
/proc/loadavg: 2.04 2.01 2.00 3/77 28248
/proc/meminfo: memFree=1475152/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=7.81
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1376 17481 0 2 5 2 712 62 15 0 1 0 25468592 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28224/statm: 4217 1113 409 3 0 796 0
[pid=28247] ppid=28224 vsize=5356 CPUtime=0
/proc/28247/stat : 28247 (sh) S 28224 28224 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25469390 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28247/statm: 1339 232 193 169 0 50 0
[pid=28248] ppid=28247 vsize=0 CPUtime=43.92
/proc/28248/stat : 28248 (minisat) R 28247 28224 27617 0 -1 4194308 40202 0 0 0 4365 27 0 0 25 0 1 0 25469391 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/28248/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.73
Current children cumulated vsize (KiB) 22224

[startup+52.7016 s]
/proc/loadavg: 2.12 2.03 2.01 3/85 28258
/proc/meminfo: memFree=1628112/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=51.75
/proc/28224/stat : 28224 (sugar) S 28222 28224 27617 0 -1 4194304 1448 57968 0 2 5 2 5077 91 15 0 1 0 25468592 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28224/statm: 4217 1113 409 3 0 796 0
[pid=28249] ppid=28224 vsize=5356 CPUtime=0
/proc/28249/stat : 28249 (sh) S 28224 28224 27617 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25473822 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28249/statm: 1339 233 193 169 0 50 0
[pid=28250] ppid=28249 vsize=862288 CPUtime=0.38
/proc/28250/stat : 28250 (java) S 28249 28224 27617 0 -1 0 3100 0 1 0 37 1 0 0 20 0 9 0 25473822 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 215572 2570 1279 9 0 210485 0
[pid=28250/tid=28251] ppid=28249 vsize=862288 CPUtime=0.33
/proc/28250/task/28251/stat : 28251 (java) R 28249 28224 27617 0 -1 64 2029 0 1 0 32 1 0 0 25 0 9 0 25473823 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28249 vsize=862288 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28249 28224 27617 0 -1 64 74 0 0 0 0 0 0 0 16 0 9 0 25473824 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28249 vsize=862288 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28249 28224 27617 0 -1 64 11 0 0 0 0 0 0 0 24 0 9 0 25473825 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28249 vsize=862288 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28249 28224 27617 0 -1 64 3 0 0 0 0 0 0 0 25 0 9 0 25473825 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28249 vsize=862288 CPUtime=0
/proc/28250/task/28255/stat : 28255 (java) S 28249 28224 27617 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 25473826 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28249 vsize=862288 CPUtime=0.04
/proc/28250/task/28256/stat : 28256 (java) S 28249 28224 27617 0 -1 64 304 0 0 0 4 0 0 0 16 0 9 0 25473826 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28249 vsize=862288 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28249 28224 27617 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 25473827 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28250/tid=28258] ppid=28249 vsize=862288 CPUtime=0
/proc/28250/task/28258/stat : 28258 (java) S 28249 28224 27617 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25473827 882982912 2570 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.13
Current children cumulated vsize (KiB) 884512

[startup+52.8066 s]
/proc/loadavg: 2.12 2.03 2.01 3/85 28258
/proc/meminfo: memFree=1628112/2055920 swapFree=4192812/4192956
[pid=28224] ppid=28222 vsize=16868 CPUtime=52.22
/proc/28224/stat : 28224 (sugar) R 28222 28224 27617 0 -1 4194304 1478 61888 0 3 5 5 5119 93 16 0 1 0 25468592 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 240154022953 0 0 4224 16386 0 0 0 17 0 0 0
/proc/28224/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 52.22
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 52.8149
CPU time (s): 52.2541
CPU user time (s): 51.2472
CPU system time (s): 1.00685
CPU usage (%): 98.9382
Max. virtual memory (cumulated for all children) (KiB): 890932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.2472
system time used= 1.00685
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63426
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20701
involuntary context switches= 21524

runsolver used 0.06399 second user time and 0.149977 second system time

The end

Launcher Data 

Begin job on node86 at 2009-07-12 09:33:53
IDJOB=2086746
IDBENCH=58624
IDSOLVER=739
FILE ID=node86/2086746-1247384033
PBS_JOBID= 9507315
Free space on /tmp= 66316 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-9.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086746-1247384033/watcher-2086746-1247384033 -o /tmp/evaluation-result-2086746-1247384033/solver-2086746-1247384033 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2086746-1247384033.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 501f6fc5db626afa3267b44860e8f65f
RANDOM SEED=992913637

node86.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.265
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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1715464 kB
Buffers:         55548 kB
Cached:         193128 kB
SwapCached:          0 kB
Active:         172820 kB
Inactive:       107504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1715464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1880 kB
Writeback:           0 kB
Mapped:          42248 kB
Slab:            45460 kB
Committed_AS:   259168 kB
PageTables:       1880 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= 66316 MiB
End job on node86 at 2009-07-12 09:34:46