Trace number 3420725

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
march_rw 2011-03-02? (TO) 5000.14 5000.05

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf
MD5SUM84ed72ef969365b45feb251988bfac3d
Bench CategoryRANDOM (random 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 variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.01	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.00/0.01	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.00/0.01	c main()::
0.00/0.01	c initFormula():: searching for DIMACS p-line....
0.00/0.01	c initFormula():: the DIMACS p-line indicates a CNF of 700 variables and 2982 clauses.
0.00/0.01	c parseCNF():: parsing....
0.00/0.01	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.01	c runParser():: parsing was successful, warming up engines...
0.00/0.01	c simplify_formula():: removed 0 tautological, 26 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 696 free variables and 2956 clauses.
0.00/0.01	c using 3-SAT heuristics (occurence based diff)
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 163 duplicate clauses
0.00/0.01	c resolvent_look() :: found 80 resolvents
0.00/0.01	c main():: clause / variable ratio: ( 3036 / 700 ) = 4.34
0.00/0.01	c longest clause has size 3
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c number of free variables = 696
0.00/0.01	c dynamic_preselect_setsize :: off
0.00/0.01	c main():: all systems go!
0.00/0.01	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 153
0.04/0.05	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 1/999) NodeCount: 1115
0.09/0.17	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |*****************************************
c |******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 2/999) NodeCount: 14511
2.21/2.23	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 3/999) NodeCount: 137412
23.59/23.61	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 4/999) NodeCount: 937799
178.39/178.44	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 5/999) NodeCount: 4814263
1003.29/1003.39	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 6/999) NodeCount: 19176651
4331.27/4331.25	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3420725-1306639695/watcher-3420725-1306639695 -o /tmp/evaluation-result-3420725-1306639695/solver-3420725-1306639695 -C 5000 -W 5100 -M 15500 ./march_rw HOME/instance-3420725-1306639695.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 1.82 1.65 3/424 22075
/proc/meminfo: memFree=14181392/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=6928 CPUtime=0 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 322 0 0 0 0 0 0 0 25 0 1 0 775567734 7094272 266 33554432000 4194304 4300876 140736365875280 18446744073709551615 246516489200 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 1732 266 136 27 0 181 0

[startup+0.0450811 s]
/proc/loadavg: 2.06 1.82 1.65 3/424 22075
/proc/meminfo: memFree=14181392/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=7912 CPUtime=0.04 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 524 0 0 0 4 0 0 0 25 0 1 0 775567734 8101888 468 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217452 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 1978 468 168 27 0 427 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7912

[startup+0.101065 s]
/proc/loadavg: 2.06 1.82 1.65 3/424 22075
/proc/meminfo: memFree=14181392/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=7912 CPUtime=0.09 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 547 0 0 0 9 0 0 0 18 0 1 0 775567734 8101888 491 33554432000 4194304 4300876 140736365875280 18446744073709551615 4234257 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 1978 491 168 27 0 427 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7912

[startup+0.301062 s]
/proc/loadavg: 2.06 1.82 1.65 3/424 22075
/proc/meminfo: memFree=14181392/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=8044 CPUtime=0.29 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 569 0 0 0 29 0 0 0 18 0 1 0 775567734 8237056 513 33554432000 4194304 4300876 140736365875280 18446744073709551615 4225163 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 2011 513 168 27 0 460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8044

[startup+0.701 s]
/proc/loadavg: 2.06 1.82 1.65 3/424 22075
/proc/meminfo: memFree=14181392/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=8212 CPUtime=0.69 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 602 0 0 0 69 0 0 0 18 0 1 0 775567734 8409088 546 33554432000 4194304 4300876 140736365875280 18446744073709551615 4228657 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 2053 546 168 27 0 502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8212

[startup+1.50084 s]
/proc/loadavg: 2.06 1.82 1.65 3/425 22076
/proc/meminfo: memFree=14178788/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=8516 CPUtime=1.49 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 670 0 0 0 149 0 0 0 19 0 1 0 775567734 8720384 614 33554432000 4194304 4300876 140736365875280 18446744073709551615 4216837 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 2129 614 169 27 0 578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8516

[startup+3.10053 s]
/proc/loadavg: 2.05 1.82 1.65 3/425 22076
/proc/meminfo: memFree=14177548/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=8896 CPUtime=3.09 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 743 0 0 0 309 0 0 0 25 0 1 0 775567734 9109504 687 33554432000 4194304 4300876 140736365875280 18446744073709551615 4269139 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 2224 687 169 27 0 673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8896

[startup+6.30098 s]
/proc/loadavg: 2.05 1.82 1.65 3/425 22076
/proc/meminfo: memFree=14176312/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=9392 CPUtime=6.3 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 894 0 0 0 630 0 0 0 25 0 1 0 775567734 9617408 838 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217639 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 2348 838 169 27 0 797 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9392

[startup+12.7008 s]
/proc/loadavg: 2.04 1.83 1.65 3/425 22076
/proc/meminfo: memFree=14173580/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=10820 CPUtime=12.7 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 1151 0 0 0 1270 0 0 0 25 0 1 0 775567734 11079680 1095 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217615 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 2705 1095 169 27 0 1154 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10820

[startup+25.5005 s]
/proc/loadavg: 2.04 1.83 1.66 3/425 22076
/proc/meminfo: memFree=14169356/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=14008 CPUtime=25.49 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 1639 0 0 0 2549 0 0 0 25 0 1 0 775567734 14344192 1583 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217598 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 3502 1583 169 27 0 1951 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14008

[startup+51.1008 s]
/proc/loadavg: 2.02 1.85 1.66 3/425 22077
/proc/meminfo: memFree=14162276/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=17344 CPUtime=51.09 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 2636 0 0 0 5109 0 0 0 25 0 1 0 775567734 17760256 2580 33554432000 4194304 4300876 140736365875280 18446744073709551615 4214376 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 4336 2580 169 27 0 2785 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17344

[startup+102.315 s]
/proc/loadavg: 2.10 1.90 1.69 3/425 22105
/proc/meminfo: memFree=14157696/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=28284 CPUtime=102.3 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 4571 0 0 0 10230 0 0 0 25 0 1 0 775567734 28962816 4515 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217310 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 7071 4515 169 27 0 5520 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 28284

[startup+162.301 s]
/proc/loadavg: 2.04 1.92 1.71 3/425 22107
/proc/meminfo: memFree=14138692/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=39492 CPUtime=162.29 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 6736 0 0 0 16228 1 0 0 25 0 1 0 775567734 40439808 6680 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217373 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 9873 6680 169 27 0 8322 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 39492

[startup+222.301 s]
/proc/loadavg: 2.08 1.94 1.73 3/425 22108
/proc/meminfo: memFree=14121560/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=57672 CPUtime=222.29 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 8919 0 0 0 22228 1 0 0 25 0 1 0 775567734 59056128 8863 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217472 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 14418 8863 169 27 0 12867 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 57672

[startup+282.301 s]
/proc/loadavg: 2.06 1.97 1.75 3/425 22110
/proc/meminfo: memFree=14106048/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=57672 CPUtime=282.3 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 11021 0 0 0 28228 2 0 0 25 0 1 0 775567734 59056128 10965 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217487 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 14418 10965 169 27 0 12867 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 57672

[startup+342.301 s]
/proc/loadavg: 2.07 1.98 1.76 3/425 22112
/proc/meminfo: memFree=14088908/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=77316 CPUtime=342.3 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 13255 0 0 0 34228 2 0 0 25 0 1 0 775567734 79171584 13199 33554432000 4194304 4300876 140736365875280 18446744073709551615 4214479 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 19329 13199 169 27 0 17778 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 77316

[startup+402.301 s]
/proc/loadavg: 2.02 1.98 1.78 3/425 22113
/proc/meminfo: memFree=14072268/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=87224 CPUtime=402.3 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 15359 0 0 0 40228 2 0 0 25 0 1 0 775567734 89317376 15303 33554432000 4194304 4300876 140736365875280 18446744073709551615 4234743 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 21806 15303 169 27 0 20255 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 87224

[startup+462.301 s]
/proc/loadavg: 2.17 2.02 1.80 3/425 22115
/proc/meminfo: memFree=14056252/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=87224 CPUtime=462.3 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 17518 0 0 0 46227 3 0 0 25 0 1 0 775567734 89317376 17462 33554432000 4194304 4300876 140736365875280 18446744073709551615 4248619 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 21806 17462 169 27 0 20255 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 87224

[startup+522.301 s]
/proc/loadavg: 2.06 2.01 1.81 3/425 22116
/proc/meminfo: memFree=14039504/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=116692 CPUtime=522.31 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 19646 0 0 0 52227 4 0 0 25 0 1 0 775567734 119492608 19590 33554432000 4194304 4300876 140736365875280 18446744073709551615 4234590 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 29173 19590 169 27 0 27622 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 116692

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.82 3/425 22118
/proc/meminfo: memFree=14022732/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=116824 CPUtime=582.3 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 21736 0 0 0 58226 4 0 0 25 0 1 0 775567734 119627776 21680 33554432000 4194304 4300876 140736365875280 18446744073709551615 4214400 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 29206 21680 169 27 0 27655 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 116824

[startup+642.301 s]

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

[startup+4002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 22221
/proc/meminfo: memFree=13154448/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=614760 CPUtime=4002.37 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 134407 0 0 0 400207 30 0 0 25 0 1 0 775567734 629514240 134351 33554432000 4194304 4300876 140736365875280 18446744073709551615 4214423 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 153690 134351 169 27 0 152139 0
Current children cumulated CPU time (s) 4002.37
Current children cumulated vsize (KiB) 614760

[startup+4062.32 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 22223
/proc/meminfo: memFree=13139308/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=614760 CPUtime=4062.38 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 136234 0 0 0 406208 30 0 0 25 0 1 0 775567734 629514240 136178 33554432000 4194304 4300876 140736365875280 18446744073709551615 4200351 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 153690 136178 169 27 0 152139 0
Current children cumulated CPU time (s) 4062.38
Current children cumulated vsize (KiB) 614760

[startup+4122.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/425 22224
/proc/meminfo: memFree=13124160/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=614760 CPUtime=4122.37 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 138053 0 0 0 412207 30 0 0 25 0 1 0 775567734 629514240 137997 33554432000 4194304 4300876 140736365875280 18446744073709551615 4225152 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 153690 137997 169 27 0 152139 0
Current children cumulated CPU time (s) 4122.37
Current children cumulated vsize (KiB) 614760

[startup+4182.3 s]
/proc/loadavg: 2.20 2.09 2.02 3/425 22226
/proc/meminfo: memFree=13109372/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=614760 CPUtime=4182.37 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 139861 0 0 0 418206 31 0 0 25 0 1 0 775567734 629514240 139805 33554432000 4194304 4300876 140736365875280 18446744073709551615 4216917 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 153690 139805 169 27 0 152139 0
Current children cumulated CPU time (s) 4182.37
Current children cumulated vsize (KiB) 614760

[startup+4242.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/425 22228
/proc/meminfo: memFree=13094580/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=614760 CPUtime=4242.37 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 141630 0 0 0 424206 31 0 0 25 0 1 0 775567734 629514240 141574 33554432000 4194304 4300876 140736365875280 18446744073709551615 4248993 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 153690 141574 169 27 0 152139 0
Current children cumulated CPU time (s) 4242.37
Current children cumulated vsize (KiB) 614760

[startup+4302.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/425 22229
/proc/meminfo: memFree=13080300/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4302.37 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 143387 0 0 0 430205 32 0 0 25 0 1 0 775567734 858648576 143331 33554432000 4194304 4300876 140736365875280 18446744073709551615 4200252 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 143331 169 27 0 208080 0
Current children cumulated CPU time (s) 4302.37
Current children cumulated vsize (KiB) 838524

[startup+4362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/425 22231
/proc/meminfo: memFree=13065152/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4362.37 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 145253 0 0 0 436205 32 0 0 25 0 1 0 775567734 858648576 145197 33554432000 4194304 4300876 140736365875280 18446744073709551615 4200325 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 145197 169 27 0 208080 0
Current children cumulated CPU time (s) 4362.37
Current children cumulated vsize (KiB) 838524

[startup+4422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 22232
/proc/meminfo: memFree=13049872/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4422.37 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 147314 0 0 0 442205 32 0 0 25 0 1 0 775567734 858648576 147258 33554432000 4194304 4300876 140736365875280 18446744073709551615 4200351 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 147258 169 27 0 208080 0
Current children cumulated CPU time (s) 4422.37
Current children cumulated vsize (KiB) 838524

[startup+4482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/425 22234
/proc/meminfo: memFree=13035216/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4482.38 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 149359 0 0 0 448205 33 0 0 25 0 1 0 775567734 858648576 149303 33554432000 4194304 4300876 140736365875280 18446744073709551615 4288976 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 149303 169 27 0 208080 0
Current children cumulated CPU time (s) 4482.38
Current children cumulated vsize (KiB) 838524

[startup+4542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/425 22236
/proc/meminfo: memFree=13019700/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4542.38 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 151365 0 0 0 454205 33 0 0 25 0 1 0 775567734 858648576 151309 33554432000 4194304 4300876 140736365875280 18446744073709551615 4200361 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 151309 169 27 0 208080 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 838524

[startup+4602.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/425 22237
/proc/meminfo: memFree=13003176/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4602.38 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 153363 0 0 0 460205 33 0 0 25 0 1 0 775567734 858648576 153307 33554432000 4194304 4300876 140736365875280 18446744073709551615 4228518 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 153307 169 27 0 208080 0
Current children cumulated CPU time (s) 4602.38
Current children cumulated vsize (KiB) 838524

[startup+4662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/425 22239
/proc/meminfo: memFree=12989512/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4662.38 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 155211 0 0 0 466204 34 0 0 25 0 1 0 775567734 858648576 155155 33554432000 4194304 4300876 140736365875280 18446744073709551615 4250799 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 155155 169 27 0 208080 0
Current children cumulated CPU time (s) 4662.38
Current children cumulated vsize (KiB) 838524

[startup+4722.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 22240
/proc/meminfo: memFree=12973504/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4722.39 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 157282 0 0 0 472205 34 0 0 25 0 1 0 775567734 858648576 157226 33554432000 4194304 4300876 140736365875280 18446744073709551615 4200325 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 157226 169 27 0 208080 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 838524

[startup+4782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 22242
/proc/meminfo: memFree=12959092/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4782.39 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 159334 0 0 0 478204 35 0 0 25 0 1 0 775567734 858648576 159278 33554432000 4194304 4300876 140736365875280 18446744073709551615 4200267 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 159278 169 27 0 208080 0
Current children cumulated CPU time (s) 4782.39
Current children cumulated vsize (KiB) 838524

[startup+4842.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 22244
/proc/meminfo: memFree=12943936/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4842.38 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 161322 0 0 0 484203 35 0 0 25 0 1 0 775567734 858648576 161266 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217555 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 161266 169 27 0 208080 0
Current children cumulated CPU time (s) 4842.38
Current children cumulated vsize (KiB) 838524

[startup+4902.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 22245
/proc/meminfo: memFree=12929160/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4902.39 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 163226 0 0 0 490203 36 0 0 25 0 1 0 775567734 858648576 163170 33554432000 4194304 4300876 140736365875280 18446744073709551615 4214560 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 163170 169 27 0 208080 0
Current children cumulated CPU time (s) 4902.39
Current children cumulated vsize (KiB) 838524

[startup+4962.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 22247
/proc/meminfo: memFree=12914508/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=4962.39 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 165092 0 0 0 496203 36 0 0 25 0 1 0 775567734 858648576 165036 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 165036 169 27 0 208080 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 838524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 22248
/proc/meminfo: memFree=12905304/32951124 swapFree=48785060/67111528
[pid=22075] ppid=22073 vsize=838524 CPUtime=5000.09 cores=0,2,4,6
/proc/22075/stat : 22075 (march_rw) R 22073 22075 13929 0 -1 4202496 166353 0 0 0 499973 36 0 0 25 0 1 0 775567734 858648576 166297 33554432000 4194304 4300876 140736365875280 18446744073709551615 4217615 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22075/statm: 209631 166297 169 27 0 208080 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 838524

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5000.05
CPU time (s): 5000.14
CPU user time (s): 4999.74
CPU system time (s): 0.397939
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 838524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.74
system time used= 0.397939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166353
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= 6
involuntary context switches= 3132

runsolver used 21.0708 second user time and 42.5875 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-29 05:28:15
IDJOB=3420725
IDBENCH=82977
IDSOLVER=1913
FILE ID=node134/3420725-1306639695
RUNJOBID= node134-1306639252-21962
PBS_JOBID= 13471615
Free space on /tmp= 73120 MiB

SOLVER NAME= march_rw 2011-03-02
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf
COMMAND LINE= ./march_rw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3420725-1306639695/watcher-3420725-1306639695 -o /tmp/evaluation-result-3420725-1306639695/solver-3420725-1306639695 -C 5000 -W 5100 -M 15500  ./march_rw HOME/instance-3420725-1306639695.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 84ed72ef969365b45feb251988bfac3d
RANDOM SEED=1775482740

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14181656 kB
Buffers:        285260 kB
Cached:        7587516 kB
SwapCached:      40168 kB
Active:        6169564 kB
Inactive:     12303616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14181656 kB
SwapTotal:    67111528 kB
SwapFree:     48785060 kB
Dirty:             416 kB
Writeback:           4 kB
AnonPages:    10568180 kB
Mapped:          21480 kB
Slab:           139720 kB
PageTables:      88980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 110770624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73120 MiB
End job on node134 at 2011-05-29 06:51:37