Trace number 225160

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
CSPtoSAT+minisat 0.3? (TO) 1800.13 1808.22

General information on the benchmark

Nametightness/tightness0.8/
rand-2-40-80-103-800-17_ext.xml
MD5SUMd289aba8ef3634ad11565c09f6353321
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.817875
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	c This is CSPtoSAT+minisat version 0.3
0.31	c (c) 2006 roussel@cril.univ-artois.fr
0.31	
0.31	c This solver internally uses a modified version of MiniSat2 version 061112
0.31	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.31	
0.31	c parsing...
0.31	c preparing clauses for relation R0
0.31	c preparing clauses for relation R1
0.31	c preparing clauses for relation R2
0.31	c preparing clauses for relation R3
0.31	c preparing clauses for relation R4
0.31	c preparing clauses for relation R5
0.31	c preparing clauses for relation R6
0.31	c preparing clauses for relation R7
0.31	c preparing clauses for relation R8
0.31	c preparing clauses for relation R9
0.31	c preparing clauses for relation R10
0.31	c preparing clauses for relation R11
0.31	c preparing clauses for relation R12
0.31	c preparing clauses for relation R13
0.31	c preparing clauses for relation R14
0.31	c preparing clauses for relation R15
0.31	c preparing clauses for relation R16
0.31	c preparing clauses for relation R17
0.31	c preparing clauses for relation R18
0.31	c preparing clauses for relation R19
0.31	c preparing clauses for relation R20
0.31	c preparing clauses for relation R21
0.31	c preparing clauses for relation R22
0.31	c preparing clauses for relation R23
0.31	c preparing clauses for relation R24
0.31	c preparing clauses for relation R25
0.31	c preparing clauses for relation R26
0.31	c preparing clauses for relation R27
0.31	c preparing clauses for relation R28
0.31	c preparing clauses for relation R29
0.31	c preparing clauses for relation R30
0.31	c preparing clauses for relation R31
0.31	c preparing clauses for relation R32
0.31	c preparing clauses for relation R33
0.32	c preparing clauses for relation R34
0.33	c preparing clauses for relation R35
0.34	c preparing clauses for relation R36
0.34	c preparing clauses for relation R37
0.35	c preparing clauses for relation R38
0.36	c preparing clauses for relation R39
0.37	c preparing clauses for relation R40
0.38	c preparing clauses for relation R41
0.39	c preparing clauses for relation R42
0.40	c preparing clauses for relation R43
0.40	c preparing clauses for relation R44
0.41	c preparing clauses for relation R45
0.42	c preparing clauses for relation R46
0.43	c preparing clauses for relation R47
0.44	c preparing clauses for relation R48
0.45	c preparing clauses for relation R49
0.45	c preparing clauses for relation R50
0.46	c preparing clauses for relation R51
0.47	c preparing clauses for relation R52
0.48	c preparing clauses for relation R53
0.49	c preparing clauses for relation R54
0.50	c preparing clauses for relation R55
0.51	c preparing clauses for relation R56
0.51	c preparing clauses for relation R57
0.52	c preparing clauses for relation R58
0.53	c preparing clauses for relation R59
0.54	c preparing clauses for relation R60
0.55	c preparing clauses for relation R61
0.56	c preparing clauses for relation R62
0.56	c preparing clauses for relation R63
0.57	c preparing clauses for relation R64
0.58	c preparing clauses for relation R65
0.59	c preparing clauses for relation R66
0.60	c preparing clauses for relation R67
0.61	c preparing clauses for relation R68
0.62	c preparing clauses for relation R69
0.62	c preparing clauses for relation R70
0.63	c preparing clauses for relation R71
0.64	c preparing clauses for relation R72
0.65	c preparing clauses for relation R73
0.66	c preparing clauses for relation R74
0.67	c preparing clauses for relation R75
0.68	c preparing clauses for relation R76
0.68	c preparing clauses for relation R77
0.69	c preparing clauses for relation R78
0.70	c preparing clauses for relation R79
0.71	c preparing clauses for relation R80
0.72	c preparing clauses for relation R81
0.73	c preparing clauses for relation R82
0.73	c preparing clauses for relation R83
0.74	c preparing clauses for relation R84
0.75	c preparing clauses for relation R85
0.76	c preparing clauses for relation R86
0.77	c preparing clauses for relation R87
0.78	c preparing clauses for relation R88
0.79	c preparing clauses for relation R89
0.79	c preparing clauses for relation R90
0.80	c preparing clauses for relation R91
0.81	c preparing clauses for relation R92
0.82	c preparing clauses for relation R93
0.83	c preparing clauses for relation R94
0.84	c preparing clauses for relation R95
0.84	c preparing clauses for relation R96
0.85	c preparing clauses for relation R97
0.86	c preparing clauses for relation R98
0.87	c preparing clauses for relation R99
0.88	c preparing clauses for relation R100
0.89	c preparing clauses for relation R101
0.89	c preparing clauses for relation R102
0.90	c instanciating clauses for relation R0 (supports) and variables V0 V3 
0.92	c instanciating clauses for relation R1 (supports) and variables V0 V37 
0.93	c instanciating clauses for relation R2 (supports) and variables V0 V39 
0.95	c instanciating clauses for relation R3 (supports) and variables V1 V9 
0.96	c instanciating clauses for relation R4 (supports) and variables V1 V10 
0.98	c instanciating clauses for relation R5 (supports) and variables V1 V17 
0.99	c instanciating clauses for relation R6 (supports) and variables V1 V19 
1.01	c instanciating clauses for relation R7 (supports) and variables V1 V21 
1.02	c instanciating clauses for relation R8 (supports) and variables V1 V26 
1.04	c instanciating clauses for relation R9 (supports) and variables V1 V32 
1.06	c instanciating clauses for relation R10 (supports) and variables V1 V36 
1.07	c instanciating clauses for relation R11 (supports) and variables V1 V39 
1.09	c instanciating clauses for relation R12 (supports) and variables V2 V7 
1.10	c instanciating clauses for relation R13 (supports) and variables V2 V8 
1.12	c instanciating clauses for relation R14 (supports) and variables V2 V11 
1.14	c instanciating clauses for relation R15 (supports) and variables V2 V25 
1.15	c instanciating clauses for relation R16 (supports) and variables V2 V27 
1.17	c instanciating clauses for relation R17 (supports) and variables V2 V36 
1.19	c instanciating clauses for relation R18 (supports) and variables V2 V37 
1.20	c instanciating clauses for relation R19 (supports) and variables V2 V39 
1.22	c instanciating clauses for relation R20 (supports) and variables V3 V5 
1.23	c instanciating clauses for relation R21 (supports) and variables V3 V9 
1.25	c instanciating clauses for relation R22 (supports) and variables V3 V19 
1.27	c instanciating clauses for relation R23 (supports) and variables V3 V21 
1.28	c instanciating clauses for relation R24 (supports) and variables V3 V28 
1.30	c instanciating clauses for relation R25 (supports) and variables V3 V35 
1.31	c instanciating clauses for relation R26 (supports) and variables V4 V14 
1.33	c instanciating clauses for relation R27 (supports) and variables V4 V15 
1.35	c instanciating clauses for relation R28 (supports) and variables V4 V17 
1.36	c instanciating clauses for relation R29 (supports) and variables V4 V25 
1.38	c instanciating clauses for relation R30 (supports) and variables V4 V32 
1.39	c instanciating clauses for relation R31 (supports) and variables V4 V35 
1.41	c instanciating clauses for relation R32 (supports) and variables V4 V38 
1.42	c instanciating clauses for relation R33 (supports) and variables V5 V17 
1.44	c instanciating clauses for relation R34 (supports) and variables V5 V38 
1.46	c instanciating clauses for relation R35 (supports) and variables V6 V10 
1.47	c instanciating clauses for relation R36 (supports) and variables V6 V14 
1.49	c instanciating clauses for relation R37 (supports) and variables V6 V24 
1.50	c instanciating clauses for relation R38 (supports) and variables V6 V26 
1.52	c instanciating clauses for relation R39 (supports) and variables V6 V32 
1.53	c instanciating clauses for relation R40 (supports) and variables V7 V12 
1.55	c instanciating clauses for relation R41 (supports) and variables V7 V23 
1.57	c instanciating clauses for relation R42 (supports) and variables V7 V27 
1.58	c instanciating clauses for relation R43 (supports) and variables V8 V10 
1.60	c instanciating clauses for relation R44 (supports) and variables V8 V13 
1.61	c instanciating clauses for relation R45 (supports) and variables V8 V18 
1.63	c instanciating clauses for relation R46 (supports) and variables V8 V22 
1.64	c instanciating clauses for relation R47 (supports) and variables V8 V23 
1.66	c instanciating clauses for relation R48 (supports) and variables V8 V24 
1.68	c instanciating clauses for relation R49 (supports) and variables V8 V25 
1.69	c instanciating clauses for relation R50 (supports) and variables V8 V27 
1.71	c instanciating clauses for relation R51 (supports) and variables V9 V32 
1.72	c instanciating clauses for relation R52 (supports) and variables V9 V38 
1.74	c instanciating clauses for relation R53 (supports) and variables V10 V20 
1.75	c instanciating clauses for relation R54 (supports) and variables V10 V25 
1.77	c instanciating clauses for relation R55 (supports) and variables V10 V28 
1.79	c instanciating clauses for relation R56 (supports) and variables V10 V33 
1.80	c instanciating clauses for relation R57 (supports) and variables V10 V35 
1.82	c instanciating clauses for relation R58 (supports) and variables V11 V29 
1.83	c instanciating clauses for relation R59 (supports) and variables V11 V37 
1.85	c instanciating clauses for relation R60 (supports) and variables V12 V13 
1.86	c instanciating clauses for relation R61 (supports) and variables V12 V18 
1.88	c instanciating clauses for relation R62 (supports) and variables V12 V26 
1.90	c instanciating clauses for relation R63 (supports) and variables V12 V36 
1.91	c instanciating clauses for relation R64 (supports) and variables V13 V25 
1.93	c instanciating clauses for relation R65 (supports) and variables V14 V30 
1.94	c instanciating clauses for relation R66 (supports) and variables V14 V36 
1.96	c instanciating clauses for relation R67 (supports) and variables V15 V17 
1.98	c instanciating clauses for relation R68 (supports) and variables V15 V18 
1.99	c instanciating clauses for relation R69 (supports) and variables V15 V23 
2.01	c instanciating clauses for relation R70 (supports) and variables V15 V30 
2.02	c instanciating clauses for relation R71 (supports) and variables V16 V20 
2.04	c instanciating clauses for relation R72 (supports) and variables V16 V34 
2.06	c instanciating clauses for relation R73 (supports) and variables V16 V35 
2.07	c instanciating clauses for relation R74 (supports) and variables V17 V27 
2.09	c instanciating clauses for relation R75 (supports) and variables V17 V28 
2.10	c instanciating clauses for relation R76 (supports) and variables V17 V33 
2.12	c instanciating clauses for relation R77 (supports) and variables V19 V20 
2.16	c instanciating clauses for relation R78 (supports) and variables V19 V26 
2.17	c instanciating clauses for relation R79 (supports) and variables V19 V38 
2.19	c instanciating clauses for relation R80 (supports) and variables V20 V33 
2.20	c instanciating clauses for relation R81 (supports) and variables V22 V27 
2.22	c instanciating clauses for relation R82 (supports) and variables V22 V28 
2.23	c instanciating clauses for relation R83 (supports) and variables V22 V37 
2.25	c instanciating clauses for relation R84 (supports) and variables V23 V31 
2.27	c instanciating clauses for relation R85 (supports) and variables V23 V34 
2.29	c instanciating clauses for relation R86 (supports) and variables V23 V36 
2.30	c instanciating clauses for relation R87 (supports) and variables V25 V37 
2.32	c instanciating clauses for relation R88 (supports) and variables V26 V27 
2.33	c instanciating clauses for relation R89 (supports) and variables V26 V36 
2.35	c instanciating clauses for relation R90 (supports) and variables V27 V33 
2.36	c instanciating clauses for relation R91 (supports) and variables V28 V29 
2.38	c instanciating clauses for relation R92 (supports) and variables V28 V30 
2.39	c instanciating clauses for relation R93 (supports) and variables V28 V35 
2.41	c instanciating clauses for relation R94 (supports) and variables V29 V30 
2.43	c instanciating clauses for relation R95 (supports) and variables V29 V32 
2.44	c instanciating clauses for relation R96 (supports) and variables V31 V34 
2.46	c instanciating clauses for relation R97 (supports) and variables V31 V38 
2.47	c instanciating clauses for relation R98 (supports) and variables V32 V35 
2.49	c instanciating clauses for relation R99 (supports) and variables V32 V37 
2.50	c instanciating clauses for relation R100 (supports) and variables V32 V38 
2.52	c instanciating clauses for relation R101 (supports) and variables V34 V36 
2.53	c instanciating clauses for relation R102 (supports) and variables V37 V38 
2.57	c ...done
2.57	c #SATvar=404008 #SATclauses=1103671 #CSPpredicates=0

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-225160-1168068534 -o ROOT/results/node52/solver-225160-1168068534 -C 1800 -M 900 /tmp/evaluation/225160-1168068534/CSPtoSAT+minisat /tmp/evaluation/225160-1168068534/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.77 0.93 0.98 5/73 27261
/proc/meminfo: memFree=1519896/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=44256 CPUtime=0.3
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 16732 0 0 0 23 7 0 0 20 0 1 0 155252361 45318144 9302 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134587648 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 11064 9302 703 52 0 9432 0

[startup+0.407933 s]
/proc/loadavg: 0.77 0.93 0.98 5/73 27261
/proc/meminfo: memFree=1519896/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=55948 CPUtime=0.39
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 21832 0 0 0 30 9 0 0 20 0 1 0 155252361 57290752 11938 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4158495827 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 13987 11938 703 52 0 12355 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 55948

[startup+0.816982 s]
/proc/loadavg: 0.77 0.93 0.98 5/73 27261
/proc/meminfo: memFree=1519896/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=108024 CPUtime=0.79
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 44404 0 0 0 60 19 0 0 24 0 1 0 155252361 110616576 23727 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134588304 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 27006 23728 703 52 0 25374 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 108024

[startup+1.63802 s]
/proc/loadavg: 0.77 0.93 0.98 3/73 27261
/proc/meminfo: memFree=1226648/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=186624 CPUtime=1.61
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 65736 0 0 0 132 29 0 0 25 0 1 0 155252361 191102976 42625 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4744827 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 46656 42626 705 52 0 45024 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 186624

[startup+3.27513 s]
/proc/loadavg: 0.77 0.93 0.98 3/73 27261
/proc/meminfo: memFree=1044604/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=164344 CPUtime=3.21
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 85672 0 0 0 283 38 0 0 25 0 1 0 155252361 168288256 38653 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134673625 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 41086 38653 714 52 0 39454 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 164344

[startup+6.55435 s]
/proc/loadavg: 0.87 0.95 0.98 3/73 27261
/proc/meminfo: memFree=1213400/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=165708 CPUtime=6.48
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 85993 0 0 0 610 38 0 0 25 0 1 0 155252361 169684992 38974 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 41427 38974 714 52 0 39795 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 165708

[startup+13.0218 s]
/proc/loadavg: 0.96 0.97 0.99 3/73 27261
/proc/meminfo: memFree=1200920/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=172244 CPUtime=12.92
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 87651 0 0 0 1252 40 0 0 25 0 1 0 155252361 176377856 40632 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671298 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 43061 40632 720 52 0 41429 0
Current children cumulated CPU time (s) 12.92
Current children cumulated vsize (KiB) 172244

[startup+25.8497 s]
/proc/loadavg: 1.19 1.02 1.01 3/73 27261
/proc/meminfo: memFree=1180760/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=182072 CPUtime=25.7
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 90086 0 0 0 2527 43 0 0 25 0 1 0 155252361 186441728 43067 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671360 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 45518 43067 720 52 0 43886 0
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (KiB) 182072

[startup+51.5014 s]
/proc/loadavg: 1.47 1.10 1.03 3/73 27261
/proc/meminfo: memFree=1150232/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=197076 CPUtime=51.22
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 93887 0 0 0 5076 46 0 0 25 0 1 0 155252361 201805824 46833 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671360 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 49269 46833 720 52 0 47637 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 197076

[startup+102.801 s]
/proc/loadavg: 1.77 1.23 1.08 3/73 27261
/proc/meminfo: memFree=1110488/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=220480 CPUtime=102.29
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 99800 0 0 0 10178 51 0 0 25 0 1 0 155252361 225771520 52711 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 55120 52711 720 52 0 53488 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 220480

[startup+162.82 s]
/proc/loadavg: 1.91 1.37 1.13 3/73 27261
/proc/meminfo: memFree=1071064/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=239884 CPUtime=162.07
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 104712 0 0 0 16152 55 0 0 25 0 1 0 155252361 245641216 57582 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134673113 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 59971 57582 720 52 0 58339 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 239884

[startup+222.842 s]
/proc/loadavg: 2.02 1.50 1.19 3/73 27261
/proc/meminfo: memFree=1043608/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=255220 CPUtime=221.83
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 108557 0 0 0 22125 58 0 0 25 0 1 0 155252361 261345280 61385 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134673383 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 63805 61385 720 52 0 62173 0
Current children cumulated CPU time (s) 221.83
Current children cumulated vsize (KiB) 255220

[startup+282.855 s]
/proc/loadavg: 2.00 1.59 1.24 3/73 27261
/proc/meminfo: memFree=1019288/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=266508 CPUtime=281.55
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 111379 0 0 0 28095 60 0 0 25 0 1 0 155252361 272904192 64207 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 66627 64207 720 52 0 64995 0
Current children cumulated CPU time (s) 281.55
Current children cumulated vsize (KiB) 266508

[startup+342.871 s]
/proc/loadavg: 2.00 1.66 1.28 3/73 27261
/proc/meminfo: memFree=1000344/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=273440 CPUtime=341.31
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 113114 0 0 0 34070 61 0 0 25 0 1 0 155252361 280002560 65942 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134672971 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 68360 65942 720 52 0 66728 0
Current children cumulated CPU time (s) 341.31
Current children cumulated vsize (KiB) 273440

[startup+402.883 s]
/proc/loadavg: 2.00 1.72 1.32 3/73 27261
/proc/meminfo: memFree=985560/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=281860 CPUtime=401.07
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 115218 0 0 0 40044 63 0 0 25 0 1 0 155252361 288624640 68007 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134672955 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 70465 68007 720 52 0 68833 0
Current children cumulated CPU time (s) 401.07
Current children cumulated vsize (KiB) 281860

[startup+462.898 s]
/proc/loadavg: 2.00 1.77 1.36 3/73 27261
/proc/meminfo: memFree=962648/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=292348 CPUtime=460.79
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 117863 0 0 0 46014 65 0 0 25 0 1 0 155252361 299364352 70652 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4744827 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 73087 70652 720 52 0 71455 0
Current children cumulated CPU time (s) 460.79
Current children cumulated vsize (KiB) 292348

[startup+522.919 s]
/proc/loadavg: 2.00 1.81 1.40 3/73 27261
/proc/meminfo: memFree=942040/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=305544 CPUtime=520.55
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 121170 0 0 0 51988 67 0 0 25 0 1 0 155252361 312877056 73959 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671360 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 76386 73959 720 52 0 74754 0
Current children cumulated CPU time (s) 520.55
Current children cumulated vsize (KiB) 305544

[startup+582.933 s]
/proc/loadavg: 2.04 1.85 1.44 3/73 27261
/proc/meminfo: memFree=925272/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=314028 CPUtime=580.31
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 123268 0 0 0 57962 69 0 0 25 0 1 0 155252361 321564672 76057 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671347 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 78507 76057 720 52 0 76875 0
Current children cumulated CPU time (s) 580.31
Current children cumulated vsize (KiB) 314028

[startup+642.951 s]
/proc/loadavg: 2.01 1.88 1.47 3/73 27261
/proc/meminfo: memFree=906456/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=325552 CPUtime=640.04
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 126229 0 0 0 63934 70 0 0 25 0 1 0 155252361 333365248 78977 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134673403 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 81388 78977 720 52 0 79756 0
Current children cumulated CPU time (s) 640.04
Current children cumulated vsize (KiB) 325552

[startup+702.963 s]
/proc/loadavg: 2.07 1.91 1.51 3/73 27261
/proc/meminfo: memFree=892312/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=332492 CPUtime=699.79
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 127963 0 0 0 69908 71 0 0 25 0 1 0 155252361 340471808 80711 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 83123 80711 720 52 0 81491 0
Current children cumulated CPU time (s) 699.79
Current children cumulated vsize (KiB) 332492

[startup+762.973 s]
/proc/loadavg: 2.02 1.92 1.54 3/73 27261
/proc/meminfo: memFree=880536/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=337132 CPUtime=759.55
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 129108 0 0 0 75883 72 0 0 25 0 1 0 155252361 345223168 81856 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671360 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 84283 81856 720 52 0 82651 0
Current children cumulated CPU time (s) 759.55
Current children cumulated vsize (KiB) 337132

[startup+822.984 s]
/proc/loadavg: 2.01 1.94 1.56 3/73 27261
/proc/meminfo: memFree=865304/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=347920 CPUtime=819.28
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 131818 0 0 0 81854 74 0 0 25 0 1 0 155252361 356270080 84566 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 86980 84566 720 52 0 85348 0
Current children cumulated CPU time (s) 819.28
Current children cumulated vsize (KiB) 347920

[startup+882.995 s]
/proc/loadavg: 2.00 1.94 1.58 3/73 27261
/proc/meminfo: memFree=854040/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=355504 CPUtime=879.02
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 133713 0 0 0 87826 76 0 0 25 0 1 0 155252361 364036096 86461 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134672965 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 88876 86461 720 52 0 87244 0
Current children cumulated CPU time (s) 879.02
Current children cumulated vsize (KiB) 355504

[startup+943.006 s]
/proc/loadavg: 2.00 1.95 1.61 3/73 27261
/proc/meminfo: memFree=845592/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=361808 CPUtime=938.78
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 135267 0 0 0 93801 77 0 0 25 0 1 0 155252361 370491392 88015 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671422 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 90452 88015 720 52 0 88820 0
Current children cumulated CPU time (s) 938.78
Current children cumulated vsize (KiB) 361808

[startup+1003.02 s]
/proc/loadavg: 2.03 1.97 1.64 3/73 27261
/proc/meminfo: memFree=833240/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=370200 CPUtime=998.5
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 137415 0 0 0 99772 78 0 0 25 0 1 0 155252361 379084800 90123 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 92550 90123 720 52 0 90918 0
Current children cumulated CPU time (s) 998.5
Current children cumulated vsize (KiB) 370200

[startup+1063.03 s]
/proc/loadavg: 2.01 1.97 1.65 3/73 27261
/proc/meminfo: memFree=816600/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=380140 CPUtime=1058.25
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 139886 0 0 0 105745 80 0 0 25 0 1 0 155252361 389263360 92594 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671356 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 95035 92594 720 52 0 93403 0
Current children cumulated CPU time (s) 1058.25
Current children cumulated vsize (KiB) 380140

[startup+1123.04 s]
/proc/loadavg: 2.00 1.97 1.67 3/73 27261
/proc/meminfo: memFree=805016/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=387192 CPUtime=1118
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 141660 0 0 0 111719 81 0 0 25 0 1 0 155252361 396484608 94368 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671344 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 96798 94368 720 52 0 95166 0
Current children cumulated CPU time (s) 1118
Current children cumulated vsize (KiB) 387192

[startup+1183.05 s]
/proc/loadavg: 2.00 1.97 1.69 3/73 27261
/proc/meminfo: memFree=796184/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=392240 CPUtime=1177.74
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 142943 0 0 0 117692 82 0 0 25 0 1 0 155252361 401653760 95651 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 98060 95651 720 52 0 96428 0
Current children cumulated CPU time (s) 1177.74
Current children cumulated vsize (KiB) 392240

[startup+1243.05 s]
/proc/loadavg: 2.00 1.97 1.71 3/73 27261
/proc/meminfo: memFree=788952/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=396872 CPUtime=1237.47
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 144088 0 0 0 123665 82 0 0 25 0 1 0 155252361 406396928 96796 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671360 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 99218 96796 720 52 0 97586 0
Current children cumulated CPU time (s) 1237.47
Current children cumulated vsize (KiB) 396872

[startup+1303.15 s]
/proc/loadavg: 2.00 1.97 1.72 3/73 27261
/proc/meminfo: memFree=782872/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=400736 CPUtime=1297.31
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 145053 0 0 0 129648 83 0 0 25 0 1 0 155252361 410353664 97761 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671436 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 100184 97761 720 52 0 98552 0
Current children cumulated CPU time (s) 1297.31
Current children cumulated vsize (KiB) 400736

[startup+1363.16 s]
/proc/loadavg: 2.12 2.00 1.75 3/73 27261
/proc/meminfo: memFree=777816/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=403540 CPUtime=1357.04
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 145741 0 0 0 135620 84 0 0 25 0 1 0 155252361 413224960 98449 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134672950 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 100885 98449 720 52 0 99253 0
Current children cumulated CPU time (s) 1357.04
Current children cumulated vsize (KiB) 403540

[startup+1423.16 s]
/proc/loadavg: 2.04 2.00 1.76 3/73 27261
/proc/meminfo: memFree=766808/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=405852 CPUtime=1416.79
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 146337 0 0 0 141595 84 0 0 25 0 1 0 155252361 415592448 99045 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134673063 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 101463 99045 720 52 0 99831 0
Current children cumulated CPU time (s) 1416.79
Current children cumulated vsize (KiB) 405852

[startup+1483.18 s]
/proc/loadavg: 2.01 2.00 1.77 3/73 27261
/proc/meminfo: memFree=755416/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=410708 CPUtime=1476.54
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 147541 0 0 0 147569 85 0 0 25 0 1 0 155252361 420564992 100249 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134672971 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 102677 100249 720 52 0 101045 0
Current children cumulated CPU time (s) 1476.54
Current children cumulated vsize (KiB) 410708

[startup+1543.19 s]
/proc/loadavg: 2.08 2.02 1.79 3/73 27261
/proc/meminfo: memFree=741400/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=420320 CPUtime=1536.27
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 149936 0 0 0 153541 86 0 0 25 0 1 0 155252361 430407680 102644 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 105080 102644 720 52 0 103448 0
Current children cumulated CPU time (s) 1536.27
Current children cumulated vsize (KiB) 420320

[startup+1603.2 s]
/proc/loadavg: 2.03 2.01 1.80 3/73 27261
/proc/meminfo: memFree=723992/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=428152 CPUtime=1596.03
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 151917 0 0 0 159515 88 0 0 25 0 1 0 155252361 438427648 104625 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134673403 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 107038 104625 720 52 0 105406 0
Current children cumulated CPU time (s) 1596.03
Current children cumulated vsize (KiB) 428152

[startup+1663.21 s]
/proc/loadavg: 2.01 2.00 1.81 3/73 27261
/proc/meminfo: memFree=713688/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=434136 CPUtime=1655.77
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 153391 0 0 0 165488 89 0 0 25 0 1 0 155252361 444555264 106099 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134672971 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 108534 106099 720 52 0 106902 0
Current children cumulated CPU time (s) 1655.77
Current children cumulated vsize (KiB) 434136

[startup+1723.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/73 27261
/proc/meminfo: memFree=708312/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=438460 CPUtime=1715.59
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 154490 0 0 0 171469 90 0 0 25 0 1 0 155252361 448983040 107198 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 109615 107198 720 52 0 107983 0
Current children cumulated CPU time (s) 1715.59
Current children cumulated vsize (KiB) 438460

[startup+1783.32 s]
/proc/loadavg: 2.00 2.00 1.83 3/73 27261
/proc/meminfo: memFree=692056/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=448908 CPUtime=1775.35
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 157142 0 0 0 177443 92 0 0 25 0 1 0 155252361 459681792 109810 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134671386 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 112227 109810 720 52 0 110595 0
Current children cumulated CPU time (s) 1775.35
Current children cumulated vsize (KiB) 448908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.15 s]
/proc/loadavg: 2.00 2.00 1.83 2/68 27273
/proc/meminfo: memFree=1081600/2055920 swapFree=4192812/4192956
[pid=27260] ppid=27255 vsize=452040 CPUtime=1800.05
/proc/27260/stat : 27260 (CSPtoSAT+minisa) R 27255 27260 27148 0 -1 4194304 157943 0 0 0 179913 92 0 0 25 0 1 0 155252361 462888960 110611 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134673085 0 0 4096 0 0 0 0 17 0 0 0
/proc/27260/statm: 113010 110611 720 52 0 111378 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 452040

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.22
CPU time (s): 1800.13
CPU user time (s): 1799.13
CPU system time (s): 0.999848
CPU usage (%): 99.5527
Max. virtual memory (cumulated for all children) (KiB): 452040

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

runsolver used 1.67175 s user time and 4.89825 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Sat Jan  6 07:28:56 UTC 2007


IDJOB= 225160
IDBENCH= 5826
FILE ID= node52/225160-1168068534

PBS_JOBID= 3475910

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-17_ext.xml
COMMAND LINE= /tmp/evaluation/225160-1168068534/CSPtoSAT+minisat /tmp/evaluation/225160-1168068534/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-225160-1168068534 -o ROOT/results/node52/solver-225160-1168068534 -C 1800 -M 900  /tmp/evaluation/225160-1168068534/CSPtoSAT+minisat /tmp/evaluation/225160-1168068534/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  d289aba8ef3634ad11565c09f6353321

RANDOM SEED= 932362632

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.232
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.232
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:       1521120 kB
Buffers:         35280 kB
Cached:         403116 kB
SwapCached:          0 kB
Active:          48480 kB
Inactive:       409972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1521120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4824 kB
Writeback:           0 kB
Mapped:          30200 kB
Slab:            62020 kB
Committed_AS:  3105844 kB
PageTables:       1704 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= 66551 MiB



End job on node52 on Sat Jan  6 07:59:08 UTC 2007