Trace number 3260242

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-4SAT 186.548 46.8356

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-7x6.cnf
MD5SUMd97201611a1145eb2ceef5296c6c3ed9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables168
Number of clauses1554
Sum of the clauses size5712
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2252
Number of clauses of size 30
Number of clauses of size 41302
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Command: HOME/ttsth-5-4 -num-threads 4 HOME/instance-3260242-1304063811.cnf 
0.00/0.00	c Using SATTIMEOUT of 4800
0.00/0.00	c Using SATRAM of 15500
0.00/0.00	c Size of subset node = 32
0.00/0.00	c Variables = 168
0.00/0.00	c Clauses = 1554
0.00/0.00	c Literals = 5712
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 168
0.00/0.00	c Clauses = 1554
0.00/0.00	c Literals = 5712
0.00/0.00	c a2
0.00/0.00	c a1
0.02/0.02	c Independent sub-problems = 1
0.02/0.02	c Sub-problem with 168 variables and 1554 clauses
0.02/0.02	c using permutation method 4
0.02/0.02	c count = 2
0.02/0.02	c Ordering finished 0.020 seconds
0.02/0.02	c mapped 0.020 seconds
0.02/0.02	c permuted 0.020 seconds
0.02/0.02	c about to sort
0.02/0.02	c sorted
0.02/0.03	c clauses now 1554
0.02/0.03	c init finished 0.020 seconds
0.02/0.03	c tree built 0.030 seconds
0.02/0.03	c 
0.02/0.03	c PA progress                      | CPU progress Partial assignments | improvements                 ucps  CPU time       PA/sec  nodes
0.02/0.03	c ---------------------------------|----------------------------------|--------------------------------------------------------------------
0.02/0.03	c ................................ | ..........                    |                                  0.1         0.0             
0.02/0.03	c ................................ | ..........                  1 |                                  0.1        10.0             
0.02/0.03	c ................................ | ..........                  2 |                                  0.1        20.0             
0.02/0.03	c ................................ | ..........                  3 |                                  0.1        30.0             
0.02/0.03	c ................................ | ..........                  4 |                                  0.1        40.0             
0.02/0.03	c ................................ | ..........                  5 |                                  0.1        50.0             
0.02/0.06	c ................................ | ..........               1000 | 26           3131                0.1     10000.0        21313
96.03/24.12	c ................................ | ..........             847000 | 199438       1456813            96.1      8811.9      7769118
186.46/46.81	c Thread 2 found 0x71463c0
186.46/46.81	c Partial assignments = 1410314, improvements = 345750  ucps = 2286595 PA/sec = 7561.19, subset nodes = 12170106
186.46/46.81	s SATISFIABLE
186.46/46.81	v -1 2 -3 -4 -5 -6 -7 8 -9 10 
186.46/46.81	v -11 -12 -13 -14 15 -16 17 -18 -19 -20 
186.46/46.81	v -21 -22 23 -24 -25 -26 -27 28 -29 -30 
186.46/46.81	v 31 -32 -33 -34 -35 36 -37 38 -39 -40 
186.46/46.81	v -41 -42 43 -44 -45 46 -47 -48 -49 50 
186.46/46.81	v -51 -52 -53 -54 55 -56 -57 -58 59 -60 
186.46/46.81	v -61 62 -63 -64 -65 66 -67 -68 -69 -70 
186.46/46.81	v 71 -72 -73 74 -75 -76 -77 78 -79 -80 
186.46/46.81	v -81 -82 83 -84 -85 -86 87 -88 -89 -90 
186.46/46.81	v 91 -92 -93 94 -95 -96 -97 -98 99 -100 
186.46/46.81	v -101 -102 103 -104 -105 106 -107 -108 -109 -110 
186.46/46.81	v 111 -112 -113 114 -115 -116 -117 118 -119 -120 
186.46/46.81	v -121 -122 123 -124 -125 126 -127 -128 -129 130 
186.46/46.81	v -131 -132 -133 134 -135 -136 -137 -138 139 -140 
186.46/46.81	v -141 -142 143 -144 -145 -146 147 -148 -149 150 
186.46/46.81	v -151 -152 -153 -154 155 -156 -157 -158 -159 160 
186.46/46.81	v -161 162 -163 -164 -165 -166 -167 168 0
186.46/46.81	c CPU time = 186.52 seconds
186.46/46.81	c Elapsed time = 47 seconds

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3260242-1304063811/watcher-3260242-1304063811 -o /tmp/evaluation-result-3260242-1304063811/solver-3260242-1304063811 -C 4800 -W 1300 -M 15500 HOME/ttsth-5-4 -num-threads 4 HOME/instance-3260242-1304063811.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.73 6.89 7.53 3/173 29568
/proc/meminfo: memFree=22195988/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=9244 CPUtime=0 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) R 29566 29568 28847 0 -1 4202496 382 0 0 0 0 0 0 0 18 0 1 0 517979892 9465856 325 33554432000 4194304 4338100 140737423931712 18446744073709551615 4245192 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29568/statm: 2311 325 151 36 0 216 0

[startup+0.02099 s]
/proc/loadavg: 4.73 6.89 7.53 3/173 29568
/proc/meminfo: memFree=22195988/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=9244 CPUtime=0.02 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) R 29566 29568 28847 0 -1 4202496 383 0 0 0 2 0 0 0 18 0 1 0 517979892 9465856 326 33554432000 4194304 4338100 140737423931712 18446744073709551615 4296000 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29568/statm: 2311 326 152 36 0 216 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9244

[startup+0.1406 s]
/proc/loadavg: 4.73 6.89 7.53 3/173 29568
/proc/meminfo: memFree=22195988/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=196180 CPUtime=0.49 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 2785 0 0 0 49 0 0 0 18 0 5 0 517979892 200888320 2727 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 49045 2727 173 36 0 46950 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 196180

[startup+0.339884 s]
/proc/loadavg: 4.73 6.89 7.53 3/173 29568
/proc/meminfo: memFree=22195988/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=208952 CPUtime=1.29 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 5067 0 0 0 128 1 0 0 18 0 5 0 517979892 213966848 5009 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 52238 5010 173 36 0 50143 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 208952

[startup+0.700873 s]
/proc/loadavg: 4.73 6.89 7.53 3/173 29568
/proc/meminfo: memFree=22195988/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=212468 CPUtime=2.69 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 8016 0 0 0 267 2 0 0 18 0 5 0 517979892 217567232 7958 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 53117 7958 173 36 0 51022 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 212468

[startup+1.50073 s]
/proc/loadavg: 4.73 6.89 7.53 9/186 29582
/proc/meminfo: memFree=22124972/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=300416 CPUtime=5.88 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 12664 0 0 0 584 4 0 0 18 0 5 0 517979892 307625984 12606 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 75104 12606 173 36 0 73009 0
[pid=29568/tid=29575] ppid=29566 vsize=300416 CPUtime=1.46 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 2568 0 0 0 145 1 0 0 23 0 5 0 517979896 307625984 12606 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284501798 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=300416 CPUtime=1.45 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 3512 0 0 0 145 0 0 0 24 0 5 0 517979896 307625984 12606 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=300416 CPUtime=1.45 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 2835 0 0 0 145 0 0 0 24 0 5 0 517979896 307625984 12607 33554432000 4194304 4338100 140737423931712 18446744073709551615 268272732343 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=300416 CPUtime=1.45 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 2853 0 0 0 144 1 0 0 23 0 5 0 517979896 307625984 12608 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 300416

[startup+3.10045 s]
/proc/loadavg: 5.07 6.93 7.54 9/186 29582
/proc/meminfo: memFree=22060032/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=332464 CPUtime=12.27 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 21347 0 0 0 1217 10 0 0 18 0 5 0 517979892 340443136 21289 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 83116 21289 173 36 0 81021 0
[pid=29568/tid=29575] ppid=29566 vsize=332464 CPUtime=3.05 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 4320 0 0 0 303 2 0 0 25 0 5 0 517979896 340443136 21289 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=332464 CPUtime=3.05 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 6116 0 0 0 303 2 0 0 25 0 5 0 517979896 340443136 21289 33554432000 4194304 4338100 140737423931712 18446744073709551615 4257010 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=332464 CPUtime=3.06 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 4857 0 0 0 304 2 0 0 25 0 5 0 517979896 340443136 21289 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=332464 CPUtime=3.05 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 5157 0 0 0 303 2 0 0 25 0 5 0 517979896 340443136 21289 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 332464

[startup+6.30088 s]
/proc/loadavg: 5.07 6.93 7.54 9/186 29582
/proc/meminfo: memFree=21920784/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=380472 CPUtime=25.04 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 33502 0 0 0 2478 26 0 0 18 0 5 0 517979892 389603328 33444 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 95118 33444 174 36 0 93023 0
[pid=29568/tid=29575] ppid=29566 vsize=380472 CPUtime=6.25 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 6870 0 0 0 619 6 0 0 25 0 5 0 517979896 389603328 33445 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=380472 CPUtime=6.23 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 9605 0 0 0 616 7 0 0 25 0 5 0 517979896 389603328 33445 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=380472 CPUtime=6.25 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 7592 0 0 0 620 5 0 0 18 0 5 0 517979896 389603328 33445 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=380472 CPUtime=6.25 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 8539 0 0 0 619 6 0 0 25 0 5 0 517979896 389603328 33445 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 380472

[startup+12.7007 s]
/proc/loadavg: 5.52 6.96 7.55 9/186 29582
/proc/meminfo: memFree=21717192/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=442584 CPUtime=50.55 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 50215 0 0 0 4999 56 0 0 18 0 5 0 517979892 453206016 50157 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 110646 50157 175 36 0 108551 0
[pid=29568/tid=29575] ppid=29566 vsize=442584 CPUtime=12.64 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 10797 0 0 0 1249 15 0 0 25 0 5 0 517979896 453206016 50157 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254451 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=442584 CPUtime=12.58 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 13903 0 0 0 1244 14 0 0 25 0 5 0 517979896 453206016 50157 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=442584 CPUtime=12.64 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 11228 0 0 0 1252 12 0 0 25 0 5 0 517979896 453206016 50157 33554432000 4194304 4338100 140737423931712 18446744073709551615 268272385532 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=442584 CPUtime=12.63 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 13390 0 0 0 1250 13 0 0 25 0 5 0 517979896 453206016 50157 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 442584

[startup+25.5005 s]
/proc/loadavg: 5.90 7.00 7.55 9/186 29582
/proc/meminfo: memFree=21468444/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=518852 CPUtime=101.59 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 70281 0 0 0 10041 118 0 0 18 0 5 0 517979892 531304448 70223 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 129713 70223 175 36 0 127618 0
[pid=29568/tid=29575] ppid=29566 vsize=518852 CPUtime=25.4 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 16174 0 0 0 2508 32 0 0 23 0 5 0 517979896 531304448 70223 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=518852 CPUtime=25.29 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 18373 0 0 0 2501 28 0 0 22 0 5 0 517979896 531304448 70224 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=518852 CPUtime=25.41 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 15492 0 0 0 2512 29 0 0 25 0 5 0 517979896 531304448 70224 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254329 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=518852 CPUtime=25.42 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 19345 0 0 0 2515 27 0 0 25 0 5 0 517979896 531304448 70224 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 518852

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

[startup+38.3012 s]
/proc/loadavg: 6.37 7.05 7.56 9/186 29583
/proc/meminfo: memFree=21261468/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=601972 CPUtime=152.64 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 93531 0 0 0 15104 160 0 0 18 0 5 0 517979892 616419328 93473 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 150493 93474 175 36 0 148398 0
[pid=29568/tid=29575] ppid=29566 vsize=601972 CPUtime=38.17 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 22677 0 0 0 3773 44 0 0 25 0 5 0 517979896 616419328 93474 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=601972 CPUtime=38.01 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 23755 0 0 0 3764 37 0 0 25 0 5 0 517979896 616419328 93474 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=601972 CPUtime=38.19 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 20611 0 0 0 3779 40 0 0 25 0 5 0 517979896 616419328 93474 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=601972 CPUtime=38.2 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25592 0 0 0 3784 36 0 0 25 0 5 0 517979896 616419328 93474 33554432000 4194304 4338100 140737423931712 18446744073709551615 4234407 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 152.64
Current children cumulated vsize (KiB) 601972

[startup+41.5006 s]
/proc/loadavg: 6.37 7.05 7.56 9/186 29583
/proc/meminfo: memFree=21247208/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=617996 CPUtime=165.33 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 96509 0 0 0 16361 172 0 0 18 0 5 0 517979892 632827904 96451 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 154499 96451 175 36 0 152404 0
[pid=29568/tid=29575] ppid=29566 vsize=617996 CPUtime=41.34 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 23944 0 0 0 4087 47 0 0 25 0 5 0 517979896 632827904 96451 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254462 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=617996 CPUtime=41.18 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 24328 0 0 0 4078 40 0 0 25 0 5 0 517979896 632827904 96451 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=617996 CPUtime=41.36 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 21344 0 0 0 4093 43 0 0 25 0 5 0 517979896 632827904 96451 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=617996 CPUtime=41.39 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25996 0 0 0 4099 40 0 0 25 0 5 0 517979896 632827904 96451 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 165.33
Current children cumulated vsize (KiB) 617996

[startup+44.701 s]
/proc/loadavg: 6.50 7.06 7.56 9/186 29583
/proc/meminfo: memFree=21208644/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=637148 CPUtime=178.11 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 101604 0 0 0 17630 181 0 0 18 0 5 0 517979892 652439552 101546 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 159287 101546 175 36 0 157192 0
[pid=29568/tid=29575] ppid=29566 vsize=637148 CPUtime=44.54 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25431 0 0 0 4405 49 0 0 25 0 5 0 517979896 652439552 101546 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=637148 CPUtime=44.36 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25270 0 0 0 4394 42 0 0 25 0 5 0 517979896 652439552 101546 33554432000 4194304 4338100 140737423931712 18446744073709551615 268272385555 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=637148 CPUtime=44.56 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 22897 0 0 0 4410 46 0 0 18 0 5 0 517979896 652439552 101546 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=637148 CPUtime=44.58 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 27109 0 0 0 4417 41 0 0 25 0 5 0 517979896 652439552 101546 33554432000 4194304 4338100 140737423931712 18446744073709551615 268272083984 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 178.11
Current children cumulated vsize (KiB) 637148

[startup+45.5009 s]
/proc/loadavg: 6.50 7.06 7.56 9/186 29583
/proc/meminfo: memFree=21190664/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=640276 CPUtime=181.27 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 102511 0 0 0 17944 183 0 0 18 0 5 0 517979892 655642624 102453 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 160069 102453 175 36 0 157974 0
[pid=29568/tid=29575] ppid=29566 vsize=640276 CPUtime=45.33 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25760 0 0 0 4483 50 0 0 25 0 5 0 517979896 655642624 102453 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254315 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=640276 CPUtime=45.15 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25366 0 0 0 4472 43 0 0 25 0 5 0 517979896 655642624 102453 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=640276 CPUtime=45.35 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 23222 0 0 0 4489 46 0 0 19 0 5 0 517979896 655642624 102453 33554432000 4194304 4338100 140737423931712 18446744073709551615 4253962 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=640276 CPUtime=45.38 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 27266 0 0 0 4496 42 0 0 25 0 5 0 517979896 655642624 102453 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254429 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 181.27
Current children cumulated vsize (KiB) 640276

[startup+46.3008 s]
/proc/loadavg: 6.50 7.06 7.56 9/186 29583
/proc/meminfo: memFree=21174048/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=649788 CPUtime=184.46 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 103835 0 0 0 18260 186 0 0 18 0 5 0 517979892 665382912 103777 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 162447 103777 175 36 0 160352 0
[pid=29568/tid=29575] ppid=29566 vsize=649788 CPUtime=46.12 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 26085 0 0 0 4562 50 0 0 25 0 5 0 517979896 665382912 103777 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=649788 CPUtime=45.94 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25725 0 0 0 4551 43 0 0 25 0 5 0 517979896 665382912 103777 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=649788 CPUtime=46.15 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 23353 0 0 0 4568 47 0 0 21 0 5 0 517979896 665382912 103777 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=649788 CPUtime=46.18 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 27775 0 0 0 4575 43 0 0 25 0 5 0 517979896 665382912 103777 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284514997 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 184.46
Current children cumulated vsize (KiB) 649788

[startup+46.7007 s]
/proc/loadavg: 6.50 7.06 7.56 9/186 29583
/proc/meminfo: memFree=21174048/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=649916 CPUtime=186.06 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 104666 0 0 0 18418 188 0 0 18 0 5 0 517979892 665513984 104608 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 162479 104608 175 36 0 160384 0
[pid=29568/tid=29575] ppid=29566 vsize=649916 CPUtime=46.53 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 26285 0 0 0 4602 51 0 0 25 0 5 0 517979896 665513984 104608 33554432000 4194304 4338100 140737423931712 18446744073709551615 4234407 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=649916 CPUtime=46.34 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 25928 0 0 0 4590 44 0 0 25 0 5 0 517979896 665513984 104608 33554432000 4194304 4338100 140737423931712 18446744073709551615 4263499 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=649916 CPUtime=46.55 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 23525 0 0 0 4607 48 0 0 22 0 5 0 517979896 665513984 104608 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=649916 CPUtime=46.57 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 28031 0 0 0 4614 43 0 0 25 0 5 0 517979896 665513984 104608 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 186.06
Current children cumulated vsize (KiB) 649916

[startup+46.8007 s]
/proc/loadavg: 6.50 7.06 7.56 9/186 29583
/proc/meminfo: memFree=21174048/32950928 swapFree=67111524/67111528
[pid=29568] ppid=29566 vsize=649916 CPUtime=186.46 cores=1,3,5,7
/proc/29568/stat : 29568 (ttsth-5-4) S 29566 29568 28847 0 -1 4202496 104997 0 0 0 18458 188 0 0 18 0 5 0 517979892 665513984 104939 33554432000 4194304 4338100 140737423931712 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29568/statm: 162479 104939 175 36 0 160384 0
[pid=29568/tid=29575] ppid=29566 vsize=649916 CPUtime=46.63 cores=1,3,5,7
/proc/29568/task/29575/stat : 29575 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 26358 0 0 0 4612 51 0 0 25 0 5 0 517979896 665513984 104939 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29568/tid=29576] ppid=29566 vsize=649916 CPUtime=46.44 cores=1,3,5,7
/proc/29568/task/29576/stat : 29576 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 26015 0 0 0 4600 44 0 0 25 0 5 0 517979896 665513984 104939 33554432000 4194304 4338100 140737423931712 18446744073709551615 4253946 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29568/tid=29577] ppid=29566 vsize=649916 CPUtime=46.65 cores=1,3,5,7
/proc/29568/task/29577/stat : 29577 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 23611 0 0 0 4617 48 0 0 22 0 5 0 517979896 665513984 104939 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29568/tid=29578] ppid=29566 vsize=649916 CPUtime=46.67 cores=1,3,5,7
/proc/29568/task/29578/stat : 29578 (ttsth-5-4) R 29566 29568 28847 0 -1 4202560 28116 0 0 0 4624 43 0 0 25 0 5 0 517979896 665513984 104939 33554432000 4194304 4338100 140737423931712 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 186.46
Current children cumulated vsize (KiB) 649916

Child status: 10
Real time (s): 46.8356
CPU time (s): 186.548
CPU user time (s): 184.643
CPU system time (s): 1.90471
CPU usage (%): 398.303
Max. virtual memory (cumulated for all children) (KiB): 649916

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

runsolver used 0.068989 second user time and 0.188971 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 09:56:51
IDJOB=3260242
IDBENCH=83175
IDSOLVER=1654
FILE ID=node122/3260242-1304063811
RUNJOBID= node122-1304063811-29554
PBS_JOBID= 13170447
Free space on /tmp= 71664 MiB

SOLVER NAME= ttsth 5-4
BENCH NAME= SAT11/crafted/mosoi/289/289-sat-7x6.cnf
COMMAND LINE= DIR/ttsth-5-4 -num-threads NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260242-1304063811/watcher-3260242-1304063811 -o /tmp/evaluation-result-3260242-1304063811/solver-3260242-1304063811 -C 4800 -W 1300 -M 15500  HOME/ttsth-5-4 -num-threads 4 HOME/instance-3260242-1304063811.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d97201611a1145eb2ceef5296c6c3ed9
RANDOM SEED=1977731140

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22195764 kB
Buffers:       1625240 kB
Cached:        8514544 kB
SwapCached:          4 kB
Active:         978844 kB
Inactive:      9226976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22195764 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:              32 kB
Writeback:           0 kB
AnonPages:       65292 kB
Mapped:          14684 kB
Slab:           485920 kB
PageTables:       4344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71664 MiB
End job on node122 at 2011-04-29 09:57:38