Trace number 1732790

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
satake 2009-03-22? (TO) 1200.14 601.472

General information on the benchmark

NameCRAFTED/ramseycube/
Q3inK13.cnf
MD5SUMee4a2d6030f643cfa5b109579b0e5c45
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables78
Number of clauses2162160
Sum of the clauses size25945920
Maximum clause length12
Minimum clause length12
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52162160

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1732790-1240783158/watcher-1732790-1240783158 -o /tmp/evaluation-result-1732790-1240783158/solver-1732790-1240783158 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732790-1240783158.cnf 3 1200 

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: 0.92 0.95 0.98 3/64 1011
/proc/meminfo: memFree=1559020/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=5120 CPUtime=0
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 754 0 0 0 0 0 0 0 18 0 4 0 106349098 5242880 739 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 1280 746 65 163 0 1115 0
[pid=1011/tid=1012] ppid=1009 vsize=5120 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106349098 5242880 768 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=5120 CPUtime=0
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 701 0 0 0 0 0 0 0 19 0 4 0 106349098 5242880 777 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=5120 CPUtime=0
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 106349098 5242880 785 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.075999 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 1011
/proc/meminfo: memFree=1559020/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=66568 CPUtime=0.14
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 14352 0 0 0 0 14 0 0 18 0 4 0 106349098 68165632 14337 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 16642 14346 65 163 0 16477 0
[pid=1011/tid=1012] ppid=1009 vsize=66568 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106349098 68165632 14352 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=66568 CPUtime=0.07
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 7691 0 0 0 0 7 0 0 18 0 4 0 106349098 68165632 14360 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=66568 CPUtime=0.06
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 6594 0 0 0 0 6 0 0 19 0 4 0 106349098 68165632 14367 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 66568

[startup+0.102004 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 1011
/proc/meminfo: memFree=1559020/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=132104 CPUtime=0.19
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 19042 0 0 0 0 19 0 0 18 0 4 0 106349098 135274496 19028 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 33026 19038 65 163 0 32861 0
[pid=1011/tid=1012] ppid=1009 vsize=132104 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106349098 135274496 19044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=132104 CPUtime=0.09
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 10132 0 0 0 0 9 0 0 18 0 4 0 106349098 135274496 19052 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=132104 CPUtime=0.09
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 8845 0 0 0 0 9 0 0 19 0 4 0 106349098 135274496 19060 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 132104

[startup+0.302013 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 1011
/proc/meminfo: memFree=1559020/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=186108 CPUtime=0.57
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 46216 0 0 0 11 46 0 0 18 0 4 0 106349098 190574592 46201 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 46527 46201 65 163 0 46362 0
[pid=1011/tid=1012] ppid=1009 vsize=186108 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106349098 190574592 46202 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=186108 CPUtime=0.28
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 23136 0 0 0 6 22 0 0 17 0 4 0 106349098 190574592 46202 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=186108 CPUtime=0.28
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 22991 0 0 0 5 23 0 0 17 0 4 0 106349098 190574592 46202 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 186108

[startup+0.701055 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 1011
/proc/meminfo: memFree=1559020/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=215896 CPUtime=1.35
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 52857 0 0 0 85 50 0 0 18 0 4 0 106349098 221077504 52842 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 53974 52842 65 163 0 53809 0
[pid=1011/tid=1012] ppid=1009 vsize=215896 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106349098 221077504 52842 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=215896 CPUtime=0.68
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 26646 0 0 0 43 25 0 0 18 0 4 0 106349098 221077504 52844 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=215896 CPUtime=0.65
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 26123 0 0 0 41 24 0 0 18 0 4 0 106349098 221077504 52844 1992294400 134512640 135180984 4294956208 18446744073709551615 134513845 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 215896

[startup+1.50115 s]
/proc/loadavg: 0.92 0.95 0.98 3/68 1015
/proc/meminfo: memFree=1325260/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=274168 CPUtime=2.94
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 66455 0 0 0 234 60 0 0 18 0 4 0 106349098 280748032 66440 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 68542 66441 65 163 0 68377 0
[pid=1011/tid=1012] ppid=1009 vsize=274168 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106349098 280748032 66441 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=274168 CPUtime=1.48
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 33654 0 0 0 117 31 0 0 18 0 4 0 106349098 280748032 66441 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=274168 CPUtime=1.45
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 32712 0 0 0 116 29 0 0 18 0 4 0 106349098 280748032 66442 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 274168

[startup+3.10133 s]
/proc/loadavg: 0.92 0.95 0.98 3/68 1015
/proc/meminfo: memFree=1251276/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=394992 CPUtime=6.13
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 93810 0 0 0 537 76 0 0 18 0 4 0 106349098 404471808 93795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 98748 93795 65 163 0 98583 0
[pid=1011/tid=1012] ppid=1009 vsize=394992 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106349098 404471808 93796 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=394992 CPUtime=3.08
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 47858 0 0 0 269 39 0 0 18 0 4 0 106349098 404471808 93796 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=394992 CPUtime=3.03
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 45863 0 0 0 267 36 0 0 18 0 4 0 106349098 404471808 93796 1992294400 134512640 135180984 4294956208 18446744073709551615 134513883 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 394992

[startup+6.30269 s]
/proc/loadavg: 1.09 0.99 0.99 3/68 1015
/proc/meminfo: memFree=1258508/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=322544 CPUtime=12.5
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 120621 0 0 0 1156 94 0 0 18 0 4 0 106349098 330285056 75614 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 80636 75614 69 163 0 80471 0
[pid=1011/tid=1012] ppid=1009 vsize=322544 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 106349098 330285056 75614 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=322544 CPUtime=6.28
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 60441 0 0 0 580 48 0 0 25 0 4 0 106349098 330285056 75614 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=322544 CPUtime=6.21
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 60089 0 0 0 576 45 0 0 25 0 4 0 106349098 330285056 75614 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 322544

[startup+12.7014 s]
/proc/loadavg: 1.16 1.00 1.00 3/68 1015
/proc/meminfo: memFree=1247820/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=338144 CPUtime=25.27
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 122895 0 0 0 2431 96 0 0 18 0 4 0 106349098 346259456 77888 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 84536 77888 69 163 0 84371 0
[pid=1011/tid=1012] ppid=1009 vsize=338144 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 106349098 346259456 77888 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=338144 CPUtime=12.67
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 61674 0 0 0 1218 49 0 0 25 0 4 0 106349098 346259456 77888 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=338144 CPUtime=12.58
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 61130 0 0 0 1212 46 0 0 25 0 4 0 106349098 346259456 77888 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 338144

[startup+25.5018 s]
/proc/loadavg: 1.34 1.05 1.02 3/68 1015
/proc/meminfo: memFree=1238156/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=353820 CPUtime=50.81
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 125341 0 0 0 4982 99 0 0 18 0 4 0 106349098 362311680 80334 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 88455 80334 69 163 0 88290 0
[pid=1011/tid=1012] ppid=1009 vsize=353820 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 106349098 362311680 80334 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=353820 CPUtime=25.47
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 62717 0 0 0 2497 50 0 0 25 0 4 0 106349098 362311680 80334 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=353820 CPUtime=25.33
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 62533 0 0 0 2485 48 0 0 25 0 4 0 106349098 362311680 80334 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 353820

[startup+51.1017 s]
/proc/loadavg: 1.57 1.13 1.04 3/68 1015
/proc/meminfo: memFree=1229964/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=364596 CPUtime=101.83
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 127440 0 0 0 10082 101 0 0 18 0 4 0 106349098 373346304 82433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 91149 82433 69 163 0 90984 0
[pid=1011/tid=1012] ppid=1009 vsize=364596 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 106349098 373346304 82433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1011/tid=1013] ppid=1009 vsize=364596 CPUtime=51.05
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 63683 0 0 0 5054 51 0 0 25 0 4 0 106349098 373346304 82433 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=364596 CPUtime=50.76
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 63666 0 0 0 5027 49 0 0 25 0 4 0 106349098 373346304 82433 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 364596

[startup+102.306 s]
/proc/loadavg: 1.83 1.27 1.09 3/68 1021
/proc/meminfo: memFree=1224012/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=372960 CPUtime=204
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 128859 0 0 0 20297 103 0 0 18 0 4 0 106349098 381911040 83852 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 93240 83852 69 163 0 93075 0
[pid=1011/tid=1012] ppid=1009 vsize=372960 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 106349098 381911040 83852 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1011/tid=1013] ppid=1009 vsize=372960 CPUtime=102.25
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 64416 0 0 0 10172 53 0 0 25 0 4 0 106349098 381911040 83852 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=372960 CPUtime=101.74
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 64352 0 0 0 10124 50 0 0 25 0 4 0 106349098 381911040 83852 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 372960

[startup+162.301 s]
/proc/loadavg: 1.93 1.39 1.14 3/68 1021
/proc/meminfo: memFree=1220684/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=377360 CPUtime=323.73
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 129654 0 0 0 32268 105 0 0 18 0 4 0 106349098 386416640 84647 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 94340 84647 69 163 0 94175 0
[pid=1011/tid=1012] ppid=1009 vsize=377360 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 106349098 386416640 84647 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1011/tid=1013] ppid=1009 vsize=377360 CPUtime=162.21
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 64793 0 0 0 16168 53 0 0 25 0 4 0 106349098 386416640 84647 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=377360 CPUtime=161.5
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 64770 0 0 0 16100 50 0 0 25 0 4 0 106349098 386416640 84647 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 377360

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.19 3/68 1021
/proc/meminfo: memFree=1217996/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=382188 CPUtime=443.48
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 130322 0 0 0 44242 106 0 0 18 0 4 0 106349098 391360512 85315 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 95547 85315 69 163 0 95382 0
[pid=1011/tid=1012] ppid=1009 vsize=382188 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 106349098 391360512 85315 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1011/tid=1013] ppid=1009 vsize=382188 CPUtime=222.19
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 65175 0 0 0 22166 53 0 0 25 0 4 0 106349098 391360512 85315 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=382188 CPUtime=221.26
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 65056 0 0 0 22075 51 0 0 25 0 4 0 106349098 391360512 85315 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.48
Current children cumulated vsize (KiB) 382188

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/68 1021
/proc/meminfo: memFree=1216908/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=383356 CPUtime=563.23
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 130654 0 0 0 56216 107 0 0 18 0 4 0 106349098 392556544 85647 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 95839 85647 70 163 0 95674 0
[pid=1011/tid=1012] ppid=1009 vsize=383356 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 9 0 0 0 0 0 0 0 16 0 4 0 106349098 392556544 85647 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=383356 CPUtime=282.18
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 65334 0 0 0 28164 54 0 0 25 0 4 0 106349098 392556544 85647 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=383356 CPUtime=281.02
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 65228 0 0 0 28051 51 0 0 25 0 4 0 106349098 392556544 85647 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (KiB) 383356

[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.29 3/68 1021
/proc/meminfo: memFree=1214412/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=387348 CPUtime=682.96
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 131259 0 0 0 68189 107 0 0 18 0 4 0 106349098 396644352 86252 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 96837 86252 70 163 0 96672 0
[pid=1011/tid=1012] ppid=1009 vsize=387348 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 9 0 0 0 0 0 0 0 16 0 4 0 106349098 396644352 86252 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1011/tid=1013] ppid=1009 vsize=387348 CPUtime=342.15
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 65663 0 0 0 34161 54 0 0 25 0 4 0 106349098 396644352 86252 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=387348 CPUtime=340.79
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 65504 0 0 0 34027 52 0 0 25 0 4 0 106349098 396644352 86252 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.96
Current children cumulated vsize (KiB) 387348

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/68 1021
/proc/meminfo: memFree=1213324/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=388148 CPUtime=802.71
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 131548 0 0 0 80163 108 0 0 18 0 4 0 106349098 397463552 86541 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 97037 86541 70 163 0 96872 0
[pid=1011/tid=1012] ppid=1009 vsize=388148 CPUtime=0
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 9 0 0 0 0 0 0 0 16 0 4 0 106349098 397463552 86541 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=388148 CPUtime=402.14
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 65814 0 0 0 40159 55 0 0 25 0 4 0 106349098 397463552 86541 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=388148 CPUtime=400.56
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 65642 0 0 0 40004 52 0 0 25 0 4 0 106349098 397463552 86541 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.71
Current children cumulated vsize (KiB) 388148

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 1021
/proc/meminfo: memFree=1211532/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=390344 CPUtime=922.45
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 131980 0 0 0 92136 109 0 0 18 0 4 0 106349098 399712256 86973 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 97586 86973 70 163 0 97421 0
[pid=1011/tid=1012] ppid=1009 vsize=390344 CPUtime=0.01
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 9 0 0 0 0 1 0 0 16 0 4 0 106349098 399712256 86973 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=390344 CPUtime=462.11
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 66154 0 0 0 46156 55 0 0 25 0 4 0 106349098 399712256 86973 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=390344 CPUtime=460.31
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 65734 0 0 0 45979 52 0 0 25 0 4 0 106349098 399712256 86973 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.45
Current children cumulated vsize (KiB) 390344

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.40 3/68 1021
/proc/meminfo: memFree=1209484/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=394708 CPUtime=1042.19
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 132481 0 0 0 104109 110 0 0 18 0 4 0 106349098 404180992 87474 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 98677 87474 70 163 0 98512 0
[pid=1011/tid=1012] ppid=1009 vsize=394708 CPUtime=0.01
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 9 0 0 0 0 1 0 0 16 0 4 0 106349098 404180992 87474 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=394708 CPUtime=522.08
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 66297 0 0 0 52153 55 0 0 25 0 4 0 106349098 404180992 87474 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=394708 CPUtime=520.08
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 66092 0 0 0 51955 53 0 0 25 0 4 0 106349098 404180992 87474 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.19
Current children cumulated vsize (KiB) 394708

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 1021
/proc/meminfo: memFree=1208716/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=395664 CPUtime=1161.94
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 132676 0 0 0 116083 111 0 0 18 0 4 0 106349098 405159936 87669 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 98916 87669 70 163 0 98751 0
[pid=1011/tid=1012] ppid=1009 vsize=395664 CPUtime=0.01
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 9 0 0 0 0 1 0 0 16 0 4 0 106349098 405159936 87669 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1011/tid=1013] ppid=1009 vsize=395664 CPUtime=582.06
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 66388 0 0 0 58151 55 0 0 25 0 4 0 106349098 405159936 87669 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=395664 CPUtime=579.84
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 66196 0 0 0 57931 53 0 0 25 0 4 0 106349098 405159936 87669 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.94
Current children cumulated vsize (KiB) 395664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 1021
/proc/meminfo: memFree=1208460/2055920 swapFree=4181272/4192956
[pid=1011] ppid=1009 vsize=395796 CPUtime=1200.06
/proc/1011/stat : 1011 (satake) S 1009 1011 860 0 -1 4194304 132729 0 0 0 119895 111 0 0 18 0 4 0 106349098 405295104 87722 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1011/statm: 98949 87722 70 163 0 98784 0
[pid=1011/tid=1012] ppid=1009 vsize=395796 CPUtime=0.01
/proc/1011/task/1012/stat : 1012 (satake) S 1009 1011 860 0 -1 4194368 9 0 0 0 0 1 0 0 16 0 4 0 106349098 405295104 87722 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1011/tid=1013] ppid=1009 vsize=395796 CPUtime=601.16
/proc/1011/task/1013/stat : 1013 (satake) R 1009 1011 860 0 -1 4194368 66418 0 0 0 60060 56 0 0 25 0 4 0 106349098 405295104 87722 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1011/tid=1014] ppid=1009 vsize=395796 CPUtime=598.87
/proc/1011/task/1014/stat : 1014 (satake) R 1009 1011 860 0 -1 4194368 66219 0 0 0 59834 53 0 0 25 0 4 0 106349098 405295104 87722 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 395796

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): 601.472
CPU time (s): 1200.14
CPU user time (s): 1198.97
CPU system time (s): 1.17482
CPU usage (%): 199.534
Max. virtual memory (cumulated for all children) (KiB): 469228

deleting IPC queue 1474560
deleting IPC queue 1507329
deleting IPC queue 1540098
deleting IPC queue 1572867
deleting IPC queue 1605636
deleting IPC queue 1638405
deleting IPC queue 1671174
deleting IPC queue 1703943
deleting IPC queue 1736712

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

runsolver used 0.582911 second user time and 1.61575 second system time

The end

Launcher Data 

Begin job on node35 at 2009-04-26 23:59:25
IDJOB=1732790
IDBENCH=71127
IDSOLVER=553
FILE ID=node35/1732790-1240783158
PBS_JOBID= 9187284
Free space on /tmp= 66312 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/ramseycube/Q3inK13.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1732790-1240783158/watcher-1732790-1240783158 -o /tmp/evaluation-result-1732790-1240783158/solver-1732790-1240783158 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732790-1240783158.cnf 3 1200

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

MD5SUM BENCH= ee4a2d6030f643cfa5b109579b0e5c45
RANDOM SEED=790133052

node35.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.214
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.214
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:       1559500 kB
Buffers:         48780 kB
Cached:         389016 kB
SwapCached:       5700 kB
Active:         174372 kB
Inactive:       271432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1559500 kB
SwapTotal:     4192956 kB
SwapFree:      4181272 kB
Dirty:           90904 kB
Writeback:           0 kB
Mapped:          13572 kB
Slab:            36656 kB
Committed_AS:   462936 kB
PageTables:       1396 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= 66312 MiB
End job on node35 at 2009-04-27 00:09:29