Trace number 3152754

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 1288.13 1288.1

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
MD5SUM96dadba6913c3cf46368b605f559e4b9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1288.13
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
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 500 variables and 2130 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, 22 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 496 free variables and 2108 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 182 duplicate clauses
0.00/0.01	c resolvent_look() :: found 96 resolvents
0.00/0.01	c main():: clause / variable ratio: ( 2204 / 500 ) = 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 = 496
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: 152
0.00/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: 648
0.09/0.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 |****************************************************************| ( 2/999) NodeCount: 5091
0.79/0.83	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 3/999) NodeCount: 30604
5.59/5.63	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 131989
27.19/27.27	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 417495
95.59/95.70	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 6/999) NodeCount: 998709
249.49/249.58	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 1867319
499.70/499.74	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 2820198
795.81/795.82	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 3582955
1048.01/1048.07	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (10/999) NodeCount: 4021344
1201.32/1201.30	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 4197701
1265.72/1265.71	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 4246037
1284.22/1284.21	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (13/999) NodeCount: 4254541
1287.62/1287.63	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
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: 4255505
1288.03/1288.05	c |----------------------------------------------------------------|
c |**
c |***
c |****
c |******
c |*******
c |********
c |**********
c |***********
c |************
c |*************
c |**************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
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: 4255575
1288.03/1288.08	c |----------------------------------------------------------------|
c |****************
c |*****************
c |******************
c |********************
c |************************
c |********************************
c |****************************************
c |*****************************************
c |******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |************************************************
c |****************************************************************| (16/999) NodeCount: 4255579
1288.03/1288.09	c |----------------------------------------------------------------|
c |
1288.03/1288.09	c
1288.03/1288.09	c main():: nodeCount: 4255579
1288.03/1288.09	c main():: dead ends in main: 87260
1288.03/1288.09	c main():: lookAheadCount: 266504620
1288.03/1288.09	c main():: unitResolveCount: 88370631
1288.03/1288.09	c main():: time=1288.109985
1288.03/1288.09	c main():: necessary_assignments: 1112379
1288.03/1288.09	c main():: bin_sat: 0, bin_unsat 0
1288.03/1288.09	c main():: doublelook: #: 16282279, succes #: 11598797
1288.03/1288.09	c main():: doublelook: overall 6.334 of all possible doublelooks executed
1288.03/1288.09	c main():: doublelook: succesrate: 71.236, average DL_trigger: 57.691
1288.03/1288.09	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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-3152754-1301710904/watcher-3152754-1301710904 -o /tmp/evaluation-result-3152754-1301710904/solver-3152754-1301710904 -C 2400 -W 1300 -M 7680 ./march_rw HOME/instance-3152754-1301710904.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.35 3.01 4.02 5/178 14932
/proc/meminfo: memFree=21879040/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=6720 CPUtime=0 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 263506656 6881280 234 33554432000 4194304 4300876 140735584370576 18446744073709551615 212043199152 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 1680 234 135 27 0 129 0

[startup+0.0620071 s]
/proc/loadavg: 1.35 3.01 4.02 5/178 14932
/proc/meminfo: memFree=21879040/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=7540 CPUtime=0.05 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 452 0 0 0 5 0 0 0 21 0 1 0 263506656 7720960 394 33554432000 4194304 4300876 140735584370576 18446744073709551615 4214450 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 1885 394 168 27 0 334 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7540

[startup+0.100984 s]
/proc/loadavg: 1.35 3.01 4.02 5/178 14932
/proc/meminfo: memFree=21879040/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=7540 CPUtime=0.09 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 458 0 0 0 9 0 0 0 21 0 1 0 263506656 7720960 400 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217310 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 1885 400 168 27 0 334 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7540

[startup+0.300982 s]
/proc/loadavg: 1.35 3.01 4.02 5/178 14932
/proc/meminfo: memFree=21879040/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=7676 CPUtime=0.29 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 475 0 0 0 29 0 0 0 21 0 1 0 263506656 7860224 417 33554432000 4194304 4300876 140735584370576 18446744073709551615 4281040 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 1919 417 168 27 0 368 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7676

[startup+0.700914 s]
/proc/loadavg: 1.35 3.01 4.02 5/178 14932
/proc/meminfo: memFree=21879040/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=7812 CPUtime=0.69 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 517 0 0 0 69 0 0 0 22 0 1 0 263506656 7999488 459 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217536 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 1953 459 168 27 0 402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7812

[startup+1.50078 s]
/proc/loadavg: 1.35 3.01 4.02 6/190 14954
/proc/meminfo: memFree=21873900/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=7980 CPUtime=1.49 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 555 0 0 0 149 0 0 0 25 0 1 0 263506656 8171520 497 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217555 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 1995 497 169 27 0 444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7980

[startup+3.10046 s]
/proc/loadavg: 1.35 3.01 4.02 6/190 15008
/proc/meminfo: memFree=21872212/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=8308 CPUtime=3.09 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 622 0 0 0 309 0 0 0 25 0 1 0 263506656 8507392 564 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217367 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 2077 564 169 27 0 526 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8308

[startup+6.30091 s]
/proc/loadavg: 1.56 3.03 4.02 5/190 15035
/proc/meminfo: memFree=21869896/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=8876 CPUtime=6.29 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 741 0 0 0 629 0 0 0 25 0 1 0 263506656 9089024 683 33554432000 4194304 4300876 140735584370576 18446744073709551615 4216896 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 2219 683 169 27 0 668 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8876

[startup+12.7008 s]
/proc/loadavg: 1.75 3.05 4.02 5/190 15035
/proc/meminfo: memFree=21864288/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=10732 CPUtime=12.69 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 1039 0 0 0 1269 0 0 0 25 0 1 0 263506656 10989568 981 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 2683 981 169 27 0 1132 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10732

[startup+25.5005 s]
/proc/loadavg: 2.25 3.09 4.02 5/190 15036
/proc/meminfo: memFree=21858452/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=12332 CPUtime=25.49 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 1477 0 0 0 2548 1 0 0 25 0 1 0 263506656 12627968 1419 33554432000 4194304 4300876 140735584370576 18446744073709551615 4200341 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 3083 1419 169 27 0 1532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12332

[startup+51.1009 s]
/proc/loadavg: 2.85 3.16 4.02 5/190 15063
/proc/meminfo: memFree=21847352/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=17544 CPUtime=51.09 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 2335 0 0 0 5108 1 0 0 25 0 1 0 263506656 17965056 2277 33554432000 4194304 4300876 140735584370576 18446744073709551615 4274226 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 4386 2277 169 27 0 2835 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17544

[startup+102.306 s]
/proc/loadavg: 3.54 3.30 4.01 5/190 15065
/proc/meminfo: memFree=21822784/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=23216 CPUtime=102.29 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 3931 0 0 0 10228 1 0 0 25 0 1 0 263506656 23773184 3873 33554432000 4194304 4300876 140735584370576 18446744073709551615 4200288 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 5804 3873 169 27 0 4253 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 23216

[startup+162.301 s]
/proc/loadavg: 3.81 3.42 4.01 5/190 15093
/proc/meminfo: memFree=21810960/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=32628 CPUtime=162.3 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 5767 0 0 0 16228 2 0 0 25 0 1 0 263506656 33411072 5709 33554432000 4194304 4300876 140735584370576 18446744073709551615 4200291 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 8157 5709 169 27 0 6606 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 32628

[startup+222.3 s]
/proc/loadavg: 3.93 3.52 4.00 5/190 15098
/proc/meminfo: memFree=21783612/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=41360 CPUtime=222.3 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 7514 0 0 0 22227 3 0 0 25 0 1 0 263506656 42352640 7456 33554432000 4194304 4300876 140735584370576 18446744073709551615 4214333 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 10340 7456 169 27 0 8789 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 41360

[startup+282.301 s]
/proc/loadavg: 3.97 3.60 4.00 5/190 15099
/proc/meminfo: memFree=21756356/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=61632 CPUtime=282.29 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 9217 0 0 0 28226 3 0 0 25 0 1 0 263506656 63111168 9159 33554432000 4194304 4300876 140735584370576 18446744073709551615 4225152 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 15408 9159 169 27 0 13857 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 61632

[startup+342.301 s]
/proc/loadavg: 3.99 3.67 4.00 5/190 15101
/proc/meminfo: memFree=21728800/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=61632 CPUtime=342.3 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 10896 0 0 0 34226 4 0 0 25 0 1 0 263506656 63111168 10838 33554432000 4194304 4300876 140735584370576 18446744073709551615 4214448 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 15408 10838 169 27 0 13857 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 61632

[startup+402.3 s]
/proc/loadavg: 3.87 3.71 3.99 4/184 15120
/proc/meminfo: memFree=21720776/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=61632 CPUtime=402.3 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 12599 0 0 0 40225 5 0 0 25 0 1 0 263506656 63111168 12541 33554432000 4194304 4300876 140735584370576 18446744073709551615 4214438 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 15408 12541 169 27 0 13857 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 61632

[startup+462.3 s]
/proc/loadavg: 3.32 3.58 3.93 4/184 15121
/proc/meminfo: memFree=21697680/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=81276 CPUtime=462.3 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 14210 0 0 0 46225 5 0 0 25 0 1 0 263506656 83226624 14152 33554432000 4194304 4300876 140735584370576 18446744073709551615 4228205 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 20319 14152 169 27 0 18768 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 81276

[startup+522.301 s]
/proc/loadavg: 3.11 3.47 3.86 4/184 15123
/proc/meminfo: memFree=21674728/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=95632 CPUtime=522.31 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 15787 0 0 0 52225 6 0 0 25 0 1 0 263506656 97927168 15729 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217479 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 23908 15729 169 27 0 22357 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 95632

[startup+582.301 s]
/proc/loadavg: 3.04 3.38 3.81 4/184 15124
/proc/meminfo: memFree=21652360/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=95632 CPUtime=582.3 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 17374 0 0 0 58224 6 0 0 25 0 1 0 263506656 97927168 17316 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217472 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 23908 17316 169 27 0 22357 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 95632

[startup+642.3 s]

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

/proc/meminfo: memFree=21606908/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=125100 CPUtime=702.31 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 20467 0 0 0 70223 8 0 0 25 0 1 0 263506656 128102400 20409 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217310 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 31275 20409 169 27 0 29724 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 125100

[startup+762.306 s]
/proc/loadavg: 3.00 3.20 3.65 4/184 15129
/proc/meminfo: memFree=21584064/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=125100 CPUtime=762.32 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 21965 0 0 0 76223 9 0 0 25 0 1 0 263506656 128102400 21907 33554432000 4194304 4300876 140735584370576 18446744073709551615 4214430 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 31275 21907 169 27 0 29724 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 125100

[startup+822.301 s]
/proc/loadavg: 3.00 3.16 3.61 4/184 15131
/proc/meminfo: memFree=21562708/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=125232 CPUtime=822.31 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 23438 0 0 0 82222 9 0 0 25 0 1 0 263506656 128237568 23380 33554432000 4194304 4300876 140735584370576 18446744073709551615 4228543 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 31308 23380 169 27 0 29757 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 125232

[startup+882.3 s]
/proc/loadavg: 3.00 3.13 3.57 4/184 15132
/proc/meminfo: memFree=21540100/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=125232 CPUtime=882.32 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 24908 0 0 0 88222 10 0 0 25 0 1 0 263506656 128237568 24850 33554432000 4194304 4300876 140735584370576 18446744073709551615 4248656 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 31308 24850 169 27 0 29757 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 125232

[startup+942.301 s]
/proc/loadavg: 3.04 3.12 3.54 4/184 15134
/proc/meminfo: memFree=21518484/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=125232 CPUtime=942.31 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 26357 0 0 0 94221 10 0 0 25 0 1 0 263506656 128237568 26299 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217360 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 31308 26299 169 27 0 29757 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 125232

[startup+1002.3 s]
/proc/loadavg: 3.01 3.09 3.50 4/184 15136
/proc/meminfo: memFree=21496872/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=125232 CPUtime=1002.32 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 27784 0 0 0 100221 11 0 0 25 0 1 0 263506656 128237568 27726 33554432000 4194304 4300876 140735584370576 18446744073709551615 4214440 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 31308 27726 169 27 0 29757 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 125232

[startup+1062.3 s]
/proc/loadavg: 3.00 3.08 3.47 4/184 15137
/proc/meminfo: memFree=21475760/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=153944 CPUtime=1062.31 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 29158 0 0 0 106220 11 0 0 25 0 1 0 263506656 157638656 29100 33554432000 4194304 4300876 140735584370576 18446744073709551615 4200361 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 38486 29100 169 27 0 36935 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 153944

[startup+1122.3 s]
/proc/loadavg: 3.00 3.06 3.44 4/184 15139
/proc/meminfo: memFree=21454528/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1122.32 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 30501 0 0 0 112220 12 0 0 25 0 1 0 263506656 202899456 30443 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217472 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 30443 169 27 0 47985 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 198144

[startup+1182.3 s]
/proc/loadavg: 3.00 3.05 3.41 4/184 15140
/proc/meminfo: memFree=21434288/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1182.32 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 31862 0 0 0 118220 12 0 0 25 0 1 0 263506656 202899456 31804 33554432000 4194304 4300876 140735584370576 18446744073709551615 4200335 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 31804 169 27 0 47985 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 198144

[startup+1242.3 s]
/proc/loadavg: 3.00 3.03 3.38 4/184 15142
/proc/meminfo: memFree=21413052/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1242.33 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 33117 0 0 0 124219 14 0 0 25 0 1 0 263506656 202899456 33059 33554432000 4194304 4300876 140735584370576 18446744073709551615 4228926 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33059 169 27 0 47985 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 198144

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

[startup+1254.3 s]
/proc/loadavg: 3.00 3.03 3.37 4/184 15142
/proc/meminfo: memFree=21408336/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1254.32 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 33373 0 0 0 125418 14 0 0 25 0 1 0 263506656 202899456 33315 33554432000 4194304 4300876 140735584370576 18446744073709551615 4200277 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33315 169 27 0 47985 0
Current children cumulated CPU time (s) 1254.32
Current children cumulated vsize (KiB) 198144

[startup+1267.1 s]
/proc/loadavg: 3.00 3.03 3.36 4/184 15143
/proc/meminfo: memFree=21404112/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1267.13 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 33628 0 0 0 126699 14 0 0 25 0 1 0 263506656 202899456 33570 33554432000 4194304 4300876 140735584370576 18446744073709551615 4269173 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33570 169 27 0 47985 0
Current children cumulated CPU time (s) 1267.13
Current children cumulated vsize (KiB) 198144

[startup+1279.9 s]
/proc/loadavg: 3.00 3.03 3.36 4/184 15143
/proc/meminfo: memFree=21399644/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1279.92 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 33876 0 0 0 127978 14 0 0 25 0 1 0 263506656 202899456 33818 33554432000 4194304 4300876 140735584370576 18446744073709551615 4261326 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33818 169 27 0 47985 0
Current children cumulated CPU time (s) 1279.92
Current children cumulated vsize (KiB) 198144

[startup+1283.1 s]
/proc/loadavg: 3.00 3.03 3.36 4/184 15143
/proc/meminfo: memFree=21398400/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1283.12 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 33936 0 0 0 128298 14 0 0 25 0 1 0 263506656 202899456 33878 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217448 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33878 169 27 0 47985 0
Current children cumulated CPU time (s) 1283.12
Current children cumulated vsize (KiB) 198144

[startup+1286.3 s]
/proc/loadavg: 3.00 3.03 3.36 4/184 15143
/proc/meminfo: memFree=21397280/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1286.32 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 33992 0 0 0 128618 14 0 0 25 0 1 0 263506656 202899456 33934 33554432000 4194304 4300876 140735584370576 18446744073709551615 4248656 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33934 169 27 0 47985 0
Current children cumulated CPU time (s) 1286.32
Current children cumulated vsize (KiB) 198144

[startup+1287.1 s]
/proc/loadavg: 3.00 3.03 3.36 4/184 15143
/proc/meminfo: memFree=21396908/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1287.12 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 34006 0 0 0 128698 14 0 0 25 0 1 0 263506656 202899456 33948 33554432000 4194304 4300876 140735584370576 18446744073709551615 4217568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33948 169 27 0 47985 0
Current children cumulated CPU time (s) 1287.12
Current children cumulated vsize (KiB) 198144

[startup+1287.5 s]
/proc/loadavg: 3.00 3.03 3.36 4/184 15143
/proc/meminfo: memFree=21396908/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1287.52 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 34013 0 0 0 128738 14 0 0 25 0 1 0 263506656 202899456 33955 33554432000 4194304 4300876 140735584370576 18446744073709551615 4276832 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33955 169 27 0 47985 0
Current children cumulated CPU time (s) 1287.52
Current children cumulated vsize (KiB) 198144

[startup+1287.9 s]
/proc/loadavg: 3.00 3.03 3.36 4/184 15143
/proc/meminfo: memFree=21396908/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1287.92 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 34019 0 0 0 128778 14 0 0 25 0 1 0 263506656 202899456 33961 33554432000 4194304 4300876 140735584370576 18446744073709551615 4214499 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33961 169 27 0 47985 0
Current children cumulated CPU time (s) 1287.92
Current children cumulated vsize (KiB) 198144

[startup+1288 s]
/proc/loadavg: 3.00 3.03 3.35 4/184 15143
/proc/meminfo: memFree=21396412/32951124 swapFree=67111528/67111528
[pid=14931] ppid=14928 vsize=198144 CPUtime=1288.03 cores=0,2
/proc/14931/stat : 14931 (march_rw) R 14928 14931 13994 0 -1 4202496 34021 0 0 0 128789 14 0 0 25 0 1 0 263506656 202899456 33963 33554432000 4194304 4300876 140735584370576 18446744073709551615 4274599 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14931/statm: 49536 33963 169 27 0 47985 0
Current children cumulated CPU time (s) 1288.03
Current children cumulated vsize (KiB) 198144

Child status: 20
Real time (s): 1288.1
CPU time (s): 1288.13
CPU user time (s): 1287.98
CPU system time (s): 0.151976
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 198144

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

runsolver used 2.03069 second user time and 3.83842 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-02 04:21:44
IDJOB=3152754
IDBENCH=83034
IDSOLVER=1561
FILE ID=node146/3152754-1301710904
RUNJOBID= node146-1301710904-14911
PBS_JOBID= 12840874
Free space on /tmp= 72164 MiB

SOLVER NAME= march_rw 2011-03-02
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
COMMAND LINE= ./march_rw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3152754-1301710904/watcher-3152754-1301710904 -o /tmp/evaluation-result-3152754-1301710904/solver-3152754-1301710904 -C 2400 -W 1300 -M 7680  ./march_rw HOME/instance-3152754-1301710904.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 96dadba6913c3cf46368b605f559e4b9
RANDOM SEED=628984708

node146.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.830
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.66
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.830
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.830
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.75
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.830
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.86
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.830
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.830
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.75
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.830
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.830
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21879212 kB
Buffers:        342092 kB
Cached:       10416876 kB
SwapCached:          0 kB
Active:        7076376 kB
Inactive:      3744864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21879212 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             136 kB
Writeback:           0 kB
AnonPages:       61980 kB
Mapped:          14616 kB
Slab:           187620 kB
PageTables:       5124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185968 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= 72160 MiB
End job on node146 at 2011-04-02 04:43:12