Trace number 369042

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
March KS 2007-02-08? (TO) 5000.14 5001.65

General information on the benchmark

Namecrafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
MD5SUM3d4fadc8af17bc65dbe7fef013825ed5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark296.588
Satisfiable
(Un)Satisfiability was proved
Number of variables744
Number of clauses2464
Sum of the clauses size6432
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2960
Number of clauses of size 31504
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.01	c main():: ***                                   [ march satisfiability solver ]                                   ***
0.00/0.01	c main()::  **            Copyright (C) 2001-2004 M. Dufour, M. Heule, J. van Zwieten and H. van Maaren            **
0.00/0.01	c main()::   * This program may be redistributed and/or modified under the terms of the GNU Gereral Public License *
0.00/0.01	c main()::
0.00/0.01	c initFormula():: searching for DIMACS p-line....
0.00/0.01	c initFormula():: the DIMACS p-line indicates a CNF of 744 variables and 2464 clauses.
0.00/0.01	c parseCNF():: parsing....
0.00/0.01	c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.01	c runParser():: parsing was successful, warming up engines...
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 744 free variables and 2464 clauses.
0.00/0.01	c stat :: sign balance is biased by 0.047
0.00/0.01	c find_equivalence():: found 256 3-equivalences
0.00/0.01	c find_and_remove_tautogolies():: found and removed 192 tautologies
0.00/0.01	c shorten_equivalence(): average equivalence length reduced from 6.000000 to 6.000000
0.00/0.01	c using 3-SAT heuristics (occurence based diff)
0.00/0.01	c longest clause has size 3
0.00/0.01	c simplify_formula():: removed 0 tautological, 1024 satisfied and 0 duplicate clauses
0.00/0.01	c lessRedundantTransformation():: nothing to be done.
0.00/0.01	c transformTo3SAT():: you gave me 744 variables and 1440 clauses.
0.00/0.01	c transformTo3SAT():: by the way, the maximal clause length before transformation was 3.
0.00/0.01	c transformTo3SAT():: I will add 0 variables and 0 clauses!
0.00/0.01	c transformTo3SAT():: the transformation yielded 744 variabels and 1440 clauses.
0.00/0.01	c main():: clause / variable ratio: ( 1440 / 744 ) = 1.94
0.00/0.01	c longest clause has size 3
0.00/0.01	c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01	c dynamic_preselect_setsize :: on
0.00/0.01	c suggested doublelook initial :: 0
0.00/0.01	c main():: all systems go!
0.00/0.01	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| 0 NC: 353 JD: 28
0.19/0.23	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: 32605 JD: 28
7.49/7.56	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 133074 JD: 28
29.89/29.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 |****************************************************************| 3 NC: 649393 JD: 28
131.53/131.61	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 4 NC: 2117789 JD: 28
413.59/413.86	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************c right child 89757 UNSAT by parent!
829.48/829.85	
c |**************************************************************
c |***************************************************************
c |****************************************************************| 5 NC: 5335398 JD: 28
1022.53/1022.90	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************c right child 202660 UNSAT by parent!
1266.86/1267.36	c right child 202677 UNSAT by parent!
1266.86/1267.36	
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************c right child 211720 UNSAT by parent!
1285.15/1285.70	
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************c right child 227576 UNSAT by parent!
1336.65/1337.19	
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************c right child 272144 UNSAT by parent!
1468.91/1469.49	
c |******************************************************c right child 276432 UNSAT by parent!
1483.41/1483.99	
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| 6 NC: 11344233 JD: 28
2153.33/2154.04	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******c right child 479373 UNSAT by parent!
2154.03/2154.74	
c |*******
c |********
c |*********
c |**********
c |***********
c |************c right child 487299 UNSAT by parent!
2164.53/2165.29	
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************c right child 524882 UNSAT by parent!
2227.31/2228.07	
c |**********************c right child 528739 UNSAT by parent!
2231.71/2232.41	
c |***********************
c |************************
c |*************************c right child 556769 UNSAT by parent!
2290.00/2290.78	
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************c right child 775764 UNSAT by parent!
2725.58/2726.48	
c |**********************************************c right child 796170 UNSAT by parent!
2756.58/2757.42	
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************c right child 899330 UNSAT by parent!
2931.74/2932.65	
c |****************************************************c right child 911603 UNSAT by parent!
2933.73/2934.68	
c |*****************************************************
c |******************************************************c right child 937958 UNSAT by parent!
3010.51/3011.48	c right child 938892 UNSAT by parent!
3010.51/3011.48	
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************c right child 1103158 UNSAT by parent!
3377.21/3378.27	c right child 1105675 UNSAT by parent!
3377.21/3378.27	
c |************************************************************
c |*************************************************************c right child 1181629 UNSAT by parent!
3540.07/3541.11	c right child 1211874 UNSAT by parent!
3540.07/3541.11	
c |**************************************************************
c |***************************************************************
c |****************************************************************| 7 NC: 21295970 JD: 28
3990.35/3991.69	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******c right child 1440218 UNSAT by parent!
3991.55/3992.85	
c |*******c right child 1445525 UNSAT by parent!
4000.95/4002.20	
c |********
c |*********c right child 1449915 UNSAT by parent!
4001.25/4002.52	
c |**********c right child 1451383 UNSAT by parent!
4001.75/4003.01	
c |***********c right child 1456918 UNSAT by parent!
4010.74/4012.03	c right child 1459239 UNSAT by parent!
4010.74/4012.03	
c |************
c |*************
c |**************c right child 1475929 UNSAT by parent!
4027.24/4028.58	c right child 1479471 UNSAT by parent!
4027.24/4028.58	
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************c right child 1564347 UNSAT by parent!
4136.82/4138.17	c right child 1565231 UNSAT by parent!
4136.82/4138.17	c right child 1571371 UNSAT by parent!
4136.82/4138.17	
c |***********************
c |************************
c |*************************c right child 1643808 UNSAT by parent!
4243.19/4244.52	
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************c right child 2009754 UNSAT by parent!
4720.66/4722.14	
c |*********************************
c |**********************************
c |***********************************c right child 2012785 UNSAT by parent!
4725.06/4726.50	
c |************************************
c |*************************************c right child 2028682 UNSAT by parent!
4731.46/4732.94	
c |**************************************
c |***************************************c right child 2041717 UNSAT by parent!
4801.34/4802.84	
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************c right child 2116789 UNSAT by parent!
4872.22/4873.75	
c |********************************************c right child 2165644 UNSAT by parent!
4876.52/4878.08	
c |*********************************************c right child 2172289 UNSAT by parent!
4946.00/4947.57	
c |**********************************************

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 24326
/proc/meminfo: memFree=1891904/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=928 CPUtime=0
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 135 0 0 0 0 0 0 0 18 0 1 0 84558957 950272 117 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134687937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 232 117 49 123 0 107 0

[startup+0.070069 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 24326
/proc/meminfo: memFree=1891904/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1480 CPUtime=0.06
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 306 0 0 0 6 0 0 0 18 0 1 0 84558957 1515520 287 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526435 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 370 287 73 123 0 245 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1480

[startup+0.101073 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 24326
/proc/meminfo: memFree=1891904/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1480 CPUtime=0.09
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 306 0 0 0 9 0 0 0 18 0 1 0 84558957 1515520 287 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538176 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 370 287 73 123 0 245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1480

[startup+0.301094 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 24326
/proc/meminfo: memFree=1891904/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1612 CPUtime=0.29
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 327 0 0 0 29 0 0 0 19 0 1 0 84558957 1650688 308 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526436 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 403 308 73 123 0 278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1612

[startup+0.701138 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 24326
/proc/meminfo: memFree=1891904/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1612 CPUtime=0.69
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 346 0 0 0 69 0 0 0 22 0 1 0 84558957 1650688 327 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134543881 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 403 327 73 123 0 278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1612

[startup+1.50122 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 24327
/proc/meminfo: memFree=1890872/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1744 CPUtime=1.49
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 354 0 0 0 149 0 0 0 25 0 1 0 84558957 1785856 335 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134563481 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 436 335 73 123 0 311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1744

[startup+3.1014 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 24327
/proc/meminfo: memFree=1890680/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1744 CPUtime=3.09
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 366 0 0 0 309 0 0 0 25 0 1 0 84558957 1785856 347 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539075 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 436 347 73 123 0 311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1744

[startup+6.30175 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 24327
/proc/meminfo: memFree=1890488/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1744 CPUtime=6.29
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 385 0 0 0 629 0 0 0 25 0 1 0 84558957 1785856 366 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539069 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 436 366 73 123 0 311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1744

[startup+12.7014 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 24327
/proc/meminfo: memFree=1890296/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=1876 CPUtime=12.69
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 416 0 0 0 1269 0 0 0 25 0 1 0 84558957 1921024 397 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538194 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 469 397 73 123 0 344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1876

[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 24327
/proc/meminfo: memFree=1890168/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=2192 CPUtime=25.49
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 466 0 0 0 2549 0 0 0 25 0 1 0 84558957 2244608 447 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538620 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 548 447 73 123 0 423 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2192

[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 24327
/proc/meminfo: memFree=1889912/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=2260 CPUtime=51.08
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 495 0 0 0 5108 0 0 0 25 0 1 0 84558957 2314240 476 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539184 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 565 476 73 123 0 440 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2260

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 24327
/proc/meminfo: memFree=1889656/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=2512 CPUtime=102.26
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 558 0 0 0 10226 0 0 0 25 0 1 0 84558957 2572288 539 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539150 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 628 539 73 123 0 503 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2512

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 24493
/proc/meminfo: memFree=1887544/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=3232 CPUtime=162.17
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 722 0 0 0 16216 1 0 0 25 0 1 0 84558957 3309568 703 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134565620 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 808 703 73 123 0 683 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 3232

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24525
/proc/meminfo: memFree=1888056/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=4080 CPUtime=222.14
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 925 0 0 0 22212 2 0 0 25 0 1 0 84558957 4177920 868 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134597799 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 1020 868 73 123 0 895 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 4080

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24525
/proc/meminfo: memFree=1887416/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=4844 CPUtime=282.12
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 1081 0 0 0 28210 2 0 0 25 0 1 0 84558957 4960256 1024 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538171 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 1211 1024 73 123 0 1086 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 4844

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24525
/proc/meminfo: memFree=1886712/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=6488 CPUtime=342.1
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 1239 0 0 0 34208 2 0 0 25 0 1 0 84558957 6643712 1182 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134564754 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 1622 1182 73 123 0 1497 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 6488

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24525
/proc/meminfo: memFree=1886072/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=6488 CPUtime=402.09
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 1409 0 0 0 40207 2 0 0 25 0 1 0 84558957 6643712 1352 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539158 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 1622 1352 73 123 0 1497 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 6488

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24525
/proc/meminfo: memFree=1884536/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=9196 CPUtime=462.08
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 1792 0 0 0 46205 3 0 0 25 0 1 0 84558957 9416704 1735 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134584635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 2299 1735 73 123 0 2174 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 9196

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24525
/proc/meminfo: memFree=1883704/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=9196 CPUtime=522.06
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 2015 0 0 0 52203 3 0 0 25 0 1 0 84558957 9416704 1958 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134539181 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 2299 1958 73 123 0 2174 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 9196

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24525
/proc/meminfo: memFree=1882296/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=11784 CPUtime=582.04
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 2401 0 0 0 58201 3 0 0 25 0 1 0 84558957 12066816 2344 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134543742 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 2946 2344 73 123 0 2821 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 11784

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 24527
/proc/meminfo: memFree=1880760/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=13756 CPUtime=642.03
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 2777 0 0 0 64199 4 0 0 25 0 1 0 84558957 14086144 2720 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526670 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 3439 2720 73 123 0 3314 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 13756


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

[startup+4002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24725
/proc/meminfo: memFree=1764600/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=153600 CPUtime=4001.05
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 31321 0 0 0 400073 32 0 0 25 0 1 0 84558957 157286400 31264 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526441 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 38400 31264 73 123 0 38275 0
Current children cumulated CPU time (s) 4001.05
Current children cumulated vsize (KiB) 153600

[startup+4062.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24725
/proc/meminfo: memFree=1761144/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=153600 CPUtime=4061.04
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 32174 0 0 0 406071 33 0 0 25 0 1 0 84558957 157286400 32117 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526560 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 38400 32117 73 123 0 38275 0
Current children cumulated CPU time (s) 4061.04
Current children cumulated vsize (KiB) 153600

[startup+4122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24725
/proc/meminfo: memFree=1757176/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4121.02
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 33176 0 0 0 412068 34 0 0 25 0 1 0 84558957 202547200 33119 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134564571 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 33119 73 123 0 49325 0
Current children cumulated CPU time (s) 4121.02
Current children cumulated vsize (KiB) 197800

[startup+4182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24725
/proc/meminfo: memFree=1754104/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4181
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 33959 0 0 0 418066 34 0 0 25 0 1 0 84558957 202547200 33902 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134677352 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 33902 73 123 0 49325 0
Current children cumulated CPU time (s) 4181
Current children cumulated vsize (KiB) 197800

[startup+4242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1750200/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4240.99
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 34933 0 0 0 424064 35 0 0 25 0 1 0 84558957 202547200 34876 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134543761 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 34876 73 123 0 49325 0
Current children cumulated CPU time (s) 4240.99
Current children cumulated vsize (KiB) 197800

[startup+4302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1747128/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4300.97
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 35692 0 0 0 430062 35 0 0 25 0 1 0 84558957 202547200 35635 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134564766 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 35635 73 123 0 49325 0
Current children cumulated CPU time (s) 4300.97
Current children cumulated vsize (KiB) 197800

[startup+4362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1743736/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4360.95
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 36547 0 0 0 436060 35 0 0 25 0 1 0 84558957 202547200 36490 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134543896 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 36490 73 123 0 49325 0
Current children cumulated CPU time (s) 4360.95
Current children cumulated vsize (KiB) 197800

[startup+4422.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1740984/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4420.94
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 37209 0 0 0 442058 36 0 0 25 0 1 0 84558957 202547200 37152 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134589729 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 37152 73 123 0 49325 0
Current children cumulated CPU time (s) 4420.94
Current children cumulated vsize (KiB) 197800

[startup+4482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1737144/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4480.92
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 38181 0 0 0 448055 37 0 0 25 0 1 0 84558957 202547200 38124 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538186 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 38124 73 123 0 49325 0
Current children cumulated CPU time (s) 4480.92
Current children cumulated vsize (KiB) 197800

[startup+4542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1733304/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4540.9
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 39126 0 0 0 454053 37 0 0 25 0 1 0 84558957 202547200 39069 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134585566 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 39069 73 123 0 49325 0
Current children cumulated CPU time (s) 4540.9
Current children cumulated vsize (KiB) 197800

[startup+4602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1730232/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4600.9
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 39900 0 0 0 460052 38 0 0 25 0 1 0 84558957 202547200 39843 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134579424 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 39843 73 123 0 49325 0
Current children cumulated CPU time (s) 4600.9
Current children cumulated vsize (KiB) 197800

[startup+4662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1728440/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4660.88
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 40346 0 0 0 466050 38 0 0 25 0 1 0 84558957 202547200 40289 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134585822 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 40289 73 123 0 49325 0
Current children cumulated CPU time (s) 4660.88
Current children cumulated vsize (KiB) 197800

[startup+4722.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1725048/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4720.87
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 41177 0 0 0 472048 39 0 0 25 0 1 0 84558957 202547200 41120 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538602 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 41120 73 123 0 49325 0
Current children cumulated CPU time (s) 4720.87
Current children cumulated vsize (KiB) 197800

[startup+4782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1720888/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4780.85
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 42221 0 0 0 478045 40 0 0 25 0 1 0 84558957 202547200 42164 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134538578 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 42164 73 123 0 49325 0
Current children cumulated CPU time (s) 4780.85
Current children cumulated vsize (KiB) 197800

[startup+4842.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 24727
/proc/meminfo: memFree=1716472/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4840.83
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 43320 0 0 0 484043 40 0 0 25 0 1 0 84558957 202547200 43263 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526436 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 43263 73 123 0 49325 0
Current children cumulated CPU time (s) 4840.83
Current children cumulated vsize (KiB) 197800

[startup+4902.3 s]
/proc/loadavg: 1.08 1.00 1.00 2/78 24727
/proc/meminfo: memFree=1712376/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4900.81
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 44335 0 0 0 490040 41 0 0 25 0 1 0 84558957 202547200 44278 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134584942 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 44278 73 123 0 49325 0
Current children cumulated CPU time (s) 4900.81
Current children cumulated vsize (KiB) 197800

[startup+4962.3 s]
/proc/loadavg: 1.10 1.02 1.00 2/78 24727
/proc/meminfo: memFree=1708984/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=4960.79
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 45177 0 0 0 496038 41 0 0 25 0 1 0 84558957 202547200 45120 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134548531 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 45120 73 123 0 49325 0
Current children cumulated CPU time (s) 4960.79
Current children cumulated vsize (KiB) 197800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.6 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 24727
/proc/meminfo: memFree=1706552/2055920 swapFree=4157972/4192956
[pid=24326] ppid=24324 vsize=197800 CPUtime=5000.09
/proc/24326/stat : 24326 (march_ks) R 24324 24326 23621 0 -1 4194304 45791 0 0 0 499968 41 0 0 25 0 1 0 84558957 202547200 45734 18446744073709551615 134512640 135019032 4294956672 18446744073709551615 134526796 0 0 4096 0 0 0 0 17 1 0 0
/proc/24326/statm: 49450 45734 73 123 0 49325 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 197800

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.65
CPU time (s): 5000.14
CPU user time (s): 4999.69
CPU system time (s): 0.452931
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 197800

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

runsolver used 5.58215 second user time and 12.6201 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Mon Apr 23 02:58:56 UTC 2007

IDJOB= 369042
IDBENCH= 24755
IDSOLVER= 180
FILE ID= node47/369042-1177297136

PBS_JOBID= 4650847

Free space on /tmp= 66425 MiB

SOLVER NAME= March KS 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest-02-03-04/contest02-Mat26.sat05-457.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/369042-1177297136/march_ks /tmp/evaluation/369042-1177297136/instance-369042-1177297136.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-369042-1177297136 -o ROOT/results/node47/solver-369042-1177297136 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/369042-1177297136/march_ks /tmp/evaluation/369042-1177297136/instance-369042-1177297136.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  3d4fadc8af17bc65dbe7fef013825ed5

RANDOM SEED= 167676705

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1892376 kB
Buffers:         30204 kB
Cached:          54164 kB
SwapCached:       3828 kB
Active:          59684 kB
Inactive:        48524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1892376 kB
SwapTotal:     4192956 kB
SwapFree:      4157972 kB
Dirty:            2324 kB
Writeback:           0 kB
Mapped:          30404 kB
Slab:            40904 kB
Committed_AS:  3894808 kB
PageTables:       1776 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= 66425 MiB

End job on node47 on Mon Apr 23 04:22:32 UTC 2007