Trace number 1562344

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ttsth-5-0 2009-03-19? 1199.96 742.467

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
MD5SUM4fe2719d54370e06a454523e5441fbad
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark496.332
Satisfiable
(Un)Satisfiability was proved
Number of variables24356
Number of clauses347216
Sum of the clauses size1043884
Maximum clause length144
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2118940
Number of clauses of size 3177720
Number of clauses of size 424200
Number of clauses of size 525920
Number of clauses of size over 5436

Solver Data 

0.69/0.70	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1562344-1238773892.cnf 
0.69/0.70	c Using SATTIMEOUT of 1200
0.69/0.70	c Using SATRAM of 1800
0.69/0.70	c Size of subset node = 16
0.69/0.70	c Variables = 24356
0.69/0.70	c Clauses = 347216
0.69/0.70	c Literals = 1043884
0.69/0.70	c Reduced size:
0.69/0.70	c Variables = 24356
0.69/0.70	c Clauses = 347216
0.69/0.70	c Literals = 1043884
0.69/0.70	c a2
3.20/3.24	c a1
279.91/280.00	c Independent sub-problems = 1
279.91/280.00	c Sub-problem with 24356 variables and 347216 clauses
279.91/280.00	c using permutation method 4
279.91/280.00	c count = 1
279.91/280.00	c Ordering finished 279.760 seconds
279.91/280.00	c mapped 279.960 seconds
279.91/280.00	c permuted 279.960 seconds
279.91/280.00	c about to sort
280.01/280.14	c sorted
282.21/282.37	c clauses now 347216
282.21/282.37	c init finished 280.240 seconds
282.21/282.37	c tree built 282.320 seconds
282.21/282.37	c 
282.21/282.37	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
282.21/282.37	c ---------------------------------|----------------------------------|------------------------------------------------------
282.21/282.37	c ................................ | **........                       |                      282.3           0.0             
282.21/282.37	c ................................ | **........                     1 |                      282.3           0.0             
282.21/282.37	c ................................ | **........                     2 |                      282.3           0.0             
282.21/282.37	c ................................ | **........                     3 |                      282.3           0.0             
282.21/282.37	c ................................ | **........                     4 |                      282.3           0.0             
282.21/282.37	c ................................ | **........                     5 |                      282.3           0.0             
282.21/282.37	c ****............................ | **........                    15 |                      282.3           0.1            4
282.21/282.37	c ****............................ | **........                    16 |                      282.3           0.1            4
282.21/282.37	c ****............................ | **........                    17 |                      282.3           0.1            4
282.21/282.38	c ****............................ | **........                  1000 |                      282.3           3.5           23
282.21/282.38	c ****............................ | **........                  2000 | 3                    282.3           7.1         4287
282.34/282.40	c ****............................ | **........                  3000 | 3                    282.4          10.6         5245
282.34/282.40	c ****............................ | **........                  4000 | 4                    282.4          14.2         7698
282.34/282.40	c ****............................ | **........                  5000 | 15                   282.4          17.7        10230
282.34/282.40	c ****............................ | **........                  6000 | 22                   282.4          21.2        12885
282.34/282.40	c ****............................ | **........                  7000 | 27                   282.4          24.8        17679
282.34/282.41	c ****............................ | **........                  8000 | 35                   282.4          28.3        19202
282.34/282.41	c ****............................ | **........                  9000 | 49                   282.4          31.9        22571
282.34/282.42	c ****............................ | **........                 10000 | 63                   282.4          35.4        25471
282.34/282.44	c ****............................ | **........                 11000 | 88                   282.4          38.9        29130
282.34/282.44	c ****............................ | **........                 12000 | 112                  282.4          42.5        35944
287.93/285.21	c ****............................ | **........                154000 | 6807                 288.0         534.7      1320423
311.87/297.27	c ****............................ | **........                451000 | 25998                312.1        1445.2      4379960
336.00/309.31	c ****............................ | **........                689000 | 40859                336.1        2050.1      6409793
359.95/321.34	c ****............................ | ***.......                900000 | 54452                360.1        2499.4      8374147
383.88/333.36	c ****............................ | ***.......               1066000 | 65713                384.1        2775.6      9801719
408.02/345.42	c ****............................ | ***.......               1240000 | 77525                408.1        3038.2     11180128
431.75/357.40	c ****............................ | ***.......               1398000 | 88198                432.0        3236.0     12810573
455.89/369.43	c ****............................ | ***.......               1538000 | 97939                456.0        3372.6     13934136
480.02/381.51	c ****............................ | ****......               1688000 | 108212               480.1        3515.8     15178308
503.77/393.49	c ****............................ | ****......               1833000 | 117672               504.0        3636.8     16596956
527.91/405.52	c ****............................ | ****......               1957000 | 125742               528.0        3706.2     17440178
552.04/417.61	c ****............................ | ****......               2089000 | 134284               552.1        3783.4     18521198
575.78/429.58	c ****............................ | ****......               2222000 | 141772               576.0        3857.4     19462328
599.92/441.63	c ****............................ | *****.....               2337000 | 148963               600.1        3894.5     20260287
623.86/453.63	c ****............................ | *****.....               2446000 | 156592               624.0        3919.7     21046784
647.79/465.70	c ****............................ | *****.....               2569000 | 165014               648.1        3964.0     22158131
671.92/477.71	c ****............................ | *****.....               2677000 | 172842               672.0        3983.3     23221419
695.87/489.79	c ****............................ | *****.....               2777000 | 180298               696.1        3989.1     24140569
720.00/501.80	c ****............................ | ******....               2887000 | 187628               720.1        4009.1     25177579
743.95/513.85	c ****............................ | ******....               2990000 | 194740               744.1        4018.0     26165935
767.89/525.81	c ****............................ | ******....               3112000 | 202864               768.0        4052.0     27528111
791.82/537.90	c ****............................ | ******....               3241000 | 211564               792.1        4091.4     28720968
815.75/549.89	c ****............................ | ******....               3348000 | 219095               816.1        4102.6     29656334
839.69/561.88	c ****............................ | *******...               3480000 | 226725               840.0        4142.9     30667853
863.82/573.94	c ****............................ | *******...               3592000 | 234219               864.0        4157.3     31555552
887.96/586.03	c ****............................ | *******...               3693000 | 241148               888.1        4158.1     32473500
911.88/598.02	c ****............................ | *******...               3801000 | 248185               912.1        4167.5     33424214
935.83/610.03	c ****............................ | *******...               3909000 | 255209               936.0        4176.1     34326483
959.96/622.11	c ****............................ | ********..               3993000 | 260497               960.1        4158.8     35129282
984.10/634.21	c ****............................ | ********..               4075000 | 265891               984.3        4140.1     35845004
1008.04/646.23	c ****............................ | ********..               4175000 | 272001              1008.3        4140.8     36705051
1031.77/658.16	c ****............................ | ********..               4270000 | 278061              1032.0        4137.4     37453053
1055.71/670.17	c ****............................ | ********..               4363000 | 284154              1056.0        4131.6     38250706
1079.86/682.21	c ****............................ | *********.               4453000 | 290120              1080.0        4123.0     38889379
1103.99/694.39	c ****............................ | *********.               4559000 | 296380              1104.3        4128.3     39947002
1127.74/706.29	c ****............................ | *********.               4648000 | 302622              1128.1        4120.3     40669182
1151.87/718.39	c ****............................ | *********.               4759000 | 309588              1152.2        4130.3     41611123
1175.80/730.31	c ****............................ | *********.               4867000 | 316080              1176.0        4138.6     42555993
1199.74/742.34	c CPU limit (1200) reached
1199.74/742.34	c Time = 1200.00 seconds
1199.74/742.34	s UNKNOWN

Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562344-1238773892/watcher-1562344-1238773892 -o /tmp/evaluation-result-1562344-1238773892/solver-1562344-1238773892 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1562344-1238773892.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 9373
/proc/meminfo: memFree=1803432/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=932 CPUtime=0
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 503718119 954368 112 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 233 112 77 176 0 55 0

[startup+0.0108161 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 9373
/proc/meminfo: memFree=1803432/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=1064 CPUtime=0
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 146 0 0 0 0 0 0 0 20 0 1 0 503718119 1089536 130 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 266 130 77 176 0 88 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1064

[startup+0.101824 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 9373
/proc/meminfo: memFree=1803432/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=3948 CPUtime=0.09
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 862 0 0 0 9 0 0 0 20 0 1 0 503718119 4042752 846 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 987 846 78 176 0 809 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3948

[startup+0.301842 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 9373
/proc/meminfo: memFree=1803432/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=10984 CPUtime=0.29
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 2582 0 0 0 28 1 0 0 22 0 1 0 503718119 11247616 2566 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 2746 2566 78 176 0 2568 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10984

[startup+0.701882 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 9373
/proc/meminfo: memFree=1803432/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=24592 CPUtime=0.69
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 5884 0 0 0 67 2 0 0 25 0 1 0 503718119 25182208 5868 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 6148 5869 79 176 0 5970 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24592

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1737824/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=82280 CPUtime=1.49
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 20257 0 0 0 141 8 0 0 25 0 1 0 503718119 84254720 20240 1992294400 134512640 135237372 4294956192 18446744073709551615 134680467 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 20570 20240 79 176 0 20392 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82280

[startup+3.10112 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1722336/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=82280 CPUtime=3.09
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 20257 0 0 0 301 8 0 0 25 0 1 0 503718119 84254720 20240 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 20570 20240 79 176 0 20392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82280

[startup+6.30143 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1711264/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=95704 CPUtime=6.29
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 24455 0 0 0 619 10 0 0 25 0 1 0 503718119 98000896 23758 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 23926 23758 80 176 0 23748 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95704

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1708072/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=95704 CPUtime=12.69
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 24459 0 0 0 1259 10 0 0 25 0 1 0 503718119 98000896 23762 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 23926 23762 80 176 0 23748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95704

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1708072/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=96016 CPUtime=25.49
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 24504 0 0 0 2539 10 0 0 25 0 1 0 503718119 98320384 23807 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 24004 23807 80 176 0 23826 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96016

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1708008/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=96016 CPUtime=51.08
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 24507 0 0 0 5098 10 0 0 25 0 1 0 503718119 98320384 23810 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 24004 23810 80 176 0 23826 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96016

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1708072/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=96016 CPUtime=102.27
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 24507 0 0 0 10217 10 0 0 25 0 1 0 503718119 98320384 23810 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 24004 23810 80 176 0 23826 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 96016

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1707944/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=96016 CPUtime=162.24
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 24509 0 0 0 16214 10 0 0 25 0 1 0 503718119 98320384 23812 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 24004 23812 80 176 0 23826 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 96016

[startup+222.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1708008/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=96016 CPUtime=222.23
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 24509 0 0 0 22213 10 0 0 25 0 1 0 503718119 98320384 23812 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 24004 23812 80 176 0 23826 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 96016

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 9374
/proc/meminfo: memFree=1667304/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=147624 CPUtime=282.21
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4194304 38255 0 0 0 28205 16 0 0 25 0 1 0 503718119 151166976 36643 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9373/statm: 36906 36643 94 176 0 36728 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 147624

[startup+342.301 s]
/proc/loadavg: 1.63 1.18 1.06 3/84 9376
/proc/meminfo: memFree=1484376/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=344372 CPUtime=401.83
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 81309 0 0 0 40144 39 0 0 25 0 3 0 503718119 352636928 79697 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 86093 79697 98 176 0 85915 0
[pid=9373/tid=9375] ppid=9371 vsize=344372 CPUtime=59.91
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 20544 0 0 0 5981 10 0 0 25 0 3 0 503746356 352636928 79697 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9373/tid=9376] ppid=9371 vsize=344372 CPUtime=59.63
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 22437 0 0 0 5951 12 0 0 25 0 3 0 503746356 352636928 79697 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.83
Current children cumulated vsize (KiB) 344372

[startup+402.301 s]
/proc/loadavg: 1.86 1.33 1.11 3/84 9376
/proc/meminfo: memFree=1383640/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=449400 CPUtime=521.52
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 106550 0 0 0 52096 56 0 0 25 0 3 0 503718119 460185600 104938 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 112350 104938 98 176 0 112172 0
[pid=9373/tid=9375] ppid=9371 vsize=449400 CPUtime=119.89
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 33350 0 0 0 11972 17 0 0 25 0 3 0 503746356 460185600 104938 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9373/tid=9376] ppid=9371 vsize=449400 CPUtime=119.34
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 34872 0 0 0 11912 22 0 0 25 0 3 0 503746356 460185600 104938 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 521.52
Current children cumulated vsize (KiB) 449400

[startup+462.301 s]
/proc/loadavg: 1.95 1.45 1.17 3/84 9376
/proc/meminfo: memFree=1310232/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=525076 CPUtime=641.21
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 124790 0 0 0 64051 70 0 0 25 0 3 0 503718119 537677824 123178 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 131269 123178 98 176 0 131091 0
[pid=9373/tid=9375] ppid=9371 vsize=525076 CPUtime=179.82
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 41966 0 0 0 17959 23 0 0 25 0 3 0 503746356 537677824 123178 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=525076 CPUtime=179.08
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 44496 0 0 0 17879 29 0 0 25 0 3 0 503746356 537677824 123178 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 641.21
Current children cumulated vsize (KiB) 525076

[startup+522.301 s]
/proc/loadavg: 1.98 1.54 1.22 3/84 9376
/proc/meminfo: memFree=1229528/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=609676 CPUtime=760.9
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 145147 0 0 0 76006 84 0 0 25 0 3 0 503718119 624308224 143535 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 152419 143535 98 176 0 152241 0
[pid=9373/tid=9375] ppid=9371 vsize=609676 CPUtime=239.54
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 50989 0 0 0 23923 31 0 0 25 0 3 0 503746356 624308224 143535 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=609676 CPUtime=239.06
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 55830 0 0 0 23870 36 0 0 25 0 3 0 503746356 624308224 143535 1992294400 134512640 135237372 4294956192 18446744073709551615 134587833 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.9
Current children cumulated vsize (KiB) 609676

[startup+582.302 s]
/proc/loadavg: 1.99 1.62 1.26 3/84 9382
/proc/meminfo: memFree=1147672/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=693080 CPUtime=880.57
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 165323 0 0 0 87958 99 0 0 25 0 3 0 503718119 709713920 163711 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 173270 163711 98 176 0 173092 0
[pid=9373/tid=9375] ppid=9371 vsize=693080 CPUtime=299.23
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 60454 0 0 0 29885 38 0 0 25 0 3 0 503746356 709713920 163711 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=693080 CPUtime=299.05
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 66541 0 0 0 29861 44 0 0 25 0 3 0 503746356 709713920 163711 1992294400 134512640 135237372 4294956192 18446744073709551615 134590241 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 880.57
Current children cumulated vsize (KiB) 693080

[startup+642.302 s]
/proc/loadavg: 1.99 1.69 1.31 3/84 9382
/proc/meminfo: memFree=1080600/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=762216 CPUtime=1000.26
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 182094 0 0 0 99914 112 0 0 25 0 3 0 503718119 780509184 180482 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 190554 180482 98 176 0 190376 0
[pid=9373/tid=9375] ppid=9371 vsize=762216 CPUtime=358.94
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 68465 0 0 0 35850 44 0 0 25 0 3 0 503746356 780509184 180482 1992294400 134512640 135237372 4294956192 18446744073709551615 134562294 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=762216 CPUtime=359.03
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 75301 0 0 0 35852 51 0 0 25 0 3 0 503746356 780509184 180482 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1000.26
Current children cumulated vsize (KiB) 762216

[startup+702.302 s]
/proc/loadavg: 1.99 1.74 1.35 3/84 9382
/proc/meminfo: memFree=1018328/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=826768 CPUtime=1119.94
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 197505 0 0 0 111872 122 0 0 25 0 3 0 503718119 846610432 195893 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 206692 195893 98 176 0 206514 0
[pid=9373/tid=9375] ppid=9371 vsize=826768 CPUtime=418.63
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 74968 0 0 0 41816 47 0 0 25 0 3 0 503746356 846610432 195893 1992294400 134512640 135237372 4294956192 18446744073709551615 134562360 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=826768 CPUtime=419.01
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 84209 0 0 0 41844 57 0 0 25 0 3 0 503746356 846610432 195893 1992294400 134512640 135237372 4294956192 18446744073709551615 134562355 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1119.94
Current children cumulated vsize (KiB) 826768

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

[startup+716.801 s]
/proc/loadavg: 1.99 1.76 1.36 3/84 9382
/proc/meminfo: memFree=1001368/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=844472 CPUtime=1148.87
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 201727 0 0 0 114762 125 0 0 25 0 3 0 503718119 864739328 200115 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 211118 200115 98 176 0 210940 0
[pid=9373/tid=9375] ppid=9371 vsize=844472 CPUtime=433.07
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 77116 0 0 0 43258 49 0 0 25 0 3 0 503746356 864739328 200115 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=844472 CPUtime=433.51
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 86283 0 0 0 43292 59 0 0 25 0 3 0 503746356 864739328 200115 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1148.87
Current children cumulated vsize (KiB) 844472

[startup+729.601 s]
/proc/loadavg: 1.99 1.77 1.37 3/84 9382
/proc/meminfo: memFree=985368/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=861620 CPUtime=1174.4
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 205680 0 0 0 117313 127 0 0 25 0 3 0 503718119 882298880 204068 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 215405 204068 98 176 0 215227 0
[pid=9373/tid=9375] ppid=9371 vsize=861620 CPUtime=445.8
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 78442 0 0 0 44530 50 0 0 25 0 3 0 503746356 882298880 204068 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=861620 CPUtime=446.3
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 88910 0 0 0 44570 60 0 0 25 0 3 0 503746356 882298880 204068 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1174.4
Current children cumulated vsize (KiB) 861620

[startup+736.008 s]
/proc/loadavg: 1.99 1.77 1.37 3/84 9382
/proc/meminfo: memFree=979352/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=867660 CPUtime=1187.18
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 207131 0 0 0 118590 128 0 0 25 0 3 0 503718119 888483840 205519 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 216915 205519 98 176 0 216737 0
[pid=9373/tid=9375] ppid=9371 vsize=867660 CPUtime=452.18
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 79095 0 0 0 45168 50 0 0 25 0 3 0 503746356 888483840 205519 1992294400 134512640 135237372 4294956192 18446744073709551615 134519937 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=867660 CPUtime=452.71
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 89708 0 0 0 45210 61 0 0 25 0 3 0 503746356 888483840 205519 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1187.18
Current children cumulated vsize (KiB) 867660

[startup+739.202 s]
/proc/loadavg: 1.99 1.77 1.37 3/84 9382
/proc/meminfo: memFree=976344/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=870720 CPUtime=1193.57
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 207861 0 0 0 119228 129 0 0 25 0 3 0 503718119 891617280 206249 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 217680 206249 98 176 0 217502 0
[pid=9373/tid=9375] ppid=9371 vsize=870720 CPUtime=455.36
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 79352 0 0 0 45486 50 0 0 25 0 3 0 503746356 891617280 206249 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=870720 CPUtime=455.9
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 90181 0 0 0 45529 61 0 0 25 0 3 0 503746356 891617280 206249 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1193.57
Current children cumulated vsize (KiB) 870720

[startup+740.801 s]
/proc/loadavg: 1.99 1.77 1.37 3/84 9382
/proc/meminfo: memFree=975576/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=871344 CPUtime=1196.75
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 208141 0 0 0 119546 129 0 0 25 0 3 0 503718119 892256256 206529 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 217836 206529 98 176 0 217658 0
[pid=9373/tid=9375] ppid=9371 vsize=871344 CPUtime=456.95
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 79469 0 0 0 45644 51 0 0 25 0 3 0 503746356 892256256 206529 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=871344 CPUtime=457.5
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 90344 0 0 0 45689 61 0 0 25 0 3 0 503746356 892256256 206529 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1196.75
Current children cumulated vsize (KiB) 871344

[startup+741.602 s]
/proc/loadavg: 1.99 1.77 1.37 3/84 9382
/proc/meminfo: memFree=974616/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=871812 CPUtime=1198.34
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 208319 0 0 0 119705 129 0 0 25 0 3 0 503718119 892735488 206707 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 217953 206707 98 176 0 217775 0
[pid=9373/tid=9375] ppid=9371 vsize=871812 CPUtime=457.75
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 79540 0 0 0 45724 51 0 0 25 0 3 0 503746356 892735488 206707 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=871812 CPUtime=458.3
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 90451 0 0 0 45769 61 0 0 25 0 3 0 503746356 892735488 206707 1992294400 134512640 135237372 4294956192 18446744073709551615 134681763 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1198.34
Current children cumulated vsize (KiB) 871812

[startup+742.002 s]
/proc/loadavg: 1.99 1.77 1.37 3/84 9382
/proc/meminfo: memFree=974616/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=873308 CPUtime=1199.14
/proc/9373/stat : 9373 (ttsth-5-0) S 9371 9373 9274 0 -1 4194304 208474 0 0 0 119785 129 0 0 25 0 3 0 503718119 894267392 206862 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9373/statm: 218327 206862 98 176 0 218149 0
[pid=9373/tid=9375] ppid=9371 vsize=873308 CPUtime=458.15
/proc/9373/task/9375/stat : 9375 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 79570 0 0 0 45764 51 0 0 25 0 3 0 503746356 894267392 206862 1992294400 134512640 135237372 4294956192 18446744073709551615 134565937 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9373/tid=9376] ppid=9371 vsize=873308 CPUtime=458.7
/proc/9373/task/9376/stat : 9376 (ttsth-5-0) R 9371 9373 9274 0 -1 4194368 90576 0 0 0 45809 61 0 0 25 0 3 0 503746356 894267392 206862 1992294400 134512640 135237372 4294956192 18446744073709551615 134591529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1199.14
Current children cumulated vsize (KiB) 873308

[startup+742.402 s]
/proc/loadavg: 1.99 1.77 1.37 3/84 9382
/proc/meminfo: memFree=974616/2055920 swapFree=4169716/4192956
[pid=9373] ppid=9371 vsize=0 CPUtime=1199.88
/proc/9373/stat : 9373 (ttsth-5-0) R 9371 9373 9274 0 -1 4195332 208583 0 0 0 119853 135 0 0 17 0 1 0 503718119 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/9373/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.88
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 742.467
CPU time (s): 1199.96
CPU user time (s): 1198.53
CPU system time (s): 1.42378
CPU usage (%): 161.617
Max. virtual memory (cumulated for all children) (KiB): 873468

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

runsolver used 0.898863 second user time and 2.48862 second system time

The end

Launcher Data 

Begin job on node89 at 2009-04-03 17:51:32
IDJOB=1562344
IDBENCH=70932
IDSOLVER=549
FILE ID=node89/1562344-1238773892
PBS_JOBID= 9085562
Free space on /tmp= 66508 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_14_7_3_fbc.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562344-1238773892/watcher-1562344-1238773892 -o /tmp/evaluation-result-1562344-1238773892/solver-1562344-1238773892 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1562344-1238773892.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2

MD5SUM BENCH= 4fe2719d54370e06a454523e5441fbad
RANDOM SEED=426109425

node89.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.240
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.240
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1803912 kB
Buffers:         23636 kB
Cached:         143108 kB
SwapCached:      12436 kB
Active:          73100 kB
Inactive:       107584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803912 kB
SwapTotal:     4192956 kB
SwapFree:      4169716 kB
Dirty:            7988 kB
Writeback:           0 kB
Mapped:          19604 kB
Slab:            55604 kB
Committed_AS:  1669896 kB
PageTables:       2600 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= 66508 MiB
End job on node89 at 2009-04-03 18:03:55