Trace number 238293

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.12 1811.51

General information on the benchmark

NameblackHole/BH-4-4/
BlackHole-4-4-e-3_ext.xml
MD5SUM5ae826111ad92a5b7ff1e7bcb54e381b
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 benchmark0.233964
SatisfiableNO
(Un)Satisfiability was proved
Number of variables64
Number of constraints432
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension432
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.07	c # Sugar v0-40 (/tmp/evaluation/238293-1170108613/sugar-v0-40.jar)
0.07	
0.07	c # MAIN  BEGIN : /tmp/evaluation/238293-1170108613/unknown.xml [Mon Jan 29 23:10:15 2007]
0.07	c # CONVERT_XML  BEGIN : /tmp/evaluation/238293-1170108613/unknown.xml /tmp/evaluation/238293-1170108613/sugar25051.csp [Mon Jan 29 23:10:15 2007]
0.07	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238293-1170108613/sugar-v0-40.jar -convert /tmp/evaluation/238293-1170108613/unknown.xml /tmp/evaluation/238293-1170108613/sugar25051.csp
0.24	c BEGIN convert /tmp/evaluation/238293-1170108613/unknown.xml
0.56	c END convert (0.325114 seconds)
0.62	c # CONVERT_XML  END : /tmp/evaluation/238293-1170108613/sugar25051.csp 324167 bytes (1 seconds) [Mon Jan 29 23:10:16 2007]
0.62	c # CONVERT_XML  CPU : 0.42 = 0 + 0 + 0.37 + 0.05
0.62	
0.62	c # GENERATE_SAT  BEGIN : /tmp/evaluation/238293-1170108613/sugar25051.bcnf [Mon Jan 29 23:10:16 2007]
0.62	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238293-1170108613/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238293-1170108613/sugar25051.map /tmp/evaluation/238293-1170108613/sugar25051.csp /tmp/evaluation/238293-1170108613/sugar25051.bcnf
0.73	c BEGIN parse /tmp/evaluation/238293-1170108613/sugar25051.csp
4.16	c END parse (3.432619 seconds)
4.16	c BEGIN simplify
4.19	c END simplify (0.029926 seconds)
4.19	c BEGIN encode /tmp/evaluation/238293-1170108613/sugar25051.bcnf
4.43	c END encode (0.235141 seconds)
4.48	c # GENERATE_SAT  END : 3860 variables 16739 clauses 1640068 bytes (4 seconds) [Mon Jan 29 23:10:20 2007]
4.48	c # GENERATE_SAT  CPU : 3.82 = 0.03 + 0.01 + 3.59 + 0.19
4.48	
4.48	c # SOLVE_SAT  BEGIN : /tmp/evaluation/238293-1170108613/sugar25051.bcnf [Mon Jan 29 23:10:20 2007]
4.48	c # CMD : /tmp/evaluation/238293-1170108613/minisat /tmp/evaluation/238293-1170108613/sugar25051.bcnf /tmp/evaluation/238293-1170108613/sugar25051.out
4.52	c ==================================[MINISAT]===================================
4.52	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
4.52	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
4.52	c ==============================================================================
4.52	c |         0 |   15926   371807 |    5308       0        0     nan |  0.000 % |
4.54	c |       100 |   15940   371807 |    5838      82      751     9.2 |  1.917 % |
4.55	c |       250 |   15948   371807 |    6422     223     2039     9.1 |  1.943 % |
4.56	c |       475 |   15950   371807 |    7064     446     4710    10.6 |  1.943 % |
4.57	c |       812 |   15957   371807 |    7771     776     8923    11.5 |  1.943 % |
4.59	c |      1318 |   15961   371807 |    8548    1278    15698    12.3 |  1.943 % |
4.61	c |      2079 |   15962   371807 |    9403    2038    25523    12.5 |  1.943 % |
4.66	c |      3218 |   15967   371807 |   10343    3172    49138    15.5 |  1.943 % |
4.72	c |      4927 |   15970   371807 |   11378    4878    74939    15.4 |  1.943 % |
4.85	c |      7490 |   15972   371807 |   12515    7439   130690    17.6 |  1.943 % |
5.11	c |     11334 |   15972   371807 |   13767   11283   219402    19.4 |  1.943 % |
5.61	c |     17100 |   15873   370962 |   15144    9961   219781    22.1 |  1.943 % |
6.37	c |     25751 |   15875   370962 |   16658   10867   233034    21.4 |  1.943 % |
7.67	c |     38725 |   15876   370962 |   18324   15308   362904    23.7 |  1.943 % |
9.63	c |     58187 |   15876   370962 |   20157   16059   389404    24.2 |  1.943 % |
12.62	c |     87381 |   15877   370962 |   22172   14332   347065    24.2 |  1.943 % |
18.52	c |    131170 |   15878   370962 |   24390   13082   274765    21.0 |  1.943 % |
26.92	c |    196855 |   15655   370265 |   26829   16581   315040    19.0 |  1.970 % |
42.28	c |    295382 |   15666   370265 |   29512   19231   326231    17.0 |  1.969 % |
64.75	c |    443172 |   15429   369520 |   32463   16509   492003    29.8 |  2.383 % |
104.47	c |    664855 |   15222   368777 |   35709   28065   780740    27.8 |  2.410 % |
175.80	c |    997380 |   15214   368604 |   39280   17896   410982    23.0 |  2.824 % |
277.21	c |   1496169 |   15231   368604 |   43208   30001   801523    26.7 |  2.824 % |
433.46	c |   2244353 |   15266   368604 |   47529   16513   473297    28.7 |  2.824 % |
721.72	c |   3366628 |   15285   368604 |   52282   17684   511349    28.9 |  2.824 % |
1200.96	c |   5050040 |   15301   368604 |   57510   31496  1015321    32.2 |  2.825 % |
1811.45	s UNKNOWN
1811.45	c # ERROR No such file or directory /tmp/evaluation/238293-1170108613/sugar25051.out, at /tmp/evaluation/238293-1170108613/sugar line 393.
1811.45	
1811.45	c # MAIN  END :  (1812 seconds) [Mon Jan 29 23:40:27 2007]
1811.45	c # MAIN  CPU : 1800.07 = 0.03 + 0.01 + 1796.99 + 3.04
1811.45

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/node30/watcher-238293-1170108613 -o ROOT/results/node30/solver-238293-1170108613 -C 1800 -M 900 /tmp/evaluation/238293-1170108613/solver /tmp/evaluation/238293-1170108613 /tmp/evaluation/238293-1170108613/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
/proc/loadavg: 4.49 4.13 3.04 3/94 25052
/proc/meminfo: memFree=18256/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=18540 CPUtime=0
/proc/25051/stat : 25051 (runsolver) R 25049 24985 24985 0 -1 4194368 1 0 0 0 0 0 0 0 19 0 1 0 4625562 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 264907582111 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25051/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.102178 s]
/proc/loadavg: 4.49 4.13 3.04 3/94 25052
/proc/meminfo: memFree=18256/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=13724 CPUtime=0.03
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 4625562 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.510237 s]
/proc/loadavg: 4.49 4.13 3.04 3/94 25052
/proc/meminfo: memFree=18256/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=13724 CPUtime=0.03
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4625562 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33236 s]
/proc/loadavg: 4.49 4.13 3.04 4/102 25068
/proc/meminfo: memFree=16272/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=13724 CPUtime=0.45
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1190 6728 0 1 3 0 37 5 15 0 1 0 4625562 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3431 809 371 3 0 531 0
[pid=25061] ppid=25051 vsize=807336 CPUtime=0.68
/proc/25061/stat : 25061 (java) R 25051 25051 24985 0 -1 0 8198 0 1 0 62 6 0 0 25 0 8 0 4625625 826712064 7945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25061/statm: 201834 7947 1506 14 0 189112 0
[pid=25061/tid=25062] ppid=25051 vsize=807336 CPUtime=0.09
/proc/25061/task/25062/stat : 25062 (java) R 25051 25051 24985 0 -1 64 2025 0 0 0 9 0 0 0 16 0 8 0 4625628 826712064 7948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25063] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25063/stat : 25063 (java) S 25051 25051 24985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4625628 826712064 7949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25064] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25064/stat : 25064 (java) S 25051 25051 24985 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4625628 826712064 7951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25065] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25065/stat : 25065 (java) S 25051 25051 24985 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4625631 826712064 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25066] ppid=25051 vsize=807336 CPUtime=0.09
/proc/25061/task/25066/stat : 25066 (java) S 25051 25051 24985 0 -1 64 378 0 0 0 9 0 0 0 16 0 8 0 4625631 826712064 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25067] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25067/stat : 25067 (java) S 25051 25051 24985 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 4625631 826712064 7955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25068] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25068/stat : 25068 (java) S 25051 25051 24985 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4625631 826712064 7957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 821060

[startup+2.98259 s]
/proc/loadavg: 4.53 4.15 3.05 3/102 25068
/proc/meminfo: memFree=16144/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=13724 CPUtime=0.45
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1190 6728 0 1 3 0 37 5 15 0 1 0 4625562 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3431 809 371 3 0 531 0
[pid=25061] ppid=25051 vsize=807336 CPUtime=2.31
/proc/25061/stat : 25061 (java) R 25051 25051 24985 0 -1 0 16683 0 1 0 220 11 0 0 20 0 8 0 4625625 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073704014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25061/statm: 201834 16381 1506 14 0 189112 0
[pid=25061/tid=25062] ppid=25051 vsize=807336 CPUtime=0.48
/proc/25061/task/25062/stat : 25062 (java) S 25051 25051 24985 0 -1 64 10437 0 0 0 44 4 0 0 16 0 8 0 4625628 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25061/tid=25063] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25063/stat : 25063 (java) S 25051 25051 24985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4625628 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25064] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25064/stat : 25064 (java) S 25051 25051 24985 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4625628 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25065] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25065/stat : 25065 (java) S 25051 25051 24985 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4625631 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25066] ppid=25051 vsize=807336 CPUtime=0.12
/proc/25061/task/25066/stat : 25066 (java) S 25051 25051 24985 0 -1 64 399 0 0 0 12 0 0 0 16 0 8 0 4625631 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25061/tid=25067] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25067/stat : 25067 (java) S 25051 25051 24985 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 4625631 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25061/tid=25068] ppid=25051 vsize=807336 CPUtime=0
/proc/25061/task/25068/stat : 25068 (java) S 25051 25051 24985 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4625631 826712064 16381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 821060

[startup+6.18504 s]
/proc/loadavg: 4.53 4.15 3.05 3/96 25070
/proc/meminfo: memFree=79296/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 15 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=5852 CPUtime=1.67
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 1521 0 0 0 164 3 0 0 25 0 1 0 4626011 5992448 1105 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528551 0 0 4096 3 0 0 0 17 1 0 0
/proc/25069/statm: 1463 1105 52 112 0 1347 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 21392

[startup+12.661 s]
/proc/loadavg: 4.43 4.14 3.06 3/95 25072
/proc/meminfo: memFree=16328/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=7184 CPUtime=8.01
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 1852 0 0 0 792 9 0 0 25 0 1 0 4626011 7356416 1436 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528455 0 0 4096 3 0 0 0 17 1 0 0
/proc/25069/statm: 1796 1436 52 112 0 1680 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 22724

[startup+25.4998 s]
/proc/loadavg: 4.06 4.07 3.05 3/95 25072
/proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=8256 CPUtime=20.77
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 2128 0 0 0 2064 13 0 0 25 0 1 0 4626011 8454144 1712 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134532775 0 0 4096 3 0 0 0 17 1 0 0
/proc/25069/statm: 2064 1712 52 112 0 1948 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 23796

[startup+51.1745 s]
/proc/loadavg: 3.50 3.94 3.03 3/95 25072
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=10048 CPUtime=46.28
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 2560 0 0 0 4607 21 0 0 25 0 1 0 4626011 10289152 2144 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25069/statm: 2512 2144 52 112 0 2396 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 25588

[startup+102.415 s]
/proc/loadavg: 2.72 3.65 2.98 3/95 25072
/proc/meminfo: memFree=15752/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=12596 CPUtime=97.2
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 3188 0 0 0 9683 37 0 0 25 0 1 0 4626011 12898304 2772 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525608 0 0 4096 3 0 0 0 17 1 0 0
/proc/25069/statm: 3149 2772 52 112 0 3033 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 28136

[startup+162.51 s]
/proc/loadavg: 2.89 3.52 2.97 3/95 25072
/proc/meminfo: memFree=15816/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=14444 CPUtime=156.84
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 3640 0 0 0 15629 55 0 0 25 0 1 0 4626011 14790656 3224 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525752 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 3611 3224 52 112 0 3495 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 29984

[startup+222.607 s]
/proc/loadavg: 3.16 3.46 2.99 3/95 25072
/proc/meminfo: memFree=15432/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=15416 CPUtime=216.5
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 3856 0 0 0 21579 71 0 0 25 0 1 0 4626011 15785984 3440 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528574 0 0 4096 3 0 0 0 17 1 0 0
/proc/25069/statm: 3854 3440 52 112 0 3738 0
Current children cumulated CPU time (s) 220.77
Current children cumulated vsize (KiB) 30956

[startup+282.611 s]
/proc/loadavg: 2.65 3.27 2.95 3/95 25072
/proc/meminfo: memFree=14984/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=15640 CPUtime=276.11
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 3904 0 0 0 27529 82 0 0 25 0 1 0 4626011 16015360 3488 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 3910 3488 52 112 0 3794 0
Current children cumulated CPU time (s) 280.38
Current children cumulated vsize (KiB) 31180

[startup+342.678 s]
/proc/loadavg: 2.36 3.07 2.90 3/95 25072
/proc/meminfo: memFree=15816/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=16536 CPUtime=335.81
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 4122 0 0 0 33493 88 0 0 25 0 1 0 4626011 16932864 3706 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 4134 3706 52 112 0 4018 0
Current children cumulated CPU time (s) 340.08
Current children cumulated vsize (KiB) 32076

[startup+402.73 s]
/proc/loadavg: 2.13 2.87 2.84 3/95 25072
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0

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

/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=22980 CPUtime=1052.19
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 5654 0 0 0 105071 148 0 0 25 0 1 0 4626011 23531520 5238 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 5745 5238 52 112 0 5629 0
Current children cumulated CPU time (s) 1056.46
Current children cumulated vsize (KiB) 38520

[startup+1123.33 s]
/proc/loadavg: 2.74 2.37 2.50 3/95 25074
/proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=23312 CPUtime=1111.91
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 5731 0 0 0 111037 154 0 0 25 0 1 0 4626011 23871488 5315 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 5828 5315 52 112 0 5712 0
Current children cumulated CPU time (s) 1116.18
Current children cumulated vsize (KiB) 38852

[startup+1183.39 s]
/proc/loadavg: 2.57 2.40 2.50 3/95 25074
/proc/meminfo: memFree=15688/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=23464 CPUtime=1171.62
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 5771 0 0 0 117003 159 0 0 25 0 1 0 4626011 24027136 5355 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 5866 5355 52 112 0 5750 0
Current children cumulated CPU time (s) 1175.89
Current children cumulated vsize (KiB) 39004

[startup+1243.43 s]
/proc/loadavg: 2.27 2.34 2.47 3/95 25074
/proc/meminfo: memFree=14856/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=23896 CPUtime=1231.32
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 5862 0 0 0 122966 166 0 0 25 0 1 0 4626011 24469504 5446 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 5974 5446 52 112 0 5858 0
Current children cumulated CPU time (s) 1235.59
Current children cumulated vsize (KiB) 39436

[startup+1303.46 s]
/proc/loadavg: 2.18 2.29 2.44 3/95 25074
/proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=24180 CPUtime=1291.02
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 5948 0 0 0 128931 171 0 0 25 0 1 0 4626011 24760320 5532 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6045 5532 52 112 0 5929 0
Current children cumulated CPU time (s) 1295.29
Current children cumulated vsize (KiB) 39720

[startup+1363.49 s]
/proc/loadavg: 2.12 2.25 2.42 3/95 25074
/proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=24324 CPUtime=1350.71
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 5981 0 0 0 134896 175 0 0 25 0 1 0 4626011 24907776 5565 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6081 5565 52 112 0 5965 0
Current children cumulated CPU time (s) 1354.98
Current children cumulated vsize (KiB) 39864

[startup+1423.53 s]
/proc/loadavg: 2.04 2.20 2.39 3/95 25074
/proc/meminfo: memFree=15560/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=24772 CPUtime=1410.38
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6084 0 0 0 140857 181 0 0 25 0 1 0 4626011 25366528 5668 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525924 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6193 5668 52 112 0 6077 0
Current children cumulated CPU time (s) 1414.65
Current children cumulated vsize (KiB) 40312

[startup+1483.57 s]
/proc/loadavg: 2.10 2.19 2.37 3/95 25074
/proc/meminfo: memFree=14856/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=25468 CPUtime=1470.08
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6228 0 0 0 146823 185 0 0 25 0 1 0 4626011 26079232 5812 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6367 5812 52 112 0 6251 0
Current children cumulated CPU time (s) 1474.35
Current children cumulated vsize (KiB) 41008

[startup+1543.59 s]
/proc/loadavg: 2.19 2.20 2.36 2/89 25077
/proc/meminfo: memFree=1820864/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=26208 CPUtime=1529.75
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6417 0 0 0 152783 192 0 0 25 0 1 0 4626011 26836992 6001 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6552 6001 52 112 0 6436 0
Current children cumulated CPU time (s) 1534.02
Current children cumulated vsize (KiB) 41748

[startup+1603.67 s]
/proc/loadavg: 2.65 2.32 2.39 3/95 25140
/proc/meminfo: memFree=1139080/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=26508 CPUtime=1589.28
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6466 0 0 0 158714 214 0 0 25 0 1 0 4626011 27144192 6050 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6627 6050 52 112 0 6511 0
Current children cumulated CPU time (s) 1593.55
Current children cumulated vsize (KiB) 42048

[startup+1663.73 s]
/proc/loadavg: 3.87 2.70 2.51 3/95 25140
/proc/meminfo: memFree=180104/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=26508 CPUtime=1648.99
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6484 0 0 0 164668 231 0 0 25 0 1 0 4626011 27144192 6068 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6627 6068 52 112 0 6511 0
Current children cumulated CPU time (s) 1653.26
Current children cumulated vsize (KiB) 42048

[startup+1723.78 s]
/proc/loadavg: 3.79 2.93 2.60 3/95 25140
/proc/meminfo: memFree=16072/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=26800 CPUtime=1708.69
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6547 0 0 0 170620 249 0 0 25 0 1 0 4626011 27443200 6131 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6700 6131 52 112 0 6584 0
Current children cumulated CPU time (s) 1712.96
Current children cumulated vsize (KiB) 42340

[startup+1783.83 s]
/proc/loadavg: 2.95 2.83 2.59 3/95 25140
/proc/meminfo: memFree=15624/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=26968 CPUtime=1768.34
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6589 0 0 0 176564 270 0 0 25 0 1 0 4626011 27615232 6173 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6742 6173 52 112 0 6626 0
Current children cumulated CPU time (s) 1772.61
Current children cumulated vsize (KiB) 42508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.44 s]
/proc/loadavg: 2.78 2.80 2.58 4/95 25140
/proc/meminfo: memFree=14984/2055920 swapFree=4192812/4192956
[pid=25051] ppid=25049 vsize=15540 CPUtime=4.27
/proc/25051/stat : 25051 (sugar) S 25049 25051 24985 0 -1 4194304 1744 30914 0 2 6 1 396 24 16 0 1 0 4625562 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25051/statm: 3885 1256 373 3 0 985 0
[pid=25069] ppid=25051 vsize=27492 CPUtime=1795.81
/proc/25069/stat : 25069 (minisat) R 25051 25051 24985 0 -1 0 6722 0 0 0 179302 279 0 0 25 0 1 0 4626011 28151808 6306 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25069/statm: 6873 6306 52 112 0 6757 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 43032

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

Child status: 1
Real time (s): 1811.51
CPU time (s): 1800.12
CPU user time (s): 1797.06
CPU system time (s): 3.05853
CPU usage (%): 99.3713
Max. virtual memory (cumulated for all children) (KiB): 821060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 3.05854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39470
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= 1856
involuntary context switches= 84235

runsolver used 2.26166 s user time and 5.99109 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Jan 29 22:10:14 UTC 2007


IDJOB= 238293
IDBENCH= 6994
IDSOLVER= 86
FILE ID= node30/238293-1170108613

PBS_JOBID= 3689961

Free space on /tmp= 59619 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-3_ext.xml
COMMAND LINE= /tmp/evaluation/238293-1170108613/solver /tmp/evaluation/238293-1170108613 /tmp/evaluation/238293-1170108613/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-238293-1170108613 -o ROOT/results/node30/solver-238293-1170108613 -C 1800 -M 900  /tmp/evaluation/238293-1170108613/solver /tmp/evaluation/238293-1170108613 /tmp/evaluation/238293-1170108613/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  5ae826111ad92a5b7ff1e7bcb54e381b

RANDOM SEED= 268446597

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.270
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.270
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:         16360 kB
Buffers:          4192 kB
Cached:        1705872 kB
SwapCached:          0 kB
Active:         259456 kB
Inactive:      1681108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:         16360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          825924 kB
Writeback:           0 kB
Mapped:         256072 kB
Slab:            83492 kB
Committed_AS:   819208 kB
PageTables:       2428 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= 62796 MiB



End job on node30 on Mon Jan 29 22:40:27 UTC 2007