Trace number 213841

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, and are wall clock time (not CPU 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 0.40? (TO) 1800.04 1808.02

General information on the benchmark

NamepseudoSeries/par/
par-32-4-c.xml
MD5SUM5ac9825c2c6e6d545950ffed7b469e76
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2666
Number of constraints6659
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6659
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/213841-1170099800/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/213841-1170099800/unknown.xml [Mon Jan 29 20:43:24 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/213841-1170099800/unknown.xml /tmp/evaluation/213841-1170099800/sugar26248.csp [Mon Jan 29 20:43:24 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/213841-1170099800/sugar-v0-40.jar -convert /tmp/evaluation/213841-1170099800/unknown.xml /tmp/evaluation/213841-1170099800/sugar26248.csp
0.15	c BEGIN convert /tmp/evaluation/213841-1170099800/unknown.xml
0.97	c END convert (0.816423 seconds)
1.00	c # CONVERT_XML  END : /tmp/evaluation/213841-1170099800/sugar26248.csp 265618 bytes (1 seconds) [Mon Jan 29 20:43:25 2007]
1.00	c # CONVERT_XML  CPU : 0.9 = 0 + 0 + 0.84 + 0.06
1.00	
1.00	c # GENERATE_SAT  BEGIN : /tmp/evaluation/213841-1170099800/sugar26248.bcnf [Mon Jan 29 20:43:25 2007]
1.00	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/213841-1170099800/sugar-v0-40.jar -bcnf -map /tmp/evaluation/213841-1170099800/sugar26248.map /tmp/evaluation/213841-1170099800/sugar26248.csp /tmp/evaluation/213841-1170099800/sugar26248.bcnf
1.12	c BEGIN parse /tmp/evaluation/213841-1170099800/sugar26248.csp
1.93	c END parse (0.812549 seconds)
1.93	c BEGIN simplify
1.94	c END simplify (0.005756 seconds)
1.94	c BEGIN encode /tmp/evaluation/213841-1170099800/sugar26248.bcnf
2.03	c END encode (0.096318 seconds)
2.11	c # GENERATE_SAT  END : 2666 variables 6659 clauses 99748 bytes (1 seconds) [Mon Jan 29 20:43:26 2007]
2.11	c # GENERATE_SAT  CPU : 1.08 = 0.03 + 0.01 + 0.97 + 0.07
2.11	
2.11	c # SOLVE_SAT  BEGIN : /tmp/evaluation/213841-1170099800/sugar26248.bcnf [Mon Jan 29 20:43:26 2007]
2.11	c # CMD : /tmp/evaluation/213841-1170099800/minisat /tmp/evaluation/213841-1170099800/sugar26248.bcnf /tmp/evaluation/213841-1170099800/sugar26248.out
2.11	c ==================================[MINISAT]===================================
2.11	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
2.11	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
2.11	c ==============================================================================
2.11	c |         0 |    6659    18272 |    2219       0        0     nan |  0.000 % |
2.13	c |       101 |    6664    18272 |    2440      96     2350    24.5 |  0.000 % |
2.15	c |       251 |    6665    18272 |    2684     245     7057    28.8 |  0.000 % |
2.18	c |       481 |    6667    18272 |    2953     473    13179    27.9 |  0.000 % |
2.24	c |       818 |    6667    18272 |    3248     810    23201    28.6 |  0.000 % |
2.31	c |      1324 |    6667    18272 |    3573    1316    42304    32.1 |  0.000 % |
2.43	c |      2083 |    6668    18272 |    3931    2074    66044    31.8 |  0.000 % |
2.61	c |      3222 |    6672    18272 |    4324    3209    96541    30.1 |  0.000 % |
2.90	c |      4931 |    6676    18272 |    4756    2724    71381    26.2 |  0.000 % |
3.35	c |      7495 |    6677    18272 |    5232    2860    68304    23.9 |  0.000 % |
4.04	c |     11339 |    6681    18272 |    5755    4047    98959    24.5 |  0.000 % |
5.13	c |     17105 |    6683    18272 |    6331    3975    92846    23.4 |  0.000 % |
6.81	c |     25756 |    6688    18272 |    6964    6197   150898    24.4 |  0.000 % |
9.29	c |     38730 |    6693    18272 |    7660    5059   116313    23.0 |  0.000 % |
13.27	c |     58191 |    6698    18272 |    8426    5131   111929    21.8 |  0.000 % |
19.12	c |     87383 |    6700    18272 |    9269    4511    92163    20.4 |  0.000 % |
27.98	c |    131172 |    6706    18272 |   10196    6103   130814    21.4 |  0.000 % |
41.66	c |    196856 |    6714    18272 |   11215   10067   228261    22.7 |  0.000 % |
62.56	c |    295383 |    6723    18266 |   12337    6622   141095    21.3 |  0.075 % |
95.25	c |    443174 |    6730    18266 |   13571   11267   244017    21.7 |  0.075 % |
147.77	c |    664857 |    6746    18266 |   14928    7432   142901    19.2 |  0.075 % |
228.73	c |    997382 |    6761    18266 |   16421    9131   176167    19.3 |  0.075 % |
362.78	c |   1496170 |    6776    18266 |   18063   12421   249700    20.1 |  0.075 % |
578.62	c |   2244352 |    6788    18266 |   19869   16111   334340    20.8 |  0.075 % |
908.91	c |   3366627 |    6793    18266 |   21856   10594   189077    17.8 |  0.075 % |
1423.32	c |   5050039 |    6818    18266 |   24042   14159   252338    17.8 |  0.075 % |
1807.98	s UNKNOWN
1807.98	c # ERROR No such file or directory /tmp/evaluation/213841-1170099800/sugar26248.out, at /tmp/evaluation/213841-1170099800/sugar line 393.
1807.98	
1807.98	c # MAIN  END :  (1808 seconds) [Mon Jan 29 21:13:32 2007]
1807.98	c # MAIN  CPU : 1799.98 = 0.03 + 0.01 + 1797.37 + 2.57
1807.98

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-213841-1170099800 -o ROOT/results/node16/solver-213841-1170099800 -C 1800 -M 900 /tmp/evaluation/213841-1170099800/solver /tmp/evaluation/213841-1170099800 /tmp/evaluation/213841-1170099800/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 2.65 3.02 2.85 4/94 26249
/proc/meminfo: memFree=16048/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=12268 CPUtime=0
/proc/26248/stat : 26248 (sugar) R 26246 26248 25854 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 29934696 12562432 315 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231962540645 0 0 4224 0 0 0 0 17 1 0 0
/proc/26248/statm: 3067 315 241 3 0 167 0

[startup+0.108479 s]
/proc/loadavg: 2.65 3.02 2.85 4/94 26249
/proc/meminfo: memFree=16048/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=13724 CPUtime=0.03
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29934696 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.520432 s]
/proc/loadavg: 2.65 3.02 2.85 4/94 26249
/proc/meminfo: memFree=16048/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=13724 CPUtime=0.03
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29934696 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.34435 s]
/proc/loadavg: 2.65 3.02 2.85 2/102 26265
/proc/meminfo: memFree=43696/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=13724 CPUtime=0.93
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1190 10122 0 1 3 0 84 6 15 0 1 0 29934696 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3431 809 371 3 0 531 0
[pid=26258] ppid=26248 vsize=807064 CPUtime=0.32
/proc/26258/stat : 26258 (java) S 26248 26248 25854 0 -1 0 6426 0 1 0 29 3 0 0 17 0 8 0 29934797 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 201766 6176 1491 14 0 189044 0
[pid=26258/tid=26259] ppid=26248 vsize=807064 CPUtime=0.01
/proc/26258/task/26259/stat : 26259 (java) R 26248 26248 25854 0 -1 64 377 0 0 0 1 0 0 0 16 0 8 0 29934801 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154024016 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26260] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26260/stat : 26260 (java) S 26248 26248 25854 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29934801 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26261] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26261/stat : 26261 (java) S 26248 26248 25854 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 29934801 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26262] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26248 26248 25854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26263] ppid=26248 vsize=807064 CPUtime=0.05
/proc/26258/task/26263/stat : 26263 (java) S 26248 26248 25854 0 -1 64 293 0 0 0 5 0 0 0 16 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26248 26248 25854 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26265] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26265/stat : 26265 (java) S 26248 26248 25854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788

[startup+2.98116 s]
/proc/loadavg: 2.67 3.02 2.85 2/95 26266
/proc/meminfo: memFree=46120/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 15 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=2712 CPUtime=0.86
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 386 0 0 0 86 0 0 0 25 0 1 0 29934908 2777088 346 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527090 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 678 346 51 112 0 562 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 18600

[startup+6.2698 s]
/proc/loadavg: 2.67 3.02 2.85 3/95 26266
/proc/meminfo: memFree=15848/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=3104 CPUtime=4.15
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 470 0 0 0 415 0 0 0 25 0 1 0 29934908 3178496 430 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525762 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 776 430 51 112 0 660 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 18992

[startup+12.7321 s]
/proc/loadavg: 2.73 3.02 2.85 3/96 26268
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=3368 CPUtime=10.61
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 541 0 0 0 1059 2 0 0 25 0 1 0 29934908 3448832 501 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525460 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 842 501 51 112 0 726 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 19256

[startup+25.5812 s]
/proc/loadavg: 2.77 3.02 2.85 3/95 26270
/proc/meminfo: memFree=15464/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=3772 CPUtime=23.44
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 641 0 0 0 2340 4 0 0 25 0 1 0 29934908 3862528 601 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525031 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 943 601 51 112 0 827 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 19660

[startup+51.2229 s]
/proc/loadavg: 3.00 3.05 2.86 3/97 26277
/proc/meminfo: memFree=16408/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=4312 CPUtime=49.03
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 766 0 0 0 4889 14 0 0 25 0 1 0 29934908 4415488 726 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525036 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1078 726 51 112 0 962 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 20200

[startup+102.491 s]
/proc/loadavg: 3.61 3.18 2.92 3/95 26289
/proc/meminfo: memFree=15400/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=4796 CPUtime=100.13
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 896 0 0 0 9983 30 0 0 25 0 1 0 29934908 4911104 856 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528357 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1199 856 51 112 0 1083 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 20684

[startup+162.531 s]
/proc/loadavg: 3.47 3.26 2.96 3/95 26297
/proc/meminfo: memFree=15464/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5252 CPUtime=160.03
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 981 0 0 0 15949 54 0 0 25 0 1 0 29934908 5378048 941 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527980 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1313 941 51 112 0 1197 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 21140

[startup+222.592 s]
/proc/loadavg: 3.08 3.18 2.95 3/95 26302
/proc/meminfo: memFree=15592/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5384 CPUtime=219.87
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1040 0 0 0 21912 75 0 0 25 0 1 0 29934908 5513216 1000 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525545 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1346 1000 51 112 0 1230 0
Current children cumulated CPU time (s) 221.88
Current children cumulated vsize (KiB) 21272

[startup+282.663 s]
/proc/loadavg: 3.17 3.19 2.96 3/95 26308
/proc/meminfo: memFree=15912/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5784 CPUtime=279.82
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1110 0 0 0 27888 94 0 0 25 0 1 0 29934908 5922816 1070 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134533254 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1446 1070 51 112 0 1330 0
Current children cumulated CPU time (s) 281.83
Current children cumulated vsize (KiB) 21672

[startup+342.728 s]
/proc/loadavg: 3.61 3.28 3.01 3/95 26317
/proc/meminfo: memFree=15848/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5784 CPUtime=339.7
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1123 0 0 0 33855 115 0 0 25 0 1 0 29934908 5922816 1083 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525903 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1446 1083 51 112 0 1330 0
Current children cumulated CPU time (s) 341.71
Current children cumulated vsize (KiB) 21672

[startup+402.821 s]
/proc/loadavg: 4.23 3.50 3.10 3/95 26325
/proc/meminfo: memFree=15336/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=6200 CPUtime=399.68
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1205 0 0 0 39829 139 0 0 25 0 1 0 29934908 6348800 1165 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1550 1165 51 112 0 1434 0
Current children cumulated CPU time (s) 401.69
Current children cumulated vsize (KiB) 22088

[startup+462.865 s]
/proc/loadavg: 3.03 3.30 3.05 3/95 26334
/proc/meminfo: memFree=16296/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=6200 CPUtime=459.57
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1225 0 0 0 45797 160 0 0 25 0 1 0 29934908 6348800 1185 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0

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

/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7384 CPUtime=1057.13
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1501 0 0 0 105484 229 0 0 25 0 1 0 29934908 7561216 1461 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528139 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1846 1461 51 112 0 1730 0
Current children cumulated CPU time (s) 1059.14
Current children cumulated vsize (KiB) 23272

[startup+1123.3 s]
/proc/loadavg: 2.15 2.27 2.62 3/95 26746
/proc/meminfo: memFree=1791176/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7512 CPUtime=1116.84
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1525 0 0 0 111447 237 0 0 25 0 1 0 29934908 7692288 1485 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525748 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1878 1485 51 112 0 1762 0
Current children cumulated CPU time (s) 1118.85
Current children cumulated vsize (KiB) 23400

[startup+1183.35 s]
/proc/loadavg: 2.06 2.21 2.58 3/89 26788
/proc/meminfo: memFree=1780440/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7656 CPUtime=1176.54
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1546 0 0 0 117413 241 0 0 25 0 1 0 29934908 7839744 1506 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1914 1506 51 112 0 1798 0
Current children cumulated CPU time (s) 1178.55
Current children cumulated vsize (KiB) 23544

[startup+1243.39 s]
/proc/loadavg: 2.08 2.19 2.54 3/89 26788
/proc/meminfo: memFree=1771736/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7656 CPUtime=1236.27
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1546 0 0 0 123386 241 0 0 25 0 1 0 29934908 7839744 1506 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1914 1506 51 112 0 1798 0
Current children cumulated CPU time (s) 1238.28
Current children cumulated vsize (KiB) 23544

[startup+1303.44 s]
/proc/loadavg: 2.07 2.17 2.51 3/89 26788
/proc/meminfo: memFree=1771288/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7656 CPUtime=1296.02
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1560 0 0 0 129361 241 0 0 25 0 1 0 29934908 7839744 1520 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525539 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1914 1520 51 112 0 1798 0
Current children cumulated CPU time (s) 1298.03
Current children cumulated vsize (KiB) 23544

[startup+1363.48 s]
/proc/loadavg: 2.02 2.13 2.48 3/89 26788
/proc/meminfo: memFree=1771032/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7856 CPUtime=1355.74
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1588 0 0 0 135332 242 0 0 25 0 1 0 29934908 8044544 1548 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528532 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1964 1548 51 112 0 1848 0
Current children cumulated CPU time (s) 1357.75
Current children cumulated vsize (KiB) 23744

[startup+1423.53 s]
/proc/loadavg: 2.04 2.12 2.45 3/89 26788
/proc/meminfo: memFree=1756248/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7856 CPUtime=1415.48
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1588 0 0 0 141305 243 0 0 25 0 1 0 29934908 8044544 1548 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1964 1548 51 112 0 1848 0
Current children cumulated CPU time (s) 1417.49
Current children cumulated vsize (KiB) 23744

[startup+1483.57 s]
/proc/loadavg: 2.08 2.11 2.42 3/89 26788
/proc/meminfo: memFree=1753176/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8056 CPUtime=1475.23
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1639 0 0 0 147280 243 0 0 25 0 1 0 29934908 8249344 1599 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522259 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2014 1599 51 112 0 1898 0
Current children cumulated CPU time (s) 1477.24
Current children cumulated vsize (KiB) 23944

[startup+1543.6 s]
/proc/loadavg: 2.06 2.10 2.40 3/89 26788
/proc/meminfo: memFree=1752728/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8056 CPUtime=1534.94
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1654 0 0 0 153251 243 0 0 25 0 1 0 29934908 8249344 1614 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2014 1614 51 112 0 1898 0
Current children cumulated CPU time (s) 1536.95
Current children cumulated vsize (KiB) 23944

[startup+1603.64 s]
/proc/loadavg: 2.02 2.08 2.37 3/89 26788
/proc/meminfo: memFree=1752216/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8196 CPUtime=1594.68
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1679 0 0 0 159225 243 0 0 25 0 1 0 29934908 8392704 1639 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527270 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2049 1639 51 112 0 1933 0
Current children cumulated CPU time (s) 1596.69
Current children cumulated vsize (KiB) 24084

[startup+1663.68 s]
/proc/loadavg: 2.01 2.06 2.35 3/89 26788
/proc/meminfo: memFree=1746072/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8196 CPUtime=1654.44
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1680 0 0 0 165201 243 0 0 25 0 1 0 29934908 8392704 1640 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2049 1640 51 112 0 1933 0
Current children cumulated CPU time (s) 1656.45
Current children cumulated vsize (KiB) 24084

[startup+1723.72 s]
/proc/loadavg: 2.00 2.05 2.32 3/89 26788
/proc/meminfo: memFree=1745496/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8388 CPUtime=1714.17
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1709 0 0 0 171174 243 0 0 25 0 1 0 29934908 8589312 1669 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528068 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2097 1669 51 112 0 1981 0
Current children cumulated CPU time (s) 1716.18
Current children cumulated vsize (KiB) 24276

[startup+1783.76 s]
/proc/loadavg: 2.00 2.04 2.30 3/89 26788
/proc/meminfo: memFree=1744792/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8388 CPUtime=1773.91
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1722 0 0 0 177147 244 0 0 25 0 1 0 29934908 8589312 1682 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2097 1682 51 112 0 1981 0
Current children cumulated CPU time (s) 1775.92
Current children cumulated vsize (KiB) 24276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.98 s]
/proc/loadavg: 2.00 2.03 2.29 3/89 26788
/proc/meminfo: memFree=1744600/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8516 CPUtime=1798
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1739 0 0 0 179556 244 0 0 25 0 1 0 29934908 8720384 1699 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528549 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2129 1699 51 112 0 2013 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 24404

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

Child status: 1
Real time (s): 1808.02
CPU time (s): 1800.04
CPU user time (s): 1797.44
CPU system time (s): 2.5926
CPU usage (%): 99.5587
Max. virtual memory (cumulated for all children) (KiB): 821100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 2.5926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22602
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1120
involuntary context switches= 40597

runsolver used 2.02469 s user time and 5.2622 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Jan 29 19:43:22 UTC 2007


IDJOB= 213841
IDBENCH= 4878
IDSOLVER= 86
FILE ID= node16/213841-1170099800

PBS_JOBID= 3689476

Free space on /tmp= 47688 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-4-c.xml
COMMAND LINE= /tmp/evaluation/213841-1170099800/solver /tmp/evaluation/213841-1170099800 /tmp/evaluation/213841-1170099800/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-213841-1170099800 -o ROOT/results/node16/solver-213841-1170099800 -C 1800 -M 900  /tmp/evaluation/213841-1170099800/solver /tmp/evaluation/213841-1170099800 /tmp/evaluation/213841-1170099800/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  5ac9825c2c6e6d545950ffed7b469e76

RANDOM SEED= 211334038

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.281
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.281
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:         15888 kB
Buffers:          3320 kB
Cached:        1860084 kB
SwapCached:          0 kB
Active:         112376 kB
Inactive:      1831232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:         15888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          824276 kB
Writeback:           0 kB
Mapped:         105756 kB
Slab:            81168 kB
Committed_AS:   598680 kB
PageTables:       2216 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= 66548 MiB



End job on node16 on Mon Jan 29 20:13:32 UTC 2007