Trace number 199724

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.08 1815.33

General information on the benchmark

Namerandom/rand-2-23/
rand-23-23-253-131-55021_ext.xml
MD5SUMf66f924f2e0721e2592069e4e3d60368
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark25.0312
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables23
Number of constraints253
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension253
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.14	c # Sugar v0-40 (/tmp/evaluation/199724-1170094147/sugar-v0-40.jar)
0.14	
0.15	c # MAIN  BEGIN : /tmp/evaluation/199724-1170094147/unknown.xml [Mon Jan 29 19:09:07 2007]
0.15	c # CONVERT_XML  BEGIN : /tmp/evaluation/199724-1170094147/unknown.xml /tmp/evaluation/199724-1170094147/sugar24591.csp [Mon Jan 29 19:09:07 2007]
0.15	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199724-1170094147/sugar-v0-40.jar -convert /tmp/evaluation/199724-1170094147/unknown.xml /tmp/evaluation/199724-1170094147/sugar24591.csp
0.40	c BEGIN convert /tmp/evaluation/199724-1170094147/unknown.xml
0.92	c END convert (0.513339 seconds)
0.93	c # CONVERT_XML  END : /tmp/evaluation/199724-1170094147/sugar24591.csp 1069578 bytes (1 seconds) [Mon Jan 29 19:09:08 2007]
0.93	c # CONVERT_XML  CPU : 0.59 = 0 + 0 + 0.5 + 0.09
0.93	
0.93	c # GENERATE_SAT  BEGIN : /tmp/evaluation/199724-1170094147/sugar24591.bcnf [Mon Jan 29 19:09:08 2007]
0.93	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199724-1170094147/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199724-1170094147/sugar24591.map /tmp/evaluation/199724-1170094147/sugar24591.csp /tmp/evaluation/199724-1170094147/sugar24591.bcnf
1.04	c BEGIN parse /tmp/evaluation/199724-1170094147/sugar24591.csp
4.97	c END parse (3.926333 seconds)
4.97	c BEGIN simplify
4.99	c END simplify (0.019152 seconds)
4.99	c BEGIN encode /tmp/evaluation/199724-1170094147/sugar24591.bcnf
5.18	c END encode (0.190268 seconds)
5.24	c # GENERATE_SAT  END : 506 variables 33626 clauses 645908 bytes (4 seconds) [Mon Jan 29 19:09:12 2007]
5.24	c # GENERATE_SAT  CPU : 4.23 = 0 + 0 + 4.11 + 0.12
5.24	
5.24	c # SOLVE_SAT  BEGIN : /tmp/evaluation/199724-1170094147/sugar24591.bcnf [Mon Jan 29 19:09:12 2007]
5.24	c # CMD : /tmp/evaluation/199724-1170094147/minisat /tmp/evaluation/199724-1170094147/sugar24591.bcnf /tmp/evaluation/199724-1170094147/sugar24591.out
5.26	c ==================================[MINISAT]===================================
5.26	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
5.26	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
5.26	c ==============================================================================
5.26	c |         0 |   33626   127845 |   11208       0        0     nan |  0.000 % |
5.27	c |       101 |   33626   127845 |   12328     101      919     9.1 |  0.000 % |
5.30	c |       253 |   33626   127845 |   13561     253     2205     8.7 |  0.012 % |
5.33	c |       479 |   33626   127845 |   14917     479     4168     8.7 |  0.012 % |
5.39	c |       819 |   33626   127845 |   16409     819     6878     8.4 |  0.014 % |
5.47	c |      1326 |   33626   127845 |   18050    1326    11245     8.5 |  0.014 % |
5.57	c |      2086 |   33627   127845 |   19855    2085    19149     9.2 |  0.014 % |
5.76	c |      3225 |   33628   127845 |   21841    3223    30625     9.5 |  0.008 % |
6.02	c |      4934 |   33628   127845 |   24025    4932    48730     9.9 |  0.012 % |
6.45	c |      7498 |   33628   127845 |   26427    7496    75037    10.0 |  0.017 % |
7.14	c |     11343 |   33630   127845 |   29070   11339   116182    10.2 |  0.017 % |
8.35	c |     17109 |   33633   127845 |   31977   17102   181464    10.6 |  0.012 % |
10.27	c |     25758 |   33634   127845 |   35175   25750   280461    10.9 |  0.012 % |
13.98	c |     38734 |   33634   127845 |   38693   15575   192846    12.4 |  0.014 % |
19.48	c |     58195 |   33637   127845 |   42562   35033   434870    12.4 |  0.015 % |
28.76	c |     87388 |   33640   127845 |   46818   34394   438538    12.8 |  0.015 % |
44.44	c |    131177 |   33641   127845 |   51500   45064   602843    13.4 |  0.005 % |
68.76	c |    196862 |   33645   127845 |   56650   36812   470910    12.8 |  0.017 % |
109.27	c |    295388 |   33648   127845 |   62315   52791   743356    14.1 |  0.017 % |
174.31	c |    443177 |   33650   127845 |   68547   61346   889666    14.5 |  0.018 % |
271.55	c |    664860 |   33549   127539 |   75401   25994   346808    13.3 |  0.198 % |
428.16	c |    997385 |   33465   127227 |   82942   38853   596909    15.4 |  0.396 % |
674.62	c |   1496173 |   33483   127227 |   91236   71132  1053498    14.8 |  0.403 % |
1073.31	c |   2244356 |   32962   125287 |  100359   30366   440991    14.5 |  1.189 % |
1724.39	c |   3366630 |   32843   124797 |  110395   46561   704999    15.1 |  1.384 % |
1815.33	s UNKNOWN
1815.33	c # ERROR No such file or directory /tmp/evaluation/199724-1170094147/sugar24591.out, at /tmp/evaluation/199724-1170094147/sugar line 393.
1815.33	
1815.33	c # MAIN  END :  (1816 seconds) [Mon Jan 29 19:39:23 2007]
1815.33	c # MAIN  CPU : 1800.03 = 0 + 0.01 + 1799.61 + 0.41
1815.33

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/node3/watcher-199724-1170094147 -o ROOT/results/node3/solver-199724-1170094147 -C 1800 -M 900 /tmp/evaluation/199724-1170094147/solver /tmp/evaluation/199724-1170094147 /tmp/evaluation/199724-1170094147/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.77 3.00 2.83 5/88 24592
/proc/meminfo: memFree=1862520/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=18540 CPUtime=0
/proc/24591/stat : 24591 (runsolver) R 24589 24591 23405 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 29369568 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 233632754983 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24591/statm: 4635 279 244 17 0 2626 0

[startup+0.109927 s]
/proc/loadavg: 2.77 3.00 2.83 5/88 24592
/proc/meminfo: memFree=1862520/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=12668 CPUtime=0.01
/proc/24591/stat : 24591 (sugar) R 24589 24591 23405 0 -1 4194304 773 0 4 0 1 0 0 0 18 0 1 0 29369568 12972032 496 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233652699110 0 0 4224 0 0 0 0 17 1 0 0
/proc/24591/statm: 3167 496 315 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668

[startup+0.51796 s]
/proc/loadavg: 2.77 3.00 2.83 5/88 24592
/proc/meminfo: memFree=1862520/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=0.03
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1117 0 4 0 3 0 0 0 15 0 1 0 29369568 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.34203 s]
/proc/loadavg: 2.77 3.00 2.83 4/96 24608
/proc/meminfo: memFree=1845688/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=0.62
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1186 7425 4 30 3 0 50 9 15 0 1 0 29369568 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24591/statm: 3431 809 371 3 0 531 0
[pid=24601] ppid=24591 vsize=807064 CPUtime=0.39
/proc/24601/stat : 24601 (java) R 24591 24591 23405 0 -1 0 6967 0 1 0 35 4 0 0 25 0 8 0 29369662 826433536 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24601/statm: 201766 6716 1494 14 0 189044 0
[pid=24601/tid=24602] ppid=24591 vsize=807064 CPUtime=0.04
/proc/24601/task/24602/stat : 24602 (java) R 24591 24591 23405 0 -1 64 917 0 0 0 4 0 0 0 16 0 8 0 29369665 826433536 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24603] ppid=24591 vsize=807064 CPUtime=0
/proc/24601/task/24603/stat : 24603 (java) S 24591 24591 23405 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369666 826433536 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24604] ppid=24591 vsize=807064 CPUtime=0
/proc/24601/task/24604/stat : 24604 (java) S 24591 24591 23405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369666 826433536 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24605] ppid=24591 vsize=807064 CPUtime=0
/proc/24601/task/24605/stat : 24605 (java) S 24591 24591 23405 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29369669 826433536 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24606] ppid=24591 vsize=807064 CPUtime=0.04
/proc/24601/task/24606/stat : 24606 (java) S 24591 24591 23405 0 -1 64 292 0 0 0 4 0 0 0 18 0 8 0 29369669 826433536 6719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24607] ppid=24591 vsize=807064 CPUtime=0
/proc/24601/task/24607/stat : 24607 (java) S 24591 24591 23405 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29369669 826433536 6720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24608] ppid=24591 vsize=807064 CPUtime=0
/proc/24601/task/24608/stat : 24608 (java) S 24591 24591 23405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29369669 826433536 6720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 820788

[startup+2.98917 s]
/proc/loadavg: 2.77 3.00 2.83 4/96 24608
/proc/meminfo: memFree=1815544/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=0.62
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1186 7425 4 30 3 0 50 9 15 0 1 0 29369568 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24591/statm: 3431 809 371 3 0 531 0
[pid=24601] ppid=24591 vsize=807336 CPUtime=2.01
/proc/24601/stat : 24601 (java) R 24591 24591 23405 0 -1 0 12603 0 1 0 194 7 0 0 25 0 8 0 29369662 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598443 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24601/statm: 201834 12338 1506 14 0 189112 0
[pid=24601/tid=24602] ppid=24591 vsize=807336 CPUtime=0.4
/proc/24601/task/24602/stat : 24602 (java) S 24591 24591 23405 0 -1 64 6406 0 0 0 38 2 0 0 16 0 8 0 29369665 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24603] ppid=24591 vsize=807336 CPUtime=0
/proc/24601/task/24603/stat : 24603 (java) S 24591 24591 23405 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369666 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24604] ppid=24591 vsize=807336 CPUtime=0
/proc/24601/task/24604/stat : 24604 (java) S 24591 24591 23405 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369666 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24605] ppid=24591 vsize=807336 CPUtime=0
/proc/24601/task/24605/stat : 24605 (java) S 24591 24591 23405 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29369669 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24606] ppid=24591 vsize=807336 CPUtime=0.12
/proc/24601/task/24606/stat : 24606 (java) S 24591 24591 23405 0 -1 64 399 0 0 0 11 1 0 0 16 0 8 0 29369669 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24607] ppid=24591 vsize=807336 CPUtime=0
/proc/24601/task/24607/stat : 24607 (java) S 24591 24591 23405 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29369669 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24601/tid=24608] ppid=24591 vsize=807336 CPUtime=0
/proc/24601/task/24608/stat : 24608 (java) S 24591 24591 23405 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29369669 826712064 12338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 821060

[startup+6.26843 s]
/proc/loadavg: 2.79 3.00 2.83 3/89 24609
/proc/meminfo: memFree=1849008/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 15 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=3588 CPUtime=1.01
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 709 0 0 0 101 0 0 0 25 0 1 0 29370092 3674112 537 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 897 537 51 112 0 781 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 17312

[startup+12.744 s]
/proc/loadavg: 2.73 2.98 2.83 3/89 24609
/proc/meminfo: memFree=1846576/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=5704 CPUtime=7.42
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 1257 0 0 0 742 0 0 0 25 0 1 0 29370092 5840896 1085 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 1426 1085 51 112 0 1310 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 19428

[startup+25.567 s]
/proc/loadavg: 2.56 2.93 2.82 3/89 24609
/proc/meminfo: memFree=1845488/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=7040 CPUtime=20.13
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 1551 0 0 0 2012 1 0 0 25 0 1 0 29370092 7208960 1379 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 1760 1379 51 112 0 1644 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 20764

[startup+51.2381 s]
/proc/loadavg: 2.37 2.86 2.79 3/89 24609
/proc/meminfo: memFree=1843824/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=8616 CPUtime=45.56
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 1944 0 0 0 4555 1 0 0 25 0 1 0 29370092 8822784 1772 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 2154 1772 51 112 0 2038 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 22340

[startup+102.503 s]
/proc/loadavg: 2.16 2.72 2.75 3/89 24609
/proc/meminfo: memFree=1841648/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=10124 CPUtime=96.37
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 2316 0 0 0 9635 2 0 0 25 0 1 0 29370092 10366976 2144 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528406 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 2531 2144 51 112 0 2415 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 23848

[startup+162.51 s]
/proc/loadavg: 2.06 2.59 2.70 3/89 24609
/proc/meminfo: memFree=1839856/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=11640 CPUtime=155.83
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 2667 0 0 0 15580 3 0 0 25 0 1 0 29370092 11919360 2495 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 2910 2495 51 112 0 2794 0
Current children cumulated CPU time (s) 160.69
Current children cumulated vsize (KiB) 25364

[startup+222.582 s]
/proc/loadavg: 2.02 2.48 2.65 3/89 24609
/proc/meminfo: memFree=1838128/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=12872 CPUtime=215.36
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 2978 0 0 0 21532 4 0 0 25 0 1 0 29370092 13180928 2806 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 3218 2806 51 112 0 3102 0
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (KiB) 26596

[startup+282.658 s]
/proc/loadavg: 2.00 2.39 2.61 3/89 24609
/proc/meminfo: memFree=1836592/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=13604 CPUtime=274.89
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 3178 0 0 0 27485 4 0 0 25 0 1 0 29370092 13930496 3006 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527982 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 3401 3006 51 112 0 3285 0
Current children cumulated CPU time (s) 279.75
Current children cumulated vsize (KiB) 27328

[startup+342.751 s]
/proc/loadavg: 2.00 2.32 2.57 3/89 24609
/proc/meminfo: memFree=1834480/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=15264 CPUtime=334.44
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 3584 0 0 0 33439 5 0 0 25 0 1 0 29370092 15630336 3412 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 3816 3412 51 112 0 3700 0
Current children cumulated CPU time (s) 339.3
Current children cumulated vsize (KiB) 28988

[startup+402.76 s]
/proc/loadavg: 2.15 2.29 2.54 3/89 24609
/proc/meminfo: memFree=1833520/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0

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

/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=21696 CPUtime=1048.05
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5207 0 0 0 104794 11 0 0 25 0 1 0 29370092 22216704 4973 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527117 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 5424 4973 51 112 0 5308 0
Current children cumulated CPU time (s) 1052.91
Current children cumulated vsize (KiB) 35420

[startup+1122.92 s]
/proc/loadavg: 2.00 2.04 2.25 3/89 24609
/proc/meminfo: memFree=1823728/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=21876 CPUtime=1107.51
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5225 0 0 0 110740 11 0 0 25 0 1 0 29370092 22401024 4991 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 5469 4991 51 112 0 5353 0
Current children cumulated CPU time (s) 1112.37
Current children cumulated vsize (KiB) 35600

[startup+1182.94 s]
/proc/loadavg: 2.00 2.03 2.23 3/89 24609
/proc/meminfo: memFree=1822832/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=22548 CPUtime=1166.99
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5370 0 0 0 116687 12 0 0 25 0 1 0 29370092 23089152 5136 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 5637 5136 51 112 0 5521 0
Current children cumulated CPU time (s) 1171.85
Current children cumulated vsize (KiB) 36272

[startup+1242.95 s]
/proc/loadavg: 2.00 2.02 2.21 3/89 24609
/proc/meminfo: memFree=1822256/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=22832 CPUtime=1226.45
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5448 0 0 0 122633 12 0 0 25 0 1 0 29370092 23379968 5214 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 5708 5214 51 112 0 5592 0
Current children cumulated CPU time (s) 1231.31
Current children cumulated vsize (KiB) 36556

[startup+1302.96 s]
/proc/loadavg: 2.00 2.02 2.20 3/89 24609
/proc/meminfo: memFree=1821744/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=23264 CPUtime=1285.92
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5545 0 0 0 128579 13 0 0 25 0 1 0 29370092 23822336 5311 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 5816 5311 51 112 0 5700 0
Current children cumulated CPU time (s) 1290.78
Current children cumulated vsize (KiB) 36988

[startup+1362.96 s]
/proc/loadavg: 2.00 2.01 2.18 3/89 24609
/proc/meminfo: memFree=1820912/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=23852 CPUtime=1345.38
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5691 0 0 0 134525 13 0 0 25 0 1 0 29370092 24424448 5457 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 5963 5457 51 112 0 5847 0
Current children cumulated CPU time (s) 1350.24
Current children cumulated vsize (KiB) 37576

[startup+1423.04 s]
/proc/loadavg: 2.00 2.01 2.17 3/89 24609
/proc/meminfo: memFree=1820144/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=24260 CPUtime=1404.91
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5796 0 0 0 140477 14 0 0 25 0 1 0 29370092 24842240 5562 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528516 0 0 4096 3 0 0 0 17 1 0 0
/proc/24609/statm: 6065 5562 51 112 0 5949 0
Current children cumulated CPU time (s) 1409.77
Current children cumulated vsize (KiB) 37984

[startup+1483.07 s]
/proc/loadavg: 2.23 2.05 2.17 3/95 24673
/proc/meminfo: memFree=1225800/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=24748 CPUtime=1464.63
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5899 0 0 0 146445 18 0 0 25 0 1 0 29370092 25341952 5665 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24609/statm: 6187 5665 51 112 0 6071 0
Current children cumulated CPU time (s) 1469.49
Current children cumulated vsize (KiB) 38472

[startup+1543.14 s]
/proc/loadavg: 2.17 2.07 2.17 3/95 24673
/proc/meminfo: memFree=1172808/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=24884 CPUtime=1524.37
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 5926 0 0 0 152419 18 0 0 25 0 1 0 29370092 25481216 5692 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24609/statm: 6221 5692 51 112 0 6105 0
Current children cumulated CPU time (s) 1529.23
Current children cumulated vsize (KiB) 38608

[startup+1603.2 s]
/proc/loadavg: 2.15 2.08 2.17 3/95 24675
/proc/meminfo: memFree=1171912/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=25360 CPUtime=1584.14
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 6026 0 0 0 158395 19 0 0 25 0 1 0 29370092 25968640 5792 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24609/statm: 6340 5792 51 112 0 6224 0
Current children cumulated CPU time (s) 1589
Current children cumulated vsize (KiB) 39084

[startup+1663.26 s]
/proc/loadavg: 2.05 2.06 2.16 3/95 24675
/proc/meminfo: memFree=1171528/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=25532 CPUtime=1643.89
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 6092 0 0 0 164370 19 0 0 25 0 1 0 29370092 26144768 5858 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24609/statm: 6383 5858 51 112 0 6267 0
Current children cumulated CPU time (s) 1648.75
Current children cumulated vsize (KiB) 39256

[startup+1723.33 s]
/proc/loadavg: 2.02 2.05 2.15 3/95 24675
/proc/meminfo: memFree=1171144/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=25860 CPUtime=1703.65
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 6147 0 0 0 170346 19 0 0 25 0 1 0 29370092 26480640 5913 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528368 0 0 4096 3 0 0 0 17 0 0 0
/proc/24609/statm: 6465 5913 51 112 0 6349 0
Current children cumulated CPU time (s) 1708.51
Current children cumulated vsize (KiB) 39584

[startup+1783.4 s]
/proc/loadavg: 2.00 2.04 2.13 3/95 24675
/proc/meminfo: memFree=1170632/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=26192 CPUtime=1763.43
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 6249 0 0 0 176324 19 0 0 25 0 1 0 29370092 26820608 6015 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24609/statm: 6548 6015 51 112 0 6432 0
Current children cumulated CPU time (s) 1768.29
Current children cumulated vsize (KiB) 39916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.32 s]
/proc/loadavg: 2.00 2.03 2.13 3/95 24675
/proc/meminfo: memFree=1170248/2055920 swapFree=4192812/4192956
[pid=24591] ppid=24589 vsize=13724 CPUtime=4.86
/proc/24591/stat : 24591 (sugar) S 24589 24591 23405 0 -1 4194304 1272 26022 4 33 3 1 461 21 16 0 1 0 29369568 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24591/statm: 3431 815 373 3 0 531 0
[pid=24609] ppid=24591 vsize=26564 CPUtime=1795.19
/proc/24609/stat : 24609 (minisat) R 24591 24591 23405 0 -1 0 6330 0 0 0 179500 19 0 0 25 0 1 0 29370092 27201536 6096 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525604 0 0 4096 3 0 0 0 17 0 0 0
/proc/24609/statm: 6641 6096 51 112 0 6525 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 40288

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

Child status: 1
Real time (s): 1815.33
CPU time (s): 1800.08
CPU user time (s): 1799.65
CPU system time (s): 0.427934
CPU usage (%): 99.1597
Max. virtual memory (cumulated for all children) (KiB): 821060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.427934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33713
page faults= 37
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1605
involuntary context switches= 38233

runsolver used 2.08068 s user time and 5.75912 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Mon Jan 29 18:09:07 UTC 2007


IDJOB= 199724
IDBENCH= 3633
IDSOLVER= 86
FILE ID= node3/199724-1170094147

PBS_JOBID= 3689425

Free space on /tmp= 66561 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-55021_ext.xml
COMMAND LINE= /tmp/evaluation/199724-1170094147/solver /tmp/evaluation/199724-1170094147 /tmp/evaluation/199724-1170094147/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-199724-1170094147 -o ROOT/results/node3/solver-199724-1170094147 -C 1800 -M 900  /tmp/evaluation/199724-1170094147/solver /tmp/evaluation/199724-1170094147 /tmp/evaluation/199724-1170094147/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  f66f924f2e0721e2592069e4e3d60368

RANDOM SEED= 334367388

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.241
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.241
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:       1863192 kB
Buffers:         34012 kB
Cached:          37456 kB
SwapCached:          0 kB
Active:         111912 kB
Inactive:        32868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1464 kB
Writeback:           0 kB
Mapped:          93060 kB
Slab:            33056 kB
Committed_AS:   315832 kB
PageTables:       2052 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= 66525 MiB



End job on node3 on Mon Jan 29 18:39:23 UTC 2007