Trace number 3211165

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT09 reference solver: march_hi hi? (TO) 5000.14 5000.03

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf
MD5SUM97219d7d3b8dcf40225a045ad28970d7
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, 32 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 595 free variables and 2524 clauses.
0.00/0.01	c stat :: sign balance is biased by 0.407
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 143 duplicate clauses
0.00/0.01	c resolvent_look() :: found 70 resolvents
0.00/0.01	c lessRedundantTransformation():: nothing to be done.
0.00/0.01	c transformTo3SAT():: you gave me 600 variables and 2594 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 2594 clauses.
0.00/0.01	c main():: clause / variable ratio: ( 2594 / 600 ) = 4.32
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 = 595
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: 167
0.00/0.05	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 1/999) NodeCount: 907
0.09/0.16	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 9070
1.49/1.54	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 70636
13.39/13.46	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 396931
84.09/84.19	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
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: 1677857
390.50/390.56	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 5486608
1385.42/1385.41	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 14203758
3932.97/3932.96	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
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-3211165-1303176157/watcher-3211165-1303176157 -o /tmp/evaluation-result-3211165-1303176157/solver-3211165-1303176157 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3211165-1303176157.cnf 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27923
/proc/meminfo: memFree=16871348/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=1188 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 200 0 0 0 0 0 0 0 25 0 1 0 507846428 1216512 154 33554432000 134512640 135197378 4294345424 18446744073709551615 134619088 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 297 154 78 168 0 128 0

[startup+0.0729609 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27923
/proc/meminfo: memFree=16871348/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=2072 CPUtime=0.07 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 375 0 0 0 7 0 0 0 25 0 1 0 507846428 2121728 329 33554432000 134512640 135197378 4294345424 18446744073709551615 134552753 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 518 329 91 168 0 349 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2072

[startup+0.10096 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27923
/proc/meminfo: memFree=16871348/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=2072 CPUtime=0.09 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 380 0 0 0 9 0 0 0 25 0 1 0 507846428 2121728 335 33554432000 134512640 135197378 4294345424 18446744073709551615 134697414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 518 338 91 168 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2072

[startup+0.300944 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27923
/proc/meminfo: memFree=16871348/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=2204 CPUtime=0.29 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 407 0 0 0 29 0 0 0 25 0 1 0 507846428 2256896 361 33554432000 134512640 135197378 4294345424 18446744073709551615 134556431 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 551 361 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.00 2.00 2.00 2/177 27923
/proc/meminfo: memFree=16871348/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=2340 CPUtime=0.69 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 447 0 0 0 69 0 0 0 25 0 1 0 507846428 2396160 401 33554432000 134512640 135197378 4294345424 18446744073709551615 134542165 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 585 401 91 168 0 416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2340

[startup+1.50063 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27924
/proc/meminfo: memFree=16869860/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=2508 CPUtime=1.49 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 473 0 0 0 149 0 0 0 25 0 1 0 507846428 2568192 427 33554432000 134512640 135197378 4294345424 18446744073709551615 134525318 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 627 427 91 168 0 458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2508

[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27924
/proc/meminfo: memFree=16869116/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=2832 CPUtime=3.09 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 542 0 0 0 309 0 0 0 25 0 1 0 507846428 2899968 496 33554432000 134512640 135197378 4294345424 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 708 496 91 168 0 539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2832

[startup+6.30087 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27925
/proc/meminfo: memFree=16867856/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=3400 CPUtime=6.29 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 670 0 0 0 629 0 0 0 25 0 1 0 507846428 3481600 624 33554432000 134512640 135197378 4294345424 18446744073709551615 134541257 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 850 624 91 168 0 681 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3400

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27925
/proc/meminfo: memFree=16865420/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=5216 CPUtime=12.69 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 929 0 0 0 1269 0 0 0 25 0 1 0 507846428 5341184 883 33554432000 134512640 135197378 4294345424 18446744073709551615 134542232 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 1304 883 91 168 0 1135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5216

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27925
/proc/meminfo: memFree=16861052/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=6904 CPUtime=25.49 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 1380 0 0 0 2549 0 0 0 25 0 1 0 507846428 7069696 1334 33554432000 134512640 135197378 4294345424 18446744073709551615 134597310 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 1726 1334 91 168 0 1557 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6904

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27926
/proc/meminfo: memFree=16853456/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=12296 CPUtime=51.09 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 2255 0 0 0 5109 0 0 0 25 0 1 0 507846428 12591104 2209 33554432000 134512640 135197378 4294345424 18446744073709551615 134548465 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 3074 2209 91 168 0 2905 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 12296

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 27927
/proc/meminfo: memFree=16837444/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=18464 CPUtime=102.3 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 3940 0 0 0 10230 0 0 0 25 0 1 0 507846428 18907136 3894 33554432000 134512640 135197378 4294345424 18446744073709551615 134552722 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 4616 3894 91 168 0 4447 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 18464

[startup+162.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 27929
/proc/meminfo: memFree=16819704/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=33016 CPUtime=162.3 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 5902 0 0 0 16229 1 0 0 25 0 1 0 507846428 33808384 5856 33554432000 134512640 135197378 4294345424 18446744073709551615 134617750 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 8254 5856 91 168 0 8085 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 33016

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27930
/proc/meminfo: memFree=16801708/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=37324 CPUtime=222.29 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 7795 0 0 0 22228 1 0 0 25 0 1 0 507846428 38219776 7749 33554432000 134512640 135197378 4294345424 18446744073709551615 134541257 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 9331 7749 91 168 0 9162 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 37324

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27932
/proc/meminfo: memFree=16784444/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=50420 CPUtime=282.29 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 9695 0 0 0 28228 1 0 0 25 0 1 0 507846428 51630080 9649 33554432000 134512640 135197378 4294345424 18446744073709551615 134542202 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 12605 9649 91 168 0 12436 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 50420

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27934
/proc/meminfo: memFree=16766956/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=59040 CPUtime=342.3 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 11506 0 0 0 34228 2 0 0 25 0 1 0 507846428 60456960 11460 33554432000 134512640 135197378 4294345424 18446744073709551615 134593980 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 14760 11460 91 168 0 14591 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 59040

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27935
/proc/meminfo: memFree=16750444/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=78816 CPUtime=402.3 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 13276 0 0 0 40228 2 0 0 25 0 1 0 507846428 80707584 13230 33554432000 134512640 135197378 4294345424 18446744073709551615 134539276 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 19704 13230 91 168 0 19535 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 78816

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 27937
/proc/meminfo: memFree=16733816/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=78816 CPUtime=462.3 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 15177 0 0 0 46227 3 0 0 25 0 1 0 507846428 80707584 15131 33554432000 134512640 135197378 4294345424 18446744073709551615 134542032 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 19704 15131 91 168 0 19535 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 78816

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27938
/proc/meminfo: memFree=16717788/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=78816 CPUtime=522.3 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 17009 0 0 0 52227 3 0 0 25 0 1 0 507846428 80707584 16963 33554432000 134512640 135197378 4294345424 18446744073709551615 134539276 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 19704 16963 91 168 0 19535 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 78816

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27940
/proc/meminfo: memFree=16702512/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=78816 CPUtime=582.3 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 18720 0 0 0 58227 3 0 0 25 0 1 0 507846428 80707584 18674 33554432000 134512640 135197378 4294345424 18446744073709551615 134603816 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 19704 18674 91 168 0 19535 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 78816

[startup+642.3 s]

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

[startup+4002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30331
/proc/meminfo: memFree=17122604/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4002.37 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 112046 0 0 0 400207 30 0 0 25 0 1 0 507846428 602484736 112000 33554432000 134512640 135197378 4294345424 18446744073709551615 134525344 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 112000 91 168 0 146922 0
Current children cumulated CPU time (s) 4002.37
Current children cumulated vsize (KiB) 588364

[startup+4062.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 30333
/proc/meminfo: memFree=17108836/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4062.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 113746 0 0 0 406208 31 0 0 25 0 1 0 507846428 602484736 113700 33554432000 134512640 135197378 4294345424 18446744073709551615 134541982 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 113700 91 168 0 146922 0
Current children cumulated CPU time (s) 4062.39
Current children cumulated vsize (KiB) 588364

[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30334
/proc/meminfo: memFree=17095556/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4122.38 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 115391 0 0 0 412207 31 0 0 25 0 1 0 507846428 602484736 115345 33554432000 134512640 135197378 4294345424 18446744073709551615 134541916 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 115345 91 168 0 146922 0
Current children cumulated CPU time (s) 4122.38
Current children cumulated vsize (KiB) 588364

[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30336
/proc/meminfo: memFree=17081904/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4182.38 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 117134 0 0 0 418207 31 0 0 25 0 1 0 507846428 602484736 117088 33554432000 134512640 135197378 4294345424 18446744073709551615 134542043 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 117088 91 168 0 146922 0
Current children cumulated CPU time (s) 4182.38
Current children cumulated vsize (KiB) 588364

[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30337
/proc/meminfo: memFree=17068616/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4242.38 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 118794 0 0 0 424207 31 0 0 25 0 1 0 507846428 602484736 118748 33554432000 134512640 135197378 4294345424 18446744073709551615 134542155 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 118748 91 168 0 146922 0
Current children cumulated CPU time (s) 4242.38
Current children cumulated vsize (KiB) 588364

[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30339
/proc/meminfo: memFree=17055080/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4302.38 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 120482 0 0 0 430206 32 0 0 25 0 1 0 507846428 602484736 120436 33554432000 134512640 135197378 4294345424 18446744073709551615 134522781 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 120436 91 168 0 146922 0
Current children cumulated CPU time (s) 4302.38
Current children cumulated vsize (KiB) 588364

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30341
/proc/meminfo: memFree=17042152/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4362.38 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 122054 0 0 0 436206 32 0 0 25 0 1 0 507846428 602484736 122008 33554432000 134512640 135197378 4294345424 18446744073709551615 134594039 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 122008 91 168 0 146922 0
Current children cumulated CPU time (s) 4362.38
Current children cumulated vsize (KiB) 588364

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30342
/proc/meminfo: memFree=17028868/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4422.38 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 123684 0 0 0 442206 32 0 0 25 0 1 0 507846428 602484736 123638 33554432000 134512640 135197378 4294345424 18446744073709551615 134552437 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 123638 91 168 0 146922 0
Current children cumulated CPU time (s) 4422.38
Current children cumulated vsize (KiB) 588364

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30344
/proc/meminfo: memFree=17015704/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4482.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 125353 0 0 0 448206 33 0 0 25 0 1 0 507846428 602484736 125307 33554432000 134512640 135197378 4294345424 18446744073709551615 134611821 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 125307 91 168 0 146922 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 588364

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30345
/proc/meminfo: memFree=17002796/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4542.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 126970 0 0 0 454206 33 0 0 25 0 1 0 507846428 602484736 126924 33554432000 134512640 135197378 4294345424 18446744073709551615 134525256 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 126924 91 168 0 146922 0
Current children cumulated CPU time (s) 4542.39
Current children cumulated vsize (KiB) 588364

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30350
/proc/meminfo: memFree=16990756/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4602.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 128520 0 0 0 460206 33 0 0 25 0 1 0 507846428 602484736 128474 33554432000 134512640 135197378 4294345424 18446744073709551615 134525339 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 128474 91 168 0 146922 0
Current children cumulated CPU time (s) 4602.39
Current children cumulated vsize (KiB) 588364

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30352
/proc/meminfo: memFree=16976780/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4662.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 130161 0 0 0 466205 34 0 0 25 0 1 0 507846428 602484736 130115 33554432000 134512640 135197378 4294345424 18446744073709551615 134525288 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 130115 91 168 0 146922 0
Current children cumulated CPU time (s) 4662.39
Current children cumulated vsize (KiB) 588364

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30353
/proc/meminfo: memFree=16962720/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4722.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 131816 0 0 0 472205 34 0 0 25 0 1 0 507846428 602484736 131770 33554432000 134512640 135197378 4294345424 18446744073709551615 134649143 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 131770 91 168 0 146922 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 588364

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30355
/proc/meminfo: memFree=16949320/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4782.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 133361 0 0 0 478204 35 0 0 25 0 1 0 507846428 602484736 133315 33554432000 134512640 135197378 4294345424 18446744073709551615 134539276 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 133315 91 168 0 146922 0
Current children cumulated CPU time (s) 4782.39
Current children cumulated vsize (KiB) 588364

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30357
/proc/meminfo: memFree=16935544/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4842.39 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 134921 0 0 0 484204 35 0 0 25 0 1 0 507846428 602484736 134875 33554432000 134512640 135197378 4294345424 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 134875 91 168 0 146922 0
Current children cumulated CPU time (s) 4842.39
Current children cumulated vsize (KiB) 588364

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30358
/proc/meminfo: memFree=16922992/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4902.4 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 136446 0 0 0 490204 36 0 0 25 0 1 0 507846428 602484736 136400 33554432000 134512640 135197378 4294345424 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 136400 91 168 0 146922 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 588364

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30360
/proc/meminfo: memFree=16909332/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=4962.4 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 138063 0 0 0 496204 36 0 0 25 0 1 0 507846428 602484736 138017 33554432000 134512640 135197378 4294345424 18446744073709551615 134541962 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 138017 91 168 0 146922 0
Current children cumulated CPU time (s) 4962.4
Current children cumulated vsize (KiB) 588364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30361
/proc/meminfo: memFree=16900888/32950940 swapFree=67111528/67111528
[pid=27923] ppid=27921 vsize=588364 CPUtime=5000.1 cores=0,2,4,6
/proc/27923/stat : 27923 (march_hi) R 27921 27923 27490 0 -1 4202496 139046 0 0 0 499974 36 0 0 25 0 1 0 507846428 602484736 139000 33554432000 134512640 135197378 4294345424 18446744073709551615 134618168 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27923/statm: 147091 139000 91 168 0 146922 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 588364

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.03
CPU time (s): 5000.14
CPU user time (s): 4999.74
CPU system time (s): 0.396939
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 588364

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

runsolver used 7.48086 second user time and 15.2627 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-19 03:22:37
IDJOB=3211165
IDBENCH=82940
IDSOLVER=1627
FILE ID=node117/3211165-1303176157
RUNJOBID= node117-1303166704-27508
PBS_JOBID= 13021021
Free space on /tmp= 72520 MiB

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

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

MD5SUM BENCH= 97219d7d3b8dcf40225a045ad28970d7
RANDOM SEED=789454990

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      16871504 kB
Buffers:        794012 kB
Cached:       14309868 kB
SwapCached:          0 kB
Active:        7683312 kB
Inactive:      8021784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      16871504 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             816 kB
Writeback:           0 kB
AnonPages:      601268 kB
Mapped:          15476 kB
Slab:           309968 kB
PageTables:       5708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   917668 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= 72940 MiB
End job on node117 at 2011-04-19 04:45:59