Trace number 3211365

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
SAT09 reference solver: march_hi hi? (TO) 5000.14 4999.95

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf
MD5SUM975fcba238403114d7315dde1e6a58bd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.45563
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53727
Number of clauses of size over 50

Solver Data 

0.00/0.03	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.03	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.00/0.03	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.00/0.03	c main()::
0.00/0.03	c initFormula():: searching for DIMACS p-line....
0.00/0.03	c full lookahead due to high density!
0.00/0.03	c initFormula():: the DIMACS p-line indicates a CNF of 175 variables and 3727 clauses.
0.00/0.03	c parseCNF():: parsing....
0.00/0.03	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.03	c runParser():: parsing was successful, warming up engines...
0.00/0.03	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.03	c preprocessing fase I completed:: there are now 175 free variables and 3727 clauses.
0.00/0.03	c stat :: sign balance is biased by 0.038
0.00/0.03	c using k-SAT heuristics (size based diff)
0.00/0.03	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.03	c simplify_formula():: removed 0 tautological, 0 satisfied and 1 duplicate clauses
0.00/0.03	c resolvent_look() :: found 1 resolvents
0.00/0.03	c main():: clause / variable ratio: ( 3728 / 175 ) = 21.30
0.00/0.03	c longest clause has size 5
0.00/0.03	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.03	c number of free variables = 175
0.00/0.03	c dynamic_preselect_setsize :: off
0.00/0.03	c main():: all systems go!
0.00/0.03	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 210
0.05/0.08	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: 1416
0.10/0.19	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: 19331
2.00/2.03	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: 207494
23.59/23.65	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: 1688525
211.90/211.92	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: 10853605
1488.85/1488.83	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 |***********************************************************

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: 935)

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-3211365-1303179237/watcher-3211365-1303179237 -o /tmp/evaluation-result-3211365-1303179237/solver-3211365-1303179237 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3211365-1303179237.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): 5000 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.00 2.00 2.00 2/177 20818
/proc/meminfo: memFree=24554416/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1324 CPUtime=0 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 212 0 0 0 0 0 0 0 25 0 1 0 429523418 1355776 159 33554432000 134512640 135197378 4286833216 18446744073709551615 134697414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 331 159 66 168 0 162 0

[startup+0.0518811 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20818
/proc/meminfo: memFree=24554416/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1920 CPUtime=0.05 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 401 0 0 0 5 0 0 0 25 0 1 0 429523418 1966080 285 33554432000 134512640 135197378 4286833216 18446744073709551615 134524864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 480 285 93 168 0 311 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1920

[startup+0.100872 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20818
/proc/meminfo: memFree=24554416/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1920 CPUtime=0.1 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 401 0 0 0 10 0 0 0 25 0 1 0 429523418 1966080 285 33554432000 134512640 135197378 4286833216 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 480 285 93 168 0 311 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1920

[startup+0.300838 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20818
/proc/meminfo: memFree=24554416/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1920 CPUtime=0.3 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 406 0 0 0 30 0 0 0 25 0 1 0 429523418 1966080 290 33554432000 134512640 135197378 4286833216 18446744073709551615 134603442 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 480 290 93 168 0 311 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1920

[startup+0.700757 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20818
/proc/meminfo: memFree=24554416/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=2124 CPUtime=0.7 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 453 0 0 0 70 0 0 0 18 0 1 0 429523418 2174976 337 33554432000 134512640 135197378 4286833216 18446744073709551615 134603262 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 531 337 93 168 0 362 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 2124

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20819
/proc/meminfo: memFree=24553300/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=2376 CPUtime=1.5 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 501 0 0 0 150 0 0 0 19 0 1 0 429523418 2433024 385 33554432000 134512640 135197378 4286833216 18446744073709551615 134548721 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 594 385 93 168 0 425 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2376

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20819
/proc/meminfo: memFree=24552680/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=2944 CPUtime=3.1 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 592 0 0 0 310 0 0 0 23 0 1 0 429523418 3014656 476 33554432000 134512640 135197378 4286833216 18446744073709551615 134524899 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 736 476 93 168 0 567 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 2944

[startup+6.30069 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20819
/proc/meminfo: memFree=24551572/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=3456 CPUtime=6.3 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 771 0 0 0 630 0 0 0 25 0 1 0 429523418 3538944 655 33554432000 134512640 135197378 4286833216 18446744073709551615 134550677 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 864 655 93 168 0 695 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 3456

[startup+12.7005 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20819
/proc/meminfo: memFree=24549440/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=5372 CPUtime=12.7 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 1118 0 0 0 1270 0 0 0 25 0 1 0 429523418 5500928 1002 33554432000 134512640 135197378 4286833216 18446744073709551615 134524899 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 1343 1002 93 168 0 1174 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 5372

[startup+25.501 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 20820
/proc/meminfo: memFree=24545732/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=9968 CPUtime=25.5 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 1772 0 0 0 2550 0 0 0 25 0 1 0 429523418 10207232 1656 33554432000 134512640 135197378 4286833216 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 2492 1656 93 168 0 2323 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 9968

[startup+51.1012 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20820
/proc/meminfo: memFree=24537520/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=14132 CPUtime=51.1 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 3123 0 0 0 5110 0 0 0 25 0 1 0 429523418 14471168 3007 33554432000 134512640 135197378 4286833216 18446744073709551615 134524840 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 3533 3007 93 168 0 3364 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 14132

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20822
/proc/meminfo: memFree=24521632/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=29248 CPUtime=102.3 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 5716 0 0 0 10229 1 0 0 25 0 1 0 429523418 29949952 5600 33554432000 134512640 135197378 4286833216 18446744073709551615 134592750 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 7312 5600 93 168 0 7143 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 29248

[startup+162.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 20823
/proc/meminfo: memFree=24503980/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=42344 CPUtime=162.29 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 8604 0 0 0 16228 1 0 0 25 0 1 0 429523418 43360256 8488 33554432000 134512640 135197378 4286833216 18446744073709551615 134524866 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 10586 8488 93 168 0 10417 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42344

[startup+222.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20825
/proc/meminfo: memFree=24487720/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=63120 CPUtime=222.3 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 11235 0 0 0 22228 2 0 0 25 0 1 0 429523418 64634880 11119 33554432000 134512640 135197378 4286833216 18446744073709551615 134603204 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 15780 11119 93 168 0 15611 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 63120

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20826
/proc/meminfo: memFree=24470328/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=63120 CPUtime=282.31 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 14237 0 0 0 28228 3 0 0 25 0 1 0 429523418 64634880 14121 33554432000 134512640 135197378 4286833216 18446744073709551615 134593053 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 15780 14121 93 168 0 15611 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 63120

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20828
/proc/meminfo: memFree=24452936/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=94848 CPUtime=342.31 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 17140 0 0 0 34227 4 0 0 25 0 1 0 429523418 97124352 17024 33554432000 134512640 135197378 4286833216 18446744073709551615 134548718 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 23712 17024 93 168 0 23543 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 94848

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20830
/proc/meminfo: memFree=24437164/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=94848 CPUtime=402.31 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 19760 0 0 0 40227 4 0 0 25 0 1 0 429523418 97124352 19644 33554432000 134512640 135197378 4286833216 18446744073709551615 134525037 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 23712 19644 93 168 0 23543 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 94848

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20831
/proc/meminfo: memFree=24419772/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=94848 CPUtime=462.3 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 22724 0 0 0 46226 4 0 0 25 0 1 0 429523418 97124352 22608 33554432000 134512640 135197378 4286833216 18446744073709551615 134524928 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 23712 22608 93 168 0 23543 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 94848

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20833
/proc/meminfo: memFree=24403752/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=139048 CPUtime=522.31 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 25422 0 0 0 52226 5 0 0 25 0 1 0 429523418 142385152 25306 33554432000 134512640 135197378 4286833216 18446744073709551615 134557581 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 34762 25306 93 168 0 34593 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 139048

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20834
/proc/meminfo: memFree=24386624/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=139048 CPUtime=582.31 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 28275 0 0 0 58225 6 0 0 25 0 1 0 429523418 142385152 28159 33554432000 134512640 135197378 4286833216 18446744073709551615 134548603 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 34762 28159 93 168 0 34593 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 139048

[startup+642.3 s]

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

[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20967
/proc/meminfo: memFree=23929112/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4062.45 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 178219 0 0 0 406210 35 0 0 25 0 1 0 429523418 1070116864 178103 33554432000 134512640 135197378 4286833216 18446744073709551615 134550700 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 178103 93 168 0 261090 0
Current children cumulated CPU time (s) 4062.45
Current children cumulated vsize (KiB) 1045036

[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20969
/proc/meminfo: memFree=23913452/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4122.45 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 180730 0 0 0 412209 36 0 0 25 0 1 0 429523418 1070116864 180614 33554432000 134512640 135197378 4286833216 18446744073709551615 134548733 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 180614 93 168 0 261090 0
Current children cumulated CPU time (s) 4122.45
Current children cumulated vsize (KiB) 1045036

[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20970
/proc/meminfo: memFree=23897316/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4182.45 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 183267 0 0 0 418209 36 0 0 25 0 1 0 429523418 1070116864 183151 33554432000 134512640 135197378 4286833216 18446744073709551615 134572870 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 183151 93 168 0 261090 0
Current children cumulated CPU time (s) 4182.45
Current children cumulated vsize (KiB) 1045036

[startup+4242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20972
/proc/meminfo: memFree=23882632/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4242.45 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 185651 0 0 0 424209 36 0 0 25 0 1 0 429523418 1070116864 185535 33554432000 134512640 135197378 4286833216 18446744073709551615 134539117 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 185535 93 168 0 261090 0
Current children cumulated CPU time (s) 4242.45
Current children cumulated vsize (KiB) 1045036

[startup+4302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20974
/proc/meminfo: memFree=23867728/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4302.46 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 187981 0 0 0 430209 37 0 0 25 0 1 0 429523418 1070116864 187865 33554432000 134512640 135197378 4286833216 18446744073709551615 134524864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 187865 93 168 0 261090 0
Current children cumulated CPU time (s) 4302.46
Current children cumulated vsize (KiB) 1045036

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20975
/proc/meminfo: memFree=23852688/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4362.46 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 190247 0 0 0 436208 38 0 0 25 0 1 0 429523418 1070116864 190131 33554432000 134512640 135197378 4286833216 18446744073709551615 134539311 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 190131 93 168 0 261090 0
Current children cumulated CPU time (s) 4362.46
Current children cumulated vsize (KiB) 1045036

[startup+4422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20977
/proc/meminfo: memFree=23838528/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4422.46 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 192268 0 0 0 442208 38 0 0 25 0 1 0 429523418 1070116864 192152 33554432000 134512640 135197378 4286833216 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 192152 93 168 0 261090 0
Current children cumulated CPU time (s) 4422.46
Current children cumulated vsize (KiB) 1045036

[startup+4482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20978
/proc/meminfo: memFree=23822376/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4482.46 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 194993 0 0 0 448207 39 0 0 25 0 1 0 429523418 1070116864 194877 33554432000 134512640 135197378 4286833216 18446744073709551615 134593106 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 194877 93 168 0 261090 0
Current children cumulated CPU time (s) 4482.46
Current children cumulated vsize (KiB) 1045036

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20980
/proc/meminfo: memFree=23806084/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4542.46 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 197578 0 0 0 454207 39 0 0 25 0 1 0 429523418 1070116864 197462 33554432000 134512640 135197378 4286833216 18446744073709551615 134551008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 197462 93 168 0 261090 0
Current children cumulated CPU time (s) 4542.46
Current children cumulated vsize (KiB) 1045036

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20982
/proc/meminfo: memFree=23788576/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4602.47 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 200335 0 0 0 460207 40 0 0 25 0 1 0 429523418 1070116864 200219 33554432000 134512640 135197378 4286833216 18446744073709551615 134539097 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 200219 93 168 0 261090 0
Current children cumulated CPU time (s) 4602.47
Current children cumulated vsize (KiB) 1045036

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20983
/proc/meminfo: memFree=23773532/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4662.47 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 202874 0 0 0 466207 40 0 0 25 0 1 0 429523418 1070116864 202758 33554432000 134512640 135197378 4286833216 18446744073709551615 134550648 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 202758 93 168 0 261090 0
Current children cumulated CPU time (s) 4662.47
Current children cumulated vsize (KiB) 1045036

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20985
/proc/meminfo: memFree=23757252/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4722.48 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 205451 0 0 0 472207 41 0 0 25 0 1 0 429523418 1070116864 205335 33554432000 134512640 135197378 4286833216 18446744073709551615 134539243 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 205335 93 168 0 261090 0
Current children cumulated CPU time (s) 4722.48
Current children cumulated vsize (KiB) 1045036

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20986
/proc/meminfo: memFree=23741848/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4782.48 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 208011 0 0 0 478206 42 0 0 25 0 1 0 429523418 1070116864 207895 33554432000 134512640 135197378 4286833216 18446744073709551615 134556383 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 207895 93 168 0 261090 0
Current children cumulated CPU time (s) 4782.48
Current children cumulated vsize (KiB) 1045036

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20988
/proc/meminfo: memFree=23726192/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4842.48 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 210490 0 0 0 484206 42 0 0 25 0 1 0 429523418 1070116864 210374 33554432000 134512640 135197378 4286833216 18446744073709551615 134539320 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 210374 93 168 0 261090 0
Current children cumulated CPU time (s) 4842.48
Current children cumulated vsize (KiB) 1045036

[startup+4902.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20990
/proc/meminfo: memFree=23711292/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1045036 CPUtime=4902.47 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 212919 0 0 0 490205 42 0 0 25 0 1 0 429523418 1070116864 212803 33554432000 134512640 135197378 4286833216 18446744073709551615 134539219 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 261259 212803 93 168 0 261090 0
Current children cumulated CPU time (s) 4902.47
Current children cumulated vsize (KiB) 1045036

[startup+4962.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20991
/proc/meminfo: memFree=23696636/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1081208 CPUtime=4962.48 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 215264 0 0 0 496205 43 0 0 25 0 1 0 429523418 1107156992 215148 33554432000 134512640 135197378 4286833216 18446744073709551615 134603242 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 270302 215148 93 168 0 270133 0
Current children cumulated CPU time (s) 4962.48
Current children cumulated vsize (KiB) 1081208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20992
/proc/meminfo: memFree=23687576/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1081208 CPUtime=5000.09 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 216704 0 0 0 499966 43 0 0 25 0 1 0 429523418 1107156992 216588 33554432000 134512640 135197378 4286833216 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 270302 216588 93 168 0 270133 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 1081208

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

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

[startup+4999.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20992
/proc/meminfo: memFree=23687576/32950928 swapFree=67111524/67111528
[pid=20818] ppid=20816 vsize=1081208 CPUtime=5000.09 cores=0,2,4,6
/proc/20818/stat : 20818 (march_hi) R 20816 20818 19852 0 -1 4202496 216704 0 0 0 499966 43 0 0 25 0 1 0 429523418 1107156992 216588 33554432000 134512640 135197378 4286833216 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20818/statm: 270302 216588 93 168 0 270133 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 1081208

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.95
CPU time (s): 5000.14
CPU user time (s): 4999.66
CPU system time (s): 0.476927
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1081208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.66
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216704
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= 3863

runsolver used 7.53485 second user time and 15.2057 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-19 04:13:58
IDJOB=3211365
IDBENCH=82990
IDSOLVER=1627
FILE ID=node127/3211365-1303179237
RUNJOBID= node127-1303170625-19870
PBS_JOBID= 13021051
Free space on /tmp= 72952 MiB

SOLVER NAME= SAT09 reference solver: march_hi hi
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf
COMMAND LINE= HOME/march_hi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3211365-1303179237/watcher-3211365-1303179237 -o /tmp/evaluation-result-3211365-1303179237/solver-3211365-1303179237 -C 5000 -W 5000 -M 15500  HOME/march_hi HOME/instance-3211365-1303179237.cnf

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

MD5SUM BENCH= 975fcba238403114d7315dde1e6a58bd
RANDOM SEED=572524690

node127.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.823
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.64
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.823
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.83
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.823
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.74
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.823
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	: 5332.86
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.823
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.75
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.823
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.75
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24554704 kB
Buffers:        794476 kB
Cached:        6863780 kB
SwapCached:          4 kB
Active:        2257988 kB
Inactive:      5787876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24554704 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             784 kB
Writeback:           0 kB
AnonPages:      386940 kB
Mapped:          15444 kB
Slab:           285672 kB
PageTables:       5328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   667804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72952 MiB
End job on node127 at 2011-04-19 05:37:19