Trace number 199434

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.14 1815

General information on the benchmark

NameallIntervalSeries/
series-45.xml
MD5SUM856478c949ca45a2499e3dbc7d45f44c
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.154976
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables89
Number of constraints1980
Maximum constraint arity3
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1980
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/199434-1170094100/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/199434-1170094100/unknown.xml [Mon Jan 29 19:08:21 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/199434-1170094100/unknown.xml /tmp/evaluation/199434-1170094100/sugar23957.csp [Mon Jan 29 19:08:22 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199434-1170094100/sugar-v0-40.jar -convert /tmp/evaluation/199434-1170094100/unknown.xml /tmp/evaluation/199434-1170094100/sugar23957.csp
0.17	c BEGIN convert /tmp/evaluation/199434-1170094100/unknown.xml
0.64	c END convert (0.468902 seconds)
0.65	c # CONVERT_XML  END : /tmp/evaluation/199434-1170094100/sugar23957.csp 29600 bytes (0 seconds) [Mon Jan 29 19:08:22 2007]
0.65	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.65	
0.65	c # GENERATE_SAT  BEGIN : /tmp/evaluation/199434-1170094100/sugar23957.bcnf [Mon Jan 29 19:08:22 2007]
0.65	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199434-1170094100/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199434-1170094100/sugar23957.map /tmp/evaluation/199434-1170094100/sugar23957.csp /tmp/evaluation/199434-1170094100/sugar23957.bcnf
0.78	c BEGIN parse /tmp/evaluation/199434-1170094100/sugar23957.csp
1.21	c END parse (0.432386 seconds)
1.21	c BEGIN simplify
1.24	c END simplify (0.028172 seconds)
1.24	c BEGIN encode /tmp/evaluation/199434-1170094100/sugar23957.bcnf
1.84	c END encode (0.605267 seconds)
1.92	c # GENERATE_SAT  END : 11704 variables 541991 clauses 9237564 bytes (1 seconds) [Mon Jan 29 19:08:23 2007]
1.92	c # GENERATE_SAT  CPU : 1.22 = 0.04 + 0.01 + 1.09 + 0.08
1.92	
1.92	c # SOLVE_SAT  BEGIN : /tmp/evaluation/199434-1170094100/sugar23957.bcnf [Mon Jan 29 19:08:23 2007]
1.92	c # CMD : /tmp/evaluation/199434-1170094100/minisat /tmp/evaluation/199434-1170094100/sugar23957.bcnf /tmp/evaluation/199434-1170094100/sugar23957.out
2.33	c ==================================[MINISAT]===================================
2.33	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
2.33	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
2.33	c ==============================================================================
2.33	c |         0 |  447039  1502026 |  149013       0        0     nan |  0.000 % |
2.50	c |       101 |  447039  1502026 |  163914     101     1315    13.0 | 16.917 % |
2.53	c |       251 |  447039  1502026 |  180305     251     3195    12.7 | 16.917 % |
2.77	c |       476 |  447039  1502026 |  198336     476     9593    20.2 | 16.917 % |
2.92	c |       815 |  447039  1502026 |  218169     815    13832    17.0 | 16.917 % |
3.60	c |      1322 |  447039  1502026 |  239986    1322    38865    29.4 | 16.917 % |
4.58	c |      2081 |  447039  1502026 |  263985    2081    74925    36.0 | 16.917 % |
5.23	c |      3220 |  447039  1502026 |  290384    3220    90798    28.2 | 16.917 % |
7.01	c |      4929 |  447039  1502026 |  319422    4929   169166    34.3 | 16.917 % |
9.90	c |      7493 |  447039  1502026 |  351364    7493   291260    38.9 | 16.917 % |
13.59	c |     11338 |  447039  1502026 |  386501   11338   498219    43.9 | 16.917 % |
20.37	c |     17105 |  447039  1502026 |  425151   17105   762109    44.6 | 16.917 % |
32.37	c |     25754 |  447039  1502026 |  467666   25754  1271784    49.4 | 16.917 % |
50.16	c |     38729 |  447039  1502026 |  514433   38729  1929754    49.8 | 16.917 % |
69.84	c |     58193 |  447039  1502026 |  565876   58193  2821120    48.5 | 16.917 % |
124.20	c |     87386 |  447039  1502026 |  622464   87386  4631406    53.0 | 16.917 % |
200.36	c |    131175 |  447039  1502026 |  684710  131175  6703384    51.1 | 16.917 % |
338.46	c |    196859 |  447039  1502026 |  753181  196859 10442921    53.0 | 16.917 % |
633.85	c |    295387 |  447039  1502026 |  828499  295387 18006063    61.0 | 16.917 % |
1094.46	c |    443176 |  447039  1502026 |  911349  443176 25994936    58.7 | 16.917 % |
1813.99	
1813.99	s UNKNOWN
1813.99	c # INTERRUPTED
1813.99	c # MAIN  END :  (1814 seconds) [Mon Jan 29 19:38:35 2007]
1813.99	c # MAIN  CPU : 1.22 = 0.04 + 0.01 + 1.09 + 0.08
1813.99

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/node6/watcher-199434-1170094100 -o ROOT/results/node6/solver-199434-1170094100 -C 1800 -M 900 /tmp/evaluation/199434-1170094100/solver /tmp/evaluation/199434-1170094100 /tmp/evaluation/199434-1170094100/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: 1.85 2.10 2.07 5/87 23958
/proc/meminfo: memFree=1050648/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=18540 CPUtime=0
/proc/23957/stat : 23957 (runsolver) R 23955 23957 23270 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 29364860 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 268582841639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23957/statm: 4635 279 244 17 0 2626 0

[startup+0.109535 s]
/proc/loadavg: 1.85 2.10 2.07 5/87 23958
/proc/meminfo: memFree=1050648/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=13724 CPUtime=0.03
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1112 0 0 0 3 0 0 0 21 0 1 0 29364860 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.51761 s]
/proc/loadavg: 1.85 2.10 2.07 5/87 23958
/proc/meminfo: memFree=1050648/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=13724 CPUtime=0.03
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29364860 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.34078 s]
/proc/loadavg: 1.85 2.10 2.07 4/96 23974
/proc/meminfo: memFree=1034640/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=13724 CPUtime=0.03
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29364860 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3431 808 370 3 0 531 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23967] ppid=23957 vsize=807360 CPUtime=0.65
/proc/23967/stat : 23967 (java) R 23957 23957 23270 0 -1 0 6662 0 1 0 60 5 0 0 17 0 8 0 29364926 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23967/statm: 201840 6412 1510 14 0 189118 0
[pid=23967/tid=23968] ppid=23957 vsize=807360 CPUtime=0.02
/proc/23967/task/23968/stat : 23968 (java) S 23957 23957 23270 0 -1 64 431 0 0 0 2 0 0 0 16 0 8 0 29364930 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23967/tid=23969] ppid=23957 vsize=807360 CPUtime=0
/proc/23967/task/23969/stat : 23969 (java) S 23957 23957 23270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29364930 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23967/tid=23970] ppid=23957 vsize=807360 CPUtime=0
/proc/23967/task/23970/stat : 23970 (java) S 23957 23957 23270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29364930 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23967/tid=23971] ppid=23957 vsize=807360 CPUtime=0
/proc/23967/task/23971/stat : 23971 (java) S 23957 23957 23270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29364933 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23967/tid=23972] ppid=23957 vsize=807360 CPUtime=0.16
/proc/23967/task/23972/stat : 23972 (java) R 23957 23957 23270 0 -1 64 422 0 0 0 16 0 0 0 20 0 8 0 29364933 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23967/tid=23973] ppid=23957 vsize=807360 CPUtime=0
/proc/23967/task/23973/stat : 23973 (java) S 23957 23957 23270 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29364933 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23967/tid=23974] ppid=23957 vsize=807360 CPUtime=0
/proc/23967/task/23974/stat : 23974 (java) S 23957 23957 23270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29364934 826736640 6412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 821084

[startup+2.9911 s]
/proc/loadavg: 2.02 2.13 2.08 3/89 23975
/proc/meminfo: memFree=1016200/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 15 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=24020 CPUtime=1.05
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 6516 0 0 0 100 5 0 0 25 0 1 0 29365053 24596480 5478 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 6005 5478 51 112 0 5889 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 40012

[startup+6.27675 s]
/proc/loadavg: 2.02 2.13 2.08 3/89 23975
/proc/meminfo: memFree=1014984/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 15 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=24552 CPUtime=4.3
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 6650 0 0 0 425 5 0 0 25 0 1 0 29365053 25141248 5612 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 6138 5612 52 112 0 6022 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 40544

[startup+12.758 s]
/proc/loadavg: 2.09 2.14 2.08 3/89 23975
/proc/meminfo: memFree=1013960/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=25672 CPUtime=10.72
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 6905 0 0 0 1066 6 0 0 25 0 1 0 29365053 26288128 5867 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 6418 5867 52 112 0 6302 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 41664

[startup+25.6056 s]
/proc/loadavg: 2.08 2.13 2.08 3/89 23975
/proc/meminfo: memFree=1011656/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=27976 CPUtime=23.45
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 7497 0 0 0 2338 7 0 0 25 0 1 0 29365053 28647424 6459 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 6994 6459 52 112 0 6878 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 43968

[startup+51.3046 s]
/proc/loadavg: 2.05 2.12 2.08 3/89 23975
/proc/meminfo: memFree=1007240/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=32500 CPUtime=48.9
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 8619 0 0 0 4882 8 0 0 25 0 1 0 29365053 33280000 7581 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 8125 7581 52 112 0 8009 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 48492

[startup+102.594 s]
/proc/loadavg: 2.02 2.10 2.07 3/89 23975
/proc/meminfo: memFree=998344/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=41404 CPUtime=99.72
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 10855 0 0 0 9961 11 0 0 25 0 1 0 29365053 42397696 9817 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 10351 9817 52 112 0 10235 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 57396

[startup+162.626 s]
/proc/loadavg: 2.00 2.08 2.07 3/89 23975
/proc/meminfo: memFree=989832/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=49860 CPUtime=159.2
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 12926 0 0 0 15904 16 0 0 25 0 1 0 29365053 51056640 11888 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 12465 11888 52 112 0 12349 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 65852

[startup+222.655 s]
/proc/loadavg: 2.00 2.06 2.06 3/89 23975
/proc/meminfo: memFree=982344/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=57384 CPUtime=218.67
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 14777 0 0 0 21849 18 0 0 25 0 1 0 29365053 58761216 13739 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 14346 13739 52 112 0 14230 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 73376

[startup+282.679 s]
/proc/loadavg: 2.00 2.05 2.06 3/89 23975
/proc/meminfo: memFree=974344/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=64652 CPUtime=278.15
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 16632 0 0 0 27793 22 0 0 25 0 1 0 29365053 66203648 15594 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 16163 15594 52 112 0 16047 0
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (KiB) 80644

[startup+342.706 s]
/proc/loadavg: 2.00 2.04 2.05 3/89 23975

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

/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 38096 0 0 0 122916 58 0 0 25 0 1 0 29365053 155029504 37058 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 37849 37058 52 112 0 37733 0
Current children cumulated CPU time (s) 1231.57
Current children cumulated vsize (KiB) 167388

[startup+1303.15 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 23975
/proc/meminfo: memFree=881096/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=154972 CPUtime=1289.21
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 38979 0 0 0 128862 59 0 0 25 0 1 0 29365053 158691328 37941 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 38743 37941 52 112 0 38627 0
Current children cumulated CPU time (s) 1291.04
Current children cumulated vsize (KiB) 170964

[startup+1363.18 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 23975
/proc/meminfo: memFree=877448/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=158376 CPUtime=1348.68
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 39851 0 0 0 134807 61 0 0 25 0 1 0 29365053 162177024 38813 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 39594 38813 52 112 0 39478 0
Current children cumulated CPU time (s) 1350.51
Current children cumulated vsize (KiB) 174368

[startup+1423.2 s]
/proc/loadavg: 2.08 2.02 2.01 3/96 24039
/proc/meminfo: memFree=1541072/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=161528 CPUtime=1408.16
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 40663 0 0 0 140750 66 0 0 25 0 1 0 29365053 165404672 39625 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23975/statm: 40382 39625 52 112 0 40266 0
Current children cumulated CPU time (s) 1409.99
Current children cumulated vsize (KiB) 177520

[startup+1483.28 s]
/proc/loadavg: 2.21 2.07 2.02 3/96 24039
/proc/meminfo: memFree=1047376/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=164928 CPUtime=1468.01
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 41529 0 0 0 146733 68 0 0 25 0 1 0 29365053 168886272 40491 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528520 0 0 4096 3 0 0 0 17 0 0 0
/proc/23975/statm: 41232 40491 52 112 0 41116 0
Current children cumulated CPU time (s) 1469.84
Current children cumulated vsize (KiB) 180920

[startup+1543.37 s]
/proc/loadavg: 2.16 2.08 2.03 3/96 24039
/proc/meminfo: memFree=1040016/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=168096 CPUtime=1528.02
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 42323 0 0 0 152733 69 0 0 25 0 1 0 29365053 172130304 41285 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528442 0 0 4096 3 0 0 0 17 0 0 0
/proc/23975/statm: 42024 41285 52 112 0 41908 0
Current children cumulated CPU time (s) 1529.85
Current children cumulated vsize (KiB) 184088

[startup+1603.44 s]
/proc/loadavg: 2.06 2.07 2.02 3/96 24039
/proc/meminfo: memFree=1038544/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=171116 CPUtime=1588.02
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 43073 0 0 0 158732 70 0 0 25 0 1 0 29365053 175222784 42035 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23975/statm: 42779 42035 52 112 0 42663 0
Current children cumulated CPU time (s) 1589.85
Current children cumulated vsize (KiB) 187108

[startup+1663.44 s]
/proc/loadavg: 2.02 2.05 2.01 4/96 24041
/proc/meminfo: memFree=1033104/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=174160 CPUtime=1647.96
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 43843 0 0 0 164724 72 0 0 25 0 1 0 29365053 178339840 42805 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23975/statm: 43540 42805 52 112 0 43424 0
Current children cumulated CPU time (s) 1649.79
Current children cumulated vsize (KiB) 190152

[startup+1723.46 s]
/proc/loadavg: 2.00 2.04 2.01 3/96 24041
/proc/meminfo: memFree=1030352/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=176792 CPUtime=1707.88
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 44523 0 0 0 170714 74 0 0 25 0 1 0 29365053 181035008 43485 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23975/statm: 44198 43485 52 112 0 44082 0
Current children cumulated CPU time (s) 1709.71
Current children cumulated vsize (KiB) 192784

[startup+1783.47 s]
/proc/loadavg: 2.00 2.03 2.00 3/96 24041
/proc/meminfo: memFree=1028304/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=180604 CPUtime=1767.83
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 45446 0 0 0 176708 75 0 0 25 0 1 0 29365053 184938496 44408 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/23975/statm: 45151 44408 52 112 0 45035 0
Current children cumulated CPU time (s) 1769.66
Current children cumulated vsize (KiB) 196596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.98 s]
/proc/loadavg: 2.13 2.06 2.01 4/96 24104
/proc/meminfo: memFree=1429712/2055924 swapFree=4192812/4192956
[pid=23957] ppid=23955 vsize=15992 CPUtime=1.25
/proc/23957/stat : 23957 (sugar) S 23955 23957 23270 0 -1 4194304 1863 6681 0 1 7 1 109 8 16 0 1 0 29364860 16375808 1374 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23957/statm: 3998 1374 373 3 0 1098 0
[pid=23959] ppid=23957 vsize=0 CPUtime=0.58
/proc/23959/stat : 23959 (java) Z 23957 23957 23270 0 -1 1036 4995 0 2 0 54 4 0 0 17 0 1 0 29364866 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23975] ppid=23957 vsize=182452 CPUtime=1798.28
/proc/23975/stat : 23975 (minisat) R 23957 23957 23270 0 -1 0 45921 0 0 0 179747 81 0 0 25 0 1 0 29365053 186830848 44883 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/23975/statm: 45613 44883 52 112 0 45497 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 198444

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23957 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=166822 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=104984
CPU time returned by wait4() is 1.27181
while last known CPU time is 1800.14

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1815
CPU time (s): 1800.14
CPU user time (s): 1799.17
CPU system time (s): 0.97
CPU usage (%): 99.1812
Max. virtual memory (cumulated for all children) (KiB): 821084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.16682
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8630
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 517
involuntary context switches= 474

runsolver used 2.07768 s user time and 6.05308 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Mon Jan 29 18:08:20 UTC 2007


IDJOB= 199434
IDBENCH= 3616
IDSOLVER= 86
FILE ID= node6/199434-1170094100

PBS_JOBID= 3689423

Free space on /tmp= 66219 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-45.xml
COMMAND LINE= /tmp/evaluation/199434-1170094100/solver /tmp/evaluation/199434-1170094100 /tmp/evaluation/199434-1170094100/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-199434-1170094100 -o ROOT/results/node6/solver-199434-1170094100 -C 1800 -M 900  /tmp/evaluation/199434-1170094100/solver /tmp/evaluation/199434-1170094100 /tmp/evaluation/199434-1170094100/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  856478c949ca45a2499e3dbc7d45f44c

RANDOM SEED= 390435554

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.277
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.277
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:      2055924 kB
MemFree:       1051064 kB
Buffers:         14872 kB
Cached:         213880 kB
SwapCached:          0 kB
Active:         761088 kB
Inactive:       191692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1051064 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1220 kB
Writeback:           0 kB
Mapped:         743784 kB
Slab:            35640 kB
Committed_AS:   933096 kB
PageTables:       3508 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= 66523 MiB



End job on node6 on Mon Jan 29 18:38:37 UTC 2007