Trace number 1627924

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 hiUNSAT 4369.38 4370.58

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
MD5SUM18acde07d0986af307d23032d1000e7e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4135.45
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.02/0.05	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.02/0.05	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.02/0.05	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.02/0.05	c main()::
0.02/0.05	c initFormula():: searching for DIMACS p-line....
0.02/0.05	c full lookahead due to high density!
0.02/0.05	c initFormula():: the DIMACS p-line indicates a CNF of 110 variables and 2343 clauses.
0.02/0.05	c parseCNF():: parsing....
0.02/0.05	c parseCNF():: the CNF contains 0 unary clauses.
0.02/0.05	c runParser():: parsing was successful, warming up engines...
0.02/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.02/0.05	c preprocessing fase I completed:: there are now 110 free variables and 2343 clauses.
0.02/0.05	c stat :: sign balance is biased by 0.043
0.02/0.05	c using k-SAT heuristics (size based diff)
0.02/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.02/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 2 duplicate clauses
0.02/0.05	c resolvent_look() :: found 2 resolvents
0.02/0.05	c main():: clause / variable ratio: ( 2345 / 110 ) = 21.32
0.02/0.05	c longest clause has size 5
0.02/0.05	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.02/0.05	c number of free variables = 110
0.02/0.05	c dynamic_preselect_setsize :: off
0.02/0.05	c main():: all systems go!
0.02/0.05	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 142
0.02/0.10	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 1/999) NodeCount: 574
0.09/0.18	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 4302
0.89/0.97	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 26283
6.09/6.15	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 4/999) NodeCount: 119419
30.48/30.50	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 415391
116.86/116.90	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 6/999) NodeCount: 1128667
348.09/348.21	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 2445834
818.07/818.35	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 8/999) NodeCount: 4330433
1550.48/1550.97	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 6436054
2433.73/2434.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 |****************************************************************| (10/999) NodeCount: 8270800
3260.51/3261.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 |***************************************************************
c |****************************************************************| (11/999) NodeCount: 9507823
3855.65/3856.70	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (12/999) NodeCount: 10145924
4182.35/4183.59	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (13/999) NodeCount: 10393869
4317.41/4318.68	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (14/999) NodeCount: 10464771
4358.70/4359.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 |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |****************************************************************| (15/999) NodeCount: 10479182
4367.80/4369.01	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |****************************************
c |*****************************************
c |******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |********************************************************
c |****************************************************************| (16/999) NodeCount: 10481182
4369.10/4370.40	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |********
c |*********
c |**********
c |************
c |****************
c |*****************
c |******************
c |********************
c |************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |****************************************
c |************************************************
c |****************************************************************| (17/999) NodeCount: 10481339
4369.30/4370.52	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |********
c |*********
c |**********
c |************
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |****************************************************************| (18/999) NodeCount: 10481349
4369.30/4370.53	c |----------------------------------------------------------------|
c |
4369.30/4370.53	c
4369.30/4370.53	c main():: nodeCount: 10481349
4369.30/4370.53	c main():: dead ends in main: 60798
4369.30/4370.53	c main():: lookAheadCount: 552812385
4369.30/4370.53	c main():: unitResolveCount: 59242246
4369.30/4370.53	c main():: time=75.032704
4369.30/4370.53	c main():: necessary_assignments: 313963
4369.30/4370.53	c main():: bin_sat: 0, bin_unsat 0
4369.30/4370.53	c main():: doublelook: #: 42952239, succes #: 34270419
4369.30/4370.53	c main():: doublelook: overall 8.020 of all possible doublelooks executed
4369.30/4370.53	c main():: doublelook: succesrate: 79.787, average DL_trigger: 19.312
4369.30/4370.53	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1627924-1240060141/watcher-1627924-1240060141 -o /tmp/evaluation-result-1627924-1240060141/solver-1627924-1240060141 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/march_hi HOME/instance-1627924-1240060141.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: 0.92 0.98 0.99 3/64 22204
/proc/meminfo: memFree=1273460/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=836 CPUtime=0
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 100 0 0 0 0 0 0 0 18 0 1 0 34046703 856064 85 1992294400 134512640 135197378 4294956240 18446744073709551615 134850959 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 209 85 58 167 0 40 0

[startup+0.0233949 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 22204
/proc/meminfo: memFree=1273460/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=1016 CPUtime=0.02
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 170 0 0 0 2 0 0 0 18 0 1 0 34046703 1040384 153 1992294400 134512640 135197378 4294956240 18446744073709551615 134539469 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 254 153 82 167 0 85 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1016

[startup+0.102423 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 22204
/proc/meminfo: memFree=1273460/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=1400 CPUtime=0.09
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 237 0 0 0 9 0 0 0 18 0 1 0 34046703 1433600 220 1992294400 134512640 135197378 4294956240 18446744073709551615 134718686 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 350 220 93 167 0 181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1400

[startup+0.301424 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 22204
/proc/meminfo: memFree=1273460/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=1400 CPUtime=0.29
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 237 0 0 0 29 0 0 0 19 0 1 0 34046703 1433600 220 1992294400 134512640 135197378 4294956240 18446744073709551615 134603252 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 350 220 93 167 0 181 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1400

[startup+0.702469 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 22204
/proc/meminfo: memFree=1273460/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=1536 CPUtime=0.69
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 245 0 0 0 69 0 0 0 22 0 1 0 34046703 1572864 228 1992294400 134512640 135197378 4294956240 18446744073709551615 134539048 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 384 228 93 167 0 215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1536

[startup+1.50156 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1272812/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=1536 CPUtime=1.49
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 266 0 0 0 149 0 0 0 25 0 1 0 34046703 1572864 249 1992294400 134512640 135197378 4294956240 18446744073709551615 134550653 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 384 249 93 167 0 215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1536

[startup+3.10174 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1272428/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=1904 CPUtime=3.09
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 358 0 0 0 309 0 0 0 25 0 1 0 34046703 1949696 323 1992294400 134512640 135197378 4294956240 18446744073709551615 134524899 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 476 323 93 167 0 307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1904

[startup+6.30109 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1272108/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=2132 CPUtime=6.29
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 434 0 0 0 629 0 0 0 25 0 1 0 34046703 2183168 399 1992294400 134512640 135197378 4294956240 18446744073709551615 134550698 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 533 399 93 167 0 364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2132

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1271468/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=2984 CPUtime=12.69
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 592 0 0 0 1269 0 0 0 25 0 1 0 34046703 3055616 557 1992294400 134512640 135197378 4294956240 18446744073709551615 134524866 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 746 557 93 167 0 577 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2984

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1270252/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=4900 CPUtime=25.49
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 879 0 0 0 2549 0 0 0 25 0 1 0 34046703 5017600 844 1992294400 134512640 135197378 4294956240 18446744073709551615 134524828 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 1225 844 93 167 0 1056 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4900

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1267948/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=6816 CPUtime=51.07
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 1466 0 0 0 5107 0 0 0 25 0 1 0 34046703 6979584 1431 1992294400 134512640 135197378 4294956240 18446744073709551615 134539243 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 1704 1431 93 167 0 1535 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6816

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1263532/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=13476 CPUtime=102.27
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 2550 0 0 0 10225 2 0 0 25 0 1 0 34046703 13799424 2515 1992294400 134512640 135197378 4294956240 18446744073709551615 134539261 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 3369 2515 93 167 0 3200 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13476

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1258668/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=19680 CPUtime=162.24
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 3762 0 0 0 16222 2 0 0 25 0 1 0 34046703 20152320 3727 1992294400 134512640 135197378 4294956240 18446744073709551615 134548735 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 4920 3727 93 167 0 4751 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19680

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1253804/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=29176 CPUtime=222.23
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 4941 0 0 0 22220 3 0 0 25 0 1 0 34046703 29876224 4906 1992294400 134512640 135197378 4294956240 18446744073709551615 134539048 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 7294 4906 93 167 0 7125 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29176

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1249260/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=29176 CPUtime=282.22
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 6078 0 0 0 28218 4 0 0 25 0 1 0 34046703 29876224 6043 1992294400 134512640 135197378 4294956240 18446744073709551615 134524938 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 7294 6043 93 167 0 7125 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29176

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1245036/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=29176 CPUtime=342.2
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 7112 0 0 0 34216 4 0 0 25 0 1 0 34046703 29876224 7077 1992294400 134512640 135197378 4294956240 18446744073709551615 134524878 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 7294 7077 93 167 0 7125 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29176

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1240556/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=42272 CPUtime=402.18
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 8238 0 0 0 40213 5 0 0 25 0 1 0 34046703 43286528 8203 1992294400 134512640 135197378 4294956240 18446744073709551615 134539119 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 10568 8203 93 167 0 10399 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 42272

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1236076/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=43804 CPUtime=462.16
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 9338 0 0 0 46210 6 0 0 25 0 1 0 34046703 44855296 9303 1992294400 134512640 135197378 4294956240 18446744073709551615 134524890 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 10951 9303 93 167 0 10782 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 43804

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1232108/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=43804 CPUtime=522.14
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 10379 0 0 0 52208 6 0 0 25 0 1 0 34046703 44855296 10344 1992294400 134512640 135197378 4294956240 18446744073709551615 134592843 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 10951 10344 93 167 0 10782 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 43804

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1227628/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=63448 CPUtime=582.13
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 11470 0 0 0 58206 7 0 0 25 0 1 0 34046703 64970752 11435 1992294400 134512640 135197378 4294956240 18446744073709551615 134603272 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 15862 11435 93 167 0 15693 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 63448

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22205
/proc/meminfo: memFree=1223468/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=63448 CPUtime=642.12
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 12490 0 0 0 64204 8 0 0 25 0 1 0 34046703 64970752 12455 1992294400 134512640 135197378 4294956240 18446744073709551615 134550616 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 15862 12455 93 167 0 15693 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 63448


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

/proc/meminfo: memFree=1050092/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=3581.32
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 55570 0 0 0 358094 38 0 0 25 0 1 0 34046703 319541248 55535 1992294400 134512640 135197378 4294956240 18446744073709551615 134524906 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 55535 93 167 0 77844 0
Current children cumulated CPU time (s) 3581.32
Current children cumulated vsize (KiB) 312052

[startup+3642.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1046828/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=3641.3
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 56379 0 0 0 364092 38 0 0 25 0 1 0 34046703 319541248 56344 1992294400 134512640 135197378 4294956240 18446744073709551615 134593025 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 56344 93 167 0 77844 0
Current children cumulated CPU time (s) 3641.3
Current children cumulated vsize (KiB) 312052

[startup+3702.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1043820/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=3701.29
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 57126 0 0 0 370090 39 0 0 25 0 1 0 34046703 319541248 57091 1992294400 134512640 135197378 4294956240 18446744073709551615 134603232 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 57091 93 167 0 77844 0
Current children cumulated CPU time (s) 3701.29
Current children cumulated vsize (KiB) 312052

[startup+3762.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1040876/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=3761.27
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 57860 0 0 0 376088 39 0 0 25 0 1 0 34046703 319541248 57825 1992294400 134512640 135197378 4294956240 18446744073709551615 134525003 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 57825 93 167 0 77844 0
Current children cumulated CPU time (s) 3761.27
Current children cumulated vsize (KiB) 312052

[startup+3822.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1037996/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=3821.25
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 58593 0 0 0 382086 39 0 0 25 0 1 0 34046703 319541248 58558 1992294400 134512640 135197378 4294956240 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 58558 93 167 0 77844 0
Current children cumulated CPU time (s) 3821.25
Current children cumulated vsize (KiB) 312052

[startup+3882.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1034988/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=3881.24
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 59331 0 0 0 388084 40 0 0 25 0 1 0 34046703 319541248 59296 1992294400 134512640 135197378 4294956240 18446744073709551615 134592765 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 59296 93 167 0 77844 0
Current children cumulated CPU time (s) 3881.24
Current children cumulated vsize (KiB) 312052

[startup+3942.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1031916/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=3941.22
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 60089 0 0 0 394082 40 0 0 25 0 1 0 34046703 319541248 60054 1992294400 134512640 135197378 4294956240 18446744073709551615 134524935 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 60054 93 167 0 77844 0
Current children cumulated CPU time (s) 3941.22
Current children cumulated vsize (KiB) 312052

[startup+4002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1029036/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=4001.21
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 60813 0 0 0 400080 41 0 0 25 0 1 0 34046703 319541248 60778 1992294400 134512640 135197378 4294956240 18446744073709551615 134550715 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 60778 93 167 0 77844 0
Current children cumulated CPU time (s) 4001.21
Current children cumulated vsize (KiB) 312052

[startup+4062.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1026220/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=4061.19
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 61497 0 0 0 406078 41 0 0 25 0 1 0 34046703 319541248 61462 1992294400 134512640 135197378 4294956240 18446744073709551615 134524862 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 61462 93 167 0 77844 0
Current children cumulated CPU time (s) 4061.19
Current children cumulated vsize (KiB) 312052

[startup+4122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1023276/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=312052 CPUtime=4121.18
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 62230 0 0 0 412076 42 0 0 25 0 1 0 34046703 319541248 62195 1992294400 134512640 135197378 4294956240 18446744073709551615 134593019 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 78013 62195 93 167 0 77844 0
Current children cumulated CPU time (s) 4121.18
Current children cumulated vsize (KiB) 312052

[startup+4182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1020524/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4181.15
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 62897 0 0 0 418073 42 0 0 25 0 1 0 34046703 332083200 62862 1992294400 134512640 135197378 4294956240 18446744073709551615 134603248 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 62862 93 167 0 80906 0
Current children cumulated CPU time (s) 4181.15
Current children cumulated vsize (KiB) 324300

[startup+4242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1017836/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4241.14
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 63603 0 0 0 424071 43 0 0 25 0 1 0 34046703 332083200 63568 1992294400 134512640 135197378 4294956240 18446744073709551615 134525003 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 63568 93 167 0 80906 0
Current children cumulated CPU time (s) 4241.14
Current children cumulated vsize (KiB) 324300

[startup+4302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1015084/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4301.12
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 64263 0 0 0 430069 43 0 0 25 0 1 0 34046703 332083200 64228 1992294400 134512640 135197378 4294956240 18446744073709551615 134556494 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 64228 93 167 0 80906 0
Current children cumulated CPU time (s) 4301.12
Current children cumulated vsize (KiB) 324300

[startup+4362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1012652/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4361.1
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 64887 0 0 0 436066 44 0 0 25 0 1 0 34046703 332083200 64852 1992294400 134512640 135197378 4294956240 18446744073709551615 134603262 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 64852 93 167 0 80906 0
Current children cumulated CPU time (s) 4361.1
Current children cumulated vsize (KiB) 324300

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

[startup+4364.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1012524/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4363.5
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 64910 0 0 0 436306 44 0 0 25 0 1 0 34046703 332083200 64875 1992294400 134512640 135197378 4294956240 18446744073709551615 134524869 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 64875 93 167 0 80906 0
Current children cumulated CPU time (s) 4363.5
Current children cumulated vsize (KiB) 324300

[startup+4367.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1012460/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4366.7
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 64940 0 0 0 436626 44 0 0 25 0 1 0 34046703 332083200 64905 1992294400 134512640 135197378 4294956240 18446744073709551615 134603252 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 64905 93 167 0 80906 0
Current children cumulated CPU time (s) 4366.7
Current children cumulated vsize (KiB) 324300

[startup+4369.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1012396/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4368.3
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 64954 0 0 0 436786 44 0 0 25 0 1 0 34046703 332083200 64919 1992294400 134512640 135197378 4294956240 18446744073709551615 134548733 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 64919 93 167 0 80906 0
Current children cumulated CPU time (s) 4368.3
Current children cumulated vsize (KiB) 324300

[startup+4370.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1012332/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4369.1
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 64961 0 0 0 436866 44 0 0 25 0 1 0 34046703 332083200 64926 1992294400 134512640 135197378 4294956240 18446744073709551615 134550718 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 64926 93 167 0 80906 0
Current children cumulated CPU time (s) 4369.1
Current children cumulated vsize (KiB) 324300

[startup+4370.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 22213
/proc/meminfo: memFree=1012332/2055920 swapFree=4192956/4192956
[pid=22204] ppid=22202 vsize=324300 CPUtime=4369.3
/proc/22204/stat : 22204 (march_hi) R 22202 22204 22167 0 -1 4194304 64962 0 0 0 436886 44 0 0 25 0 1 0 34046703 332083200 64927 1992294400 134512640 135197378 4294956240 18446744073709551615 134603252 0 0 4096 0 0 0 0 17 1 0 0
/proc/22204/statm: 81075 64927 93 167 0 80906 0
Current children cumulated CPU time (s) 4369.3
Current children cumulated vsize (KiB) 324300

Child status: 20
Real time (s): 4370.58
CPU time (s): 4369.38
CPU user time (s): 4368.9
CPU system time (s): 0.482926
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 324300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4368.9
system time used= 0.482926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64963
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= 8248

runsolver used 3.43048 second user time and 8.66068 second system time

The end

Launcher Data 

Begin job on node35 at 2009-04-18 15:09:02
IDJOB=1627924
IDBENCH=70380
IDSOLVER=583
FILE ID=node35/1627924-1240060141
PBS_JOBID= 9157558
Free space on /tmp= 66356 MiB

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

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

MD5SUM BENCH= 18acde07d0986af307d23032d1000e7e
RANDOM SEED=284653155

node35.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.214
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.214
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:       1273940 kB
Buffers:         84348 kB
Cached:         601976 kB
SwapCached:          0 kB
Active:         237524 kB
Inactive:       462652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1273940 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1032 kB
Writeback:           0 kB
Mapped:          23568 kB
Slab:            67812 kB
Committed_AS:   183320 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66356 MiB
End job on node35 at 2009-04-18 16:21:52