Trace number 1628096

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 2925.11 2925.87

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
MD5SUMe73deb485f74364d96363116560553d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2925.11
Satisfiable
(Un)Satisfiability was proved
Number of variables520
Number of clauses2210
Sum of the clauses size6630
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32210
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.02	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.02	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.00/0.02	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.00/0.02	c main()::
0.00/0.02	c initFormula():: searching for DIMACS p-line....
0.00/0.02	c initFormula():: the DIMACS p-line indicates a CNF of 520 variables and 2210 clauses.
0.00/0.02	c parseCNF():: parsing....
0.00/0.02	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.02	c runParser():: parsing was successful, warming up engines...
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.02	c preprocessing fase I completed:: there are now 520 free variables and 2210 clauses.
0.00/0.02	c stat :: sign balance is biased by 0.407
0.00/0.02	c using 3-SAT heuristics (occurence based diff)
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 133 duplicate clauses
0.00/0.02	c resolvent_look() :: found 68 resolvents
0.00/0.02	c lessRedundantTransformation():: nothing to be done.
0.00/0.02	c transformTo3SAT():: you gave me 520 variables and 2278 clauses.
0.00/0.02	c transformTo3SAT():: by the way, the maximal clause length before transformation was 3.
0.00/0.02	c transformTo3SAT():: I will add 0 variables and 0 clauses!
0.00/0.02	c transformTo3SAT():: the transformation yielded 520 variabels and 2278 clauses.
0.00/0.02	c main():: clause / variable ratio: ( 2278 / 520 ) = 4.38
0.00/0.02	c longest clause has size 3
0.00/0.02	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.02	c number of free variables = 520
0.00/0.02	c dynamic_preselect_setsize :: off
0.00/0.02	c main():: all systems go!
0.00/0.02	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 179
0.09/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: 633
0.19/0.23	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 4594
1.59/1.62	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 26862
10.49/10.54	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 4/999) NodeCount: 113601
49.88/49.91	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 360517
174.65/174.73	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 885726
466.28/466.49	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 1719053
973.35/973.61	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 2700410
1619.68/1620.11	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 3556351
2220.92/2221.52	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 4107005
2628.61/2629.39	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 4366929
2829.66/2830.45	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (12/999) NodeCount: 4456900
2902.04/2902.89	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
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: 4479371
2920.83/2921.65	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 4483476
2924.43/2925.22	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
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: 4484076
2924.93/2925.74	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |****************
c |********************************
c |****************************************************************| (16/999) NodeCount: 4484176
2925.02/2925.83	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |****************
c |********************************
c |****************************************************************| (17/999) NodeCount: 4484188
2925.02/2925.84	c |----------------------------------------------------------------|
c |
2925.02/2925.84	c
2925.02/2925.84	c main():: nodeCount: 4484188
2925.02/2925.84	c main():: dead ends in main: 72426
2925.02/2925.84	c main():: lookAheadCount: 279270171
2925.02/2925.84	c main():: unitResolveCount: 89526825
2925.02/2925.84	c main():: time=-1369.457296
2925.02/2925.84	c main():: necessary_assignments: 1075640
2925.02/2925.84	c main():: bin_sat: 0, bin_unsat 0
2925.02/2925.84	c main():: doublelook: #: 17217699, succes #: 12283889
2925.02/2925.84	c main():: doublelook: overall 6.387 of all possible doublelooks executed
2925.02/2925.84	c main():: doublelook: succesrate: 71.345, average DL_trigger: 60.237
2925.02/2925.84	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-1628096-1240108072/watcher-1628096-1240108072 -o /tmp/evaluation-result-1628096-1240108072/solver-1628096-1240108072 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/march_hi HOME/instance-1628096-1240108072.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.01 1.15 1.09 2/64 27839
/proc/meminfo: memFree=1151600/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=976 CPUtime=0
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 141 0 0 0 0 0 0 0 18 0 1 0 38834896 999424 125 1992294400 134512640 135197378 4294956240 18446744073709551615 134697414 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 244 125 62 167 0 75 0

[startup+0.077406 s]
/proc/loadavg: 1.01 1.15 1.09 2/64 27839
/proc/meminfo: memFree=1151600/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=1904 CPUtime=0.07
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 302 0 0 0 7 0 0 0 18 0 1 0 38834896 1949696 285 1992294400 134512640 135197378 4294956240 18446744073709551615 134542043 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 476 285 91 167 0 307 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1904

[startup+0.102408 s]
/proc/loadavg: 1.01 1.15 1.09 2/64 27839
/proc/meminfo: memFree=1151600/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=1904 CPUtime=0.09
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 302 0 0 0 9 0 0 0 18 0 1 0 38834896 1949696 285 1992294400 134512640 135197378 4294956240 18446744073709551615 134525358 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 476 285 91 167 0 307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1904

[startup+0.302427 s]
/proc/loadavg: 1.01 1.15 1.09 2/64 27839
/proc/meminfo: memFree=1151600/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=1904 CPUtime=0.29
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 313 0 0 0 29 0 0 0 20 0 1 0 38834896 1949696 296 1992294400 134512640 135197378 4294956240 18446744073709551615 134541260 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 476 296 91 167 0 307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1904

[startup+0.702466 s]
/proc/loadavg: 1.01 1.15 1.09 2/64 27839
/proc/meminfo: memFree=1151600/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=1904 CPUtime=0.69
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 332 0 0 0 69 0 0 0 23 0 1 0 38834896 1949696 315 1992294400 134512640 135197378 4294956240 18446744073709551615 134611762 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 476 315 91 167 0 307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1904

[startup+1.50154 s]
/proc/loadavg: 1.01 1.15 1.09 2/65 27840
/proc/meminfo: memFree=1150568/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=2116 CPUtime=1.49
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 361 0 0 0 149 0 0 0 25 0 1 0 38834896 2166784 344 1992294400 134512640 135197378 4294956240 18446744073709551615 134525348 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 529 344 91 167 0 360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2116

[startup+3.10169 s]
/proc/loadavg: 1.01 1.15 1.09 2/65 27840
/proc/meminfo: memFree=1150376/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=2420 CPUtime=3.09
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 445 0 0 0 309 0 0 0 25 0 1 0 38834896 2478080 428 1992294400 134512640 135197378 4294956240 18446744073709551615 134541965 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 605 428 91 167 0 436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2420

[startup+6.30199 s]
/proc/loadavg: 1.01 1.15 1.09 2/65 27840
/proc/meminfo: memFree=1149864/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=2572 CPUtime=6.29
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 495 0 0 0 629 0 0 0 25 0 1 0 38834896 2633728 478 1992294400 134512640 135197378 4294956240 18446744073709551615 134611792 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 643 478 91 167 0 474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2572

[startup+12.7016 s]
/proc/loadavg: 1.01 1.15 1.09 2/65 27840
/proc/meminfo: memFree=1149480/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=3380 CPUtime=12.69
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 617 0 0 0 1269 0 0 0 25 0 1 0 38834896 3461120 600 1992294400 134512640 135197378 4294956240 18446744073709551615 134542026 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 845 600 91 167 0 676 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3380

[startup+25.5018 s]
/proc/loadavg: 1.01 1.14 1.08 2/65 27840
/proc/meminfo: memFree=1148520/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=4132 CPUtime=25.49
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 825 0 0 0 2549 0 0 0 25 0 1 0 38834896 4231168 808 1992294400 134512640 135197378 4294956240 18446744073709551615 134556905 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 1033 808 91 167 0 864 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4132

[startup+51.1012 s]
/proc/loadavg: 1.00 1.13 1.08 2/65 27840
/proc/meminfo: memFree=1146984/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=6532 CPUtime=51.08
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 1214 0 0 0 5107 1 0 0 25 0 1 0 38834896 6688768 1197 1992294400 134512640 135197378 4294956240 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 1633 1197 91 167 0 1464 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6532

[startup+102.306 s]
/proc/loadavg: 1.00 1.10 1.08 2/65 27840
/proc/meminfo: memFree=1143784/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=11804 CPUtime=102.27
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 1992 0 0 0 10226 1 0 0 25 0 1 0 38834896 12087296 1975 1992294400 134512640 135197378 4294956240 18446744073709551615 134593937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 2951 1975 91 167 0 2782 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11804

[startup+162.302 s]
/proc/loadavg: 1.00 1.08 1.07 2/65 27840
/proc/meminfo: memFree=1140392/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=15684 CPUtime=162.26
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 2843 0 0 0 16224 2 0 0 25 0 1 0 38834896 16060416 2826 1992294400 134512640 135197378 4294956240 18446744073709551615 134548451 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 3921 2826 91 167 0 3752 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15684

[startup+222.301 s]
/proc/loadavg: 1.00 1.07 1.06 2/65 27840
/proc/meminfo: memFree=1136936/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=17740 CPUtime=222.23
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 3699 0 0 0 22221 2 0 0 25 0 1 0 38834896 18165760 3682 1992294400 134512640 135197378 4294956240 18446744073709551615 134603821 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 4435 3682 91 167 0 4266 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 17740

[startup+282.302 s]
/proc/loadavg: 1.00 1.05 1.06 2/65 27840
/proc/meminfo: memFree=1133736/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=23560 CPUtime=282.22
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 4499 0 0 0 28219 3 0 0 25 0 1 0 38834896 24125440 4482 1992294400 134512640 135197378 4294956240 18446744073709551615 134552646 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 5890 4482 91 167 0 5721 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23560

[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.05 2/65 27840
/proc/meminfo: memFree=1130344/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=27408 CPUtime=342.21
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 5340 0 0 0 34217 4 0 0 25 0 1 0 38834896 28065792 5323 1992294400 134512640 135197378 4294956240 18446744073709551615 134542163 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 6852 5323 91 167 0 6683 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 27408

[startup+402.303 s]
/proc/loadavg: 1.00 1.03 1.05 2/65 27840
/proc/meminfo: memFree=1127080/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=36140 CPUtime=402.19
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 6152 0 0 0 40215 4 0 0 25 0 1 0 38834896 37007360 6135 1992294400 134512640 135197378 4294956240 18446744073709551615 134539300 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 9035 6135 91 167 0 8866 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 36140

[startup+462.303 s]
/proc/loadavg: 1.00 1.02 1.04 2/65 27840
/proc/meminfo: memFree=1124072/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=36140 CPUtime=462.18
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 6892 0 0 0 46213 5 0 0 25 0 1 0 38834896 37007360 6875 1992294400 134512640 135197378 4294956240 18446744073709551615 134597338 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 9035 6875 91 167 0 8866 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 36140

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.04 2/65 27840
/proc/meminfo: memFree=1120808/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=36140 CPUtime=522.16
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 7713 0 0 0 52211 5 0 0 25 0 1 0 38834896 37007360 7696 1992294400 134512640 135197378 4294956240 18446744073709551615 134525358 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 9035 7696 91 167 0 8866 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 36140

[startup+582.303 s]
/proc/loadavg: 1.00 1.01 1.03 2/65 27842
/proc/meminfo: memFree=1117608/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=36140 CPUtime=582.14
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 8509 0 0 0 58208 6 0 0 25 0 1 0 38834896 37007360 8492 1992294400 134512640 135197378 4294956240 18446744073709551615 134525296 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 9035 8492 91 167 0 8866 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 36140

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 27842
/proc/meminfo: memFree=1114472/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=49236 CPUtime=642.14
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 9278 0 0 0 64207 7 0 0 25 0 1 0 38834896 50417664 9261 1992294400 134512640 135197378 4294956240 18446744073709551615 134552693 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 12309 9261 91 167 0 12140 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 49236


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

/proc/meminfo: memFree=1044392/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=121576 CPUtime=2141.74
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 26724 0 0 0 214155 19 0 0 25 0 1 0 38834896 124493824 26707 1992294400 134512640 135197378 4294956240 18446744073709551615 134542176 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 30394 26707 91 167 0 30225 0
Current children cumulated CPU time (s) 2141.74
Current children cumulated vsize (KiB) 121576

[startup+2202.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27848
/proc/meminfo: memFree=1041896/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=121576 CPUtime=2201.73
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 27338 0 0 0 220153 20 0 0 25 0 1 0 38834896 124493824 27321 1992294400 134512640 135197378 4294956240 18446744073709551615 134539251 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 30394 27321 91 167 0 30225 0
Current children cumulated CPU time (s) 2201.73
Current children cumulated vsize (KiB) 121576

[startup+2262.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27848
/proc/meminfo: memFree=1039336/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=121576 CPUtime=2261.71
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 27991 0 0 0 226151 20 0 0 25 0 1 0 38834896 124493824 27974 1992294400 134512640 135197378 4294956240 18446744073709551615 134525291 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 30394 27974 91 167 0 30225 0
Current children cumulated CPU time (s) 2261.71
Current children cumulated vsize (KiB) 121576

[startup+2322.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27848
/proc/meminfo: memFree=1036584/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=121576 CPUtime=2321.69
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 28662 0 0 0 232149 20 0 0 25 0 1 0 38834896 124493824 28645 1992294400 134512640 135197378 4294956240 18446744073709551615 134649302 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 30394 28645 91 167 0 30225 0
Current children cumulated CPU time (s) 2321.69
Current children cumulated vsize (KiB) 121576

[startup+2382.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27848
/proc/meminfo: memFree=1033960/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2381.68
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 29284 0 0 0 238146 22 0 0 25 0 1 0 38834896 169754624 29267 1992294400 134512640 135197378 4294956240 18446744073709551615 134525423 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 29267 91 167 0 41275 0
Current children cumulated CPU time (s) 2381.68
Current children cumulated vsize (KiB) 165776

[startup+2442.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27848
/proc/meminfo: memFree=1031464/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2441.67
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 29893 0 0 0 244144 23 0 0 25 0 1 0 38834896 169754624 29876 1992294400 134512640 135197378 4294956240 18446744073709551615 134525366 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 29876 91 167 0 41275 0
Current children cumulated CPU time (s) 2441.67
Current children cumulated vsize (KiB) 165776

[startup+2502.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1029096/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2501.65
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 30481 0 0 0 250142 23 0 0 25 0 1 0 38834896 169754624 30464 1992294400 134512640 135197378 4294956240 18446744073709551615 134541243 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 30464 91 167 0 41275 0
Current children cumulated CPU time (s) 2501.65
Current children cumulated vsize (KiB) 165776

[startup+2562.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/65 27848
/proc/meminfo: memFree=1026664/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2561.63
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 31088 0 0 0 256140 23 0 0 25 0 1 0 38834896 169754624 31071 1992294400 134512640 135197378 4294956240 18446744073709551615 134603846 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 31071 91 167 0 41275 0
Current children cumulated CPU time (s) 2561.63
Current children cumulated vsize (KiB) 165776

[startup+2622.3 s]
/proc/loadavg: 1.07 1.04 1.01 2/65 27848
/proc/meminfo: memFree=1024296/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2621.62
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 31678 0 0 0 262138 24 0 0 25 0 1 0 38834896 169754624 31661 1992294400 134512640 135197378 4294956240 18446744073709551615 134597274 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 31661 91 167 0 41275 0
Current children cumulated CPU time (s) 2621.62
Current children cumulated vsize (KiB) 165776

[startup+2682.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 27848
/proc/meminfo: memFree=1021864/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2681.6
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 32294 0 0 0 268136 24 0 0 25 0 1 0 38834896 169754624 32277 1992294400 134512640 135197378 4294956240 18446744073709551615 134594037 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 32277 91 167 0 41275 0
Current children cumulated CPU time (s) 2681.6
Current children cumulated vsize (KiB) 165776

[startup+2742.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 27848
/proc/meminfo: memFree=1019432/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2741.59
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 32885 0 0 0 274135 24 0 0 25 0 1 0 38834896 169754624 32868 1992294400 134512640 135197378 4294956240 18446744073709551615 134525296 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 32868 91 167 0 41275 0
Current children cumulated CPU time (s) 2741.59
Current children cumulated vsize (KiB) 165776

[startup+2802.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27848
/proc/meminfo: memFree=1017192/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2801.57
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 33445 0 0 0 280132 25 0 0 25 0 1 0 38834896 169754624 33428 1992294400 134512640 135197378 4294956240 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 33428 91 167 0 41275 0
Current children cumulated CPU time (s) 2801.57
Current children cumulated vsize (KiB) 165776

[startup+2862.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1014888/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2861.56
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 34011 0 0 0 286130 26 0 0 25 0 1 0 38834896 169754624 33994 1992294400 134512640 135197378 4294956240 18446744073709551615 134525420 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 33994 91 167 0 41275 0
Current children cumulated CPU time (s) 2861.56
Current children cumulated vsize (KiB) 165776

[startup+2922.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1012840/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2921.53
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 34532 0 0 0 292127 26 0 0 25 0 1 0 38834896 169754624 34515 1992294400 134512640 135197378 4294956240 18446744073709551615 134541968 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 34515 91 167 0 41275 0
Current children cumulated CPU time (s) 2921.53
Current children cumulated vsize (KiB) 165776

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

[startup+2923.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1012840/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2922.33
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 34540 0 0 0 292207 26 0 0 25 0 1 0 38834896 169754624 34523 1992294400 134512640 135197378 4294956240 18446744073709551615 134591860 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 34523 91 167 0 41275 0
Current children cumulated CPU time (s) 2922.33
Current children cumulated vsize (KiB) 165776

[startup+2924.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1012776/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2923.93
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 34553 0 0 0 292367 26 0 0 25 0 1 0 38834896 169754624 34536 1992294400 134512640 135197378 4294956240 18446744073709551615 134539261 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 34536 91 167 0 41275 0
Current children cumulated CPU time (s) 2923.93
Current children cumulated vsize (KiB) 165776

[startup+2925.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1012776/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2924.73
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 34558 0 0 0 292447 26 0 0 25 0 1 0 38834896 169754624 34541 1992294400 134512640 135197378 4294956240 18446744073709551615 134593971 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 34541 91 167 0 41275 0
Current children cumulated CPU time (s) 2924.73
Current children cumulated vsize (KiB) 165776

[startup+2925.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1012776/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2924.93
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 34561 0 0 0 292467 26 0 0 25 0 1 0 38834896 169754624 34544 1992294400 134512640 135197378 4294956240 18446744073709551615 134605243 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 34544 91 167 0 41275 0
Current children cumulated CPU time (s) 2924.93
Current children cumulated vsize (KiB) 165776

[startup+2925.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27848
/proc/meminfo: memFree=1012776/2055920 swapFree=4192956/4192956
[pid=27839] ppid=27837 vsize=165776 CPUtime=2925.02
/proc/27839/stat : 27839 (march_hi) R 27837 27839 24663 0 -1 4194304 34561 0 0 0 292476 26 0 0 25 0 1 0 38834896 169754624 34544 1992294400 134512640 135197378 4294956240 18446744073709551615 134590377 0 0 4096 0 0 0 0 17 1 0 0
/proc/27839/statm: 41444 34544 91 167 0 41275 0
Current children cumulated CPU time (s) 2925.02
Current children cumulated vsize (KiB) 165776

Child status: 20
Real time (s): 2925.87
CPU time (s): 2925.11
CPU user time (s): 2924.81
CPU system time (s): 0.290955
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 165776

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

runsolver used 2.6446 second user time and 5.46417 second system time

The end

Launcher Data 

Begin job on node48 at 2009-04-19 04:27:52
IDJOB=1628096
IDBENCH=70552
IDSOLVER=583
FILE ID=node48/1628096-1240108072
PBS_JOBID= 9157714
Free space on /tmp= 66416 MiB

SOLVER NAME= march_hi hi
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/520/unif-k3-r4.25-v520-c2210-S486178562-011.cnf
COMMAND LINE= HOME/march_hi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1628096-1240108072/watcher-1628096-1240108072 -o /tmp/evaluation-result-1628096-1240108072/solver-1628096-1240108072 -C 5000 -W 6000 -M 1800 --output-limit 1,15  HOME/march_hi HOME/instance-1628096-1240108072.cnf

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

MD5SUM BENCH= e73deb485f74364d96363116560553d5
RANDOM SEED=838099299

node48.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.209
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.209
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:       1152016 kB
Buffers:         90824 kB
Cached:         711440 kB
SwapCached:          0 kB
Active:         344056 kB
Inactive:       472128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1152016 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             812 kB
Writeback:           0 kB
Mapped:          23692 kB
Slab:            73636 kB
Committed_AS:   208680 kB
PageTables:       1368 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= 66416 MiB
End job on node48 at 2009-04-19 05:16:38