Trace number 3708533

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
clasp 2.0.6-R5325 (dec)? (TO) 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
MD5SUM55203b98fb707e386dea9ef4475d45f9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.041993
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2100
Total number of constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c Calling clasp with: --sat-p=20,25,240,-1,1 --heuristic=Vsids --dynamic-restarts=100,0.7 --dinit=500,20000 --del=3.0,1.1,20.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --save-p=75 --cir=3 --cir-bump=1023 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...157449/instance-3708533-1338157449.opb
0.00/0.00	c Solving...
1800.10/1800.40	
1800.10/1800.40	*** INTERRUPTED! ***
1800.10/1800.40	s UNKNOWN
1800.10/1800.40	
1800.10/1800.40	c INTERRUPTED   : 1
1800.10/1800.40	c Models        : 0+    
1800.10/1800.40	c Time          : 1800.405s (Solving: 1800.40s 1st Model: 0.00s Unsat: 0.00s)
1800.10/1800.40	c CPU Time      : 1800.100s

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3708533-1338157449/watcher-3708533-1338157449 -o /tmp/evaluation-result-3708533-1338157449/solver-3708533-1338157449 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708533-1338157449.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0

[startup+0.0186729 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100209 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300208 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700174 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50021 s]
/proc/loadavg: 1.19 1.71 1.89 4/179 13046
/proc/meminfo: memFree=29046364/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=5400 CPUtime=1.49 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 1104 0 0 0 149 0 0 0 20 0 1 0 281870338 5529600 1028 33554432000 4194304 6212839 140736920522800 140736920521000 4683194 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 1350 1028 227 493 0 855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14552

[startup+3.10022 s]
/proc/loadavg: 1.19 1.71 1.89 4/179 13046
/proc/meminfo: memFree=29041636/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=7244 CPUtime=3.09 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 1566 0 0 0 309 0 0 0 20 0 1 0 281870338 7417856 1490 33554432000 4194304 6212839 140736920522800 140736920520808 4683052 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 1811 1490 227 493 0 1316 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16396

[startup+6.30024 s]
/proc/loadavg: 1.26 1.72 1.89 4/179 13046
/proc/meminfo: memFree=29033428/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=9812 CPUtime=6.29 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 2221 0 0 0 629 0 0 0 20 0 1 0 281870338 10047488 2145 33554432000 4194304 6212839 140736920522800 140736920520952 4685321 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 2453 2145 227 493 0 1958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18964

[startup+12.7002 s]
/proc/loadavg: 1.32 1.72 1.89 4/179 13046
/proc/meminfo: memFree=29026712/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=13096 CPUtime=12.69 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 3011 0 0 0 1269 0 0 0 20 0 1 0 281870338 13410304 2935 33554432000 4194304 6212839 140736920522800 140736920520952 4308178 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 3274 2935 227 493 0 2779 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22248

[startup+25.5003 s]
/proc/loadavg: 1.42 1.73 1.90 4/179 13046
/proc/meminfo: memFree=29013924/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=16536 CPUtime=25.49 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 3886 0 0 0 2549 0 0 0 20 0 1 0 281870338 16932864 3801 33554432000 4194304 6212839 140736920522800 140736920521096 4298198 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 4134 3801 227 493 0 3639 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25688

[startup+51.1003 s]
/proc/loadavg: 1.65 1.75 1.90 4/179 13046
/proc/meminfo: memFree=28993428/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=21404 CPUtime=51.07 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 5079 0 0 0 5107 0 0 0 20 0 1 0 281870338 21917696 5019 33554432000 4194304 6212839 140736920522800 140736920520952 4298160 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 5351 5019 227 493 0 4856 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30556

[startup+102.307 s]
/proc/loadavg: 1.85 1.79 1.90 4/179 13046
/proc/meminfo: memFree=28964008/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=38576 CPUtime=102.27 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 9229 0 0 0 10226 1 0 0 20 0 1 0 281870338 39501824 9240 33554432000 4194304 6212839 140736920522800 140736920520952 4705179 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 9644 9240 227 493 0 9149 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47728

[startup+162.3 s]
/proc/loadavg: 1.94 1.83 1.91 4/179 13046
/proc/meminfo: memFree=28942288/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=44572 CPUtime=162.26 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 10626 0 0 0 16224 2 0 0 20 0 1 0 281870338 45641728 10724 33554432000 4194304 6212839 140736920522800 140736920520952 4298186 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 11143 10724 227 493 0 10648 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53724

[startup+222.3 s]
/proc/loadavg: 1.98 1.85 1.91 4/178 13046
/proc/meminfo: memFree=28923556/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=51396 CPUtime=222.24 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 12184 0 0 0 22222 2 0 0 20 0 1 0 281870338 52629504 12478 33554432000 4194304 6212839 140736920522800 140736920520952 4743839 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 12849 12478 227 493 0 12354 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 60548

[startup+282.3 s]
/proc/loadavg: 2.07 1.91 1.92 4/179 13047
/proc/meminfo: memFree=28905052/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=57544 CPUtime=282.24 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 13556 0 0 0 28222 2 0 0 20 0 1 0 281870338 58925056 13850 33554432000 4194304 6212839 140736920522800 140736920520952 4298175 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 14386 13850 227 493 0 13891 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 66696

[startup+342.3 s]
/proc/loadavg: 2.02 1.92 1.92 4/179 13047
/proc/meminfo: memFree=28890660/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=62680 CPUtime=342.22 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 14690 0 0 0 34220 2 0 0 20 0 1 0 281870338 64184320 15191 33554432000 4194304 6212839 140736920522800 140736920520952 4357006 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 15670 15191 227 493 0 15175 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 71832

[startup+402.3 s]
/proc/loadavg: 2.06 1.95 1.93 4/180 13050
/proc/meminfo: memFree=28877116/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=102800 CPUtime=1062.11 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 23516 0 0 0 106207 4 0 0 20 0 1 0 281870338 105267200 25295 33554432000 4194304 6212839 140736920522800 140736920520952 4685406 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 25700 25295 227 493 0 25205 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 111952

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13055
/proc/meminfo: memFree=28785392/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=104652 CPUtime=1122.1 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 23865 0 0 0 112206 4 0 0 20 0 1 0 281870338 107163648 25727 33554432000 4194304 6212839 140736920522800 140736920520952 4356555 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 26163 25727 227 493 0 25668 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 113804

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28782600/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=106676 CPUtime=1182.09 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 24271 0 0 0 118205 4 0 0 20 0 1 0 281870338 109236224 26133 33554432000 4194304 6212839 140736920522800 140736920520952 4743708 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 26669 26133 227 493 0 26174 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 115828

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28779376/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=107860 CPUtime=1242.08 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 24530 0 0 0 124204 4 0 0 20 0 1 0 281870338 110448640 26392 33554432000 4194304 6212839 140736920522800 140736920520952 4685484 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 26965 26392 227 493 0 26470 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 117012

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28775156/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=109712 CPUtime=1302.08 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 24909 0 0 0 130203 5 0 0 20 0 1 0 281870338 112345088 26972 33554432000 4194304 6212839 140736920522800 140736920520952 4298171 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 27428 26972 227 493 0 26933 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 118864

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28772552/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=111400 CPUtime=1362.06 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 25246 0 0 0 136201 5 0 0 20 0 1 0 281870338 114073600 27309 33554432000 4194304 6212839 140736920522800 140736920520952 4357006 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 27850 27309 227 493 0 27355 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 120552

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28768268/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=113928 CPUtime=1422.06 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 25760 0 0 0 142201 5 0 0 20 0 1 0 281870338 116662272 27823 33554432000 4194304 6212839 140736920522800 140736920520952 4685433 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 28482 27823 227 493 0 27987 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 123080

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13057
/proc/meminfo: memFree=28763428/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=116124 CPUtime=1482.04 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 26227 0 0 0 148199 5 0 0 20 0 1 0 281870338 118910976 28479 33554432000 4194304 6212839 140736920522800 140736920520952 4333818 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 29031 28479 227 493 0 28536 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 125276

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13057
/proc/meminfo: memFree=28760948/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=117644 CPUtime=1542.03 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 26539 0 0 0 154198 5 0 0 20 0 1 0 281870338 120467456 28791 33554432000 4194304 6212839 140736920522800 140736920520952 4685776 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 29411 28791 227 493 0 28916 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 126796

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/180 13060
/proc/meminfo: memFree=28758020/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=119332 CPUtime=1602.02 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 26905 0 0 0 160197 5 0 0 20 0 1 0 281870338 122195968 29157 33554432000 4194304 6212839 140736920522800 140736920520952 4685357 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 29833 29157 227 493 0 29338 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 128484

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13060
/proc/meminfo: memFree=28754052/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=121692 CPUtime=1662.01 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 27396 0 0 0 166196 5 0 0 20 0 1 0 281870338 124612608 29985 33554432000 4194304 6212839 140736920522800 140736920520952 4634964 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 30423 29985 227 493 0 29928 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 130844

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13060
/proc/meminfo: memFree=28751076/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=123548 CPUtime=1722 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 27764 0 0 0 172195 5 0 0 20 0 1 0 281870338 126513152 30353 33554432000 4194304 6212839 140736920522800 140736920520952 4661900 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 30887 30353 227 493 0 30392 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 132700

[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 1.95 4/179 13061
/proc/meminfo: memFree=28746608/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=125404 CPUtime=1782 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 28160 0 0 0 178194 6 0 0 20 0 1 0 281870338 128413696 30749 33554432000 4194304 6212839 140736920522800 140736920520952 4298163 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 31351 30749 227 493 0 30856 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 134556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 1.95 4/179 13061
/proc/meminfo: memFree=28745988/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=126076 CPUtime=1800.1 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 28304 0 0 0 180004 6 0 0 20 0 1 0 281870338 129101824 30893 33554432000 4194304 6212839 140736920522800 140736920520952 4298307 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 31519 30893 227 493 0 31024 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 135228

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.05
CPU system time (s): 0.06399
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 135228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.06399
maximum resident set size= 123616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28680
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= 49
involuntary context switches= 1908

runsolver used 4.35334 second user time and 11.2553 second system time

The end

Launcher Data

Begin job on node136 at 2012-05-28 00:24:09
IDJOB=3708533
IDBENCH=1413
IDSOLVER=2287
FILE ID=node136/3708533-1338157449
RUNJOBID= node136-1338157449-13016
PBS_JOBID= 14624529
Free space on /tmp= 71672 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
COMMAND LINE= HOME/clasp-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708533-1338157449/watcher-3708533-1338157449 -o /tmp/evaluation-result-3708533-1338157449/solver-3708533-1338157449 -C 1800 -W 1900 -M 15500  HOME/clasp-dec.sh HOME/instance-3708533-1338157449.opb

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

MD5SUM BENCH= 55203b98fb707e386dea9ef4475d45f9
RANDOM SEED=168305598

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29054000 kB
Buffers:          435324 kB
Cached:          2515488 kB
SwapCached:        24460 kB
Active:           769360 kB
Inactive:        2210416 kB
Active(anon):       1628 kB
Inactive(anon):    26984 kB
Active(file):     767732 kB
Inactive(file):  2183432 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:              5080 kB
Writeback:             0 kB
AnonPages:         10324 kB
Mapped:             8720 kB
Shmem:                 0 kB
Slab:             701336 kB
SReclaimable:     142864 kB
SUnreclaim:       558472 kB
KernelStack:        1384 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node136 at 2012-05-28 00:54:09