0.00/0.05 c main():: *** [ march satisfiability solver ] ***
0.00/0.05 c main():: ** Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour **
0.00/0.05 c main():: * This program may be redistributed and/or modified under the terms of the GNU Gereral Public License *
0.00/0.05 c main()::
0.00/0.05 c initFormula():: searching for DIMACS p-line....
0.00/0.05 c full lookahead due to high density!
0.00/0.05 c initFormula():: the DIMACS p-line indicates a CNF of 110 variables and 2343 clauses.
0.00/0.05 c parseCNF():: parsing....
0.00/0.05 c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.05 c runParser():: parsing was successful, warming up engines...
0.00/0.05 c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.05 c preprocessing fase I completed:: there are now 110 free variables and 2343 clauses.
0.00/0.05 c stat :: sign balance is biased by 0.038
0.00/0.05 c using k-SAT heuristics (size based diff)
0.00/0.05 c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.05 c simplify_formula():: removed 0 tautological, 0 satisfied and 3 duplicate clauses
0.00/0.05 c resolvent_look() :: found 3 resolvents
0.00/0.05 c main():: clause / variable ratio: ( 2346 / 110 ) = 21.33
0.00/0.05 c longest clause has size 5
0.00/0.05 c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.05 c number of free variables = 110
0.00/0.05 c dynamic_preselect_setsize :: off
0.00/0.05 c main():: all systems go!
0.00/0.05 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 175
0.09/0.11 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 1/999) NodeCount: 617
0.09/0.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 |****************************************************************| ( 2/999) NodeCount: 4399
0.89/0.99 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 3/999) NodeCount: 26802
6.19/6.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 |****************************************************************| ( 4/999) NodeCount: 120988
31.18/31.28 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 5/999) NodeCount: 415463
118.16/118.20 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 6/999) NodeCount: 1118390
346.80/346.98 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 7/999) NodeCount: 2420962
810.39/810.64 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 8/999) NodeCount: 4303705
1539.00/1539.42 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 9/999) NodeCount: 6426274
2425.49/2426.10 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (10/999) NodeCount: 8291607
3261.58/3262.44 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (11/999) NodeCount: 9563363
3869.94/3870.97 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (12/999) NodeCount: 10230130
4208.24/4209.32 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (13/999) NodeCount: 10495471
4351.01/4352.14 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| (14/999) NodeCount: 10573476
4395.60/4396.78 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |****************************************************************| (15/999) NodeCount: 10589951
4405.70/4406.83 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |************************************************
c |****************************************************************| (16/999) NodeCount: 10592414
4407.29/4408.46 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |********
c |*********
c |**********
c |***********
c |************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |****************************************
c |************************************************
c |****************************************************************| (17/999) NodeCount: 10592672
4407.49/4408.65 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |****************
c |********************************
c |****************************************************************| (18/999) NodeCount: 10592686
4407.49/4408.66 c |----------------------------------------------------------------|
c |
4407.49/4408.66 c
4407.49/4408.66 c main():: nodeCount: 10592686
4407.49/4408.66 c main():: dead ends in main: 58623
4407.49/4408.66 c main():: lookAheadCount: 557389765
4407.49/4408.66 c main():: unitResolveCount: 59716713
4407.49/4408.66 c main():: time=113.262704
4407.49/4408.66 c main():: necessary_assignments: 310903
4407.49/4408.66 c main():: bin_sat: 0, bin_unsat 0
4407.49/4408.66 c main():: doublelook: #: 43261819, succes #: 34511273
4407.49/4408.66 c main():: doublelook: overall 8.010 of all possible doublelooks executed
4407.49/4408.66 c main():: doublelook: succesrate: 79.773, average DL_trigger: 19.177
4407.49/4408.66 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1627922-1240058813/watcher-1627922-1240058813 -o /tmp/evaluation-result-1627922-1240058813/solver-1627922-1240058813 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/march_hi HOME/instance-1627922-1240058813.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20916
/proc/meminfo: memFree=1320232/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=836 CPUtime=0
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 101 0 0 0 0 0 0 0 18 0 1 0 33909308 856064 86 1992294400 134512640 135197378 4294956240 18446744073709551615 134697414 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 209 86 58 167 0 40 0
[startup+0.0874019 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20916
/proc/meminfo: memFree=1320232/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=1408 CPUtime=0.08
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 236 0 0 0 8 0 0 0 18 0 1 0 33909308 1441792 219 1992294400 134512640 135197378 4294956240 18446744073709551615 134524871 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 352 219 93 167 0 183 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1408
[startup+0.101402 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20916
/proc/meminfo: memFree=1320232/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=1408 CPUtime=0.09
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 236 0 0 0 9 0 0 0 18 0 1 0 33909308 1441792 219 1992294400 134512640 135197378 4294956240 18446744073709551615 134524906 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 352 219 93 167 0 183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1408
[startup+0.301419 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20916
/proc/meminfo: memFree=1320232/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=1408 CPUtime=0.29
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 236 0 0 0 29 0 0 0 19 0 1 0 33909308 1441792 219 1992294400 134512640 135197378 4294956240 18446744073709551615 134548733 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 352 219 93 167 0 183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1408
[startup+0.701455 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20916
/proc/meminfo: memFree=1320232/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=1592 CPUtime=0.69
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 257 0 0 0 69 0 0 0 22 0 1 0 33909308 1630208 240 1992294400 134512640 135197378 4294956240 18446744073709551615 134539306 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 398 240 93 167 0 229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1592
[startup+1.50252 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1319584/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=1592 CPUtime=1.49
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 279 0 0 0 149 0 0 0 25 0 1 0 33909308 1630208 262 1992294400 134512640 135197378 4294956240 18446744073709551615 134618596 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 398 262 93 167 0 229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1592
[startup+3.10167 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1319136/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=1956 CPUtime=3.09
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 371 0 0 0 309 0 0 0 25 0 1 0 33909308 2002944 335 1992294400 134512640 135197378 4294956240 18446744073709551615 134548733 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 489 335 93 167 0 320 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1956
[startup+6.30195 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1318816/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=2184 CPUtime=6.29
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 446 0 0 0 629 0 0 0 25 0 1 0 33909308 2236416 410 1992294400 134512640 135197378 4294956240 18446744073709551615 134603330 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 546 410 93 167 0 377 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2184
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1318128/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=3036 CPUtime=12.69
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 603 0 0 0 1269 0 0 0 25 0 1 0 33909308 3108864 567 1992294400 134512640 135197378 4294956240 18446744073709551615 134539474 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 759 567 93 167 0 590 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3036
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1316976/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=4952 CPUtime=25.48
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 889 0 0 0 2548 0 0 0 25 0 1 0 33909308 5070848 853 1992294400 134512640 135197378 4294956240 18446744073709551615 134573043 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 1238 853 93 167 0 1069 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4952
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1314672/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=6868 CPUtime=51.07
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 1473 0 0 0 5107 0 0 0 25 0 1 0 33909308 7032832 1437 1992294400 134512640 135197378 4294956240 18446744073709551615 134713223 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 1717 1437 93 167 0 1548 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6868
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1310320/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=13524 CPUtime=102.26
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 2541 0 0 0 10225 1 0 0 25 0 1 0 33909308 13848576 2505 1992294400 134512640 135197378 4294956240 18446744073709551615 134602707 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 3381 2505 93 167 0 3212 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13524
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1305456/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=19724 CPUtime=162.25
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 3762 0 0 0 16223 2 0 0 25 0 1 0 33909308 20197376 3726 1992294400 134512640 135197378 4294956240 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 4931 3726 93 167 0 4762 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19724
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1300656/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=29216 CPUtime=222.23
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 4935 0 0 0 22221 2 0 0 25 0 1 0 33909308 29917184 4899 1992294400 134512640 135197378 4294956240 18446744073709551615 134525003 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 7304 4899 93 167 0 7135 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29216
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1296176/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=29216 CPUtime=282.22
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 6056 0 0 0 28218 4 0 0 25 0 1 0 33909308 29917184 6020 1992294400 134512640 135197378 4294956240 18446744073709551615 134550677 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 7304 6020 93 167 0 7135 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29216
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1292016/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=29216 CPUtime=342.2
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 7080 0 0 0 34216 4 0 0 25 0 1 0 33909308 29917184 7044 1992294400 134512640 135197378 4294956240 18446744073709551615 134524866 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 7304 7044 93 167 0 7135 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29216
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1287408/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=42312 CPUtime=402.19
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 8237 0 0 0 40214 5 0 0 25 0 1 0 33909308 43327488 8201 1992294400 134512640 135197378 4294956240 18446744073709551615 134539972 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 10578 8201 93 167 0 10409 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 42312
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1282864/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=43832 CPUtime=462.17
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 9348 0 0 0 46212 5 0 0 25 0 1 0 33909308 44883968 9312 1992294400 134512640 135197378 4294956240 18446744073709551615 134524899 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 10958 9312 93 167 0 10789 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 43832
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1278832/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=43832 CPUtime=522.16
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 10394 0 0 0 52210 6 0 0 25 0 1 0 33909308 44883968 10358 1992294400 134512640 135197378 4294956240 18446744073709551615 134524828 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 10958 10358 93 167 0 10789 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 43832
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1274352/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=63476 CPUtime=582.14
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 11470 0 0 0 58207 7 0 0 25 0 1 0 33909308 64999424 11434 1992294400 134512640 135197378 4294956240 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 15869 11434 93 167 0 15700 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 63476
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20917
/proc/meminfo: memFree=1270192/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=63476 CPUtime=642.13
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 12490 0 0 0 64205 8 0 0 25 0 1 0 33909308 64999424 12454 1992294400 134512640 135197378 4294956240 18446744073709551615 134548733 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 15869 12454 93 167 0 15700 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 63476
################
# More data... #
################
/proc/meminfo: memFree=1087024/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=312004 CPUtime=3761.36
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 58001 0 0 0 376099 37 0 0 25 0 1 0 33909308 319492096 57965 1992294400 134512640 135197378 4294956240 18446744073709551615 134524878 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 78001 57965 93 167 0 77832 0
Current children cumulated CPU time (s) 3761.36
Current children cumulated vsize (KiB) 312004
[startup+3822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20925
/proc/meminfo: memFree=1084144/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=312004 CPUtime=3821.34
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 58730 0 0 0 382097 37 0 0 25 0 1 0 33909308 319492096 58694 1992294400 134512640 135197378 4294956240 18446744073709551615 134593360 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 78001 58694 93 167 0 77832 0
Current children cumulated CPU time (s) 3821.34
Current children cumulated vsize (KiB) 312004
[startup+3882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20925
/proc/meminfo: memFree=1081136/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=312004 CPUtime=3881.33
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 59463 0 0 0 388095 38 0 0 25 0 1 0 33909308 319492096 59427 1992294400 134512640 135197378 4294956240 18446744073709551615 134602847 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 78001 59427 93 167 0 77832 0
Current children cumulated CPU time (s) 3881.33
Current children cumulated vsize (KiB) 312004
[startup+3942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20925
/proc/meminfo: memFree=1078000/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=312004 CPUtime=3941.31
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 60227 0 0 0 394093 38 0 0 25 0 1 0 33909308 319492096 60191 1992294400 134512640 135197378 4294956240 18446744073709551615 134524899 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 78001 60191 93 167 0 77832 0
Current children cumulated CPU time (s) 3941.31
Current children cumulated vsize (KiB) 312004
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20925
/proc/meminfo: memFree=1074928/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=312004 CPUtime=4001.29
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 60991 0 0 0 400090 39 0 0 25 0 1 0 33909308 319492096 60955 1992294400 134512640 135197378 4294956240 18446744073709551615 134602884 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 78001 60955 93 167 0 77832 0
Current children cumulated CPU time (s) 4001.29
Current children cumulated vsize (KiB) 312004
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20925
/proc/meminfo: memFree=1072112/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=312004 CPUtime=4061.28
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 61691 0 0 0 406089 39 0 0 25 0 1 0 33909308 319492096 61655 1992294400 134512640 135197378 4294956240 18446744073709551615 134524899 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 78001 61655 93 167 0 77832 0
Current children cumulated CPU time (s) 4061.28
Current children cumulated vsize (KiB) 312004
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20925
/proc/meminfo: memFree=1069296/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=312004 CPUtime=4121.27
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 62396 0 0 0 412087 40 0 0 25 0 1 0 33909308 319492096 62360 1992294400 134512640 135197378 4294956240 18446744073709551615 134572898 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 78001 62360 93 167 0 77832 0
Current children cumulated CPU time (s) 4121.27
Current children cumulated vsize (KiB) 312004
[startup+4182.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/65 20925
/proc/meminfo: memFree=1066416/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4181.25
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 63098 0 0 0 418085 40 0 0 25 0 1 0 33909308 331935744 63062 1992294400 134512640 135197378 4294956240 18446744073709551615 134550715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 63062 93 167 0 80870 0
Current children cumulated CPU time (s) 4181.25
Current children cumulated vsize (KiB) 324156
[startup+4242.3 s]
/proc/loadavg: 1.09 1.04 1.01 2/65 20925
/proc/meminfo: memFree=1063664/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4241.23
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 63805 0 0 0 424083 40 0 0 25 0 1 0 33909308 331935744 63769 1992294400 134512640 135197378 4294956240 18446744073709551615 134539117 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 63769 93 167 0 80870 0
Current children cumulated CPU time (s) 4241.23
Current children cumulated vsize (KiB) 324156
[startup+4302.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 20925
/proc/meminfo: memFree=1060976/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4301.22
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 64486 0 0 0 430081 41 0 0 25 0 1 0 33909308 331935744 64450 1992294400 134512640 135197378 4294956240 18446744073709551615 134603821 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 64450 93 167 0 80870 0
Current children cumulated CPU time (s) 4301.22
Current children cumulated vsize (KiB) 324156
[startup+4362.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1058352/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4361.21
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65140 0 0 0 436080 41 0 0 25 0 1 0 33909308 331935744 65104 1992294400 134512640 135197378 4294956240 18446744073709551615 134550709 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65104 93 167 0 80870 0
Current children cumulated CPU time (s) 4361.21
Current children cumulated vsize (KiB) 324156
Solver just ended. Dumping a history of the last processes samples
[startup+4377.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1057648/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4376.4
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65303 0 0 0 437599 41 0 0 25 0 1 0 33909308 331935744 65267 1992294400 134512640 135197378 4294956240 18446744073709551615 134524866 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65267 93 167 0 80870 0
Current children cumulated CPU time (s) 4376.4
Current children cumulated vsize (KiB) 324156
[startup+4390.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1057136/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4389.19
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65430 0 0 0 438878 41 0 0 25 0 1 0 33909308 331935744 65394 1992294400 134512640 135197378 4294956240 18446744073709551615 134524866 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65394 93 167 0 80870 0
Current children cumulated CPU time (s) 4389.19
Current children cumulated vsize (KiB) 324156
[startup+4396.71 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1056880/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4395.6
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65492 0 0 0 439519 41 0 0 25 0 1 0 33909308 331935744 65456 1992294400 134512640 135197378 4294956240 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65456 93 167 0 80870 0
Current children cumulated CPU time (s) 4395.6
Current children cumulated vsize (KiB) 324156
[startup+4403.1 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1056624/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4401.99
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65559 0 0 0 440158 41 0 0 25 0 1 0 33909308 331935744 65523 1992294400 134512640 135197378 4294956240 18446744073709551615 134592692 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65523 93 167 0 80870 0
Current children cumulated CPU time (s) 4401.99
Current children cumulated vsize (KiB) 324156
[startup+4406.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1056496/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4405.2
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65589 0 0 0 440478 42 0 0 25 0 1 0 33909308 331935744 65553 1992294400 134512640 135197378 4294956240 18446744073709551615 134550604 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65553 93 167 0 80870 0
Current children cumulated CPU time (s) 4405.2
Current children cumulated vsize (KiB) 324156
[startup+4407.9 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1056432/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4406.8
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65603 0 0 0 440638 42 0 0 25 0 1 0 33909308 331935744 65567 1992294400 134512640 135197378 4294956240 18446744073709551615 134602684 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65567 93 167 0 80870 0
Current children cumulated CPU time (s) 4406.8
Current children cumulated vsize (KiB) 324156
[startup+4408.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1056432/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=324156 CPUtime=4407.19
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194304 65607 0 0 0 440677 42 0 0 25 0 1 0 33909308 331935744 65571 1992294400 134512640 135197378 4294956240 18446744073709551615 134539102 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 81039 65571 93 167 0 80870 0
Current children cumulated CPU time (s) 4407.19
Current children cumulated vsize (KiB) 324156
[startup+4408.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20925
/proc/meminfo: memFree=1264816/2055920 swapFree=4192956/4192956
[pid=20916] ppid=20914 vsize=0 CPUtime=4407.59
/proc/20916/stat : 20916 (march_hi) R 20914 20916 20879 0 -1 4194308 65610 0 0 0 440714 45 0 0 25 0 1 0 33909308 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20916/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4407.59
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4408.71
CPU time (s): 4407.61
CPU user time (s): 4407.15
CPU system time (s): 0.461929
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 324156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4407.15
system time used= 0.461929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 13000
runsolver used 4.47232 second user time and 7.63184 second system time
The end
Begin job on node50 at 2009-04-18 14:46:53
IDJOB=1627922
IDBENCH=70378
IDSOLVER=583
FILE ID=node50/1627922-1240058813
PBS_JOBID= 9157554
Free space on /tmp= 66416 MiB
SOLVER NAME= march_hi hi
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/110/unif-k5-r21.3-v110-c2343-S914952752-019.cnf
COMMAND LINE= HOME/march_hi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1627922-1240058813/watcher-1627922-1240058813 -o /tmp/evaluation-result-1627922-1240058813/solver-1627922-1240058813 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/march_hi HOME/instance-1627922-1240058813.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ab0fa90b59935117df784f9568093dd2
RANDOM SEED=742894466
node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
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.216
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: 1320712 kB
Buffers: 78840 kB
Cached: 584908 kB
SwapCached: 0 kB
Active: 207008 kB
Inactive: 470556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1320712 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 940 kB
Writeback: 0 kB
Mapped: 23576 kB
Slab: 43640 kB
Committed_AS: 177320 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66416 MiB
End job on node50 at 2009-04-18 16:00:21