Trace number 1627959

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
march_hi hiSAT 3099.7 3100.45

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
MD5SUMe8bef21b1523a2570095f6899127c7e2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.310951
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses2343
Sum of the clauses size11715
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52343
Number of clauses of size over 50

Solver Data 

0.00/0.05	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.05	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.00/0.05	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.00/0.05	c main()::
0.00/0.05	c initFormula():: searching for DIMACS p-line....
0.00/0.05	c full lookahead due to high density!
0.00/0.05	c initFormula():: the DIMACS p-line indicates a CNF of 110 variables and 2343 clauses.
0.00/0.05	c parseCNF():: parsing....
0.00/0.05	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.05	c runParser():: parsing was successful, warming up engines...
0.00/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.05	c preprocessing fase I completed:: there are now 110 free variables and 2343 clauses.
0.00/0.05	c stat :: sign balance is biased by 0.047
0.00/0.05	c using k-SAT heuristics (size based diff)
0.00/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 1 duplicate clauses
0.00/0.05	c resolvent_look() :: found 1 resolvents
0.00/0.05	c main():: clause / variable ratio: ( 2344 / 110 ) = 21.31
0.00/0.05	c longest clause has size 5
0.00/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.05	c number of free variables = 110
0.00/0.05	c dynamic_preselect_setsize :: off
0.00/0.05	c main():: all systems go!
0.00/0.05	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 186
0.09/0.12	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: 595
0.19/0.20	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 4219
0.89/0.95	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 26295
5.99/6.07	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 121226
30.78/30.83	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 5/999) NodeCount: 423255
118.96/119.08	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 1152742
355.50/355.66	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 2516175
839.59/839.81	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 8/999) NodeCount: 4501179
1606.50/1606.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 |****************************************************************| ( 9/999) NodeCount: 6758213
2548.08/2548.74	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
3099.64/3100.41	c |0110110000111001110000000$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$|
3099.64/3100.41	
c |************************************
3099.64/3100.41	c
3099.64/3100.41	c main():: nodeCount: 8035694
3099.64/3100.41	c main():: dead ends in main: 39995
3099.64/3100.41	c main():: lookAheadCount: 442182325
3099.64/3100.41	c main():: unitResolveCount: 37939484
3099.64/3100.41	c main():: time=-1194.837296
3099.64/3100.41	c main():: necessary_assignments: 218099
3099.64/3100.41	c main():: bin_sat: 0, bin_unsat 0
3099.64/3100.41	c main():: doublelook: #: 30795900, succes #: 23781064
3099.64/3100.41	c main():: doublelook: overall 7.160 of all possible doublelooks executed
3099.64/3100.41	c main():: doublelook: succesrate: 77.222, average DL_trigger: 22.724
3099.64/3100.41	c main():: SOLUTION VERIFIED :-)
3099.64/3100.41	s SATISFIABLE
3099.64/3100.41	v -1 -2 -3 4 5 6 7 8 -9 -10 11 -12 -13 -14 -15 16 17 -18 -19 20 21 -22 -23 -24 -25 26 27 -28 -29 -30 -31 -32 -33 34 35 -36 -37 38 39 40 -41 -42 43 -44 -45 -46 47 48 -49 -50 -51 -52 53 -54 55 56 -57 58 -59 -60 -61 62 -63 -64 65 -66 -67 -68 -69 -70 -71 72 73 74 -75 76 -77 78 -79 -80 81 -82 -83 84 85 -86 87 -88 -89 90 91 92 93 -94 95 -96 97 -98 -99 -100 101 102 -103 -104 105 106 107 108 109 -110 0

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1627959-1240077102/watcher-1627959-1240077102 -o /tmp/evaluation-result-1627959-1240077102/solver-1627959-1240077102 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/march_hi HOME/instance-1627959-1240077102.cnf 

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): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21591
/proc/meminfo: memFree=1053392/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=836 CPUtime=0
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 100 0 0 0 0 0 0 0 18 0 1 0 35743353 856064 85 1992294400 134512640 135197378 4294956240 18446744073709551615 134849158 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 209 85 58 167 0 40 0

[startup+0.00703609 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21591
/proc/meminfo: memFree=1053392/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=976 CPUtime=0
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 1 0 35743353 999424 123 1992294400 134512640 135197378 4294956240 18446744073709551615 134565222 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 244 123 65 167 0 75 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 976

[startup+0.101043 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21591
/proc/meminfo: memFree=1053392/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=1408 CPUtime=0.09
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 236 0 0 0 9 0 0 0 18 0 1 0 35743353 1441792 219 1992294400 134512640 135197378 4294956240 18446744073709551615 134524862 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 352 219 93 167 0 183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1408

[startup+0.30106 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21591
/proc/meminfo: memFree=1053392/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=1408 CPUtime=0.29
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 236 0 0 0 29 0 0 0 19 0 1 0 35743353 1441792 219 1992294400 134512640 135197378 4294956240 18446744073709551615 134524828 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 352 219 93 167 0 183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1408

[startup+0.701094 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21591
/proc/meminfo: memFree=1053392/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=1408 CPUtime=0.69
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 242 0 0 0 69 0 0 0 22 0 1 0 35743353 1441792 225 1992294400 134512640 135197378 4294956240 18446744073709551615 134524890 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 352 225 93 167 0 183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1408

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1052680/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=1612 CPUtime=1.49
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 285 0 0 0 149 0 0 0 25 0 1 0 35743353 1650688 268 1992294400 134512640 135197378 4294956240 18446744073709551615 134649156 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 403 268 93 167 0 234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1612

[startup+3.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1052488/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=1864 CPUtime=3.09
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 329 0 0 0 309 0 0 0 25 0 1 0 35743353 1908736 312 1992294400 134512640 135197378 4294956240 18446744073709551615 134570914 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 466 312 93 167 0 297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1864

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1052040/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=2092 CPUtime=6.29
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 406 0 0 0 629 0 0 0 25 0 1 0 35743353 2142208 389 1992294400 134512640 135197378 4294956240 18446744073709551615 134603018 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 523 389 93 167 0 354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2092

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1051336/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=2944 CPUtime=12.68
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 563 0 0 0 1268 0 0 0 25 0 1 0 35743353 3014656 546 1992294400 134512640 135197378 4294956240 18446744073709551615 134618145 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 736 546 93 167 0 567 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2944

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1050056/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=5004 CPUtime=25.48
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 859 0 0 0 2548 0 0 0 25 0 1 0 35743353 5124096 842 1992294400 134512640 135197378 4294956240 18446744073709551615 134539243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 1251 842 93 167 0 1082 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5004

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1047816/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=6920 CPUtime=51.07
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 1446 0 0 0 5106 1 0 0 25 0 1 0 35743353 7086080 1429 1992294400 134512640 135197378 4294956240 18446744073709551615 134603252 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 1730 1429 93 167 0 1561 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6920

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1043272/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=13584 CPUtime=102.27
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 2540 0 0 0 10225 2 0 0 25 0 1 0 35743353 13910016 2523 1992294400 134512640 135197378 4294956240 18446744073709551615 134522781 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 3396 2523 93 167 0 3227 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13584

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1038472/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=19788 CPUtime=162.26
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 3756 0 0 0 16223 3 0 0 25 0 1 0 35743353 20262912 3739 1992294400 134512640 135197378 4294956240 18446744073709551615 134539243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 4947 3739 93 167 0 4778 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 19788

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1033672/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=29288 CPUtime=222.24
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 4926 0 0 0 22220 4 0 0 25 0 1 0 35743353 29990912 4909 1992294400 134512640 135197378 4294956240 18446744073709551615 134593135 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 7322 4909 93 167 0 7153 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 29288

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1029128/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=29288 CPUtime=282.23
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 6064 0 0 0 28218 5 0 0 25 0 1 0 35743353 29990912 6047 1992294400 134512640 135197378 4294956240 18446744073709551615 134539243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 7322 6047 93 167 0 7153 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 29288

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1024840/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=42384 CPUtime=342.21
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 7122 0 0 0 34216 5 0 0 25 0 1 0 35743353 43401216 7105 1992294400 134512640 135197378 4294956240 18446744073709551615 134524921 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 10596 7105 93 167 0 10427 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 42384

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1020360/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=42384 CPUtime=402.19
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 8246 0 0 0 40213 6 0 0 25 0 1 0 35743353 43401216 8229 1992294400 134512640 135197378 4294956240 18446744073709551615 134539117 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 10596 8229 93 167 0 10427 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 42384

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1015816/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=43920 CPUtime=462.18
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 9375 0 0 0 46211 7 0 0 25 0 1 0 35743353 44974080 9358 1992294400 134512640 135197378 4294956240 18446744073709551615 134541522 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 10980 9358 93 167 0 10811 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 43920

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21592
/proc/meminfo: memFree=1011848/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=43920 CPUtime=522.17
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 10389 0 0 0 52210 7 0 0 25 0 1 0 35743353 44974080 10372 1992294400 134512640 135197378 4294956240 18446744073709551615 134550680 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 10980 10372 93 167 0 10811 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 43920

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21598
/proc/meminfo: memFree=1007176/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=63564 CPUtime=582.15
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 11496 0 0 0 58206 9 0 0 25 0 1 0 35743353 65089536 11479 1992294400 134512640 135197378 4294956240 18446744073709551615 134603455 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 15891 11479 93 167 0 15722 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 63564

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21598
/proc/meminfo: memFree=1003080/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=63564 CPUtime=642.13
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 12515 0 0 0 64204 9 0 0 25 0 1 0 35743353 65089536 12498 1992294400 134512640 135197378 4294956240 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 15891 12498 93 167 0 15722 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 63564


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

/proc/meminfo: memFree=886984/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2501.69
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 41410 0 0 0 250139 30 0 0 25 0 1 0 35743353 217866240 41393 1992294400 134512640 135197378 4294956240 18446744073709551615 134593022 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 41393 93 167 0 53021 0
Current children cumulated CPU time (s) 2501.69
Current children cumulated vsize (KiB) 212760

[startup+2562.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21598
/proc/meminfo: memFree=883784/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2561.67
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 42222 0 0 0 256137 30 0 0 25 0 1 0 35743353 217866240 42205 1992294400 134512640 135197378 4294956240 18446744073709551615 134548392 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 42205 93 167 0 53021 0
Current children cumulated CPU time (s) 2561.67
Current children cumulated vsize (KiB) 212760

[startup+2622.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21598
/proc/meminfo: memFree=879944/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2621.66
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 43163 0 0 0 262135 31 0 0 25 0 1 0 35743353 217866240 43146 1992294400 134512640 135197378 4294956240 18446744073709551615 134524871 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 43146 93 167 0 53021 0
Current children cumulated CPU time (s) 2621.66
Current children cumulated vsize (KiB) 212760

[startup+2682.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=876360/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2681.64
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 44068 0 0 0 268133 31 0 0 25 0 1 0 35743353 217866240 44051 1992294400 134512640 135197378 4294956240 18446744073709551615 134524828 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 44051 93 167 0 53021 0
Current children cumulated CPU time (s) 2681.64
Current children cumulated vsize (KiB) 212760

[startup+2742.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=872840/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2741.63
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 44942 0 0 0 274131 32 0 0 25 0 1 0 35743353 217866240 44925 1992294400 134512640 135197378 4294956240 18446744073709551615 134539471 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 44925 93 167 0 53021 0
Current children cumulated CPU time (s) 2741.63
Current children cumulated vsize (KiB) 212760

[startup+2802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=869512/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2801.61
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 45781 0 0 0 280129 32 0 0 25 0 1 0 35743353 217866240 45764 1992294400 134512640 135197378 4294956240 18446744073709551615 134539105 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 45764 93 167 0 53021 0
Current children cumulated CPU time (s) 2801.61
Current children cumulated vsize (KiB) 212760

[startup+2862.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=865928/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2861.6
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 46661 0 0 0 286128 32 0 0 25 0 1 0 35743353 217866240 46644 1992294400 134512640 135197378 4294956240 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 46644 93 167 0 53021 0
Current children cumulated CPU time (s) 2861.6
Current children cumulated vsize (KiB) 212760

[startup+2922.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=862664/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2921.59
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 47479 0 0 0 292126 33 0 0 25 0 1 0 35743353 217866240 47462 1992294400 134512640 135197378 4294956240 18446744073709551615 134524871 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 47462 93 167 0 53021 0
Current children cumulated CPU time (s) 2921.59
Current children cumulated vsize (KiB) 212760

[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=859464/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=2981.57
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 48272 0 0 0 298124 33 0 0 25 0 1 0 35743353 217866240 48255 1992294400 134512640 135197378 4294956240 18446744073709551615 134539454 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 48255 93 167 0 53021 0
Current children cumulated CPU time (s) 2981.57
Current children cumulated vsize (KiB) 212760

[startup+3042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=856328/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3041.55
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49060 0 0 0 304122 33 0 0 25 0 1 0 35743353 217866240 49043 1992294400 134512640 135197378 4294956240 18446744073709551615 134603250 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49043 93 167 0 53021 0
Current children cumulated CPU time (s) 3041.55
Current children cumulated vsize (KiB) 212760

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

[startup+3071.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=854536/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3071.15
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49498 0 0 0 307081 34 0 0 25 0 1 0 35743353 217866240 49481 1992294400 134512640 135197378 4294956240 18446744073709551615 134524899 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49481 93 167 0 53021 0
Current children cumulated CPU time (s) 3071.15
Current children cumulated vsize (KiB) 212760

[startup+3084.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=853832/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3083.95
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49675 0 0 0 308361 34 0 0 25 0 1 0 35743353 217866240 49658 1992294400 134512640 135197378 4294956240 18446744073709551615 134611886 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49658 93 167 0 53021 0
Current children cumulated CPU time (s) 3083.95
Current children cumulated vsize (KiB) 212760

[startup+3091.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=853448/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3090.34
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49768 0 0 0 309000 34 0 0 25 0 1 0 35743353 217866240 49751 1992294400 134512640 135197378 4294956240 18446744073709551615 134524816 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49751 93 167 0 53021 0
Current children cumulated CPU time (s) 3090.34
Current children cumulated vsize (KiB) 212760

[startup+3094.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=853256/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3093.55
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49816 0 0 0 309321 34 0 0 25 0 1 0 35743353 217866240 49799 1992294400 134512640 135197378 4294956240 18446744073709551615 134617869 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49799 93 167 0 53021 0
Current children cumulated CPU time (s) 3093.55
Current children cumulated vsize (KiB) 212760

[startup+3097.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=853064/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3096.75
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49860 0 0 0 309641 34 0 0 25 0 1 0 35743353 217866240 49843 1992294400 134512640 135197378 4294956240 18446744073709551615 134539243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49843 93 167 0 53021 0
Current children cumulated CPU time (s) 3096.75
Current children cumulated vsize (KiB) 212760

[startup+3099.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=853000/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3098.34
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49884 0 0 0 309800 34 0 0 25 0 1 0 35743353 217866240 49867 1992294400 134512640 135197378 4294956240 18446744073709551615 134524871 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49867 93 167 0 53021 0
Current children cumulated CPU time (s) 3098.34
Current children cumulated vsize (KiB) 212760

[startup+3099.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=852936/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3099.14
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49894 0 0 0 309880 34 0 0 25 0 1 0 35743353 217866240 49877 1992294400 134512640 135197378 4294956240 18446744073709551615 134603311 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49877 93 167 0 53021 0
Current children cumulated CPU time (s) 3099.14
Current children cumulated vsize (KiB) 212760

[startup+3100.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=852936/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3099.54
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49900 0 0 0 309920 34 0 0 25 0 1 0 35743353 217866240 49883 1992294400 134512640 135197378 4294956240 18446744073709551615 134539127 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49883 93 167 0 53021 0
Current children cumulated CPU time (s) 3099.54
Current children cumulated vsize (KiB) 212760

[startup+3100.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21600
/proc/meminfo: memFree=852936/2055920 swapFree=4192956/4192956
[pid=21591] ppid=21589 vsize=212760 CPUtime=3099.64
/proc/21591/stat : 21591 (march_hi) R 21589 21591 21395 0 -1 4194304 49902 0 0 0 309930 34 0 0 25 0 1 0 35743353 217866240 49885 1992294400 134512640 135197378 4294956240 18446744073709551615 134550698 0 0 4096 0 0 0 0 17 1 0 0
/proc/21591/statm: 53190 49885 93 167 0 53021 0
Current children cumulated CPU time (s) 3099.64
Current children cumulated vsize (KiB) 212760

Child status: 10
Real time (s): 3100.45
CPU time (s): 3099.7
CPU user time (s): 3099.32
CPU system time (s): 0.374943
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 212760

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

runsolver used 2.73258 second user time and 5.82911 second system time

The end

Launcher Data 

Begin job on node31 at 2009-04-18 19:51:42
IDJOB=1627959
IDBENCH=70415
IDSOLVER=583
FILE ID=node31/1627959-1240077102
PBS_JOBID= 9157577
Free space on /tmp= 66504 MiB

SOLVER NAME= march_hi hi
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/110/unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
COMMAND LINE= HOME/march_hi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1627959-1240077102/watcher-1627959-1240077102 -o /tmp/evaluation-result-1627959-1240077102/solver-1627959-1240077102 -C 5000 -W 6000 -M 1800 --output-limit 1,15  HOME/march_hi HOME/instance-1627959-1240077102.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e8bef21b1523a2570095f6899127c7e2
RANDOM SEED=220292982

node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1053808 kB
Buffers:         77824 kB
Cached:         852416 kB
SwapCached:          0 kB
Active:         120980 kB
Inactive:       824196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1053808 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             816 kB
Writeback:           0 kB
Mapped:          24708 kB
Slab:            42660 kB
Committed_AS:   195076 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66504 MiB
End job on node31 at 2009-04-18 20:43:22