Trace number 3726649

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
pwbo 2.02? 1799.42 1800.01

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-129.opb
MD5SUM67d021e5b92124566c71fb431934058c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48368
Total number of constraints1121286
Number of constraints which are clauses1007481
Number of constraints which are cardinality constraints (but not clauses)3534
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint1
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726649-1338660715.opb.
0.00/0.00	c Instance file HOME/instance-3726649-1338660715.opb
0.00/0.00	c File size is 50812122 bytes.
3.39/3.48	c Highest Coefficient sum: 691
3.39/3.48	c ============================[ Problem Statistics ]=============================
3.39/3.48	c |                                                                             |
3.39/3.48	c |  Parsing time:          3.48         s                                      |
3.39/3.48	c |  Number Variables:      48368                                               |
3.39/3.48	c |  Number Clauses:        1009264                                             |
3.39/3.48	c |  Number Cardinality:    3523                                                |
3.39/3.48	c |  Number PB Constraints: 110271                                              |
3.39/3.48	c |                                                                             |
3.59/3.63	c |  Problem Type:          Decision                                            |
3.59/3.63	c |  Objective Function:    None                                                |
3.59/3.63	c |                                                                             |
3.59/3.63	c ===============================================================================
1799.42/1800.00	c ===============================================================================
1799.42/1800.00	c Wall Clock Time: 1800.00 s
1799.42/1800.00	s UNKNOWN

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-3726649-1338660715/watcher-3726649-1338660715 -o /tmp/evaluation-result-3726649-1338660715/solver-3726649-1338660715 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726649-1338660715.opb 

running on 4 cores: 0,2,4,6

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: 2.00 2.00 2.00 2/177 27006
/proc/meminfo: memFree=31456636/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=52764 CPUtime=0 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) R 27004 27006 23807 0 -1 4202496 308 0 0 0 0 0 0 0 20 0 1 0 332196558 54030336 260 33554432000 4194304 5964478 140734748228272 140734312889528 5179243 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 13191 260 170 433 0 349 0

[startup+0.08365 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27006
/proc/meminfo: memFree=31456636/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=56116 CPUtime=0.07 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) R 27004 27006 23807 0 -1 4202496 1401 0 0 0 7 0 0 0 20 0 1 0 332196558 57462784 1353 33554432000 4194304 5964478 140734748228272 140734312889528 5159884 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 14029 1355 436 433 0 1187 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56116

[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27006
/proc/meminfo: memFree=31456636/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=56908 CPUtime=0.09 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) R 27004 27006 23807 0 -1 4202496 1676 0 0 0 9 0 0 0 20 0 1 0 332196558 58273792 1595 33554432000 4194304 5964478 140734748228272 140734312889528 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 14227 1595 495 433 0 1385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56908

[startup+0.300204 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27006
/proc/meminfo: memFree=31456636/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=65564 CPUtime=0.29 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) R 27004 27006 23807 0 -1 4202496 4518 0 0 0 29 0 0 0 20 0 1 0 332196558 67137536 4372 33554432000 4194304 5964478 140734748228272 140734748226568 5133750 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 16391 4374 1203 433 0 3549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65564

[startup+0.700206 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 27006
/proc/meminfo: memFree=31456636/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=82080 CPUtime=0.69 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) R 27004 27006 23807 0 -1 4202496 10067 0 0 0 68 1 0 0 20 0 1 0 332196558 84049920 9792 33554432000 4194304 5964478 140734748228272 140734748226568 4349952 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 20520 9792 2602 433 0 7678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82080

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27007
/proc/meminfo: memFree=31414932/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=116148 CPUtime=1.49 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) R 27004 27006 23807 0 -1 4202496 21494 0 0 0 146 3 0 0 20 0 1 0 332196558 118935552 20962 33554432000 4194304 5964478 140734748228272 140734748226616 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 29037 20963 5607 433 0 16195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116148

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27007
/proc/meminfo: memFree=31371592/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=175644 CPUtime=3.08 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) R 27004 27006 23807 0 -1 4202496 42237 0 0 0 303 5 0 0 20 0 1 0 332196558 179859456 41704 33554432000 4194304 5964478 140734748228272 140734748226760 4344768 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 43911 41704 11266 433 0 31069 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 175644

[startup+6.30032 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 27008
/proc/meminfo: memFree=31150784/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=359128 CPUtime=6.28 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 89639 0 0 0 613 15 0 0 20 0 2 0 332196558 367747072 76545 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 89782 76545 186 433 0 89346 0
[pid=27006/tid=27008] ppid=27004 vsize=359128 CPUtime=2.8 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 42488 0 0 0 272 8 0 0 20 0 2 0 332196906 367747072 76545 33554432000 4194304 5964478 140734748228272 139849828984632 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 359128

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 27008
/proc/meminfo: memFree=31141632/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=359128 CPUtime=12.69 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 90731 0 0 0 1253 16 0 0 20 0 2 0 332196558 367747072 77637 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 89782 77637 186 433 0 89346 0
[pid=27006/tid=27008] ppid=27004 vsize=359128 CPUtime=9.18 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 43580 0 0 0 909 9 0 0 20 0 2 0 332196906 367747072 77637 33554432000 4194304 5964478 140734748228272 139849828984632 4403370 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 359128

[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 27008
/proc/meminfo: memFree=31131936/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=359128 CPUtime=25.48 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 92271 0 0 0 2531 17 0 0 20 0 2 0 332196558 367747072 79177 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 89782 79177 186 433 0 89346 0
[pid=27006/tid=27008] ppid=27004 vsize=359128 CPUtime=21.95 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 45120 0 0 0 2185 10 0 0 20 0 2 0 332196906 367747072 79177 33554432000 4194304 5964478 140734748228272 139849828984632 4403370 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 359128

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 27008
/proc/meminfo: memFree=31107600/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=359128 CPUtime=51.08 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 94858 0 0 0 5089 19 0 0 20 0 2 0 332196558 367747072 81764 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 89782 81764 186 433 0 89346 0
[pid=27006/tid=27008] ppid=27004 vsize=359128 CPUtime=47.48 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 47707 0 0 0 4736 12 0 0 20 0 2 0 332196906 367747072 81764 33554432000 4194304 5964478 140734748228272 139849828984632 4403370 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 359128

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27008
/proc/meminfo: memFree=31055936/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=424664 CPUtime=102.28 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 101119 0 0 0 10205 23 0 0 20 0 2 0 332196558 434855936 88025 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 106166 88025 186 433 0 105730 0
[pid=27006/tid=27008] ppid=27004 vsize=424664 CPUtime=98.56 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 53968 0 0 0 9839 17 0 0 20 0 2 0 332196906 434855936 88025 33554432000 4194304 5964478 140734748228272 139849828984824 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 424664

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27009
/proc/meminfo: memFree=31023300/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=424664 CPUtime=162.26 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 109297 0 0 0 16198 28 0 0 20 0 2 0 332196558 434855936 96247 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 106166 96247 186 433 0 105730 0
[pid=27006/tid=27008] ppid=27004 vsize=424664 CPUtime=158.4 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 62146 0 0 0 15817 23 0 0 20 0 2 0 332196906 434855936 96247 33554432000 4194304 5964478 140734748228272 139849828984632 4403376 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 424664

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27009
/proc/meminfo: memFree=30989604/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=490200 CPUtime=222.23 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 116434 0 0 0 22189 34 0 0 20 0 2 0 332196558 501964800 104381 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 122550 104381 186 433 0 122114 0
[pid=27006/tid=27008] ppid=27004 vsize=490200 CPUtime=218.21 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 69283 0 0 0 21791 30 0 0 20 0 2 0 332196906 501964800 104381 33554432000 4194304 5964478 140734748228272 139849828984872 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 490200

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27009
/proc/meminfo: memFree=30934640/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=490200 CPUtime=282.18 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 123798 0 0 0 28179 39 0 0 20 0 2 0 332196558 501964800 111950 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 122550 111950 186 433 0 122114 0
[pid=27006/tid=27008] ppid=27004 vsize=490200 CPUtime=278.02 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 76647 0 0 0 27766 36 0 0 20 0 2 0 332196906 501964800 111950 33554432000 4194304 5964478 140734748228272 139849828984824 4409238 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 490200

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27009
/proc/meminfo: memFree=30892632/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=555736 CPUtime=342.14 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 130375 0 0 0 34171 43 0 0 20 0 2 0 332196558 569073664 118551 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 138934 118551 186 433 0 138498 0
[pid=27006/tid=27008] ppid=27004 vsize=555736 CPUtime=337.84 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 83224 0 0 0 33743 41 0 0 20 0 2 0 332196906 569073664 118551 33554432000 4194304 5964478 140734748228272 139849828984632 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 555736

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27009
/proc/meminfo: memFree=30843412/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=555736 CPUtime=402.12 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 136260 0 0 0 40165 47 0 0 20 0 2 0 332196558 569073664 124952 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 138934 124952 186 433 0 138498 0
[pid=27006/tid=27008] ppid=27004 vsize=555736 CPUtime=397.68 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 89109 0 0 0 39722 46 0 0 20 0 2 0 332196906 569073664 124952 33554432000 4194304 5964478 140734748228272 139849828984872 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 555736

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27010
/proc/meminfo: memFree=30799792/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=555736 CPUtime=462.12 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 141330 0 0 0 46160 52 0 0 20 0 2 0 332196558 569073664 130022 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 138934 130022 186 433 0 138498 0
[pid=27006/tid=27008] ppid=27004 vsize=555736 CPUtime=457.52 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 94179 0 0 0 45702 50 0 0 20 0 2 0 332196906 569073664 130022 33554432000 4194304 5964478 140734748228272 139849828984872 4400519 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27098
/proc/meminfo: memFree=30953460/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=817880 CPUtime=1421.83 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 202347 0 0 0 142076 107 0 0 20 0 2 0 332196558 837509120 194998 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 204470 194998 186 433 0 204034 0
[pid=27006/tid=27008] ppid=27004 vsize=817880 CPUtime=1414.93 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 155196 0 0 0 141372 121 0 0 20 0 2 0 332196906 837509120 194998 33554432000 4194304 5964478 140734748228272 139849828984824 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 817880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27098
/proc/meminfo: memFree=30893948/32873844 swapFree=7120/7120
[pid=27006] ppid=27004 vsize=883416 CPUtime=1481.82 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 206798 0 0 0 148073 109 0 0 20 0 2 0 332196558 904617984 199444 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 199444 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1474.77 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 159647 0 0 0 147353 124 0 0 20 0 2 0 332196906 904617984 199444 33554432000 4194304 5964478 140734748228272 139849828984632 4400709 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 883416

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27098
/proc/meminfo: memFree=30847572/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1541.81 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 208902 0 0 0 154070 111 0 0 20 0 2 0 332196558 904617984 201548 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 201548 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1534.62 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 161751 0 0 0 153335 127 0 0 20 0 2 0 332196906 904617984 201548 33554432000 4194304 5964478 140734748228272 139849828984824 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 883416

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27098
/proc/meminfo: memFree=30838252/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1601.8 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 211149 0 0 0 160068 112 0 0 20 0 2 0 332196558 904617984 203795 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 203795 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1594.46 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 163998 0 0 0 159317 129 0 0 20 0 2 0 332196906 904617984 203795 33554432000 4194304 5964478 140734748228272 139849828984632 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 883416

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 27099
/proc/meminfo: memFree=30823652/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1661.79 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 213314 0 0 0 166065 114 0 0 20 0 2 0 332196558 904617984 205960 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 205960 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1654.31 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 166163 0 0 0 165299 132 0 0 20 0 2 0 332196906 904617984 205960 33554432000 4194304 5964478 140734748228272 139849828984872 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 883416

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 27102
/proc/meminfo: memFree=30796460/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1721.77 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 216124 0 0 0 172061 116 0 0 20 0 2 0 332196558 904617984 208826 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 208826 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1714.14 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 168973 0 0 0 171279 135 0 0 20 0 2 0 332196906 904617984 208826 33554432000 4194304 5964478 140734748228272 139849828984632 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 883416

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30771340/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1781.72 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 217798 0 0 0 178054 118 0 0 20 0 2 0 332196558 904617984 212011 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212011 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1773.95 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 170647 0 0 0 177259 136 0 0 20 0 2 0 332196906 904617984 212011 33554432000 4194304 5964478 140734748228272 139849828984824 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 883416

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

[startup+1791.91 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30770224/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1791.32 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 218087 0 0 0 179014 118 0 0 20 0 2 0 332196558 904617984 212300 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212300 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1783.53 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 170936 0 0 0 178215 138 0 0 20 0 2 0 332196906 904617984 212300 33554432000 4194304 5964478 140734748228272 139849828984824 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 883416

[startup+1795.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30769976/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1794.52 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 218187 0 0 0 179334 118 0 0 20 0 2 0 332196558 904617984 212400 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212400 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1786.73 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 171036 0 0 0 178535 138 0 0 20 0 2 0 332196906 904617984 212400 33554432000 4194304 5964478 140734748228272 139849828984824 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 883416

[startup+1798.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30769356/32873844 swapFree=7120/7120
[pid=27006] ppid=27004 vsize=883416 CPUtime=1797.71 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 218296 0 0 0 179653 118 0 0 20 0 2 0 332196558 904617984 212509 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212509 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1789.91 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 171145 0 0 0 178853 138 0 0 20 0 2 0 332196906 904617984 212509 33554432000 4194304 5964478 140734748228272 139849828984632 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 883416

[startup+1799.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30769480/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1798.51 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 218307 0 0 0 179733 118 0 0 20 0 2 0 332196558 904617984 212520 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212520 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1790.71 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 171156 0 0 0 178933 138 0 0 20 0 2 0 332196906 904617984 212520 33554432000 4194304 5964478 140734748228272 139849828984632 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (KiB) 883416

[startup+1799.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30769480/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1798.93 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 218319 0 0 0 179774 119 0 0 20 0 2 0 332196558 904617984 212532 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212532 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1791.11 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 171168 0 0 0 178973 138 0 0 20 0 2 0 332196906 904617984 212532 33554432000 4194304 5964478 140734748228272 139849828984824 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.93
Current children cumulated vsize (KiB) 883416

[startup+1799.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30769480/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1799.32 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 218331 0 0 0 179813 119 0 0 20 0 2 0 332196558 904617984 212544 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212544 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1791.51 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 171180 0 0 0 179013 138 0 0 20 0 2 0 332196906 904617984 212544 33554432000 4194304 5964478 140734748228272 139849828984824 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (KiB) 883416

[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 27102
/proc/meminfo: memFree=30769480/32873844 swapFree=7116/7116
[pid=27006] ppid=27004 vsize=883416 CPUtime=1799.42 cores=0,2,4,6
/proc/27006/stat : 27006 (pwbo2.02) S 27004 27006 23807 0 -1 4202496 218334 0 0 0 179823 119 0 0 20 0 2 0 332196558 904617984 212547 33554432000 4194304 5964478 140734748228272 140734748227792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27006/statm: 220854 212547 186 433 0 220418 0
[pid=27006/tid=27008] ppid=27004 vsize=883416 CPUtime=1791.61 cores=0,2,4,6
/proc/27006/task/27008/stat : 27008 (pwbo2.02) R 27004 27006 23807 0 -1 4202560 171183 0 0 0 179023 138 0 0 20 0 2 0 332196906 904617984 212547 33554432000 4194304 5964478 140734748228272 139849828984824 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 883416

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27006 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=646324
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=464777
# CPU time returned by wait4() is 1795.11
# while last known CPU time is 1799.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.42
CPU user time (s): 1798.23
CPU system time (s): 1.19
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 883416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 1.46478
maximum resident set size= 850208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218339
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= 316
involuntary context switches= 1904

runsolver used 2.6546 second user time and 7.19491 second system time

The end

Launcher Data

Begin job on node146 at 2012-06-02 20:11:56
IDJOB=3726649
IDBENCH=89756
IDSOLVER=2310
FILE ID=node146/3726649-1338660715
RUNJOBID= node146-1338651664-25621
PBS_JOBID= 14636434
Free space on /tmp= 70860 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-129.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726649-1338660715/watcher-3726649-1338660715 -o /tmp/evaluation-result-3726649-1338660715/solver-3726649-1338660715 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726649-1338660715.opb

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

MD5SUM BENCH= 67d021e5b92124566c71fb431934058c
RANDOM SEED=1090142154

node146.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.034
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.06
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.034
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.92
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.034
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.91
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.034
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.91
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.034
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.91
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.034
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.91
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.034
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.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31456636 kB
Buffers:          114816 kB
Cached:           238896 kB
SwapCached:         1792 kB
Active:           479336 kB
Inactive:         187424 kB
Active(anon):     313820 kB
Inactive(anon):     1556 kB
Active(file):     165516 kB
Inactive(file):   185868 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099772 kB
Dirty:             55112 kB
Writeback:             0 kB
AnonPages:        321132 kB
Mapped:             9700 kB
Shmem:                 0 kB
Slab:             610840 kB
SReclaimable:      50848 kB
SUnreclaim:       559992 kB
KernelStack:        1456 kB
PageTables:         4640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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= 70864 MiB
End job on node146 at 2012-06-02 20:41:56