Trace number 3704595

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.0? (TO) 1800.04 1800.52

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_15.opb
MD5SUM97892b1b250c8711791b219b8ddda703
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
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 benchmark1448.56
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1236
Sum of products size (including duplicates)2472
Number of different products618
Sum of products size1236

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704595-1338092711.opb.
0.00/0.00	c Instance file HOME/instance-3704595-1338092711.opb
0.00/0.00	c File size is 50558 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      718                                                 |
0.00/0.00	c |  Number Clauses:        668                                                 |
0.00/0.00	c |  Number Cardinality:    103                                                 |
0.00/0.00	c |  Number PB Constraints: 618                                                 |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Decision                                            |
0.00/0.00	c |  Objective Function:    None                                                |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1800.04/1800.51	c ===============================================================================
1800.04/1800.51	c Wall Clock Time: 1800.51 s
1800.04/1800.51	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-3704595-1338092711/watcher-3704595-1338092711 -o /tmp/evaluation-result-3704595-1338092711/solver-3704595-1338092711 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704595-1338092711.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: 2.00 2.00 1.96 3/177 13679
/proc/meminfo: memFree=28448900/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=84104 CPUtime=0 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 877 0 0 0 0 0 0 0 20 0 2 0 275396064 86122496 817 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21026 820 176 433 0 20590 0
[pid=13679/tid=13680] ppid=13677 vsize=84104 CPUtime=0 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 2 0 275396065 86122496 833 33554432000 4194304 5965102 140736399263856 140733868652056 5179915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.0445279 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13679
/proc/meminfo: memFree=28448900/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=84104 CPUtime=0.04 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 1145 0 0 0 4 0 0 0 20 0 2 0 275396064 86122496 1085 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21026 1085 190 433 0 20590 0
[pid=13679/tid=13680] ppid=13677 vsize=84104 CPUtime=0.02 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 320 0 0 0 2 0 0 0 20 0 2 0 275396065 86122496 1085 33554432000 4194304 5965102 140736399263856 140733868652056 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84104

[startup+0.100296 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13679
/proc/meminfo: memFree=28448900/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=84104 CPUtime=0.09 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 1279 0 0 0 9 0 0 0 20 0 2 0 275396064 86122496 1219 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21026 1219 190 433 0 20590 0
[pid=13679/tid=13680] ppid=13677 vsize=84104 CPUtime=0.08 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 454 0 0 0 8 0 0 0 20 0 2 0 275396065 86122496 1219 33554432000 4194304 5965102 140736399263856 140286630315832 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84104

[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13679
/proc/meminfo: memFree=28448900/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=84104 CPUtime=0.29 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 1606 0 0 0 29 0 0 0 20 0 2 0 275396064 86122496 1546 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21026 1546 190 433 0 20590 0
[pid=13679/tid=13680] ppid=13677 vsize=84104 CPUtime=0.28 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 781 0 0 0 28 0 0 0 20 0 2 0 275396065 86122496 1546 33554432000 4194304 5965102 140736399263856 140286630316024 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84104

[startup+0.700261 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13679
/proc/meminfo: memFree=28448900/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=84104 CPUtime=0.69 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 2151 0 0 0 69 0 0 0 20 0 2 0 275396064 86122496 2091 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21026 2091 190 433 0 20590 0
[pid=13679/tid=13680] ppid=13677 vsize=84104 CPUtime=0.68 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 1326 0 0 0 68 0 0 0 20 0 2 0 275396065 86122496 2091 33554432000 4194304 5965102 140736399263856 140286630315832 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84104

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13681
/proc/meminfo: memFree=28440220/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=84248 CPUtime=1.49 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 2869 0 0 0 149 0 0 0 20 0 2 0 275396064 86269952 2809 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21062 2809 190 433 0 20626 0
[pid=13679/tid=13680] ppid=13677 vsize=84248 CPUtime=1.48 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 2044 0 0 0 148 0 0 0 20 0 2 0 275396065 86269952 2809 33554432000 4194304 5965102 140736399263856 140286630315832 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84248

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13681
/proc/meminfo: memFree=28436616/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=84320 CPUtime=3.09 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 3855 0 0 0 309 0 0 0 20 0 2 0 275396064 86343680 3795 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21080 3795 190 433 0 20644 0
[pid=13679/tid=13680] ppid=13677 vsize=84320 CPUtime=3.07 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 3030 0 0 0 307 0 0 0 20 0 2 0 275396065 86343680 3795 33554432000 4194304 5965102 140736399263856 140286630316024 4400992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84320

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13681
/proc/meminfo: memFree=28425076/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=85040 CPUtime=6.28 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 5504 0 0 0 627 1 0 0 20 0 2 0 275396064 87080960 5443 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21260 5443 190 433 0 20824 0
[pid=13679/tid=13680] ppid=13677 vsize=85040 CPUtime=6.26 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 4679 0 0 0 625 1 0 0 20 0 2 0 275396065 87080960 5443 33554432000 4194304 5965102 140736399263856 140286630315832 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85040

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13681
/proc/meminfo: memFree=28416412/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=86660 CPUtime=12.69 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 7490 0 0 0 1267 2 0 0 20 0 2 0 275396064 88739840 7429 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 21665 7429 190 433 0 21229 0
[pid=13679/tid=13680] ppid=13677 vsize=86660 CPUtime=12.64 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 6665 0 0 0 1263 1 0 0 20 0 2 0 275396065 88739840 7429 33554432000 4194304 5965102 140736399263856 140286630315544 4390116 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86660

[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 1.97 3/179 13681
/proc/meminfo: memFree=28406100/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=88116 CPUtime=25.47 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 9774 0 0 0 2544 3 0 0 20 0 2 0 275396064 90230784 9755 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 22029 9755 190 433 0 21593 0
[pid=13679/tid=13680] ppid=13677 vsize=88116 CPUtime=25.4 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 8949 0 0 0 2537 3 0 0 20 0 2 0 275396065 90230784 9755 33554432000 4194304 5965102 140736399263856 140286630315832 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 88116

[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 1.97 3/179 13681
/proc/meminfo: memFree=28376132/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=91776 CPUtime=51.06 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 17063 0 0 0 5099 7 0 0 20 0 2 0 275396064 93978624 17237 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 22944 17237 190 433 0 22508 0
[pid=13679/tid=13680] ppid=13677 vsize=91776 CPUtime=50.93 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 16238 0 0 0 5086 7 0 0 20 0 2 0 275396065 93978624 17237 33554432000 4194304 5965102 140736399263856 140286630315544 5123123 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 91776

[startup+102.307 s]
/proc/loadavg: 2.08 2.03 1.97 3/179 13681
/proc/meminfo: memFree=28312192/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=161304 CPUtime=102.27 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 23055 0 0 0 10214 13 0 0 20 0 2 0 275396064 165175296 23229 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 40326 23229 190 433 0 39890 0
[pid=13679/tid=13680] ppid=13677 vsize=161304 CPUtime=102 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 22230 0 0 0 10186 14 0 0 20 0 2 0 275396065 165175296 23229 33554432000 4194304 5965102 140736399263856 140286630315544 4380351 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 161304

[startup+162.3 s]
/proc/loadavg: 2.13 2.05 1.98 3/179 13681
/proc/meminfo: memFree=28288480/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=163460 CPUtime=162.25 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 29022 0 0 0 16206 19 0 0 20 0 2 0 275396064 167383040 29196 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 40865 29196 190 433 0 40429 0
[pid=13679/tid=13680] ppid=13677 vsize=163460 CPUtime=161.84 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 28197 0 0 0 16163 21 0 0 20 0 2 0 275396065 167383040 29196 33554432000 4194304 5965102 140736399263856 140286630316024 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 163460

[startup+222.3 s]
/proc/loadavg: 2.08 2.05 1.99 3/179 13682
/proc/meminfo: memFree=28233016/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=165704 CPUtime=222.24 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 34916 0 0 0 22199 25 0 0 20 0 2 0 275396064 169680896 35090 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 41426 35090 190 433 0 40990 0
[pid=13679/tid=13680] ppid=13677 vsize=165704 CPUtime=221.69 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 34091 0 0 0 22141 28 0 0 20 0 2 0 275396065 169680896 35090 33554432000 4194304 5965102 140736399263856 140286630316072 4411917 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 165704

[startup+282.3 s]
/proc/loadavg: 2.07 2.05 1.99 3/179 13682
/proc/meminfo: memFree=28201024/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=232716 CPUtime=282.24 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 41189 0 0 0 28190 34 0 0 20 0 2 0 275396064 238301184 41363 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 58179 41363 190 433 0 57743 0
[pid=13679/tid=13680] ppid=13677 vsize=232716 CPUtime=281.54 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 40364 0 0 0 28117 37 0 0 20 0 2 0 275396065 238301184 41363 33554432000 4194304 5965102 140736399263856 140286630316024 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 232716

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/180 13685
/proc/meminfo: memFree=28122684/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=234192 CPUtime=342.21 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 46161 0 0 0 34180 41 0 0 20 0 2 0 275396064 239812608 46330 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 58548 46330 190 433 0 58112 0
[pid=13679/tid=13680] ppid=13677 vsize=234192 CPUtime=341.37 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 45336 0 0 0 34092 45 0 0 20 0 2 0 275396065 239812608 46330 33554432000 4194304 5965102 140736399263856 140286630315544 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 234192

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/179 13685
/proc/meminfo: memFree=27831444/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=235928 CPUtime=402.17 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 51946 0 0 0 40168 49 0 0 20 0 2 0 275396064 241590272 52114 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

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

[pid=13679/tid=13680] ppid=13677 vsize=449376 CPUtime=1119.27 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 95061 0 0 0 111797 130 0 0 20 0 2 0 275396065 460161024 96523 33554432000 4194304 5965102 140736399263856 140286630316024 4401568 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 449376

[startup+1182.3 s]
/proc/loadavg: 1.24 1.75 1.91 2/172 13770
/proc/meminfo: memFree=28489416/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=453936 CPUtime=1181.97 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 103853 0 0 0 118073 124 0 0 20 0 2 0 275396064 464830464 104484 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 113484 104484 190 433 0 113048 0
[pid=13679/tid=13680] ppid=13677 vsize=453936 CPUtime=1179.11 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 103028 0 0 0 117770 141 0 0 20 0 2 0 275396065 464830464 104484 33554432000 4194304 5965102 140736399263856 140286630315544 4400966 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 453936

[startup+1242.3 s]
/proc/loadavg: 1.09 1.61 1.85 2/172 13770
/proc/meminfo: memFree=28484096/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=455016 CPUtime=1241.95 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 105016 0 0 0 124069 126 0 0 20 0 2 0 275396064 465936384 105656 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 113754 105656 190 433 0 113318 0
[pid=13679/tid=13680] ppid=13677 vsize=455016 CPUtime=1238.94 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 104191 0 0 0 123750 144 0 0 20 0 2 0 275396065 465936384 105656 33554432000 4194304 5965102 140736399263856 140286630316072 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 455016

[startup+1302.3 s]
/proc/loadavg: 1.09 1.51 1.80 2/172 13770
/proc/meminfo: memFree=28472812/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=455916 CPUtime=1301.94 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 107805 0 0 0 130063 131 0 0 20 0 2 0 275396064 466857984 108445 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 113979 108445 190 433 0 113543 0
[pid=13679/tid=13680] ppid=13677 vsize=455916 CPUtime=1298.79 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 106980 0 0 0 129729 150 0 0 20 0 2 0 275396065 466857984 108445 33554432000 4194304 5965102 140736399263856 140286630315544 4380048 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 455916

[startup+1362.3 s]
/proc/loadavg: 1.03 1.42 1.75 2/172 13770
/proc/meminfo: memFree=28458924/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=522596 CPUtime=1361.93 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 111325 0 0 0 136055 138 0 0 20 0 2 0 275396064 535138304 111965 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 130649 111965 190 433 0 130213 0
[pid=13679/tid=13680] ppid=13677 vsize=522596 CPUtime=1358.63 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 110500 0 0 0 135706 157 0 0 20 0 2 0 275396065 535138304 111965 33554432000 4194304 5965102 140736399263856 140286630315544 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 522596

[startup+1422.31 s]
/proc/loadavg: 1.01 1.34 1.70 2/172 13770
/proc/meminfo: memFree=28442244/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=524652 CPUtime=1421.93 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 115460 0 0 0 142049 144 0 0 20 0 2 0 275396064 537243648 116099 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 131163 116099 190 433 0 130727 0
[pid=13679/tid=13680] ppid=13677 vsize=524652 CPUtime=1418.48 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 114635 0 0 0 141683 165 0 0 20 0 2 0 275396065 537243648 116099 33554432000 4194304 5965102 140736399263856 140286630316024 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 524652

[startup+1482.3 s]
/proc/loadavg: 1.00 1.27 1.65 2/172 13771
/proc/meminfo: memFree=28441092/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=524652 CPUtime=1481.9 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 115840 0 0 0 148046 144 0 0 20 0 2 0 275396064 537243648 116473 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 131163 116473 190 433 0 130727 0
[pid=13679/tid=13680] ppid=13677 vsize=524652 CPUtime=1478.31 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 115015 0 0 0 147665 166 0 0 20 0 2 0 275396065 537243648 116473 33554432000 4194304 5965102 140736399263856 140286630315544 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 524652

[startup+1542.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/173 13774
/proc/meminfo: memFree=28423476/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=525316 CPUtime=1541.89 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 120204 0 0 0 154037 152 0 0 20 0 2 0 275396064 537923584 120837 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 131329 120837 190 433 0 130893 0
[pid=13679/tid=13680] ppid=13677 vsize=525316 CPUtime=1538.15 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 119379 0 0 0 153640 175 0 0 20 0 2 0 275396065 537923584 120837 33554432000 4194304 5965102 140736399263856 140286630316024 4401015 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 525316

[startup+1602.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/172 13774
/proc/meminfo: memFree=28408976/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=526156 CPUtime=1601.88 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 123826 0 0 0 160030 158 0 0 20 0 2 0 275396064 538783744 124459 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 131539 124459 190 433 0 131103 0
[pid=13679/tid=13680] ppid=13677 vsize=526156 CPUtime=1598 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 123001 0 0 0 159618 182 0 0 20 0 2 0 275396065 538783744 124459 33554432000 4194304 5965102 140736399263856 140286630315544 4380192 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 526156

[startup+1662.3 s]
/proc/loadavg: 1.00 1.14 1.53 2/172 13774
/proc/meminfo: memFree=28408976/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=526156 CPUtime=1661.87 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 123833 0 0 0 166029 158 0 0 20 0 2 0 275396064 538783744 124466 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 131539 124466 190 433 0 131103 0
[pid=13679/tid=13680] ppid=13677 vsize=526156 CPUtime=1657.85 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 123008 0 0 0 165602 183 0 0 20 0 2 0 275396065 538783744 124466 33554432000 4194304 5965102 140736399263856 140286630315544 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 526156

[startup+1722.3 s]
/proc/loadavg: 1.00 1.11 1.49 2/172 13774
/proc/meminfo: memFree=28395860/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=591692 CPUtime=1721.85 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 127138 0 0 0 172018 167 0 0 20 0 2 0 275396064 605892608 127759 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 147923 127759 190 433 0 147487 0
[pid=13679/tid=13680] ppid=13677 vsize=591692 CPUtime=1717.68 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 126313 0 0 0 171575 193 0 0 20 0 2 0 275396065 605892608 127759 33554432000 4194304 5965102 140736399263856 140286630315544 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 591692

[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.46 2/172 13775
/proc/meminfo: memFree=28384504/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=593704 CPUtime=1781.84 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 129894 0 0 0 178012 172 0 0 20 0 2 0 275396064 607952896 130514 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 148426 130514 190 433 0 147990 0
[pid=13679/tid=13680] ppid=13677 vsize=593704 CPUtime=1777.52 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 129069 0 0 0 177554 198 0 0 20 0 2 0 275396065 607952896 130514 33554432000 4194304 5965102 140736399263856 140286630315544 4380032 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 593704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.08 1.45 2/172 13775
/proc/meminfo: memFree=28384628/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=593704 CPUtime=1800.04 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 129894 0 0 0 179832 172 0 0 20 0 2 0 275396064 607952896 130514 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 148426 130514 190 433 0 147990 0
[pid=13679/tid=13680] ppid=13677 vsize=593704 CPUtime=1795.68 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 129069 0 0 0 179369 199 0 0 20 0 2 0 275396065 607952896 130514 33554432000 4194304 5965102 140736399263856 140286630315544 4380351 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 593704

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.08 1.45 2/172 13775
/proc/meminfo: memFree=28384628/32873844 swapFree=7116/7116
[pid=13679] ppid=13677 vsize=593704 CPUtime=1800.04 cores=1,3,5,7
/proc/13679/stat : 13679 (pwbo2.0) S 13677 13679 12793 0 -1 4202496 129894 0 0 0 179832 172 0 0 20 0 2 0 275396064 607952896 130514 33554432000 4194304 5965102 140736399263856 140736399263376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13679/statm: 148426 130514 190 433 0 147990 0
[pid=13679/tid=13680] ppid=13677 vsize=593704 CPUtime=1795.68 cores=1,3,5,7
/proc/13679/task/13680/stat : 13680 (pwbo2.0) R 13677 13679 12793 0 -1 4202560 129069 0 0 0 179369 199 0 0 20 0 2 0 275396065 607952896 130514 33554432000 4194304 5965102 140736399263856 140286630315544 4380351 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 593704

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13679 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=702315
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=10694
# CPU time returned by wait4() is 1795.71
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1798.32
CPU system time (s): 1.72
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 593704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.7
system time used= 2.01069
maximum resident set size= 522064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129896
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= 194
involuntary context switches= 2249

runsolver used 3.71043 second user time and 10.1745 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-27 06:25:11
IDJOB=3704595
IDBENCH=48377
IDSOLVER=2282
FILE ID=node146/3704595-1338092711
RUNJOBID= node146-1338088628-12810
PBS_JOBID= 14624466
Free space on /tmp= 71180 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_3_15.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704595-1338092711/watcher-3704595-1338092711 -o /tmp/evaluation-result-3704595-1338092711/solver-3704595-1338092711 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704595-1338092711.opb

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

MD5SUM BENCH= 97892b1b250c8711791b219b8ddda703
RANDOM SEED=960158223

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:        28449196 kB
Buffers:          315796 kB
Cached:          2840712 kB
SwapCached:         2616 kB
Active:          1391396 kB
Inactive:        2222524 kB
Active(anon):     455984 kB
Inactive(anon):     3384 kB
Active(file):     935412 kB
Inactive(file):  2219140 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100396 kB
Dirty:              5452 kB
Writeback:             0 kB
AnonPages:        484296 kB
Mapped:             8888 kB
Shmem:                 0 kB
Slab:             670148 kB
SReclaimable:     111648 kB
SUnreclaim:       558500 kB
KernelStack:        1488 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     148160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    313344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3704595-1338092711.opb

Free space on /tmp at the end= 71180 MiB
End job on node146 at 2012-05-27 06:55:14