Trace number 336791

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
SATzilla CRAFTED? (exit code) 1199.51 1199.98

General information on the benchmark

Namecrafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
MD5SUM69151394f3e0e8838dc6693844061945
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables49153
Number of clauses324873
Sum of the clauses size1232169
Maximum clause length4
Minimum clause length1
Number of clauses of size 1257
Number of clauses of size 20
Number of clauses of size 366552
Number of clauses of size 4258064
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

25.58/25.63	c run March_dl for 5 seconds ... 
25.58/25.63	c Bin: Executing march_dl
25.58/25.63	c child exit by a signal
25.58/25.63	c march_dl returned code 137.
25.58/25.63	c run saps (UBCSAT implementation) for 2 seconds ... 
25.58/25.63	c Bin: Executing ubcsat2006
25.58/25.63	c child exited successfully
25.58/25.63	c ubcsat2006 returned code 0.
25.58/25.63	c satzilla computing base features
25.58/25.63	c satzilla doing unit-prop probe
25.58/25.63	c satzilla doing local search probe
25.58/25.63	c satzilla doing lobjois search-space size estimate
25.58/25.63	c satzilla's ranking:
25.58/25.63	c 1) minisat20+P: 3.160309
25.58/25.63	c 2) zchaff_rand+P: 3.368972
25.58/25.63	c 3) vallst+P: 3.730975
25.58/25.63	c 4) march_dl+P: 3.898250
25.58/25.63	c 5) march_dl: 4.531699
25.58/25.63	c 6) minisat20: 5.395443
25.58/25.63	c 7) kcnfs+P: 999.000000
25.58/25.63	c 8) kcnfs: 999.000000
25.58/25.63	c 9) vallst: 999.000000
25.58/25.63	c 10) zchaff_rand: 999.000000
25.58/25.63	c satzilla running minisat20 with preprocessing ... 
28.58/28.65	This is MiniSat 2.0 beta
28.58/28.65	WARNING: for repeatability, setting FPU to use double precision
28.58/28.65	============================[ Problem Statistics ]=============================
28.58/28.65	|                                                                             |
28.58/28.67	|  Number of variables:  48383                                                |
28.58/28.67	|  Number of clauses:    321556                                               |
28.62/29.00	|  Parsing time:         0.32         s                                       |
28.62/29.03	============================[ Search Statistics ]==============================
28.62/29.03	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.62/29.03	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
28.62/29.03	===============================================================================
28.62/29.03	|         0 |   48383   321556  1220708 |   107185        0    nan |  0.000 % |
28.62/29.13	|       100 |   48383   321556  1220708 |   117903      100      2 |  0.000 % |
28.62/29.27	|       250 |   48383   321556  1220708 |   129694      250      5 |  0.000 % |
28.62/29.46	|       476 |   48383   321556  1220708 |   142663      476      9 |  0.000 % |
28.62/29.54	|       813 |   48383   321556  1220708 |   156930      813     21 |  0.000 % |
29.56/29.69	|      1319 |   48383   321556  1220708 |   172623     1319     21 |  0.000 % |
29.86/29.94	|      2078 |   48383   321556  1220708 |   189885     2078     20 |  0.000 % |
30.16/30.29	|      3217 |   48383   321556  1220708 |   208873     3217     20 |  0.000 % |
30.55/30.68	|      4925 |   48383   321556  1220708 |   229761     4925     16 |  0.000 % |
31.55/31.63	|      7487 |   48383   321556  1220708 |   252737     7487     17 |  0.000 % |
32.96/33.10	|     11331 |   48383   321556  1220708 |   278011    11331     23 |  0.000 % |
35.25/35.35	|     17097 |   48383   321556  1220708 |   305812    17097     23 |  0.000 % |
39.05/39.19	|     25746 |   48383   321556  1220708 |   336393    25746     22 |  0.000 % |
47.65/47.79	|     38721 |   48383   321556  1220708 |   370032    38721     28 |  0.000 % |
64.54/64.62	|     58183 |   48378   321020  1219080 |   407036    57974     34 |  0.010 % |
92.23/92.31	|     87376 |   48363   320177  1216484 |   447739    87151     41 |  0.043 % |
155.60/155.70	|    131166 |   48336   319027  1212912 |   492513   130745     56 |  0.101 % |
327.45/327.75	|    196850 |   48334   318987  1212752 |   541765   196429     79 |  0.101 % |
690.24/690.70	|    295376 |   48318   318646  1211644 |   595941   294779    106 |  0.138 % |
1199.41/1199.96	c Preprocessing...
1199.41/1199.96	c Inital problem has 49153 variables, 324873 nary clauses (0 binary clauses).
1199.41/1199.96	c Num non-binary clauses 324616, Average non-binary clause length 3.795
1199.41/1199.96	c Theory has no gaps
1199.41/1199.96	c Preprocessor runtime was 2.390 seconds.
1199.41/1199.96	c 
1199.41/1199.96	c Satisfiability of theory still undetermined.
1199.41/1199.96	c See file /tmp/pxXi0z for simplified theory.
1199.41/1199.96	c Bin: Executing minisat20
1199.41/1199.96	c child exit by a signal
1199.41/1199.96	c minisat20 returned code 137.
1199.41/1199.96	c minisat20 returned code 137.
1199.41/1199.96	c satzilla running zchaff_rand with preprocessing ... 
1199.41/1199.96	c Bin: Executing zchaff_rand
1199.41/1199.96	c zchaff_rand returned code 1.
1199.41/1199.96	c zchaff_rand returned code 1.
1199.41/1199.96	c satzilla running vallst with preprocessing ... 
1199.41/1199.96	c Bin: Executing vallst
1199.41/1199.96	c vallst returned code 1.
1199.41/1199.96	c vallst returned code 1.
1199.41/1199.96	c satzilla running march_dl with preprocessing ... 
1199.41/1199.96	c Bin: Executing march_dl
1199.41/1199.96	c march_dl returned code 1.
1199.41/1199.96	c march_dl returned code 1.
1199.41/1199.96	c satzilla running march_dl ... 
1199.41/1199.96	c Bin: Executing march_dl
1199.41/1199.96	c march_dl returned code 1.
1199.41/1199.96	c march_dl returned code 1.
1199.41/1199.96	c satzilla running minisat20 ... 
1199.41/1199.96	c Bin: Executing minisat20
1199.41/1199.96	c minisat20 returned code 1.
1199.41/1199.96	c minisat20 returned code 1.
1199.41/1199.96	c satzilla running kcnfs with preprocessing ... 
1199.41/1199.96	c Bin: Executing kcnfs
1199.41/1199.96	c kcnfs returned code 1.
1199.41/1199.96	c kcnfs returned code 1.
1199.41/1199.96	c satzilla running kcnfs ... 
1199.41/1199.96	c Bin: Executing kcnfs
1199.41/1199.96	c kcnfs returned code 1.
1199.41/1199.96	c kcnfs returned code 1.
1199.41/1199.96	c satzilla running vallst ... 
1199.41/1199.96	c Bin: Executing vallst
1199.41/1199.96	c vallst returned code 1.
1199.41/1199.96	c vallst returned code 1.
1199.41/1199.96	c satzilla running zchaff_rand ... 
1199.41/1199.97	c Bin: Executing zchaff_rand
1199.41/1199.97	c zchaff_rand returned code 1.
1199.41/1199.97	c zchaff_rand returned code 1.
1199.41/1199.97	c ERROR: All Failed! 
1199.41/1199.97	c SATZILLA_TIME=1199.660000

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-336791-1173653875 -o ROOT/results/node14/solver-336791-1173653875 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/336791-1173653875/SATzilla2007_C /tmp/evaluation/336791-1173653875/instance-336791-1173653875.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.09 3/77 14736
/proc/meminfo: memFree=1459688/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=0
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 385342064 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 360 110 95 260 0 84 0
[pid=14737] ppid=14736 vsize=4548 CPUtime=0
/proc/14737/stat : 14737 (march_dl) R 14736 14736 13830 0 -1 4194304 554 0 0 0 0 0 0 0 20 0 1 0 385342064 4657152 549 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14737/statm: 1137 553 49 118 0 1016 0

[startup+0.094796 s]
/proc/loadavg: 0.92 0.98 1.09 3/77 14736
/proc/meminfo: memFree=1459688/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=0
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 385342064 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 360 110 95 260 0 84 0
[pid=14737] ppid=14736 vsize=7244 CPUtime=0.08
/proc/14737/stat : 14737 (march_dl) R 14736 14736 13830 0 -1 4194304 1410 0 0 0 8 0 0 0 20 0 1 0 385342064 7417856 1405 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14737/statm: 1811 1405 50 118 0 1690 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8684

[startup+0.101795 s]
/proc/loadavg: 0.92 0.98 1.09 3/77 14736
/proc/meminfo: memFree=1459688/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=0
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 385342064 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 360 110 95 260 0 84 0
[pid=14737] ppid=14736 vsize=7376 CPUtime=0.09
/proc/14737/stat : 14737 (march_dl) R 14736 14736 13830 0 -1 4194304 1435 0 0 0 9 0 0 0 20 0 1 0 385342064 7553024 1430 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14737/statm: 1844 1430 50 118 0 1723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8816

[startup+0.301815 s]
/proc/loadavg: 0.92 0.98 1.09 3/77 14736
/proc/meminfo: memFree=1459688/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=0
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 385342064 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 360 110 95 260 0 84 0
[pid=14737] ppid=14736 vsize=9752 CPUtime=0.29
/proc/14737/stat : 14737 (march_dl) R 14736 14736 13830 0 -1 4194304 2155 0 0 0 28 1 0 0 21 0 1 0 385342064 9986048 2150 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14737/statm: 2438 2150 50 118 0 2317 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11192

[startup+0.701853 s]
/proc/loadavg: 0.92 0.98 1.09 3/77 14736
/proc/meminfo: memFree=1459688/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=0
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 385342064 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 360 110 95 260 0 84 0
[pid=14737] ppid=14736 vsize=28296 CPUtime=0.69
/proc/14737/stat : 14737 (march_dl) R 14736 14736 13830 0 -1 4194304 5675 0 0 0 66 3 0 0 25 0 1 0 385342064 28975104 5668 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134542375 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14737/statm: 7074 5668 52 118 0 6953 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29736

[startup+1.50193 s]
/proc/loadavg: 0.93 0.98 1.09 2/79 14738
/proc/meminfo: memFree=1438296/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=0
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 385342064 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 360 110 95 260 0 84 0
[pid=14737] ppid=14736 vsize=34188 CPUtime=1.49
/proc/14737/stat : 14737 (march_dl) R 14736 14736 13830 0 -1 4194304 8388 0 0 0 145 4 0 0 25 0 1 0 385342064 35008512 7207 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134542885 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14737/statm: 8547 7207 55 118 0 8426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35628

[startup+3.10108 s]
/proc/loadavg: 0.93 0.98 1.09 2/79 14738
/proc/meminfo: memFree=1436824/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=0
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 385342064 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 360 110 95 260 0 84 0
[pid=14737] ppid=14736 vsize=29460 CPUtime=3.09
/proc/14737/stat : 14737 (march_dl) R 14736 14736 13830 0 -1 4194304 11944 0 0 0 302 7 0 0 25 0 1 0 385342064 30167040 6015 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134542411 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14737/statm: 7365 6015 55 118 0 7244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30900

[startup+6.30138 s]
/proc/loadavg: 0.93 0.98 1.09 2/79 14739
/proc/meminfo: memFree=1454104/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=1440 CPUtime=5
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 135 17680 0 0 0 0 489 11 16 0 1 0 385342064 1474560 111 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14736/statm: 360 111 96 260 0 84 0
[pid=14739] ppid=14736 vsize=31504 CPUtime=1.28
/proc/14739/stat : 14739 (ubcsat2006) R 14736 14736 13830 0 -1 4194304 5559 0 0 0 125 3 0 0 25 0 1 0 385342565 32260096 5542 18446744073709551615 134512640 134777720 4294956576 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14739/statm: 7876 5542 156 64 0 7457 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32944

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 1.09 2/78 14739
/proc/meminfo: memFree=1427056/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=34600 CPUtime=12.69
/proc/14736/stat : 14736 (SATzilla2007_C) R 14734 14736 13830 0 -1 4194304 8280 23246 0 0 490 6 758 15 25 0 1 0 385342064 35430400 8249 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 8650 8249 121 260 0 8374 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34600

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 1.08 2/78 14739
/proc/meminfo: memFree=1437616/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=23396 CPUtime=25.48
/proc/14736/stat : 14736 (SATzilla2007_C) R 14734 14736 13830 0 -1 4194304 20681 23246 0 0 1759 16 758 15 25 0 1 0 385342064 23957504 5606 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 134543333 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 5849 5606 156 260 0 5573 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23396

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 1.08 2/79 14740
/proc/meminfo: memFree=1349032/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=28328 CPUtime=22.43
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 6645 0 0 0 2237 6 0 0 25 0 1 0 385344928 29007872 6635 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 7082 6635 59 118 0 6960 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 105052

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 1.08 2/79 14740
/proc/meminfo: memFree=1333352/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=43824 CPUtime=73.6
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 10516 0 0 0 7349 11 0 0 25 0 1 0 385344928 44875776 10506 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 10956 10506 59 118 0 10834 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 120548

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/79 14740
/proc/meminfo: memFree=1319720/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=57392 CPUtime=133.58
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 13937 0 0 0 13341 17 0 0 25 0 1 0 385344928 58769408 13927 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134519691 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 14348 13927 59 118 0 14226 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 134116

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.07 2/85 14856
/proc/meminfo: memFree=1306792/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=69100 CPUtime=193.5
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 16795 0 0 0 19329 21 0 0 25 0 1 0 385344928 70758400 16785 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 17275 16785 59 118 0 17153 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 145824

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.06 2/79 14938
/proc/meminfo: memFree=1301856/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=75316 CPUtime=253.44
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 18380 0 0 0 25319 25 0 0 25 0 1 0 385344928 77123584 18370 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525746 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 18829 18370 59 118 0 18707 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 152040

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.05 2/79 14938
/proc/meminfo: memFree=1282728/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=94128 CPUtime=313.42
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 23092 0 0 0 31312 30 0 0 25 0 1 0 385344928 96387072 23082 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134535681 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 23532 23082 59 118 0 23410 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 170852

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.05 2/79 14938
/proc/meminfo: memFree=1277096/2055920 swapFree=4146600/4192956

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


[startup+762.306 s]
/proc/loadavg: 0.99 0.98 1.01 2/79 14938
/proc/meminfo: memFree=1207208/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=170212 CPUtime=733.31
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 41969 0 0 0 73277 54 0 0 25 0 1 0 385344928 174297088 41959 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 42553 41959 59 118 0 42431 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 246936

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/79 14938
/proc/meminfo: memFree=1197288/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=180168 CPUtime=793.29
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 44449 0 0 0 79271 58 0 0 25 0 1 0 385344928 184492032 44439 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 45042 44439 59 118 0 44920 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 256892

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1187496/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=189832 CPUtime=853.27
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 46872 0 0 0 85266 61 0 0 25 0 1 0 385344928 194387968 46862 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 47458 46862 59 118 0 47336 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 266556

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1175336/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=202108 CPUtime=913.25
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 49952 0 0 0 91260 65 0 0 25 0 1 0 385344928 206958592 49942 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 50527 49942 59 118 0 50405 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 278832

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1167912/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=209312 CPUtime=973.24
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 51776 0 0 0 97256 68 0 0 25 0 1 0 385344928 214335488 51766 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134527497 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 52328 51766 59 118 0 52206 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 286036

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1158184/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=218964 CPUtime=1033.23
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 54201 0 0 0 103252 71 0 0 25 0 1 0 385344928 224219136 54191 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 54741 54191 59 118 0 54619 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 295688

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1147368/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=229804 CPUtime=1093.21
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 56917 0 0 0 109246 75 0 0 25 0 1 0 385344928 235319296 56907 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134535707 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 57451 56907 59 118 0 57329 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 306528

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1135400/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=241776 CPUtime=1153.19
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 59926 0 0 0 115241 78 0 0 25 0 1 0 385344928 247578624 59916 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 60444 59916 59 118 0 60322 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 318500

Solver just ended. Dumping a history of the last processes samples

[startup+1190.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1133736/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=243228 CPUtime=1161.18
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 60291 0 0 0 116040 78 0 0 25 0 1 0 385344928 249065472 60281 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134527600 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 60807 60281 59 118 0 60685 0
Current children cumulated CPU time (s) 1189.8
Current children cumulated vsize (KiB) 319952

[startup+1196.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1132776/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=244152 CPUtime=1167.59
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 60527 0 0 0 116680 79 0 0 25 0 1 0 385344928 250011648 60517 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 61038 60517 59 118 0 60916 0
Current children cumulated CPU time (s) 1196.21
Current children cumulated vsize (KiB) 320876

[startup+1198.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1132584/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=244284 CPUtime=1169.19
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 60581 0 0 0 116840 79 0 0 25 0 1 0 385344928 250146816 60571 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525488 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 61071 60571 59 118 0 60949 0
Current children cumulated CPU time (s) 1197.81
Current children cumulated vsize (KiB) 321008

[startup+1199.1 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1132456/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=244416 CPUtime=1169.99
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 60607 0 0 0 116920 79 0 0 25 0 1 0 385344928 250281984 60597 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 61104 60597 59 118 0 60982 0
Current children cumulated CPU time (s) 1198.61
Current children cumulated vsize (KiB) 321140

[startup+1199.5 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1132456/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=244416 CPUtime=1170.39
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 60619 0 0 0 116960 79 0 0 25 0 1 0 385344928 250281984 60609 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525828 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 61104 60609 59 118 0 60982 0
Current children cumulated CPU time (s) 1199.01
Current children cumulated vsize (KiB) 321140

[startup+1199.9 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 14938
/proc/meminfo: memFree=1132456/2055920 swapFree=4146600/4192956
[pid=14736] ppid=14734 vsize=76724 CPUtime=28.62
/proc/14736/stat : 14736 (SATzilla2007_C) S 14734 14736 13830 0 -1 4194304 34200 23246 0 0 2044 45 758 15 25 0 1 0 385342064 78565376 18460 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14736/statm: 19181 18460 164 260 0 18905 0
[pid=14740] ppid=14736 vsize=244548 CPUtime=1170.79
/proc/14740/stat : 14740 (minisat20) R 14736 14736 13830 0 -1 4194304 60634 0 0 0 117000 79 0 0 25 0 1 0 385344928 250417152 60624 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14740/statm: 61137 60624 59 118 0 61015 0
Current children cumulated CPU time (s) 1199.41
Current children cumulated vsize (KiB) 321272

Child status: 17
Real time (s): 1199.98
CPU time (s): 1199.51
CPU user time (s): 1198.06
CPU system time (s): 1.45478
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 321272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.06
system time used= 1.45478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 7112

runsolver used 1.23181 second user time and 3.13852 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sun Mar 11 22:57:56 UTC 2007

IDJOB= 336791
IDBENCH= 24683
IDSOLVER= 135
FILE ID= node14/336791-1173653875

PBS_JOBID= 4101385

Free space on /tmp= 66523 MiB

SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/336791-1173653875/SATzilla2007_C /tmp/evaluation/336791-1173653875/instance-336791-1173653875.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-336791-1173653875 -o ROOT/results/node14/solver-336791-1173653875 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/336791-1173653875/SATzilla2007_C /tmp/evaluation/336791-1173653875/instance-336791-1173653875.cnf            

META MD5SUM SOLVER= a1f00d13cbb558b34a83b365ff80fcc3
MD5SUM BENCH=  69151394f3e0e8838dc6693844061945

RANDOM SEED= 505130484

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.216
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.216
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:       1460032 kB
Buffers:         56044 kB
Cached:         445628 kB
SwapCached:      14992 kB
Active:         172768 kB
Inactive:       352384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1460032 kB
SwapTotal:     4192956 kB
SwapFree:      4146600 kB
Dirty:           16564 kB
Writeback:           0 kB
Mapped:          30168 kB
Slab:            56220 kB
Committed_AS:  1312744 kB
PageTables:       1740 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 node14 on Sun Mar 11 23:17:57 UTC 2007