Trace number 214218

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.11 1816.42

General information on the benchmark

NamepseudoSeries/par/
par-32-1-c.xml
MD5SUMbfe3ce251328ed77af50c91066f0ef0d
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 variables2630
Number of constraints6569
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6569
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/214218-1170099840/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/214218-1170099840/unknown.xml [Mon Jan 29 20:44:05 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/214218-1170099840/unknown.xml /tmp/evaluation/214218-1170099840/sugar28028.csp [Mon Jan 29 20:44:05 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/214218-1170099840/sugar-v0-40.jar -convert /tmp/evaluation/214218-1170099840/unknown.xml /tmp/evaluation/214218-1170099840/sugar28028.csp
0.17	c BEGIN convert /tmp/evaluation/214218-1170099840/unknown.xml
0.99	c END convert (0.823905 seconds)
1.02	c # CONVERT_XML  END : /tmp/evaluation/214218-1170099840/sugar28028.csp 261892 bytes (1 seconds) [Mon Jan 29 20:44:06 2007]
1.02	c # CONVERT_XML  CPU : 0.93 = 0 + 0 + 0.86 + 0.07
1.02	
1.02	c # GENERATE_SAT  BEGIN : /tmp/evaluation/214218-1170099840/sugar28028.bcnf [Mon Jan 29 20:44:06 2007]
1.02	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/214218-1170099840/sugar-v0-40.jar -bcnf -map /tmp/evaluation/214218-1170099840/sugar28028.map /tmp/evaluation/214218-1170099840/sugar28028.csp /tmp/evaluation/214218-1170099840/sugar28028.bcnf
1.13	c BEGIN parse /tmp/evaluation/214218-1170099840/sugar28028.csp
1.92	c END parse (0.785684 seconds)
1.92	c BEGIN simplify
1.93	c END simplify (0.005872 seconds)
1.93	c BEGIN encode /tmp/evaluation/214218-1170099840/sugar28028.bcnf
2.03	c END encode (0.106823 seconds)
2.15	c # GENERATE_SAT  END : 2630 variables 6569 clauses 98380 bytes (1 seconds) [Mon Jan 29 20:44:07 2007]
2.15	c # GENERATE_SAT  CPU : 1.02 = 0.03 + 0 + 0.92 + 0.07
2.15	
2.15	c # SOLVE_SAT  BEGIN : /tmp/evaluation/214218-1170099840/sugar28028.bcnf [Mon Jan 29 20:44:07 2007]
2.15	c # CMD : /tmp/evaluation/214218-1170099840/minisat /tmp/evaluation/214218-1170099840/sugar28028.bcnf /tmp/evaluation/214218-1170099840/sugar28028.out
2.16	c ==================================[MINISAT]===================================
2.16	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
2.16	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
2.16	c ==============================================================================
2.16	c |         0 |    6569    18020 |    2189       0        0     nan |  0.000 % |
2.17	c |       101 |    6569    18020 |    2407     101     3034    30.0 |  0.000 % |
2.19	c |       252 |    6569    18020 |    2648     252     6381    25.3 |  0.000 % |
2.23	c |       477 |    6570    18020 |    2913     476    12756    26.8 |  0.000 % |
2.25	c |       814 |    6571    18020 |    3204     812    17457    21.5 |  0.000 % |
2.34	c |      1320 |    6575    18020 |    3525    1314    31474    24.0 |  0.000 % |
2.39	c |      2079 |    6575    18020 |    3877    2073    46429    22.4 |  0.000 % |
2.57	c |      3219 |    6575    18020 |    4265    3213    91688    28.5 |  0.000 % |
2.86	c |      4928 |    6583    18020 |    4692    2477    85139    34.4 |  0.000 % |
3.35	c |      7491 |    6598    18020 |    5161    2596    77968    30.0 |  0.000 % |
4.11	c |     11335 |    6595    18014 |    5677    3815    97902    25.7 |  0.076 % |
5.40	c |     17102 |    6601    18014 |    6245    3827    89409    23.4 |  0.076 % |
7.34	c |     25751 |    6607    18014 |    6870    6151   153516    25.0 |  0.076 % |
10.35	c |     38726 |    6609    18014 |    7557    5239   125098    23.9 |  0.076 % |
14.94	c |     58187 |    6614    18014 |    8312    5625   130301    23.2 |  0.076 % |
21.47	c |     87379 |    6618    18014 |    9143    5459   124505    22.8 |  0.076 % |
31.43	c |    131168 |    6621    18014 |   10058    7825   184678    23.6 |  0.076 % |
46.06	c |    196854 |    6634    18014 |   11064    7576   174014    23.0 |  0.076 % |
67.66	c |    295380 |    6643    18014 |   12170    5923   123048    20.8 |  0.076 % |
102.84	c |    443169 |    6656    18014 |   13387    6859   142241    20.7 |  0.076 % |
156.25	c |    664852 |    6671    18014 |   14726   12483   333784    26.7 |  0.076 % |
236.42	c |    997377 |    6694    18014 |   16199   11585   239396    20.7 |  0.076 % |
362.53	c |   1496165 |    6706    18014 |   17819   13885   290774    20.9 |  0.076 % |
558.97	c |   2244350 |    6723    18014 |   19600   10354   189786    18.3 |  0.076 % |
884.11	c |   3366624 |    6750    18014 |   21561   10675   212831    19.9 |  0.076 % |
1384.27	c |   5050035 |    6779    18014 |   23717   16754   332515    19.8 |  0.076 % |
1815.38	s UNKNOWN
1815.38	c # ERROR No such file or directory /tmp/evaluation/214218-1170099840/sugar28028.out, at /tmp/evaluation/214218-1170099840/sugar line 393.
1815.38	
1815.38	c # MAIN  END :  (1815 seconds) [Mon Jan 29 21:14:20 2007]
1815.38	c # MAIN  CPU : 1800.06 = 0.03 + 0.01 + 1791.77 + 8.25
1815.38

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/node12/watcher-214218-1170099840 -o ROOT/results/node12/solver-214218-1170099840 -C 1800 -M 900 /tmp/evaluation/214218-1170099840/solver /tmp/evaluation/214218-1170099840 /tmp/evaluation/214218-1170099840/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.39 2.76 2.77 5/94 28029
/proc/meminfo: memFree=16280/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=12268 CPUtime=0
/proc/28028/stat : 28028 (sugar) R 28026 28028 27963 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 29938924 12562432 316 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252429695589 0 0 4224 0 0 0 0 17 1 0 0
/proc/28028/statm: 3067 316 241 3 0 167 0

[startup+0.10712 s]
/proc/loadavg: 2.39 2.76 2.77 5/94 28029
/proc/meminfo: memFree=16280/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=13724 CPUtime=0.03
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 29938924 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.526191 s]
/proc/loadavg: 2.39 2.76 2.77 5/94 28029
/proc/meminfo: memFree=16280/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=13724 CPUtime=0.03
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29938924 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.35034 s]
/proc/loadavg: 2.52 2.78 2.78 3/102 28045
/proc/meminfo: memFree=40536/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=13724 CPUtime=0.96
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1190 10060 0 1 3 0 86 7 15 0 1 0 29938924 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3431 809 371 3 0 531 0
[pid=28038] ppid=28028 vsize=807064 CPUtime=0.31
/proc/28038/stat : 28038 (java) R 28028 28028 27963 0 -1 0 6303 0 1 0 28 3 0 0 23 0 8 0 29939027 826433536 6053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28038/statm: 201766 6054 1491 14 0 189044 0
[pid=28038/tid=28039] ppid=28028 vsize=807064 CPUtime=0.01
/proc/28038/task/28039/stat : 28039 (java) R 28028 28028 27963 0 -1 64 254 0 0 0 1 0 0 0 16 0 8 0 29939030 826433536 6055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28038/tid=28040] ppid=28028 vsize=807064 CPUtime=0
/proc/28038/task/28040/stat : 28040 (java) S 28028 28028 27963 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29939030 826433536 6055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28038/tid=28041] ppid=28028 vsize=807064 CPUtime=0
/proc/28038/task/28041/stat : 28041 (java) S 28028 28028 27963 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29939030 826433536 6056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28038/tid=28042] ppid=28028 vsize=807064 CPUtime=0
/proc/28038/task/28042/stat : 28042 (java) S 28028 28028 27963 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29939033 826433536 6057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28038/tid=28043] ppid=28028 vsize=807064 CPUtime=0.05
/proc/28038/task/28043/stat : 28043 (java) S 28028 28028 27963 0 -1 64 293 0 0 0 5 0 0 0 18 0 8 0 29939033 826433536 6058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28038/tid=28044] ppid=28028 vsize=807064 CPUtime=0
/proc/28038/task/28044/stat : 28044 (java) S 28028 28028 27963 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29939033 826433536 6059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28038/tid=28045] ppid=28028 vsize=807064 CPUtime=0
/proc/28038/task/28045/stat : 28045 (java) S 28028 28028 27963 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29939033 826433536 6059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820788

[startup+3.00063 s]
/proc/loadavg: 2.52 2.78 2.78 3/95 28046
/proc/meminfo: memFree=39184/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 15 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=2852 CPUtime=0.82
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 411 0 0 0 82 0 0 0 24 0 1 0 29939140 2920448 371 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525762 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 713 371 51 112 0 597 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 18608

[startup+6.28323 s]
/proc/loadavg: 2.56 2.78 2.78 3/95 28046
/proc/meminfo: memFree=15248/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=3108 CPUtime=4.08
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 471 0 0 0 408 0 0 0 25 0 1 0 29939140 3182592 431 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134518887 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 777 431 51 112 0 661 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 18864

[startup+12.7674 s]
/proc/loadavg: 2.59 2.79 2.78 3/95 28046
/proc/meminfo: memFree=15376/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=3372 CPUtime=10.48
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 549 0 0 0 1046 2 0 0 25 0 1 0 29939140 3452928 509 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528055 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 843 509 51 112 0 727 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 19128

[startup+25.6447 s]
/proc/loadavg: 2.81 2.82 2.79 3/95 28046
/proc/meminfo: memFree=15824/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=3772 CPUtime=23.26
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 635 0 0 0 2318 8 0 0 25 0 1 0 29939140 3862528 595 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134524987 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 943 595 51 112 0 827 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 19528

[startup+51.3374 s]
/proc/loadavg: 2.96 2.86 2.80 3/95 28046
/proc/meminfo: memFree=14864/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=4312 CPUtime=48.89
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 767 0 0 0 4872 17 0 0 25 0 1 0 29939140 4415488 727 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 1078 727 51 112 0 962 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 20068

[startup+102.613 s]
/proc/loadavg: 3.72 3.05 2.87 3/95 28046
/proc/meminfo: memFree=16016/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=4748 CPUtime=100.02
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 858 0 0 0 9968 34 0 0 25 0 1 0 29939140 4861952 818 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 1187 818 51 112 0 1071 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 20504

[startup+162.681 s]
/proc/loadavg: 3.20 3.07 2.89 2/88 28049
/proc/meminfo: memFree=1884176/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=5424 CPUtime=159.82
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1032 0 0 0 15937 45 0 0 25 0 1 0 29939140 5554176 992 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528406 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 1356 992 51 112 0 1240 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 21180

[startup+222.692 s]
/proc/loadavg: 2.15 2.80 2.80 4/96 28506
/proc/meminfo: memFree=1837632/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=5424 CPUtime=219.48
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1051 0 0 0 21895 53 0 0 25 0 1 0 29939140 5554176 1011 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 1356 1011 51 112 0 1240 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 21180

[startup+282.71 s]
/proc/loadavg: 1.95 2.61 2.74 3/95 28650
/proc/meminfo: memFree=1810960/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=6008 CPUtime=279.29
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1157 0 0 0 27874 55 0 0 25 0 1 0 29939140 6152192 1117 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 1502 1117 51 112 0 1386 0
Current children cumulated CPU time (s) 281.28
Current children cumulated vsize (KiB) 21764

[startup+342.758 s]
/proc/loadavg: 1.98 2.49 2.69 3/95 28650
/proc/meminfo: memFree=1789648/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=6008 CPUtime=339.32
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1173 0 0 0 33876 56 0 0 25 0 1 0 29939140 6152192 1133 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 1502 1133 51 112 0 1386 0
Current children cumulated CPU time (s) 341.31
Current children cumulated vsize (KiB) 21764

[startup+402.833 s]
/proc/loadavg: 2.49 2.53 2.68 3/95 28729
/proc/meminfo: memFree=899416/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=6288 CPUtime=399.05
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1251 0 0 0 39835 70 0 0 25 0 1 0 29939140 6438912 1211 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525759 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 1572 1211 51 112 0 1456 0
Current children cumulated CPU time (s) 401.04
Current children cumulated vsize (KiB) 22044

[startup+462.889 s]
/proc/loadavg: 3.78 2.86 2.79 3/97 28750
/proc/meminfo: memFree=15568/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=6616 CPUtime=458.65
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1307 0 0 0 45763 102 0 0 25 0 1 0 29939140 6774784 1267 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528340 0 0 4096 3 0 0 0 17 0 0 0

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

/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=7764 CPUtime=1053.77
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1605 0 0 0 104960 417 0 0 25 0 1 0 29939140 7950336 1565 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 1941 1565 51 112 0 1825 0
Current children cumulated CPU time (s) 1055.76
Current children cumulated vsize (KiB) 23520

[startup+1123.55 s]
/proc/loadavg: 7.77 6.22 4.39 3/100 29165
/proc/meminfo: memFree=15632/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=7952 CPUtime=1113.37
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1634 0 0 0 110882 455 0 0 25 0 1 0 29939140 8142848 1594 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 1988 1594 51 112 0 1872 0
Current children cumulated CPU time (s) 1115.36
Current children cumulated vsize (KiB) 23708

[startup+1183.62 s]
/proc/loadavg: 8.77 6.84 4.71 3/101 29189
/proc/meminfo: memFree=15008/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=8140 CPUtime=1172.96
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1673 0 0 0 116811 485 0 0 25 0 1 0 29939140 8335360 1633 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525545 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 2035 1633 51 112 0 1919 0
Current children cumulated CPU time (s) 1174.95
Current children cumulated vsize (KiB) 23896

[startup+1243.72 s]
/proc/loadavg: 5.98 6.45 4.72 3/105 29214
/proc/meminfo: memFree=15360/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=8292 CPUtime=1232.4
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1710 0 0 0 122721 519 0 0 25 0 1 0 29939140 8491008 1670 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 2073 1670 51 112 0 1957 0
Current children cumulated CPU time (s) 1234.39
Current children cumulated vsize (KiB) 24048

[startup+1303.82 s]
/proc/loadavg: 9.18 7.23 5.09 5/100 29228
/proc/meminfo: memFree=17960/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=8436 CPUtime=1291.84
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1742 0 0 0 128643 541 0 0 25 0 1 0 29939140 8638464 1702 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528111 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 2109 1702 51 112 0 1993 0
Current children cumulated CPU time (s) 1293.83
Current children cumulated vsize (KiB) 24192

[startup+1363.82 s]
/proc/loadavg: 7.83 7.25 5.23 3/106 29255
/proc/meminfo: memFree=15544/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=8436 CPUtime=1351.2
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1744 0 0 0 134543 577 0 0 25 0 1 0 29939140 8638464 1704 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 2109 1704 51 112 0 1993 0
Current children cumulated CPU time (s) 1353.19
Current children cumulated vsize (KiB) 24192

[startup+1423.92 s]
/proc/loadavg: 8.02 7.57 5.47 3/99 29265
/proc/meminfo: memFree=15352/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=8568 CPUtime=1410.59
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1789 0 0 0 140450 609 0 0 25 0 1 0 29939140 8773632 1749 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522281 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 2142 1749 51 112 0 2026 0
Current children cumulated CPU time (s) 1412.58
Current children cumulated vsize (KiB) 24324

[startup+1483.97 s]
/proc/loadavg: 4.92 6.75 5.32 3/106 29291
/proc/meminfo: memFree=16184/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=8896 CPUtime=1470.26
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1847 0 0 0 146390 636 0 0 25 0 1 0 29939140 9109504 1807 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 2224 1807 51 112 0 2108 0
Current children cumulated CPU time (s) 1472.25
Current children cumulated vsize (KiB) 24652

[startup+1544.02 s]
/proc/loadavg: 8.00 7.15 5.54 3/102 29306
/proc/meminfo: memFree=15968/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=8896 CPUtime=1529.83
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1849 0 0 0 152315 668 0 0 25 0 1 0 29939140 9109504 1809 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 2224 1809 51 112 0 2108 0
Current children cumulated CPU time (s) 1531.82
Current children cumulated vsize (KiB) 24652

[startup+1604.04 s]
/proc/loadavg: 8.08 7.34 5.70 3/102 29318
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=9036 CPUtime=1588.58
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1864 0 0 0 158155 703 0 0 25 0 1 0 29939140 9252864 1824 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 2259 1824 51 112 0 2143 0
Current children cumulated CPU time (s) 1590.57
Current children cumulated vsize (KiB) 24792

[startup+1664.08 s]
/proc/loadavg: 8.46 7.53 5.87 3/101 29329
/proc/meminfo: memFree=15848/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=9036 CPUtime=1647.81
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1879 0 0 0 164045 736 0 0 25 0 1 0 29939140 9252864 1839 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 2259 1839 51 112 0 2143 0
Current children cumulated CPU time (s) 1649.8
Current children cumulated vsize (KiB) 24792

[startup+1724.13 s]
/proc/loadavg: 9.64 7.99 6.12 3/104 29353
/proc/meminfo: memFree=16072/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=9180 CPUtime=1707.46
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1909 0 0 0 169980 766 0 0 25 0 1 0 29939140 9400320 1869 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 2295 1869 51 112 0 2179 0
Current children cumulated CPU time (s) 1709.45
Current children cumulated vsize (KiB) 24936

[startup+1784.15 s]
/proc/loadavg: 9.12 8.19 6.31 3/101 29373
/proc/meminfo: memFree=15776/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=9464 CPUtime=1767.21
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1958 0 0 0 175925 796 0 0 25 0 1 0 29939140 9691136 1918 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28046/statm: 2366 1918 51 112 0 2250 0
Current children cumulated CPU time (s) 1769.2
Current children cumulated vsize (KiB) 25220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.37 s]
/proc/loadavg: 7.69 7.95 6.29 3/101 29385
/proc/meminfo: memFree=15776/2055920 swapFree=4192812/4192956
[pid=28028] ppid=28026 vsize=15756 CPUtime=1.99
/proc/28028/stat : 28028 (sugar) S 28026 28028 27963 0 -1 4194304 1814 18884 0 2 6 1 178 14 16 0 1 0 29938924 16134144 1328 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28028/statm: 3939 1328 373 3 0 1039 0
[pid=28046] ppid=28028 vsize=9464 CPUtime=1798.08
/proc/28046/stat : 28046 (minisat) R 28028 28028 27963 0 -1 0 1959 0 0 0 178998 810 0 0 25 0 1 0 29939140 9691136 1919 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/28046/statm: 2366 1919 51 112 0 2250 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 25220

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

Child status: 1
Real time (s): 1816.42
CPU time (s): 1800.11
CPU user time (s): 1791.84
CPU system time (s): 8.27174
CPU usage (%): 99.102
Max. virtual memory (cumulated for all children) (KiB): 821100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.84
system time used= 8.27174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22747
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= 1257
involuntary context switches= 53761

runsolver used 2.0027 s user time and 5.73713 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Jan 29 19:44:02 UTC 2007


IDJOB= 214218
IDBENCH= 4907
IDSOLVER= 86
FILE ID= node12/214218-1170099840

PBS_JOBID= 3689506

Free space on /tmp= 38838 MiB

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

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  bfe3ce251328ed77af50c91066f0ef0d

RANDOM SEED= 657013497

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.285
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.285
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:         16440 kB
Buffers:          3564 kB
Cached:        1844880 kB
SwapCached:          0 kB
Active:         128796 kB
Inactive:      1814452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:         16440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          823636 kB
Writeback:           0 kB
Mapped:         120332 kB
Slab:            81028 kB
Committed_AS:   623696 kB
PageTables:       2220 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= 31019 MiB



End job on node12 on Mon Jan 29 20:14:23 UTC 2007