Trace number 3420539

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_rw 2011-03-02UNSAT 3292.86 3292.78

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
MD5SUM8c477af50318fe10cbec1ad215bff97c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3292.86
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.01	c main()::  **                Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour                 **
0.00/0.01	c main()::   *  This program may be redistributed and/or modified under the terms of the GNU Gereral Public License  *
0.00/0.01	c main()::
0.00/0.01	c initFormula():: searching for DIMACS p-line....
0.00/0.01	c initFormula():: the DIMACS p-line indicates a CNF of 550 variables and 2343 clauses.
0.00/0.01	c parseCNF():: parsing....
0.00/0.01	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.01	c runParser():: parsing was successful, warming up engines...
0.00/0.01	c simplify_formula():: removed 0 tautological, 9 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 549 free variables and 2334 clauses.
0.00/0.01	c using 3-SAT heuristics (occurence based diff)
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 155 duplicate clauses
0.00/0.01	c resolvent_look() :: found 92 resolvents
0.00/0.01	c main():: clause / variable ratio: ( 2426 / 550 ) = 4.41
0.00/0.01	c longest clause has size 3
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c number of free variables = 549
0.00/0.01	c dynamic_preselect_setsize :: off
0.00/0.01	c main():: all systems go!
0.00/0.01	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 149
0.02/0.04	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 1/999) NodeCount: 657
0.10/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 |******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 2/999) NodeCount: 5302
0.69/0.79	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 33895
5.70/5.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 |****************************************************************| ( 4/999) NodeCount: 158795
29.99/30.00	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 558295
116.40/116.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 |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 1508141
343.10/343.17	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 3209758
786.20/786.25	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 5524971
1436.33/1436.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 |****************************************************************| ( 9/999) NodeCount: 7905513
2152.64/2152.69	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 9736123
2737.46/2737.42	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 10774509
3086.26/3086.29	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 11200985
3236.06/3236.04	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 11325841
3281.77/3281.78	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 11350886
3291.37/3291.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 |****************************************************************| (15/999) NodeCount: 11354008
3292.67/3292.66	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |********************
c |*********************
c |**********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |**************************************
c |***************************************
c |****************************************
c |********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |********************************************************
c |****************************************************************| (16/999) NodeCount: 11354226
3292.77/3292.76	c |----------------------------------------------------------------|
c |********
c |*********
c |**********
c |************
c |****************
c |************************
c |*************************
c |**************************
c |****************************
c |******************************
c |*******************************
c |********************************
c |****************************************************************| (17/999) NodeCount: 11354232
3292.77/3292.76	c |----------------------------------------------------------------|
c |
3292.77/3292.76	c
3292.77/3292.76	c main():: nodeCount: 11354232
3292.77/3292.76	c main():: dead ends in main: 166284
3292.77/3292.76	c main():: lookAheadCount: 697326413
3292.77/3292.76	c main():: unitResolveCount: 224388581
3292.77/3292.76	c main():: time=3292.829834
3292.77/3292.76	c main():: necessary_assignments: 2551729
3292.77/3292.76	c main():: bin_sat: 0, bin_unsat 0
3292.77/3292.76	c main():: doublelook: #: 43162751, succes #: 30740906
3292.77/3292.76	c main():: doublelook: overall 6.409 of all possible doublelooks executed
3292.77/3292.76	c main():: doublelook: succesrate: 71.221, average DL_trigger: 43.346
3292.77/3292.76	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3420539-1306631829/watcher-3420539-1306631829 -o /tmp/evaluation-result-3420539-1306631829/solver-3420539-1306631829 -C 5000 -W 5100 -M 15500 ./march_rw HOME/instance-3420539-1306631829.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 1.86 1.78 2/514 2412
/proc/meminfo: memFree=16439496/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=6852 CPUtime=0 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 300 0 0 0 0 0 0 0 25 0 1 0 853413652 7016448 244 33554432000 4194304 4300876 140734176140784 18446744073709551615 215988241618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 1713 244 135 27 0 162 0

[startup+0.0253531 s]
/proc/loadavg: 2.00 1.86 1.78 2/514 2412
/proc/meminfo: memFree=16439496/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=7548 CPUtime=0.02 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 455 0 0 0 2 0 0 0 25 0 1 0 853413652 7729152 399 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 1887 399 168 27 0 336 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7548

[startup+0.10034 s]
/proc/loadavg: 2.00 1.86 1.78 2/514 2412
/proc/meminfo: memFree=16439496/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=7684 CPUtime=0.1 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 470 0 0 0 10 0 0 0 25 0 1 0 853413652 7868416 414 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217487 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 1921 414 168 27 0 370 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7684

[startup+0.300304 s]
/proc/loadavg: 2.00 1.86 1.78 2/514 2412
/proc/meminfo: memFree=16439496/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=7684 CPUtime=0.3 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 489 0 0 0 30 0 0 0 25 0 1 0 853413652 7868416 433 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217308 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 1921 433 168 27 0 370 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7684

[startup+0.700234 s]
/proc/loadavg: 2.00 1.86 1.78 2/514 2412
/proc/meminfo: memFree=16439496/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=7892 CPUtime=0.69 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 528 0 0 0 69 0 0 0 25 0 1 0 853413652 8081408 472 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217549 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 1973 472 168 27 0 422 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7892

[startup+1.50009 s]
/proc/loadavg: 2.00 1.86 1.78 3/515 2413
/proc/meminfo: memFree=16437520/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=8100 CPUtime=1.49 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 609 0 0 0 149 0 0 0 25 0 1 0 853413652 8294400 533 33554432000 4194304 4300876 140734176140784 18446744073709551615 4214450 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 2025 533 168 27 0 474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8100

[startup+3.10081 s]
/proc/loadavg: 2.00 1.86 1.78 3/515 2413
/proc/meminfo: memFree=16435908/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=8480 CPUtime=3.1 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 669 0 0 0 310 0 0 0 25 0 1 0 853413652 8683520 593 33554432000 4194304 4300876 140734176140784 18446744073709551615 4225163 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 2120 593 169 27 0 569 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8480

[startup+6.30025 s]
/proc/loadavg: 2.00 1.87 1.78 3/515 2413
/proc/meminfo: memFree=16435420/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=9024 CPUtime=6.3 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 793 0 0 0 630 0 0 0 25 0 1 0 853413652 9240576 717 33554432000 4194304 4300876 140734176140784 18446744073709551615 4228535 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 2256 717 169 27 0 705 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9024

[startup+12.7001 s]
/proc/loadavg: 2.00 1.87 1.78 3/515 2414
/proc/meminfo: memFree=16433440/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=10796 CPUtime=12.7 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 1105 0 0 0 1270 0 0 0 25 0 1 0 853413652 11055104 1029 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200361 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 2699 1029 169 27 0 1148 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10796

[startup+25.5009 s]
/proc/loadavg: 2.00 1.87 1.78 3/515 2414
/proc/meminfo: memFree=16432188/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=12448 CPUtime=25.5 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 1561 0 0 0 2550 0 0 0 25 0 1 0 853413652 12746752 1485 33554432000 4194304 4300876 140734176140784 18446744073709551615 4248656 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 3112 1485 169 27 0 1561 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 12448

[startup+51.1004 s]
/proc/loadavg: 2.00 1.88 1.79 3/515 2414
/proc/meminfo: memFree=16428324/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=17752 CPUtime=51.09 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 2450 0 0 0 5109 0 0 0 25 0 1 0 853413652 18178048 2374 33554432000 4194304 4300876 140734176140784 18446744073709551615 4248592 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 4438 2374 169 27 0 2887 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17752

[startup+102.318 s]
/proc/loadavg: 2.00 1.90 1.80 3/515 2416
/proc/meminfo: memFree=16420232/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=29444 CPUtime=102.31 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 4151 0 0 0 10231 0 0 0 25 0 1 0 853413652 30150656 4075 33554432000 4194304 4300876 140734176140784 18446744073709551615 215987988034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 7361 4075 169 27 0 5810 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29444

[startup+162.301 s]
/proc/loadavg: 2.10 1.94 1.82 3/515 2417
/proc/meminfo: memFree=16411264/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=38176 CPUtime=162.29 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 6104 0 0 0 16229 0 0 0 25 0 1 0 853413652 39092224 6028 33554432000 4194304 4300876 140734176140784 18446744073709551615 4228176 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 9544 6028 169 27 0 7993 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 38176

[startup+222.3 s]
/proc/loadavg: 2.08 1.97 1.83 3/515 2419
/proc/meminfo: memFree=16403664/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=42152 CPUtime=222.29 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 7966 0 0 0 22229 0 0 0 25 0 1 0 853413652 43163648 7890 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217725 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 10538 7890 169 27 0 8987 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 42152

[startup+282.301 s]
/proc/loadavg: 2.19 2.00 1.85 3/515 2421
/proc/meminfo: memFree=16396300/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=55248 CPUtime=282.3 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 9818 0 0 0 28229 1 0 0 25 0 1 0 853413652 56573952 9742 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217467 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 13812 9742 169 27 0 12261 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 55248

[startup+342.3 s]
/proc/loadavg: 2.14 2.02 1.86 3/515 2422
/proc/meminfo: memFree=16389332/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=63208 CPUtime=342.3 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 11514 0 0 0 34229 1 0 0 25 0 1 0 853413652 64724992 11438 33554432000 4194304 4300876 140734176140784 18446744073709551615 4214423 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 15802 11438 169 27 0 14251 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 63208

[startup+402.301 s]
/proc/loadavg: 2.05 2.01 1.86 3/515 2424
/proc/meminfo: memFree=16381716/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=82984 CPUtime=402.3 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 13375 0 0 0 40229 1 0 0 25 0 1 0 853413652 84975616 13299 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200277 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 20746 13299 169 27 0 19195 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 82984

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.87 3/515 2425
/proc/meminfo: memFree=16374716/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=82984 CPUtime=462.31 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 15222 0 0 0 46229 2 0 0 25 0 1 0 853413652 84975616 15146 33554432000 4194304 4300876 140734176140784 18446744073709551615 4248656 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 20746 15146 169 27 0 19195 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 82984

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/515 2427
/proc/meminfo: memFree=16368108/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=82984 CPUtime=522.31 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 16942 0 0 0 52229 2 0 0 25 0 1 0 853413652 84975616 16866 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217487 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 20746 16866 169 27 0 19195 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 82984

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/515 2429
/proc/meminfo: memFree=16360728/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=82984 CPUtime=582.3 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 18684 0 0 0 58228 2 0 0 25 0 1 0 853413652 84975616 18608 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200312 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 20746 18608 169 27 0 19195 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 82984

[startup+642.301 s]

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

/proc/meminfo: memFree=16147256/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=370276 CPUtime=2562.35 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 69635 0 0 0 256223 12 0 0 25 0 1 0 853413652 379162624 69559 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200299 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 92569 69559 169 27 0 91018 0
Current children cumulated CPU time (s) 2562.35
Current children cumulated vsize (KiB) 370276

[startup+2622.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/515 2486
/proc/meminfo: memFree=16141120/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=370276 CPUtime=2622.35 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 71031 0 0 0 262223 12 0 0 25 0 1 0 853413652 379162624 70955 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217619 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 92569 70955 169 27 0 91018 0
Current children cumulated CPU time (s) 2622.35
Current children cumulated vsize (KiB) 370276

[startup+2682.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/515 2497
/proc/meminfo: memFree=16135168/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=370276 CPUtime=2682.35 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 72409 0 0 0 268223 12 0 0 25 0 1 0 853413652 379162624 72333 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200325 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 92569 72333 169 27 0 91018 0
Current children cumulated CPU time (s) 2682.35
Current children cumulated vsize (KiB) 370276

[startup+2742.32 s]
/proc/loadavg: 2.07 2.07 2.01 3/515 2996
/proc/meminfo: memFree=16129260/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=370276 CPUtime=2742.37 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 73706 0 0 0 274224 13 0 0 25 0 1 0 853413652 379162624 73630 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217310 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 92569 73630 169 27 0 91018 0
Current children cumulated CPU time (s) 2742.37
Current children cumulated vsize (KiB) 370276

[startup+2802.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/515 2998
/proc/meminfo: memFree=16123652/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=2802.35 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 75043 0 0 0 280222 13 0 0 25 0 1 0 853413652 444346368 74967 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217479 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 74967 169 27 0 106932 0
Current children cumulated CPU time (s) 2802.35
Current children cumulated vsize (KiB) 433932

[startup+2862.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 3000
/proc/meminfo: memFree=16117176/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=2862.36 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 76469 0 0 0 286222 14 0 0 25 0 1 0 853413652 444346368 76393 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200357 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 76393 169 27 0 106932 0
Current children cumulated CPU time (s) 2862.36
Current children cumulated vsize (KiB) 433932

[startup+2922.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 3001
/proc/meminfo: memFree=16111416/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=2922.36 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 77801 0 0 0 292222 14 0 0 25 0 1 0 853413652 444346368 77725 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217455 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 77725 169 27 0 106932 0
Current children cumulated CPU time (s) 2922.36
Current children cumulated vsize (KiB) 433932

[startup+2982.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 3003
/proc/meminfo: memFree=16105920/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=2982.36 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 79114 0 0 0 298222 14 0 0 25 0 1 0 853413652 444346368 79038 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217667 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 79038 169 27 0 106932 0
Current children cumulated CPU time (s) 2982.36
Current children cumulated vsize (KiB) 433932

[startup+3042.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/515 3004
/proc/meminfo: memFree=16099408/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3042.36 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 80416 0 0 0 304222 14 0 0 25 0 1 0 853413652 444346368 80340 33554432000 4194304 4300876 140734176140784 18446744073709551615 4214457 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 80340 169 27 0 106932 0
Current children cumulated CPU time (s) 3042.36
Current children cumulated vsize (KiB) 433932

[startup+3102.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/515 3007
/proc/meminfo: memFree=16095156/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3102.36 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 81665 0 0 0 310221 15 0 0 25 0 1 0 853413652 444346368 81589 33554432000 4194304 4300876 140734176140784 18446744073709551615 4214440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 81589 169 27 0 106932 0
Current children cumulated CPU time (s) 3102.36
Current children cumulated vsize (KiB) 433932

[startup+3162.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/515 3008
/proc/meminfo: memFree=16089156/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3162.36 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 82951 0 0 0 316221 15 0 0 25 0 1 0 853413652 444346368 82875 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200325 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 82875 169 27 0 106932 0
Current children cumulated CPU time (s) 3162.36
Current children cumulated vsize (KiB) 433932

[startup+3222.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/515 3010
/proc/meminfo: memFree=16083912/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3222.36 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 84174 0 0 0 322221 15 0 0 25 0 1 0 853413652 444346368 84098 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200316 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 84098 169 27 0 106932 0
Current children cumulated CPU time (s) 3222.36
Current children cumulated vsize (KiB) 433932

[startup+3282.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 3012
/proc/meminfo: memFree=16079404/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3282.37 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 85344 0 0 0 328221 16 0 0 25 0 1 0 853413652 444346368 85268 33554432000 4194304 4300876 140734176140784 18446744073709551615 4261232 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 85268 169 27 0 106932 0
Current children cumulated CPU time (s) 3282.37
Current children cumulated vsize (KiB) 433932

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

[startup+3283.1 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 3012
/proc/meminfo: memFree=16079404/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3283.17 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 85358 0 0 0 328301 16 0 0 25 0 1 0 853413652 444346368 85282 33554432000 4194304 4300876 140734176140784 18446744073709551615 4217694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 85282 169 27 0 106932 0
Current children cumulated CPU time (s) 3283.17
Current children cumulated vsize (KiB) 433932

[startup+3289.5 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 3012
/proc/meminfo: memFree=16078892/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3289.57 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 85475 0 0 0 328941 16 0 0 25 0 1 0 853413652 444346368 85399 33554432000 4194304 4300876 140734176140784 18446744073709551615 4228736 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 85399 169 27 0 106932 0
Current children cumulated CPU time (s) 3289.57
Current children cumulated vsize (KiB) 433932

[startup+3291.1 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 3012
/proc/meminfo: memFree=16078768/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3291.17 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 85503 0 0 0 329101 16 0 0 25 0 1 0 853413652 444346368 85427 33554432000 4194304 4300876 140734176140784 18446744073709551615 4200288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 85427 169 27 0 106932 0
Current children cumulated CPU time (s) 3291.17
Current children cumulated vsize (KiB) 433932

[startup+3291.9 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 3012
/proc/meminfo: memFree=16078768/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3291.97 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 85517 0 0 0 329181 16 0 0 25 0 1 0 853413652 444346368 85441 33554432000 4194304 4300876 140734176140784 18446744073709551615 4248759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 85441 169 27 0 106932 0
Current children cumulated CPU time (s) 3291.97
Current children cumulated vsize (KiB) 433932

[startup+3292.32 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 3012
/proc/meminfo: memFree=16078768/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3292.39 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 85523 0 0 0 329223 16 0 0 25 0 1 0 853413652 444346368 85447 33554432000 4194304 4300876 140734176140784 18446744073709551615 4261064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 85447 169 27 0 106932 0
Current children cumulated CPU time (s) 3292.39
Current children cumulated vsize (KiB) 433932

[startup+3292.7 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 3012
/proc/meminfo: memFree=16078768/32950940 swapFree=67111364/67111528
[pid=2412] ppid=2410 vsize=433932 CPUtime=3292.77 cores=1,3,5,7
/proc/2412/stat : 2412 (march_rw) R 2410 2412 1534 0 -1 4202496 85529 0 0 0 329261 16 0 0 25 0 1 0 853413652 444346368 85453 33554432000 4194304 4300876 140734176140784 18446744073709551615 4268948 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2412/statm: 108483 85453 169 27 0 106932 0
Current children cumulated CPU time (s) 3292.77
Current children cumulated vsize (KiB) 433932

Child status: 20
Real time (s): 3292.78
CPU time (s): 3292.86
CPU user time (s): 3292.68
CPU system time (s): 0.176973
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 433932

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

runsolver used 16.0186 second user time and 35.7416 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-29 03:17:09
IDJOB=3420539
IDBENCH=82791
IDSOLVER=1913
FILE ID=node117/3420539-1306631829
RUNJOBID= node117-1306631334-2352
PBS_JOBID= 13471626
Free space on /tmp= 73224 MiB

SOLVER NAME= march_rw 2011-03-02
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
COMMAND LINE= ./march_rw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3420539-1306631829/watcher-3420539-1306631829 -o /tmp/evaluation-result-3420539-1306631829/solver-3420539-1306631829 -C 5000 -W 5100 -M 15500  ./march_rw HOME/instance-3420539-1306631829.cnf

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

MD5SUM BENCH= 8c477af50318fe10cbec1ad215bff97c
RANDOM SEED=1033114664

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      16439636 kB
Buffers:        332056 kB
Cached:        6020416 kB
SwapCached:          0 kB
Active:       11937300 kB
Inactive:      4207148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      16439636 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:              24 kB
Writeback:           0 kB
AnonPages:     9792212 kB
Mapped:          42180 kB
Slab:           239592 kB
PageTables:      57796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149499220 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73224 MiB
End job on node117 at 2011-05-29 04:12:02