Trace number 368926

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, and are wall clock time (not CPU 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 KS 2007-02-08UNSAT 2138 2138.76

General information on the benchmark

Namecrafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
MD5SUM938806a23cb5c9ff1ce606734695c30f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2138
Satisfiable
(Un)Satisfiability was proved
Number of variables4478
Number of clauses18519
Sum of the clauses size54202
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21355
Number of clauses of size 317164
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

53.17/53.24	c main():: ***                                   [ march satisfiability solver ]                                   ***
53.17/53.24	c main()::  **            Copyright (C) 2001-2004 M. Dufour, M. Heule, J. van Zwieten and H. van Maaren            **
53.17/53.24	c main()::   * This program may be redistributed and/or modified under the terms of the GNU Gereral Public License *
53.17/53.24	c main()::
53.17/53.24	c initFormula():: searching for DIMACS p-line....
53.17/53.24	c initFormula():: the DIMACS p-line indicates a CNF of 4478 variables and 18519 clauses.
53.17/53.24	c parseCNF():: parsing....
53.17/53.24	c parseCNF():: the CNF contains 0 unary clauses.
53.17/53.24	c runParser():: parsing was successful, warming up engines...
53.17/53.24	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
53.17/53.24	c preprocessing fase I completed:: there are now 4478 free variables and 18519 clauses.
53.17/53.24	c stat :: sign balance is biased by 0.021
53.17/53.24	c find_equivalence():: found 4167 3-equivalences
53.17/53.24	c find_and_remove_tautogolies():: found and removed 27 tautologies
53.17/53.24	c find_and_remove_tautogolies():: found and removed 26 tautologies
53.17/53.24	c find_and_remove_tautogolies():: found and removed 26 tautologies
53.17/53.24	c find_and_remove_tautogolies():: found and removed 21 tautologies
53.17/53.24	c find_and_remove_tautogolies():: found and removed 12 tautologies
53.17/53.24	c find_and_remove_tautogolies():: found and removed 3 tautologies
53.17/53.24	c find_and_remove_tautogolies():: found and removed 2 tautologies
53.17/53.24	c find_and_remove_tautogolies():: found and removed 3497 tautologies
53.17/53.24	c shorten_equivalence(): average equivalence length reduced from 30.928571 to 13.463134
53.17/53.24	c using 3-SAT heuristics (occurence based diff)
53.17/53.24	c longest clause has size 3
53.17/53.24	c simplify_formula():: removed 0 tautological, 16668 satisfied and 496 duplicate clauses
53.17/53.24	c lessRedundantTransformation():: nothing to be done.
53.17/53.24	c transformTo3SAT():: you gave me 4478 variables and 1851 clauses.
53.17/53.24	c transformTo3SAT():: by the way, the maximal clause length before transformation was 3.
53.17/53.24	c transformTo3SAT():: I will add 0 variables and 0 clauses!
53.17/53.24	c transformTo3SAT():: the transformation yielded 4478 variabels and 1851 clauses.
53.17/53.24	c main():: clause / variable ratio: ( 1851 / 4478 ) = 0.41
53.17/53.24	c longest clause has size 3
53.17/53.24	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
53.17/53.24	c many dependent variables -> full lookahead
53.17/53.24	c dynamic_preselect_setsize :: on
53.17/53.24	c suggested doublelook initial :: 0
53.17/53.24	c main():: all systems go!
53.17/53.24	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| 0 NC: 175 JD: 14
53.88/53.94	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 1 NC: 2660 JD: 14
57.78/57.84	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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 NC: 80742 JD: 14
93.86/93.95	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 3 NC: 407156 JD: 14
232.62/232.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 |****************************************************************| 4 NC: 1153586 JD: 14
542.32/542.57	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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 NC: 2220542 JD: 14
983.29/983.61	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 6 NC: 3330242 JD: 14
1440.75/1441.21	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 7 NC: 4208675 JD: 14
1800.74/1801.41	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 8 NC: 4720645 JD: 14
2010.47/2011.26	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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 NC: 4936387 JD: 14
2100.04/2100.89	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |****************************************************************| 10 NC: 5007128 JD: 14
2129.84/2130.62	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |****************************************************************| 11 NC: 5023676 JD: 14
2136.74/2137.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 |****************************************************************| 12 NC: 5026365 JD: 14
2137.84/2138.67	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |********
c |*********
c |**********
c |************
c |****************
c |*****************
c |******************
c |********************
c |************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |****************************************************************| 13 NC: 5026530 JD: 14
2137.94/2138.74	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| 14 NC: 5026531 JD: 14
2137.94/2138.74	c |----------------------------------------------------------------|
c |
2137.94/2138.75	c
2137.94/2138.75	c main():: nodeCount: 5026531
2137.94/2138.75	c main():: dead ends in main: 1534237
2137.94/2138.75	c main():: lookAheadCount: 99507478
2137.94/2138.75	c main():: unitResolveCount: 35950917
2137.94/2138.75	c main():: time=2138.310000
2137.94/2138.75	c main():: necessary_assignments: 315663
2137.94/2138.75	c main():: bin_sat: 0, bin_unsat 0
2137.94/2138.75	c main():: doublelook: #: 7771661, succes #: 3333085
2137.94/2138.75	c main():: doublelook: overall 8.019 of all possible doublelooks executed
2137.94/2138.75	c main():: doublelook: succesrate: 42.888, average DL_trigger: 184.760
2137.94/2138.75	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node54/watcher-368926-1177256011 -o ROOT/results/node54/solver-368926-1177256011 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368926-1177256011/march_ks /tmp/evaluation/368926-1177256011/instance-368926-1177256011.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 3/66 20428
/proc/meminfo: memFree=1645880/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=1080 CPUtime=0
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 172975565 1105920 171 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134631683 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 270 172 47 123 0 145 0

[startup+0.060077 s]
/proc/loadavg: 0.92 0.97 0.99 3/66 20428
/proc/meminfo: memFree=1645880/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=2636 CPUtime=0.05
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 697 0 0 0 5 0 0 0 18 0 1 0 172975565 2699264 460 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134531844 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 659 460 63 123 0 534 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2636

[startup+0.101082 s]
/proc/loadavg: 0.92 0.97 0.99 3/66 20428
/proc/meminfo: memFree=1645880/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=2776 CPUtime=0.09
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 1010 0 0 0 9 0 0 0 18 0 1 0 172975565 2842624 505 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134533561 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 694 505 63 123 0 569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2776

[startup+0.301107 s]
/proc/loadavg: 0.92 0.97 0.99 3/66 20428
/proc/meminfo: memFree=1645880/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=5020 CPUtime=0.29
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 1632 0 0 0 29 0 0 0 19 0 1 0 172975565 5140480 1051 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528649 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 1255 1051 63 123 0 1130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5020

[startup+0.701159 s]
/proc/loadavg: 0.92 0.97 0.99 3/66 20428
/proc/meminfo: memFree=1645880/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=7272 CPUtime=0.69
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 2188 0 0 0 69 0 0 0 22 0 1 0 172975565 7446528 1607 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528834 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 1818 1607 63 123 0 1693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7272

[startup+1.50126 s]
/proc/loadavg: 0.92 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1638320/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=10188 CPUtime=1.49
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 2887 0 0 0 149 0 0 0 25 0 1 0 172975565 10432512 2306 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528871 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 2547 2306 63 123 0 2422 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10188

[startup+3.10146 s]
/proc/loadavg: 0.92 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1635504/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=13808 CPUtime=3.09
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 3718 0 0 0 309 0 0 0 25 0 1 0 172975565 14139392 3137 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528823 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 3452 3137 63 123 0 3327 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13808

[startup+6.30187 s]
/proc/loadavg: 0.93 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1631280/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=16984 CPUtime=6.29
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 4370 0 0 0 628 1 0 0 25 0 1 0 172975565 17391616 3789 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528871 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 4246 3789 63 123 0 4121 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16984

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1627312/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=20832 CPUtime=12.69
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 5241 0 0 0 1268 1 0 0 25 0 1 0 172975565 21331968 4660 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528871 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 5208 4660 63 123 0 5083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20832

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1624624/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=24660 CPUtime=25.48
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 5885 0 0 0 2547 1 0 0 25 0 1 0 172975565 25251840 5304 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528871 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 6165 5304 63 123 0 6040 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24660

[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1621808/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=28884 CPUtime=51.08
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 6589 0 0 0 5106 2 0 0 25 0 1 0 172975565 29577216 6008 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134528854 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 7221 6008 63 123 0 7096 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28884

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1619056/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=31828 CPUtime=102.27
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7412 0 0 0 10224 3 0 0 25 0 1 0 172975565 32591872 6680 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134596384 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 7957 6680 73 123 0 7832 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31828

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618928/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=31968 CPUtime=162.24
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7444 0 0 0 16221 3 0 0 25 0 1 0 172975565 32735232 6712 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134580947 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 7992 6712 73 123 0 7867 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 31968

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618864/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=31968 CPUtime=222.22
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7446 0 0 0 22219 3 0 0 25 0 1 0 172975565 32735232 6714 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526463 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 7992 6714 73 123 0 7867 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 31968

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618736/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32148 CPUtime=282.2
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7474 0 0 0 28217 3 0 0 25 0 1 0 172975565 32919552 6742 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526703 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8037 6742 73 123 0 7912 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 32148

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618672/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32148 CPUtime=342.19
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7477 0 0 0 34215 4 0 0 25 0 1 0 172975565 32919552 6745 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539181 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8037 6745 73 123 0 7912 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32148

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618672/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32148 CPUtime=402.17
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7478 0 0 0 40213 4 0 0 25 0 1 0 172975565 32919552 6746 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526697 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8037 6746 73 123 0 7912 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 32148

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618672/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32148 CPUtime=462.15
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7480 0 0 0 46211 4 0 0 25 0 1 0 172975565 32919552 6748 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134587361 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8037 6748 73 123 0 7912 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 32148

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618608/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32148 CPUtime=522.13
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7482 0 0 0 52209 4 0 0 25 0 1 0 172975565 32919552 6750 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134580875 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8037 6750 73 123 0 7912 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 32148

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618480/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32352 CPUtime=582.11
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7524 0 0 0 58207 4 0 0 25 0 1 0 172975565 33128448 6792 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538581 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8088 6792 73 123 0 7963 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 32352

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618416/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32352 CPUtime=642.1
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7535 0 0 0 64206 4 0 0 25 0 1 0 172975565 33128448 6803 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134563405 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8088 6803 73 123 0 7963 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 32352


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

/proc/meminfo: memFree=1618224/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32604 CPUtime=1481.84
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7595 0 0 0 148178 6 0 0 25 0 1 0 172975565 33386496 6863 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134580876 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8151 6863 73 123 0 8026 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 32604

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618160/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32604 CPUtime=1541.82
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7599 0 0 0 154176 6 0 0 25 0 1 0 172975565 33386496 6867 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539181 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8151 6867 73 123 0 8026 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 32604

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20429
/proc/meminfo: memFree=1618160/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=1601.8
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7613 0 0 0 160174 6 0 0 25 0 1 0 172975565 33619968 6881 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134579080 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8208 6881 73 123 0 8083 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 32832

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/73 20503
/proc/meminfo: memFree=1616896/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=1661.74
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7617 0 0 0 166168 6 0 0 25 0 1 0 172975565 33619968 6885 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526644 0 0 4096 0 0 0 0 17 0 0 0
/proc/20428/statm: 8208 6885 73 123 0 8083 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 32832

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617840/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=1721.67
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7620 0 0 0 172160 7 0 0 25 0 1 0 172975565 33619968 6888 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134587906 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8208 6888 73 123 0 8083 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 32832

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617840/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=1781.65
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7620 0 0 0 178158 7 0 0 25 0 1 0 172975565 33619968 6888 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526608 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8208 6888 73 123 0 8083 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 32832

[startup+1842.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617840/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=1841.63
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7631 0 0 0 184156 7 0 0 25 0 1 0 172975565 33619968 6899 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526589 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8208 6899 73 123 0 8083 0
Current children cumulated CPU time (s) 1841.63
Current children cumulated vsize (KiB) 32832

[startup+1902.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=1901.61
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7639 0 0 0 190154 7 0 0 25 0 1 0 172975565 33619968 6907 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134580875 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8208 6907 73 123 0 8083 0
Current children cumulated CPU time (s) 1901.61
Current children cumulated vsize (KiB) 32832

[startup+1962.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1618096/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=1961.59
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7647 0 0 0 196152 7 0 0 25 0 1 0 172975565 33619968 6915 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134584635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8208 6915 73 123 0 8083 0
Current children cumulated CPU time (s) 1961.59
Current children cumulated vsize (KiB) 32832

[startup+2022.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1618032/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=32832 CPUtime=2021.57
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7654 0 0 0 202150 7 0 0 25 0 1 0 172975565 33619968 6922 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539175 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8208 6922 73 123 0 8083 0
Current children cumulated CPU time (s) 2021.57
Current children cumulated vsize (KiB) 32832

[startup+2082.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2081.55
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7664 0 0 0 208148 7 0 0 25 0 1 0 172975565 33968128 6932 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134534676 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6932 73 123 0 8168 0
Current children cumulated CPU time (s) 2081.55
Current children cumulated vsize (KiB) 33172

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

[startup+2099.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2098.34
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7665 0 0 0 209827 7 0 0 25 0 1 0 172975565 33968128 6933 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539181 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6933 73 123 0 8168 0
Current children cumulated CPU time (s) 2098.34
Current children cumulated vsize (KiB) 33172

[startup+2124.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2123.94
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7671 0 0 0 212387 7 0 0 25 0 1 0 172975565 33968128 6939 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526694 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6939 73 123 0 8168 0
Current children cumulated CPU time (s) 2123.94
Current children cumulated vsize (KiB) 33172

[startup+2131.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2130.33
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7672 0 0 0 213026 7 0 0 25 0 1 0 172975565 33968128 6940 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134584635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6940 73 123 0 8168 0
Current children cumulated CPU time (s) 2130.33
Current children cumulated vsize (KiB) 33172

[startup+2134.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2133.54
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7673 0 0 0 213346 8 0 0 25 0 1 0 172975565 33968128 6941 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538162 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6941 73 123 0 8168 0
Current children cumulated CPU time (s) 2133.54
Current children cumulated vsize (KiB) 33172

[startup+2135.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2135.14
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7673 0 0 0 213506 8 0 0 25 0 1 0 172975565 33968128 6941 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539181 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6941 73 123 0 8168 0
Current children cumulated CPU time (s) 2135.14
Current children cumulated vsize (KiB) 33172

[startup+2137.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2136.74
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7674 0 0 0 213666 8 0 0 25 0 1 0 172975565 33968128 6942 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526703 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6942 73 123 0 8168 0
Current children cumulated CPU time (s) 2136.74
Current children cumulated vsize (KiB) 33172

[startup+2138.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2137.54
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7674 0 0 0 213746 8 0 0 25 0 1 0 172975565 33968128 6942 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539181 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6942 73 123 0 8168 0
Current children cumulated CPU time (s) 2137.54
Current children cumulated vsize (KiB) 33172

[startup+2138.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 20627
/proc/meminfo: memFree=1617968/2055920 swapFree=4182084/4192956
[pid=20428] ppid=20426 vsize=33172 CPUtime=2137.94
/proc/20428/stat : 20428 (march_ks) R 20426 20428 20133 0 -1 4194304 7674 0 0 0 213786 8 0 0 25 0 1 0 172975565 33968128 6942 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526677 0 0 4096 0 0 0 0 17 1 0 0
/proc/20428/statm: 8293 6942 73 123 0 8168 0
Current children cumulated CPU time (s) 2137.94
Current children cumulated vsize (KiB) 33172

Child status: 20
Real time (s): 2138.76
CPU time (s): 2138
CPU user time (s): 2137.91
CPU system time (s): 0.087986
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 33172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2137.91
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7675
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= 6
involuntary context switches= 4426

runsolver used 1.88771 second user time and 5.9141 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Sun Apr 22 15:33:31 UTC 2007

IDJOB= 368926
IDBENCH= 24630
IDSOLVER= 180
FILE ID= node54/368926-1177256011

PBS_JOBID= 4650589

Free space on /tmp= 66338 MiB

SOLVER NAME= March KS 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest04/others/equilarge_l5.sat05-522.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/368926-1177256011/march_ks /tmp/evaluation/368926-1177256011/instance-368926-1177256011.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-368926-1177256011 -o ROOT/results/node54/solver-368926-1177256011 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/368926-1177256011/march_ks /tmp/evaluation/368926-1177256011/instance-368926-1177256011.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  938806a23cb5c9ff1ce606734695c30f

RANDOM SEED= 739952231

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1646288 kB
Buffers:         46100 kB
Cached:         287188 kB
SwapCached:       3856 kB
Active:         166044 kB
Inactive:       176924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1646288 kB
SwapTotal:     4192956 kB
SwapFree:      4182084 kB
Dirty:            2572 kB
Writeback:           0 kB
Mapped:          15680 kB
Slab:            52596 kB
Committed_AS:  2225136 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66338 MiB

End job on node54 on Sun Apr 22 16:09:10 UTC 2007