0.02/0.04 c main():: *** [ march satisfiability solver ] ***
0.02/0.04 c main():: ** Copyright (C) 2001-2004 M. Dufour, M. Heule, J. van Zwieten and H. van Maaren **
0.02/0.04 c main():: * This program may be redistributed and/or modified under the terms of the GNU Gereral Public License *
0.02/0.04 c main()::
0.02/0.04 c initFormula():: searching for DIMACS p-line....
0.02/0.04 c full lookahead due to high density!
0.02/0.04 c initFormula():: the DIMACS p-line indicates a CNF of 110 variables and 2343 clauses.
0.02/0.04 c parseCNF():: parsing....
0.02/0.04 c parseCNF():: the CNF contains 0 unary clauses.
0.02/0.04 c runParser():: parsing was successful, warming up engines...
0.02/0.04 c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.02/0.04 c preprocessing fase I completed:: there are now 110 free variables and 2343 clauses.
0.02/0.04 c stat :: sign balance is biased by 0.042
0.02/0.04 c shorten_equivalence(): average equivalence length reduced from nan to nan
0.02/0.04 c using k-SAT heuristics (size based diff)
0.02/0.04 c longest clause has size 5
0.02/0.04 c simplify_formula():: removed 0 tautological, 0 satisfied and 2 duplicate clauses
0.02/0.04 c resolvent_look() :: found 2 resolvents
0.02/0.04 c main():: clause / variable ratio: ( 2345 / 110 ) = 21.32
0.02/0.04 c longest clause has size 5
0.02/0.04 c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.02/0.04 c dynamic_preselect_setsize :: off
0.02/0.04 c suggested doublelook initial :: 0
0.02/0.04 c main():: all systems go!
0.02/0.04 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| 0 NC: 167 JD: 23
0.10/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 |****************************************************************| 1 NC: 1550 JD: 23
0.70/0.76 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 11162 JD: 23
5.09/5.16 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 55670 JD: 23
25.68/25.77 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 210481 JD: 23
98.16/98.29 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 5 NC: 611684 JD: 23
288.31/288.49 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 6 NC: 1411128 JD: 23
674.71/675.02 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 2664420 JD: 23
1297.85/1298.33 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 4212765 JD: 23
2099.33/2100.04 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 9 NC: 5718503 JD: 23
2918.71/2919.68 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 10 NC: 6860222 JD: 23
3576.93/3578.03 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 7525085 JD: 23
3980.93/3982.19 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 7817082 JD: 23
4166.38/4167.72 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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 NC: 7910458 JD: 23
4227.76/4229.15 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |****************************************************************| 14 NC: 7931753 JD: 23
4242.16/4243.59 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |********************************************************
c |****************************************************************| 15 NC: 7935180 JD: 23
4244.56/4246.00 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |****************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |********************************************
c |************************************************
c |****************************************************************| 16 NC: 7935553 JD: 23
4244.85/4246.29 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |********
c |*********
c |**********
c |************
c |****************
c |*****************
c |******************
c |********************
c |************************
c |********************************
c |****************************************************************| 17 NC: 7935576 JD: 23
4244.95/4246.31 c |----------------------------------------------------------------|
c |
4244.95/4246.31 c
4244.95/4246.31 c main():: nodeCount: 7935576
4244.95/4246.31 c main():: dead ends in main: 9820
4244.95/4246.31 c main():: lookAheadCount: 983594518
4244.95/4246.31 c main():: unitResolveCount: 32206270
4244.95/4246.31 c main():: time=-49.357296
4244.95/4246.31 c main():: necessary_assignments: 154437
4244.95/4246.31 c main():: bin_sat: 0, bin_unsat 0
4244.95/4246.31 c main():: doublelook: #: 37121151, succes #: 30941594
4244.95/4246.31 c main():: doublelook: overall 3.823 of all possible doublelooks executed
4244.95/4246.31 c main():: doublelook: succesrate: 83.353, average DL_trigger: 18.313
4244.95/4246.31 s UNSATISFIABLE
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-370846-1177080823 -o ROOT/results/node72/solver-370846-1177080823 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/370846-1177080823/march_ks /tmp/evaluation/370846-1177080823/instance-370846-1177080823.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: 1.00 1.00 1.00 3/77 20215
/proc/meminfo: memFree=1673864/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=656 CPUtime=0
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 90 0 0 0 0 0 0 0 18 0 1 0 184120809 671744 75 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134662703 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 164 75 47 123 0 39 0
[startup+0.026907 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20215
/proc/meminfo: memFree=1673864/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=864 CPUtime=0.02
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 162 0 0 0 2 0 0 0 18 0 1 0 184120809 884736 144 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134536953 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 216 144 67 123 0 91 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 864
[startup+0.101912 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20215
/proc/meminfo: memFree=1673864/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1088 CPUtime=0.1
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 202 0 0 0 10 0 0 0 18 0 1 0 184120809 1114112 184 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538131 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 272 184 72 123 0 147 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1088
[startup+0.30193 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20215
/proc/meminfo: memFree=1673864/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1088 CPUtime=0.3
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 202 0 0 0 30 0 0 0 20 0 1 0 184120809 1114112 184 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134677364 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 272 184 72 123 0 147 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1088
[startup+0.701967 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20215
/proc/meminfo: memFree=1673864/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1088 CPUtime=0.7
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 202 0 0 0 70 0 0 0 24 0 1 0 184120809 1114112 184 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 272 184 72 123 0 147 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 1088
[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1673472/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1088 CPUtime=1.49
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 202 0 0 0 149 0 0 0 25 0 1 0 184120809 1114112 184 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526957 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 272 184 72 123 0 147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1088
[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1673344/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1088 CPUtime=3.09
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 203 0 0 0 309 0 0 0 25 0 1 0 184120809 1114112 185 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134585451 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 272 185 72 123 0 147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1088
[startup+6.30148 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1673216/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1088 CPUtime=6.29
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 207 0 0 0 629 0 0 0 25 0 1 0 184120809 1114112 189 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 272 189 72 123 0 147 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1088
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1673024/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1292 CPUtime=12.69
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 245 0 0 0 1269 0 0 0 25 0 1 0 184120809 1323008 227 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 323 227 72 123 0 198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1292
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1672960/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1544 CPUtime=25.48
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 286 0 0 0 2548 0 0 0 25 0 1 0 184120809 1581056 268 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134527019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 386 268 72 123 0 261 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1544
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1672640/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=1772 CPUtime=51.07
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 358 0 0 0 5107 0 0 0 25 0 1 0 184120809 1814528 340 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134527019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 443 340 72 123 0 318 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1772
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1671872/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=2624 CPUtime=102.26
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 542 0 0 0 10226 0 0 0 25 0 1 0 184120809 2686976 524 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526947 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 656 524 72 123 0 531 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2624
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1671040/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=3388 CPUtime=162.24
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 737 0 0 0 16224 0 0 0 25 0 1 0 184120809 3469312 719 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134525852 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 847 719 72 123 0 722 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 3388
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1670208/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=4540 CPUtime=222.23
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 952 0 0 0 22222 1 0 0 25 0 1 0 184120809 4648960 934 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134537973 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 1135 934 72 123 0 1010 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 4540
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1669056/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=6440 CPUtime=282.22
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 1257 0 0 0 28221 1 0 0 25 0 1 0 184120809 6594560 1239 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134541800 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 1610 1239 72 123 0 1485 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 6440
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1668096/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=6440 CPUtime=342.2
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 1478 0 0 0 34219 1 0 0 25 0 1 0 184120809 6594560 1460 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 1610 1460 72 123 0 1485 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 6440
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20216
/proc/meminfo: memFree=1667200/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=9028 CPUtime=402.18
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 1704 0 0 0 40217 1 0 0 25 0 1 0 184120809 9244672 1686 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134597619 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 2257 1686 72 123 0 2132 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 9028
[startup+462.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/84 20354
/proc/meminfo: memFree=1664896/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=9028 CPUtime=462.1
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 1959 0 0 0 46208 2 0 0 25 0 1 0 184120809 9244672 1941 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538386 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 2257 1941 72 123 0 2132 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 9028
[startup+522.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 20418
/proc/meminfo: memFree=1665024/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=12908 CPUtime=522.06
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 2209 0 0 0 52203 3 0 0 25 0 1 0 184120809 13217792 2191 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134590547 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 3227 2191 72 123 0 3102 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 12908
[startup+582.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 20418
/proc/meminfo: memFree=1663808/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=12908 CPUtime=582.04
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 2507 0 0 0 58201 3 0 0 25 0 1 0 184120809 13217792 2489 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 3227 2489 72 123 0 3102 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 12908
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20418
/proc/meminfo: memFree=1662272/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=12908 CPUtime=642.03
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 2897 0 0 0 64200 3 0 0 25 0 1 0 184120809 13217792 2879 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526930 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 3227 2879 72 123 0 3102 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 12908
################
# More data... #
################
/proc/meminfo: memFree=1586816/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=92688 CPUtime=3461.27
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 21742 0 0 0 346110 17 0 0 25 0 1 0 184120809 94912512 21724 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538578 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 23172 21724 72 123 0 23047 0
Current children cumulated CPU time (s) 3461.27
Current children cumulated vsize (KiB) 92688
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1584960/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=92688 CPUtime=3521.25
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 22208 0 0 0 352108 17 0 0 25 0 1 0 184120809 94912512 22190 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538160 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 23172 22190 72 123 0 23047 0
Current children cumulated CPU time (s) 3521.25
Current children cumulated vsize (KiB) 92688
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1582912/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=92688 CPUtime=3581.23
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 22716 0 0 0 358106 17 0 0 25 0 1 0 184120809 94912512 22698 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526968 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 23172 22698 72 123 0 23047 0
Current children cumulated CPU time (s) 3581.23
Current children cumulated vsize (KiB) 92688
[startup+3642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1580800/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=3641.21
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 23212 0 0 0 364103 18 0 0 25 0 1 0 184120809 140173312 23194 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134527019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 23194 72 123 0 34097 0
Current children cumulated CPU time (s) 3641.21
Current children cumulated vsize (KiB) 136888
[startup+3702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1578944/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=3701.2
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 23680 0 0 0 370101 19 0 0 25 0 1 0 184120809 140173312 23662 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526930 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 23662 72 123 0 34097 0
Current children cumulated CPU time (s) 3701.2
Current children cumulated vsize (KiB) 136888
[startup+3762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1576960/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=3761.19
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 24177 0 0 0 376100 19 0 0 25 0 1 0 184120809 140173312 24159 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134547673 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 24159 72 123 0 34097 0
Current children cumulated CPU time (s) 3761.19
Current children cumulated vsize (KiB) 136888
[startup+3822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1574976/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=3821.17
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 24672 0 0 0 382098 19 0 0 25 0 1 0 184120809 140173312 24654 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526935 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 24654 72 123 0 34097 0
Current children cumulated CPU time (s) 3821.17
Current children cumulated vsize (KiB) 136888
[startup+3882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1572864/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=3881.15
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 25178 0 0 0 388096 19 0 0 25 0 1 0 184120809 140173312 25160 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134541814 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 25160 72 123 0 34097 0
Current children cumulated CPU time (s) 3881.15
Current children cumulated vsize (KiB) 136888
[startup+3942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1570944/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=3941.14
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 25660 0 0 0 394094 20 0 0 25 0 1 0 184120809 140173312 25642 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134527019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 25642 72 123 0 34097 0
Current children cumulated CPU time (s) 3941.14
Current children cumulated vsize (KiB) 136888
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20420
/proc/meminfo: memFree=1568896/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4001.12
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 26175 0 0 0 400092 20 0 0 25 0 1 0 184120809 140173312 26157 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134537968 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 26157 72 123 0 34097 0
Current children cumulated CPU time (s) 4001.12
Current children cumulated vsize (KiB) 136888
[startup+4062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 20558
/proc/meminfo: memFree=1565504/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4061.04
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 26673 0 0 0 406083 21 0 0 25 0 1 0 184120809 140173312 26655 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134536953 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 26655 72 123 0 34097 0
Current children cumulated CPU time (s) 4061.04
Current children cumulated vsize (KiB) 136888
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1564672/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4120.99
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 27181 0 0 0 412078 21 0 0 25 0 1 0 184120809 140173312 27163 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134598173 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 27163 72 123 0 34097 0
Current children cumulated CPU time (s) 4120.99
Current children cumulated vsize (KiB) 136888
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1562624/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4180.98
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 27688 0 0 0 418076 22 0 0 25 0 1 0 184120809 140173312 27670 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134541800 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 27670 72 123 0 34097 0
Current children cumulated CPU time (s) 4180.98
Current children cumulated vsize (KiB) 136888
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1560576/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4240.96
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 28196 0 0 0 424074 22 0 0 25 0 1 0 184120809 140173312 28178 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526914 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 28178 72 123 0 34097 0
Current children cumulated CPU time (s) 4240.96
Current children cumulated vsize (KiB) 136888
Solver just ended. Dumping a history of the last processes samples
[startup+4243.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1560512/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4241.76
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 28203 0 0 0 424154 22 0 0 25 0 1 0 184120809 140173312 28185 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538152 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 28185 72 123 0 34097 0
Current children cumulated CPU time (s) 4241.76
Current children cumulated vsize (KiB) 136888
[startup+4244.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1560512/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4243.36
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 28216 0 0 0 424314 22 0 0 25 0 1 0 184120809 140173312 28198 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134527027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 28198 72 123 0 34097 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 136888
[startup+4245.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1560448/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4244.16
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 28223 0 0 0 424394 22 0 0 25 0 1 0 184120809 140173312 28205 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526944 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 28205 72 123 0 34097 0
Current children cumulated CPU time (s) 4244.16
Current children cumulated vsize (KiB) 136888
[startup+4245.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1560448/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4244.56
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 28226 0 0 0 424434 22 0 0 25 0 1 0 184120809 140173312 28208 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 28208 72 123 0 34097 0
Current children cumulated CPU time (s) 4244.56
Current children cumulated vsize (KiB) 136888
[startup+4246.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20622
/proc/meminfo: memFree=1560448/2055920 swapFree=4157116/4192956
[pid=20215] ppid=20213 vsize=136888 CPUtime=4244.95
/proc/20215/stat : 20215 (march_ks) R 20213 20215 19918 0 -1 4194304 28229 0 0 0 424473 22 0 0 25 0 1 0 184120809 140173312 28211 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134589843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20215/statm: 34222 28211 72 123 0 34097 0
Current children cumulated CPU time (s) 4244.95
Current children cumulated vsize (KiB) 136888
Child status: 20
Real time (s): 4246.34
CPU time (s): 4245
CPU user time (s): 4244.75
CPU system time (s): 0.245962
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 136888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4244.75
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28231
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= 8
involuntary context switches= 90547
runsolver used 5.10022 second user time and 10.0465 second system time
The end
Begin job on node72 on Fri Apr 20 14:53:44 UTC 2007
IDJOB= 370846
IDBENCH= 19876
IDSOLVER= 180
FILE ID= node72/370846-1177080823
PBS_JOBID= 4640309
Free space on /tmp= 66406 MiB
SOLVER NAME= March KS 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v110/unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/370846-1177080823/march_ks /tmp/evaluation/370846-1177080823/instance-370846-1177080823.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-370846-1177080823 -o ROOT/results/node72/solver-370846-1177080823 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/370846-1177080823/march_ks /tmp/evaluation/370846-1177080823/instance-370846-1177080823.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 28435e4a6b553e70f291f764845329f6
RANDOM SEED= 447742553
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node72.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.222
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 : 5931.00
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.222
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: 1674464 kB
Buffers: 56340 kB
Cached: 243148 kB
SwapCached: 17052 kB
Active: 202012 kB
Inactive: 121324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1674464 kB
SwapTotal: 4192956 kB
SwapFree: 4157116 kB
Dirty: 2404 kB
Writeback: 0 kB
Mapped: 30016 kB
Slab: 43684 kB
Committed_AS: 3214468 kB
PageTables: 1788 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66406 MiB
End job on node72 on Fri Apr 20 16:04:30 UTC 2007