Trace number 3211105

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT09 reference solver: march_hi hi? (TO) 5000.09 4999.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
MD5SUM99f3efd3bfc8a6f99ffbd289ed4a5837
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 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, 8 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 599 free variables and 2548 clauses.
0.00/0.01	c stat :: sign balance is biased by 0.409
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 149 duplicate clauses
0.00/0.01	c resolvent_look() :: found 85 resolvents
0.00/0.01	c lessRedundantTransformation():: nothing to be done.
0.00/0.01	c transformTo3SAT():: you gave me 600 variables and 2633 clauses.
0.00/0.01	c transformTo3SAT():: by the way, the maximal clause length before transformation was 3.
0.00/0.01	c transformTo3SAT():: I will add 0 variables and 0 clauses!
0.00/0.01	c transformTo3SAT():: the transformation yielded 600 variabels and 2633 clauses.
0.00/0.01	c main():: clause / variable ratio: ( 2633 / 600 ) = 4.39
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 = 599
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: 133
0.03/0.04	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: 790
0.09/0.14	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 7950
1.29/1.35	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 61244
11.49/11.58	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 351114
73.29/73.38	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 1528479
349.90/349.90	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 5156976
1282.03/1282.09	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 13724916
3674.09/3674.00	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3211105-1303175214/watcher-3211105-1303175214 -o /tmp/evaluation-result-3211105-1303175214/solver-3211105-1303175214 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3211105-1303175214.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): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.04 1.93 3/181 14320
/proc/meminfo: memFree=16035076/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=1188 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 187 0 0 0 0 0 0 0 25 0 1 0 429119297 1216512 142 33554432000 134512640 135197378 4288343472 18446744073709551615 134687851 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 297 142 67 168 0 128 0

[startup+0.0348701 s]
/proc/loadavg: 2.11 2.04 1.93 3/181 14320
/proc/meminfo: memFree=16035076/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=2072 CPUtime=0.03 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 359 0 0 0 3 0 0 0 25 0 1 0 429119297 2121728 314 33554432000 134512640 135197378 4288343472 18446744073709551615 134542106 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 518 314 91 168 0 349 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2072

[startup+0.100845 s]
/proc/loadavg: 2.11 2.04 1.93 3/181 14320
/proc/meminfo: memFree=16035076/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=2072 CPUtime=0.09 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 377 0 0 0 9 0 0 0 18 0 1 0 429119297 2121728 332 33554432000 134512640 135197378 4288343472 18446744073709551615 134615974 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 518 332 91 168 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2072

[startup+0.300809 s]
/proc/loadavg: 2.11 2.04 1.93 3/181 14320
/proc/meminfo: memFree=16035076/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=2204 CPUtime=0.29 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 403 0 0 0 29 0 0 0 18 0 1 0 429119297 2256896 358 33554432000 134512640 135197378 4288343472 18446744073709551615 134542106 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 551 358 91 168 0 382 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2204

[startup+0.700745 s]
/proc/loadavg: 2.11 2.04 1.93 3/181 14320
/proc/meminfo: memFree=16035076/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=2340 CPUtime=0.69 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 441 0 0 0 69 0 0 0 18 0 1 0 429119297 2396160 396 33554432000 134512640 135197378 4288343472 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 585 396 91 168 0 416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2340

[startup+1.5006 s]
/proc/loadavg: 2.11 2.04 1.93 3/182 14321
/proc/meminfo: memFree=16033712/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=2508 CPUtime=1.49 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 471 0 0 0 149 0 0 0 20 0 1 0 429119297 2568192 426 33554432000 134512640 135197378 4288343472 18446744073709551615 134525339 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 627 426 91 168 0 458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2508

[startup+3.1003 s]
/proc/loadavg: 2.11 2.04 1.93 3/182 14321
/proc/meminfo: memFree=16032596/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=2820 CPUtime=3.09 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 539 0 0 0 309 0 0 0 25 0 1 0 429119297 2887680 494 33554432000 134512640 135197378 4288343472 18446744073709551615 134552493 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 705 494 91 168 0 536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2820

[startup+6.30071 s]
/proc/loadavg: 2.11 2.04 1.93 3/182 14321
/proc/meminfo: memFree=16031856/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=3388 CPUtime=6.29 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 664 0 0 0 629 0 0 0 25 0 1 0 429119297 3469312 619 33554432000 134512640 135197378 4288343472 18446744073709551615 134542024 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 847 619 91 168 0 678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3388

[startup+12.7005 s]
/proc/loadavg: 2.10 2.04 1.93 3/182 14321
/proc/meminfo: memFree=16029624/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=4932 CPUtime=12.69 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 919 0 0 0 1269 0 0 0 25 0 1 0 429119297 5050368 874 33554432000 134512640 135197378 4288343472 18446744073709551615 134542043 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 1233 874 91 168 0 1064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4932

[startup+25.5001 s]
/proc/loadavg: 2.07 2.04 1.93 3/182 14321
/proc/meminfo: memFree=16025912/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=6352 CPUtime=25.49 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 1368 0 0 0 2549 0 0 0 25 0 1 0 429119297 6504448 1323 33554432000 134512640 135197378 4288343472 18446744073709551615 134542163 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 1588 1323 91 168 0 1419 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6352

[startup+51.1004 s]
/proc/loadavg: 2.11 2.05 1.94 3/182 14322
/proc/meminfo: memFree=16018452/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=11200 CPUtime=51.09 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 2230 0 0 0 5109 0 0 0 25 0 1 0 429119297 11468800 2185 33554432000 134512640 135197378 4288343472 18446744073709551615 134618106 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 2800 2185 91 168 0 2631 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11200

[startup+102.306 s]
/proc/loadavg: 2.05 2.04 1.94 3/182 14323
/proc/meminfo: memFree=16003560/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=18436 CPUtime=102.29 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 3898 0 0 0 10229 0 0 0 25 0 1 0 429119297 18878464 3853 33554432000 134512640 135197378 4288343472 18446744073709551615 134617976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 4609 3853 91 168 0 4440 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 18436

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 1.94 3/182 14325
/proc/meminfo: memFree=15987796/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=32988 CPUtime=162.3 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 5824 0 0 0 16229 1 0 0 25 0 1 0 429119297 33779712 5779 33554432000 134512640 135197378 4288343472 18446744073709551615 134542035 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 8247 5779 91 168 0 8078 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 32988

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/182 14326
/proc/meminfo: memFree=15971032/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=37280 CPUtime=222.29 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 7715 0 0 0 22228 1 0 0 25 0 1 0 429119297 38174720 7670 33554432000 134512640 135197378 4288343472 18446744073709551615 134572984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 9320 7670 91 168 0 9151 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 37280

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/182 14328
/proc/meminfo: memFree=15954640/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=50376 CPUtime=282.3 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 9553 0 0 0 28228 2 0 0 25 0 1 0 429119297 51585024 9508 33554432000 134512640 135197378 4288343472 18446744073709551615 134548523 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 12594 9508 91 168 0 12425 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 50376

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/182 14330
/proc/meminfo: memFree=15938884/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=50376 CPUtime=342.3 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 11290 0 0 0 34227 3 0 0 25 0 1 0 429119297 51585024 11245 33554432000 134512640 135197378 4288343472 18446744073709551615 134593931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 12594 11245 91 168 0 12425 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 50376

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 14331
/proc/meminfo: memFree=15922876/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=78744 CPUtime=402.3 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 13140 0 0 0 40227 3 0 0 25 0 1 0 429119297 80633856 13095 33554432000 134512640 135197378 4288343472 18446744073709551615 134525339 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 19686 13095 91 168 0 19517 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 78744

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 14333
/proc/meminfo: memFree=15906252/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=78744 CPUtime=462.3 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 14963 0 0 0 46227 3 0 0 25 0 1 0 429119297 80633856 14918 33554432000 134512640 135197378 4288343472 18446744073709551615 134552507 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 19686 14918 91 168 0 19517 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 78744

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 14334
/proc/meminfo: memFree=15890480/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=78744 CPUtime=522.31 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 16772 0 0 0 52227 4 0 0 25 0 1 0 429119297 80633856 16727 33554432000 134512640 135197378 4288343472 18446744073709551615 134541914 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 19686 16727 91 168 0 19517 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 78744

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/182 14336
/proc/meminfo: memFree=15875212/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=78744 CPUtime=582.31 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 18438 0 0 0 58227 4 0 0 25 0 1 0 429119297 80633856 18393 33554432000 134512640 135197378 4288343472 18446744073709551615 134570769 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 19686 18393 91 168 0 19517 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 78744

[startup+642.301 s]

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

[startup+4002.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 15046
/proc/meminfo: memFree=16187100/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4002.41 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 112666 0 0 0 400216 25 0 0 25 0 1 0 429119297 601833472 112621 33554432000 134512640 135197378 4288343472 18446744073709551615 134593939 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 112621 91 168 0 146763 0
Current children cumulated CPU time (s) 4002.41
Current children cumulated vsize (KiB) 587728

[startup+4062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 15048
/proc/meminfo: memFree=16174808/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4062.41 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 114290 0 0 0 406216 25 0 0 25 0 1 0 429119297 601833472 114245 33554432000 134512640 135197378 4288343472 18446744073709551615 134525318 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 114245 91 168 0 146763 0
Current children cumulated CPU time (s) 4062.41
Current children cumulated vsize (KiB) 587728

[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15049
/proc/meminfo: memFree=16162388/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4122.41 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 115914 0 0 0 412216 25 0 0 25 0 1 0 429119297 601833472 115869 33554432000 134512640 135197378 4288343472 18446744073709551615 134590843 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 115869 91 168 0 146763 0
Current children cumulated CPU time (s) 4122.41
Current children cumulated vsize (KiB) 587728

[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15051
/proc/meminfo: memFree=16150464/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4182.42 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 117546 0 0 0 418216 26 0 0 25 0 1 0 429119297 601833472 117501 33554432000 134512640 135197378 4288343472 18446744073709551615 134525322 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 117501 91 168 0 146763 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 587728

[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15053
/proc/meminfo: memFree=16138672/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4242.42 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 119089 0 0 0 424216 26 0 0 25 0 1 0 429119297 601833472 119044 33554432000 134512640 135197378 4288343472 18446744073709551615 134542431 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 119044 91 168 0 146763 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 587728

[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15054
/proc/meminfo: memFree=16126500/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4302.41 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 120735 0 0 0 430215 26 0 0 25 0 1 0 429119297 601833472 120690 33554432000 134512640 135197378 4288343472 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 120690 91 168 0 146763 0
Current children cumulated CPU time (s) 4302.41
Current children cumulated vsize (KiB) 587728

[startup+4362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 15056
/proc/meminfo: memFree=16114580/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4362.41 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 122360 0 0 0 436215 26 0 0 25 0 1 0 429119297 601833472 122315 33554432000 134512640 135197378 4288343472 18446744073709551615 134542109 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 122315 91 168 0 146763 0
Current children cumulated CPU time (s) 4362.41
Current children cumulated vsize (KiB) 587728

[startup+4422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 15057
/proc/meminfo: memFree=16102912/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4422.42 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 123909 0 0 0 442215 27 0 0 25 0 1 0 429119297 601833472 123864 33554432000 134512640 135197378 4288343472 18446744073709551615 134541936 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 123864 91 168 0 146763 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 587728

[startup+4482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 15059
/proc/meminfo: memFree=16091112/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4482.42 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 125443 0 0 0 448215 27 0 0 25 0 1 0 429119297 601833472 125398 33554432000 134512640 135197378 4288343472 18446744073709551615 134525288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 125398 91 168 0 146763 0
Current children cumulated CPU time (s) 4482.42
Current children cumulated vsize (KiB) 587728

[startup+4542.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/182 15061
/proc/meminfo: memFree=16079188/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4542.43 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 127059 0 0 0 454216 27 0 0 25 0 1 0 429119297 601833472 127014 33554432000 134512640 135197378 4288343472 18446744073709551615 134649304 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 127014 91 168 0 146763 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 587728

[startup+4602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 15062
/proc/meminfo: memFree=16068020/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4602.42 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 128617 0 0 0 460215 27 0 0 25 0 1 0 429119297 601833472 128572 33554432000 134512640 135197378 4288343472 18446744073709551615 134552534 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 128572 91 168 0 146763 0
Current children cumulated CPU time (s) 4602.42
Current children cumulated vsize (KiB) 587728

[startup+4662.31 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 15064
/proc/meminfo: memFree=16055976/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4662.43 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 130196 0 0 0 466216 27 0 0 25 0 1 0 429119297 601833472 130151 33554432000 134512640 135197378 4288343472 18446744073709551615 134525296 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 130151 91 168 0 146763 0
Current children cumulated CPU time (s) 4662.43
Current children cumulated vsize (KiB) 587728

[startup+4722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/182 15065
/proc/meminfo: memFree=16043436/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4722.43 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 131858 0 0 0 472215 28 0 0 25 0 1 0 429119297 601833472 131813 33554432000 134512640 135197378 4288343472 18446744073709551615 134548385 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 131813 91 168 0 146763 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 587728

[startup+4782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 15067
/proc/meminfo: memFree=16030892/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4782.44 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 133468 0 0 0 478215 29 0 0 25 0 1 0 429119297 601833472 133423 33554432000 134512640 135197378 4288343472 18446744073709551615 134525355 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 133423 91 168 0 146763 0
Current children cumulated CPU time (s) 4782.44
Current children cumulated vsize (KiB) 587728

[startup+4842.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/182 15069
/proc/meminfo: memFree=16019100/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4842.44 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 134994 0 0 0 484215 29 0 0 25 0 1 0 429119297 601833472 134949 33554432000 134512640 135197378 4288343472 18446744073709551615 134539302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 134949 91 168 0 146763 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 587728

[startup+4902.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 15070
/proc/meminfo: memFree=16007172/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4902.43 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 136543 0 0 0 490214 29 0 0 25 0 1 0 429119297 601833472 136498 33554432000 134512640 135197378 4288343472 18446744073709551615 134590462 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 136498 91 168 0 146763 0
Current children cumulated CPU time (s) 4902.43
Current children cumulated vsize (KiB) 587728

[startup+4962.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 15072
/proc/meminfo: memFree=15995248/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=4962.44 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 138037 0 0 0 496215 29 0 0 25 0 1 0 429119297 601833472 137992 33554432000 134512640 135197378 4288343472 18446744073709551615 134525333 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 137992 91 168 0 146763 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 587728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 15073
/proc/meminfo: memFree=15987180/32951124 swapFree=67111528/67111528
[pid=14320] ppid=14318 vsize=587728 CPUtime=5000.06 cores=1,3,5,7
/proc/14320/stat : 14320 (march_hi) R 14318 14320 14013 0 -1 4202496 138991 0 0 0 499976 30 0 0 25 0 1 0 429119297 601833472 138946 33554432000 134512640 135197378 4288343472 18446744073709551615 134539158 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14320/statm: 146932 138946 91 168 0 146763 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 587728

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): 4999.94
CPU time (s): 5000.09
CPU user time (s): 4999.76
CPU system time (s): 0.32695
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 587728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.76
system time used= 0.32695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 57459

runsolver used 6.87495 second user time and 15.8826 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-19 03:06:54
IDJOB=3211105
IDBENCH=82925
IDSOLVER=1627
FILE ID=node135/3211105-1303175214
RUNJOBID= node135-1303172680-14032
PBS_JOBID= 13021056
Free space on /tmp= 73148 MiB

SOLVER NAME= SAT09 reference solver: march_hi hi
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
COMMAND LINE= HOME/march_hi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3211105-1303175214/watcher-3211105-1303175214 -o /tmp/evaluation-result-3211105-1303175214/solver-3211105-1303175214 -C 5000 -W 5000 -M 15500  HOME/march_hi HOME/instance-3211105-1303175214.cnf

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

MD5SUM BENCH= 99f3efd3bfc8a6f99ffbd289ed4a5837
RANDOM SEED=1298156886

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16035356 kB
Buffers:        726820 kB
Cached:       15323760 kB
SwapCached:          0 kB
Active:        7710276 kB
Inactive:      8824052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16035356 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1040 kB
Writeback:           0 kB
AnonPages:      483984 kB
Mapped:          15456 kB
Slab:           317856 kB
PageTables:       5644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   692088 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73484 MiB
End job on node135 at 2011-04-19 04:30:16