Trace number 3420613

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
MD5SUM9ba35b45d3c5bc2de5bf2217a9a677d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.01	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.00/0.01	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.00/0.01	c main()::
0.00/0.01	c initFormula():: searching for DIMACS p-line....
0.00/0.01	c initFormula():: the DIMACS p-line indicates a CNF of 600 variables and 2556 clauses.
0.00/0.01	c parseCNF():: parsing....
0.00/0.01	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.01	c runParser():: parsing was successful, warming up engines...
0.00/0.01	c simplify_formula():: removed 0 tautological, 12 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 598 free variables and 2544 clauses.
0.00/0.01	c using 3-SAT heuristics (occurence based diff)
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 158 duplicate clauses
0.00/0.01	c resolvent_look() :: found 101 resolvents
0.00/0.01	c main():: clause / variable ratio: ( 2645 / 600 ) = 4.41
0.00/0.01	c longest clause has size 3
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c number of free variables = 598
0.00/0.01	c dynamic_preselect_setsize :: off
0.00/0.01	c main():: all systems go!
0.00/0.01	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 207
0.00/0.06	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: 873
0.10/0.15	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 8561
1.30/1.34	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 66892
11.70/11.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 |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 4/999) NodeCount: 381880
74.39/74.47	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 1652345
354.60/354.68	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 5530860
1293.41/1293.45	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 14575795
3677.75/3677.73	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
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-3420613-1306636164/watcher-3420613-1306636164 -o /tmp/evaluation-result-3420613-1306636164/solver-3420613-1306636164 -C 5000 -W 5100 -M 15500 ./march_rw HOME/instance-3420613-1306636164.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.05 2.07 2.02 3/488 22936
/proc/meminfo: memFree=19521088/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=7664 CPUtime=0.01 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 440 0 0 0 1 0 0 0 21 0 1 0 775214935 7847936 383 33554432000 4194304 4300876 140737019531472 18446744073709551615 4216863 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 1916 383 168 27 0 365 0

[startup+0.088814 s]
/proc/loadavg: 2.05 2.07 2.02 3/488 22936
/proc/meminfo: memFree=19521088/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=7796 CPUtime=0.08 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 495 0 0 0 8 0 0 0 21 0 1 0 775214935 7983104 438 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 1949 438 168 27 0 398 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7796

[startup+0.100813 s]
/proc/loadavg: 2.05 2.07 2.02 3/488 22936
/proc/meminfo: memFree=19521088/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=7796 CPUtime=0.1 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 499 0 0 0 10 0 0 0 21 0 1 0 775214935 7983104 442 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217373 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 1949 442 168 27 0 398 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7796

[startup+0.300768 s]
/proc/loadavg: 2.05 2.07 2.02 3/488 22936
/proc/meminfo: memFree=19521088/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=7796 CPUtime=0.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 523 0 0 0 30 0 0 0 22 0 1 0 775214935 7983104 466 33554432000 4194304 4300876 140737019531472 18446744073709551615 4281207 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 1949 466 168 27 0 398 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7796

[startup+0.700699 s]
/proc/loadavg: 2.05 2.07 2.02 3/488 22936
/proc/meminfo: memFree=19521088/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=8064 CPUtime=0.7 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 580 0 0 0 70 0 0 0 24 0 1 0 775214935 8257536 523 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217467 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 2016 523 168 27 0 465 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 8064

[startup+1.50058 s]
/proc/loadavg: 2.05 2.07 2.02 4/490 22938
/proc/meminfo: memFree=19516368/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=8232 CPUtime=1.5 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 611 0 0 0 150 0 0 0 25 0 1 0 775214935 8429568 554 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217530 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 2058 554 169 27 0 507 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 8232

[startup+3.10031 s]
/proc/loadavg: 2.05 2.06 2.02 4/490 22938
/proc/meminfo: memFree=19514864/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=8748 CPUtime=3.09 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 691 0 0 0 309 0 0 0 25 0 1 0 775214935 8957952 634 33554432000 4194304 4300876 140737019531472 18446744073709551615 4200316 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 2187 634 169 27 0 636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8748

[startup+6.30077 s]
/proc/loadavg: 2.05 2.06 2.02 4/490 22938
/proc/meminfo: memFree=19513492/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=9224 CPUtime=6.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 825 0 0 0 630 0 0 0 25 0 1 0 775214935 9445376 768 33554432000 4194304 4300876 140737019531472 18446744073709551615 4200267 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 2306 768 169 27 0 755 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9224

[startup+12.7007 s]
/proc/loadavg: 2.04 2.06 2.01 4/490 22938
/proc/meminfo: memFree=19509980/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=10772 CPUtime=12.7 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 1068 0 0 0 1270 0 0 0 25 0 1 0 775214935 11030528 1011 33554432000 4194304 4300876 140737019531472 18446744073709551615 4265584 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 2693 1011 169 27 0 1142 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10772

[startup+25.5005 s]
/proc/loadavg: 2.03 2.06 2.01 4/490 22938
/proc/meminfo: memFree=19506392/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=12600 CPUtime=25.49 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 1584 0 0 0 2549 0 0 0 25 0 1 0 775214935 12902400 1527 33554432000 4194304 4300876 140737019531472 18446744073709551615 4228448 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 3150 1527 169 27 0 1599 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12600

[startup+51.1003 s]
/proc/loadavg: 2.02 2.05 2.01 4/490 22939
/proc/meminfo: memFree=19499300/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=17996 CPUtime=51.09 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 2551 0 0 0 5109 0 0 0 25 0 1 0 775214935 18427904 2494 33554432000 4194304 4300876 140737019531472 18446744073709551615 4281207 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 4499 2494 169 27 0 2948 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17996

[startup+102.318 s]
/proc/loadavg: 2.01 2.04 2.01 4/490 22940
/proc/meminfo: memFree=19483660/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=29872 CPUtime=102.31 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 4408 0 0 0 10231 0 0 0 25 0 1 0 775214935 30588928 4351 33554432000 4194304 4300876 140737019531472 18446744073709551615 4197934 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 7468 4351 169 27 0 5917 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29872

[startup+162.301 s]
/proc/loadavg: 2.07 2.06 2.01 4/490 22942
/proc/meminfo: memFree=19467764/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=43080 CPUtime=162.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 6532 0 0 0 16229 1 0 0 25 0 1 0 775214935 44113920 6475 33554432000 4194304 4300876 140737019531472 18446744073709551615 4200351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 10770 6475 169 27 0 9219 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 43080

[startup+222.301 s]
/proc/loadavg: 2.08 2.07 2.02 4/490 22943
/proc/meminfo: memFree=19454088/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=43080 CPUtime=222.29 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 8639 0 0 0 22228 1 0 0 25 0 1 0 775214935 44113920 8582 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217384 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 10770 8582 169 27 0 9219 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 43080

[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.01 4/490 22945
/proc/meminfo: memFree=19439560/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=56176 CPUtime=282.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 10709 0 0 0 28228 2 0 0 25 0 1 0 775214935 57524224 10652 33554432000 4194304 4300876 140737019531472 18446744073709551615 4228543 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 14044 10652 169 27 0 12493 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 56176

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 4/490 22947
/proc/meminfo: memFree=19424288/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=64872 CPUtime=342.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 12666 0 0 0 34227 3 0 0 25 0 1 0 775214935 66428928 12609 33554432000 4194304 4300876 140737019531472 18446744073709551615 4214483 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 16218 12609 169 27 0 14667 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 64872

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/490 22948
/proc/meminfo: memFree=19409896/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=84648 CPUtime=402.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 14711 0 0 0 40227 3 0 0 25 0 1 0 775214935 86679552 14654 33554432000 4194304 4300876 140737019531472 18446744073709551615 4200341 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 21162 14654 169 27 0 19611 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 84648

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/490 22950
/proc/meminfo: memFree=19395112/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=84648 CPUtime=462.29 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 16796 0 0 0 46226 3 0 0 25 0 1 0 775214935 86679552 16739 33554432000 4194304 4300876 140737019531472 18446744073709551615 4250807 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 21162 16739 169 27 0 19611 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 84648

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 22951
/proc/meminfo: memFree=19380588/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=84648 CPUtime=522.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 18773 0 0 0 52226 4 0 0 25 0 1 0 775214935 86679552 18716 33554432000 4194304 4300876 140737019531472 18446744073709551615 4288282 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 21162 18716 169 27 0 19611 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 84648

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 22953
/proc/meminfo: memFree=19365444/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=131504 CPUtime=582.3 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 20763 0 0 0 58226 4 0 0 25 0 1 0 775214935 134660096 20706 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217555 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 32876 20706 169 27 0 31325 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 131504

[startup+642.301 s]

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

[startup+4002.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 23056
/proc/meminfo: memFree=18583024/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=595216 CPUtime=4002.35 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 126271 0 0 0 400210 25 0 0 25 0 1 0 775214935 609501184 126214 33554432000 4194304 4300876 140737019531472 18446744073709551615 4268817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 148804 126214 169 27 0 147253 0
Current children cumulated CPU time (s) 4002.35
Current children cumulated vsize (KiB) 595216

[startup+4062.32 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 23058
/proc/meminfo: memFree=18570716/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=595216 CPUtime=4062.38 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 127986 0 0 0 406212 26 0 0 25 0 1 0 775214935 609501184 127929 33554432000 4194304 4300876 140737019531472 18446744073709551615 4250935 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 148804 127929 169 27 0 147253 0
Current children cumulated CPU time (s) 4062.38
Current children cumulated vsize (KiB) 595216

[startup+4122.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 23059
/proc/meminfo: memFree=18556692/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=595216 CPUtime=4122.35 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 129826 0 0 0 412209 26 0 0 25 0 1 0 775214935 609501184 129769 33554432000 4194304 4300876 140737019531472 18446744073709551615 4276853 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 148804 129769 169 27 0 147253 0
Current children cumulated CPU time (s) 4122.35
Current children cumulated vsize (KiB) 595216

[startup+4182.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 23061
/proc/meminfo: memFree=18543044/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=595216 CPUtime=4182.36 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 131704 0 0 0 418209 27 0 0 25 0 1 0 775214935 609501184 131647 33554432000 4194304 4300876 140737019531472 18446744073709551615 4214333 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 148804 131647 169 27 0 147253 0
Current children cumulated CPU time (s) 4182.36
Current children cumulated vsize (KiB) 595216

[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/490 23063
/proc/meminfo: memFree=18529760/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=595216 CPUtime=4242.36 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 133598 0 0 0 424209 27 0 0 25 0 1 0 775214935 609501184 133541 33554432000 4194304 4300876 140737019531472 18446744073709551615 4214407 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 148804 133541 169 27 0 147253 0
Current children cumulated CPU time (s) 4242.36
Current children cumulated vsize (KiB) 595216

[startup+4302.3 s]
/proc/loadavg: 2.22 2.06 2.02 4/490 23064
/proc/meminfo: memFree=18514972/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4302.36 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 135430 0 0 0 430208 28 0 0 25 0 1 0 775214935 751943680 135373 33554432000 4194304 4300876 140737019531472 18446744073709551615 4264250 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 135373 169 27 0 182029 0
Current children cumulated CPU time (s) 4302.36
Current children cumulated vsize (KiB) 734320

[startup+4362.3 s]
/proc/loadavg: 2.15 2.06 2.02 4/490 23066
/proc/meminfo: memFree=18502416/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4362.36 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 137211 0 0 0 436208 28 0 0 25 0 1 0 775214935 751943680 137154 33554432000 4194304 4300876 140737019531472 18446744073709551615 4228504 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 137154 169 27 0 182029 0
Current children cumulated CPU time (s) 4362.36
Current children cumulated vsize (KiB) 734320

[startup+4422.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/490 23067
/proc/meminfo: memFree=18489380/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4422.36 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 139079 0 0 0 442208 28 0 0 25 0 1 0 775214935 751943680 139022 33554432000 4194304 4300876 140737019531472 18446744073709551615 4250723 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 139022 169 27 0 182029 0
Current children cumulated CPU time (s) 4422.36
Current children cumulated vsize (KiB) 734320

[startup+4482.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/490 23069
/proc/meminfo: memFree=18475964/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4482.37 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 140923 0 0 0 448208 29 0 0 25 0 1 0 775214935 751943680 140866 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 140866 169 27 0 182029 0
Current children cumulated CPU time (s) 4482.37
Current children cumulated vsize (KiB) 734320

[startup+4542.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/490 23071
/proc/meminfo: memFree=18461940/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4542.36 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 142754 0 0 0 454207 29 0 0 25 0 1 0 775214935 751943680 142697 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217822 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 142697 169 27 0 182029 0
Current children cumulated CPU time (s) 4542.36
Current children cumulated vsize (KiB) 734320

[startup+4602.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 23072
/proc/meminfo: memFree=18447152/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4602.37 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 144485 0 0 0 460208 29 0 0 25 0 1 0 775214935 751943680 144428 33554432000 4194304 4300876 140737019531472 18446744073709551615 4250938 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 144428 169 27 0 182029 0
Current children cumulated CPU time (s) 4602.37
Current children cumulated vsize (KiB) 734320

[startup+4662.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 23074
/proc/meminfo: memFree=18433468/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4662.37 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 146278 0 0 0 466207 30 0 0 25 0 1 0 775214935 751943680 146221 33554432000 4194304 4300876 140737019531472 18446744073709551615 4288296 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 146221 169 27 0 182029 0
Current children cumulated CPU time (s) 4662.37
Current children cumulated vsize (KiB) 734320

[startup+4722.32 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 23075
/proc/meminfo: memFree=18422392/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4722.38 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 148110 0 0 0 472208 30 0 0 25 0 1 0 775214935 751943680 148053 33554432000 4194304 4300876 140737019531472 18446744073709551615 4228440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 148053 169 27 0 182029 0
Current children cumulated CPU time (s) 4722.38
Current children cumulated vsize (KiB) 734320

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/490 23077
/proc/meminfo: memFree=18409828/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4782.37 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 149892 0 0 0 478206 31 0 0 25 0 1 0 775214935 751943680 149835 33554432000 4194304 4300876 140737019531472 18446744073709551615 4228273 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 149835 169 27 0 182029 0
Current children cumulated CPU time (s) 4782.37
Current children cumulated vsize (KiB) 734320

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/490 23079
/proc/meminfo: memFree=18395800/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=734320 CPUtime=4842.36 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 151602 0 0 0 484205 31 0 0 25 0 1 0 775214935 751943680 151545 33554432000 4194304 4300876 140737019531472 18446744073709551615 4214440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 183580 151545 169 27 0 182029 0
Current children cumulated CPU time (s) 4842.36
Current children cumulated vsize (KiB) 734320

[startup+4902.3 s]
/proc/loadavg: 2.12 2.04 2.01 4/490 23080
/proc/meminfo: memFree=18383880/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=958084 CPUtime=4902.37 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 153267 0 0 0 490204 33 0 0 25 0 1 0 775214935 981078016 153210 33554432000 4194304 4300876 140737019531472 18446744073709551615 4200404 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 239521 153210 169 27 0 237970 0
Current children cumulated CPU time (s) 4902.37
Current children cumulated vsize (KiB) 958084

[startup+4962.3 s]
/proc/loadavg: 2.16 2.08 2.02 4/490 23082
/proc/meminfo: memFree=18370220/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=958084 CPUtime=4962.37 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 154983 0 0 0 496204 33 0 0 25 0 1 0 775214935 981078016 154926 33554432000 4194304 4300876 140737019531472 18446744073709551615 4217639 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 239521 154926 169 27 0 237970 0
Current children cumulated CPU time (s) 4962.37
Current children cumulated vsize (KiB) 958084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.09 2.06 2.02 4/490 23083
/proc/meminfo: memFree=18361892/32951124 swapFree=63649292/67111528
[pid=22936] ppid=22934 vsize=958084 CPUtime=5000.08 cores=1,3,5,7
/proc/22936/stat : 22936 (march_rw) R 22934 22936 13483 0 -1 4202496 156044 0 0 0 499975 33 0 0 25 0 1 0 775214935 981078016 155987 33554432000 4194304 4300876 140737019531472 18446744073709551615 4200291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22936/statm: 239521 155987 169 27 0 237970 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 958084

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5000.05
CPU time (s): 5000.12
CPU user time (s): 4999.76
CPU system time (s): 0.361944
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 958084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.76
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156044
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= 3
involuntary context switches= 3256

runsolver used 21.9437 second user time and 55.0816 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-29 04:29:24
IDJOB=3420613
IDBENCH=82865
IDSOLVER=1913
FILE ID=node130/3420613-1306636164
RUNJOBID= node130-1306636164-22918
PBS_JOBID= 13471605
Free space on /tmp= 73376 MiB

SOLVER NAME= march_rw 2011-03-02
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
COMMAND LINE= ./march_rw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3420613-1306636164/watcher-3420613-1306636164 -o /tmp/evaluation-result-3420613-1306636164/solver-3420613-1306636164 -C 5000 -W 5100 -M 15500  ./march_rw HOME/instance-3420613-1306636164.cnf

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

MD5SUM BENCH= 9ba35b45d3c5bc2de5bf2217a9a677d5
RANDOM SEED=1175704280

node130.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.838
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.67
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.838
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.838
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.838
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.81
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.838
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.838
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19521236 kB
Buffers:        366112 kB
Cached:        7964176 kB
SwapCached:      10260 kB
Active:        7446192 kB
Inactive:      5664932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19521236 kB
SwapTotal:    67111528 kB
SwapFree:     63649292 kB
Dirty:             408 kB
Writeback:           0 kB
AnonPages:     4778800 kB
Mapped:          30304 kB
Slab:           195596 kB
PageTables:      54016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145078584 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= 73376 MiB
End job on node130 at 2011-05-29 05:52:46