Trace number 3420584

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.1 4999.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
MD5SUM23ebfbdf095807765a162fcb1d02f57a
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 variables125
Number of clauses2662
Sum of the clauses size13310
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 52662
Number of clauses of size over 50

Solver Data 

0.00/0.02	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.02	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.00/0.02	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.00/0.02	c main()::
0.00/0.02	c initFormula():: searching for DIMACS p-line....
0.00/0.02	c full lookahead due to high density!
0.00/0.02	c initFormula():: the DIMACS p-line indicates a CNF of 125 variables and 2662 clauses.
0.00/0.02	c parseCNF():: parsing....
0.00/0.02	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.02	c runParser():: parsing was successful, warming up engines...
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.02	c preprocessing fase I completed:: there are now 125 free variables and 2662 clauses.
0.00/0.02	c using k-SAT heuristics (size based diff)
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 4 duplicate clauses
0.00/0.02	c resolvent_look() :: found 2 resolvents
0.00/0.02	c main():: clause / variable ratio: ( 2664 / 125 ) = 21.31
0.00/0.02	c longest clause has size 5
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.02	c number of free variables = 125
0.00/0.02	c dynamic_preselect_setsize :: off
0.00/0.02	c main():: all systems go!
0.00/0.02	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 173
0.00/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: 712
0.09/0.10	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 6184
0.59/0.60	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 44683
4.59/4.67	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 242649
27.69/27.79	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 1006421
127.19/127.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 |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 6/999) NodeCount: 3269848
453.40/453.43	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 7/999) NodeCount: 8510171
1281.45/1281.43	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 8/999) NodeCount: 18104257
2931.78/2931.71	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
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-3420584-1306635563/watcher-3420584-1306635563 -o /tmp/evaluation-result-3420584-1306635563/solver-3420584-1306635563 -C 5000 -W 5100 -M 15500 ./march_rw HOME/instance-3420584-1306635563.cnf 

running on 4 cores: 1,3,5,7

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.00 2.01 2.00 4/326 20108
/proc/meminfo: memFree=18817724/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=6864 CPUtime=0.01 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 303 0 0 0 1 0 0 0 20 0 1 0 853786845 7028736 246 33554432000 4194304 4300876 140733791754160 18446744073709551615 4256651 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 1716 246 143 27 0 165 0

[startup+0.092214 s]
/proc/loadavg: 2.00 2.01 2.00 4/326 20108
/proc/meminfo: memFree=18817724/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=7168 CPUtime=0.09 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 398 0 0 0 9 0 0 0 18 0 1 0 853786845 7340032 341 33554432000 4194304 4300876 140733791754160 18446744073709551615 4276261 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 1792 341 170 27 0 241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7168

[startup+0.100214 s]
/proc/loadavg: 2.00 2.01 2.00 4/326 20108
/proc/meminfo: memFree=18817724/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=7168 CPUtime=0.09 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 398 0 0 0 9 0 0 0 18 0 1 0 853786845 7340032 341 33554432000 4194304 4300876 140733791754160 18446744073709551615 4199248 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 1792 341 170 27 0 241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7168

[startup+0.300175 s]
/proc/loadavg: 2.00 2.01 2.00 4/326 20108
/proc/meminfo: memFree=18817724/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=7316 CPUtime=0.29 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 408 0 0 0 29 0 0 0 18 0 1 0 853786845 7491584 351 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227554 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 1829 351 170 27 0 278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7316

[startup+0.700104 s]
/proc/loadavg: 2.00 2.01 2.00 4/326 20108
/proc/meminfo: memFree=18817724/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=7460 CPUtime=0.69 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 466 0 0 0 69 0 0 0 18 0 1 0 853786845 7639040 408 33554432000 4194304 4300876 140733791754160 18446744073709551615 4234886 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 1865 408 170 27 0 314 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7460

[startup+1.50096 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 20110
/proc/meminfo: memFree=18814376/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=7712 CPUtime=1.49 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 516 0 0 0 149 0 0 0 19 0 1 0 853786845 7897088 458 33554432000 4194304 4300876 140733791754160 18446744073709551615 4201157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 1928 458 171 27 0 377 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7712

[startup+3.10067 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 20110
/proc/meminfo: memFree=18812840/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=8280 CPUtime=3.09 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 611 0 0 0 309 0 0 0 25 0 1 0 853786845 8478720 553 33554432000 4194304 4300876 140733791754160 18446744073709551615 4199291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 2070 553 171 27 0 519 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8280

[startup+6.30108 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 20110
/proc/meminfo: memFree=18811352/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=8792 CPUtime=6.29 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 785 0 0 0 629 0 0 0 25 0 1 0 853786845 9003008 727 33554432000 4194304 4300876 140733791754160 18446744073709551615 4275756 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 2198 727 171 27 0 647 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8792

[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 20110
/proc/meminfo: memFree=18808200/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=10708 CPUtime=12.69 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 1130 0 0 0 1269 0 0 0 25 0 1 0 853786845 10964992 1072 33554432000 4194304 4300876 140733791754160 18446744073709551615 4214198 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 2677 1072 171 27 0 1126 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10708

[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 20110
/proc/meminfo: memFree=18804000/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=15236 CPUtime=25.49 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 1806 0 0 0 2549 0 0 0 25 0 1 0 853786845 15601664 1748 33554432000 4194304 4300876 140733791754160 18446744073709551615 4199248 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 3809 1748 171 27 0 2258 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15236

[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 20111
/proc/meminfo: memFree=18796404/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=19328 CPUtime=51.09 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 3097 0 0 0 5109 0 0 0 25 0 1 0 853786845 19791872 3039 33554432000 4194304 4300876 140733791754160 18446744073709551615 4265325 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 4832 3039 171 27 0 3281 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19328

[startup+102.312 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 20112
/proc/meminfo: memFree=18779268/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=34304 CPUtime=102.3 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 5545 0 0 0 10229 1 0 0 25 0 1 0 853786845 35127296 5487 33554432000 4194304 4300876 140733791754160 18446744073709551615 4214440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 8576 5487 171 27 0 7025 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 34304

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/334 23264
/proc/meminfo: memFree=18754848/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=48252 CPUtime=162.3 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 8300 0 0 0 16228 2 0 0 25 0 1 0 853786845 49410048 8242 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 12063 8242 171 27 0 10512 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 48252

[startup+222.3 s]
/proc/loadavg: 2.50 2.18 2.06 3/328 26008
/proc/meminfo: memFree=18743380/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=67896 CPUtime=222.29 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 10942 0 0 0 22227 2 0 0 25 0 1 0 853786845 69525504 10884 33554432000 4194304 4300876 140733791754160 18446744073709551615 4288362 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 16974 10884 171 27 0 15423 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 67896

[startup+282.301 s]
/proc/loadavg: 2.20 2.15 2.06 3/328 26009
/proc/meminfo: memFree=18727344/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=69600 CPUtime=282.3 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 13599 0 0 0 28227 3 0 0 25 0 1 0 853786845 71270400 13541 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 17400 13541 171 27 0 15849 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 69600

[startup+342.301 s]
/proc/loadavg: 2.06 2.12 2.05 3/328 26011
/proc/meminfo: memFree=18710680/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=99068 CPUtime=342.3 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 16177 0 0 0 34226 4 0 0 25 0 1 0 853786845 101445632 16119 33554432000 4194304 4300876 140733791754160 18446744073709551615 4201448 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 24767 16119 171 27 0 23216 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 99068

[startup+402.301 s]
/proc/loadavg: 2.02 2.10 2.05 3/328 26012
/proc/meminfo: memFree=18694780/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=99068 CPUtime=402.3 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 18576 0 0 0 40225 5 0 0 25 0 1 0 853786845 101445632 18518 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 24767 18518 171 27 0 23216 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 99068

[startup+462.301 s]
/proc/loadavg: 2.01 2.08 2.04 3/328 26014
/proc/meminfo: memFree=18679608/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=102472 CPUtime=462.3 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 20891 0 0 0 46225 5 0 0 25 0 1 0 853786845 104931328 20833 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 25618 20833 171 27 0 24067 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 102472

[startup+522.301 s]
/proc/loadavg: 2.00 2.06 2.04 3/328 26016
/proc/meminfo: memFree=18662860/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=146672 CPUtime=522.31 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 23579 0 0 0 52225 6 0 0 25 0 1 0 853786845 150192128 23521 33554432000 4194304 4300876 140733791754160 18446744073709551615 4214263 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 36668 23521 171 27 0 35117 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 146672

[startup+582.301 s]
/proc/loadavg: 2.00 2.05 2.03 3/328 26017
/proc/meminfo: memFree=18646452/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=146672 CPUtime=582.31 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 26160 0 0 0 58225 6 0 0 25 0 1 0 853786845 150192128 26102 33554432000 4194304 4300876 140733791754160 18446744073709551615 4225187 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 36668 26102 171 27 0 35117 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 146672

[startup+642.301 s]

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

[startup+4062.31 s]
/proc/loadavg: 2.04 2.02 2.00 4/328 26122
/proc/meminfo: memFree=17815464/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4062.43 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 151492 0 0 0 406211 32 0 0 25 0 1 0 853786845 750632960 151434 33554432000 4194304 4300876 140733791754160 18446744073709551615 4214440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 151434 171 27 0 181709 0
Current children cumulated CPU time (s) 4062.43
Current children cumulated vsize (KiB) 733040

[startup+4122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 26124
/proc/meminfo: memFree=17802400/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4122.42 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 153592 0 0 0 412210 32 0 0 25 0 1 0 853786845 750632960 153534 33554432000 4194304 4300876 140733791754160 18446744073709551615 4264464 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 153534 171 27 0 181709 0
Current children cumulated CPU time (s) 4122.42
Current children cumulated vsize (KiB) 733040

[startup+4182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 26125
/proc/meminfo: memFree=17789716/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4182.42 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 155577 0 0 0 418210 32 0 0 25 0 1 0 853786845 750632960 155519 33554432000 4194304 4300876 140733791754160 18446744073709551615 4199248 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 155519 171 27 0 181709 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 733040

[startup+4242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 26127
/proc/meminfo: memFree=17775896/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4242.42 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 157714 0 0 0 424209 33 0 0 25 0 1 0 853786845 750632960 157656 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 157656 171 27 0 181709 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 733040

[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26128
/proc/meminfo: memFree=17761840/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4302.42 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 159795 0 0 0 430209 33 0 0 25 0 1 0 853786845 750632960 159737 33554432000 4194304 4300876 140733791754160 18446744073709551615 260020092345 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 159737 171 27 0 181709 0
Current children cumulated CPU time (s) 4302.42
Current children cumulated vsize (KiB) 733040

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26130
/proc/meminfo: memFree=17748420/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4362.43 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 161776 0 0 0 436209 34 0 0 25 0 1 0 853786845 750632960 161718 33554432000 4194304 4300876 140733791754160 18446744073709551615 4264566 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 161718 171 27 0 181709 0
Current children cumulated CPU time (s) 4362.43
Current children cumulated vsize (KiB) 733040

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26132
/proc/meminfo: memFree=17734600/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4422.43 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 163815 0 0 0 442209 34 0 0 25 0 1 0 853786845 750632960 163757 33554432000 4194304 4300876 140733791754160 18446744073709551615 4214400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 163757 171 27 0 181709 0
Current children cumulated CPU time (s) 4422.43
Current children cumulated vsize (KiB) 733040

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26133
/proc/meminfo: memFree=17721556/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4482.43 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 165742 0 0 0 448209 34 0 0 25 0 1 0 853786845 750632960 165684 33554432000 4194304 4300876 140733791754160 18446744073709551615 4201308 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 165684 171 27 0 181709 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 733040

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26135
/proc/meminfo: memFree=17708116/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4542.44 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 167736 0 0 0 454209 35 0 0 25 0 1 0 853786845 750632960 167678 33554432000 4194304 4300876 140733791754160 18446744073709551615 4199291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 167678 171 27 0 181709 0
Current children cumulated CPU time (s) 4542.44
Current children cumulated vsize (KiB) 733040

[startup+4602.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/328 26136
/proc/meminfo: memFree=17695320/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4602.45 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 169567 0 0 0 460210 35 0 0 25 0 1 0 853786845 750632960 169509 33554432000 4194304 4300876 140733791754160 18446744073709551615 4199334 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 169509 171 27 0 181709 0
Current children cumulated CPU time (s) 4602.45
Current children cumulated vsize (KiB) 733040

[startup+4662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/328 26138
/proc/meminfo: memFree=17681024/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4662.43 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 171461 0 0 0 466208 35 0 0 25 0 1 0 853786845 750632960 171403 33554432000 4194304 4300876 140733791754160 18446744073709551615 4276274 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 171403 171 27 0 181709 0
Current children cumulated CPU time (s) 4662.43
Current children cumulated vsize (KiB) 733040

[startup+4722.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 26140
/proc/meminfo: memFree=17668356/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4722.44 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 173597 0 0 0 472209 35 0 0 25 0 1 0 853786845 750632960 173539 33554432000 4194304 4300876 140733791754160 18446744073709551615 4264702 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 173539 171 27 0 181709 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 733040

[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 26144
/proc/meminfo: memFree=17657540/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=733040 CPUtime=4782.44 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 175532 0 0 0 478208 36 0 0 25 0 1 0 853786845 750632960 175474 33554432000 4194304 4300876 140733791754160 18446744073709551615 4199250 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 183260 175474 171 27 0 181709 0
Current children cumulated CPU time (s) 4782.44
Current children cumulated vsize (KiB) 733040

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26146
/proc/meminfo: memFree=17642624/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=1068688 CPUtime=4842.45 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 177510 0 0 0 484208 37 0 0 25 0 1 0 853786845 1094336512 177452 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227544 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 267172 177452 171 27 0 265621 0
Current children cumulated CPU time (s) 4842.45
Current children cumulated vsize (KiB) 1068688

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26147
/proc/meminfo: memFree=17630412/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=1068688 CPUtime=4902.45 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 179380 0 0 0 490208 37 0 0 25 0 1 0 853786845 1094336512 179322 33554432000 4194304 4300876 140733791754160 18446744073709551615 4276286 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 267172 179322 171 27 0 265621 0
Current children cumulated CPU time (s) 4902.45
Current children cumulated vsize (KiB) 1068688

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 26149
/proc/meminfo: memFree=17616872/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=1068688 CPUtime=4962.44 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 181271 0 0 0 496207 37 0 0 25 0 1 0 853786845 1094336512 181213 33554432000 4194304 4300876 140733791754160 18446744073709551615 4227618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 267172 181213 171 27 0 265621 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 1068688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 4/328 26150
/proc/meminfo: memFree=17609028/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=1068688 CPUtime=5000.05 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 182377 0 0 0 499968 37 0 0 25 0 1 0 853786845 1094336512 182319 33554432000 4194304 4300876 140733791754160 18446744073709551615 4289195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 267172 182319 171 27 0 265621 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 1068688

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.00 2.00 2.00 4/328 26150
/proc/meminfo: memFree=17609028/32951124 swapFree=67083432/67111528
[pid=20106] ppid=20103 vsize=1068688 CPUtime=5000.05 cores=1,3,5,7
/proc/20106/stat : 20106 (march_rw) R 20103 20106 18464 0 -1 4202496 182377 0 0 0 499968 37 0 0 25 0 1 0 853786845 1094336512 182319 33554432000 4194304 4300876 140733791754160 18446744073709551615 4289195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20106/statm: 267172 182319 171 27 0 265621 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 1068688

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.94
CPU time (s): 5000.1
CPU user time (s): 4999.69
CPU system time (s): 0.407937
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1068688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.69
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182377
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= 5
involuntary context switches= 4611

runsolver used 14.2468 second user time and 35.7566 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-29 04:19:23
IDJOB=3420584
IDBENCH=82836
IDSOLVER=1913
FILE ID=node110/3420584-1306635563
RUNJOBID= node110-1306635563-20090
PBS_JOBID= 13471590
Free space on /tmp= 73488 MiB

SOLVER NAME= march_rw 2011-03-02
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
COMMAND LINE= ./march_rw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3420584-1306635563/watcher-3420584-1306635563 -o /tmp/evaluation-result-3420584-1306635563/solver-3420584-1306635563 -C 5000 -W 5100 -M 15500  ./march_rw HOME/instance-3420584-1306635563.cnf

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

MD5SUM BENCH= 23ebfbdf095807765a162fcb1d02f57a
RANDOM SEED=1423057025

node110.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.830
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.830
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.830
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.75
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.830
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.83
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.830
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.76
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.830
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.830
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.74
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.830
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:     32951124 kB
MemFree:      18818044 kB
Buffers:        344308 kB
Cached:        9831260 kB
SwapCached:       1416 kB
Active:        7337996 kB
Inactive:      6461504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18818044 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:             440 kB
Writeback:           0 kB
AnonPages:     3623172 kB
Mapped:          27832 kB
Slab:           241868 kB
PageTables:      27192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75581324 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= 73488 MiB
End job on node110 at 2011-05-29 05:42:45