Trace number 3737243

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 NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)-46 1800.09 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_1.opb
MD5SUM2be9d345a101e171c9ff93c0b5b2195d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1797.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2482
Sum of products size (including duplicates)4964
Number of different products1241
Sum of products size2482

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.03	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.03	c type "bsolo -h" for help
0.00/0.03	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Memory Limit set to 15500 MB
0.00/0.03	c Instance file HOME/instance-3737243-1338714620.opb
0.00/0.03	c File size is 32203 bytes.
0.00/0.04	c Highest Coefficient sum: 200
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.007 s
0.00/0.04	c Var: 2682 Constr: 5364 2682/200/2482 Lit: 19856 Watch. Lit: 14892
0.00/0.04	c Obj. Vars: 200 (7.45712 % of total variables)
0.01/0.05	c Pre-processing Time: 0.018 s
0.01/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.05	c        0    200     1241     3723    3     2482     413      0      0 0.02
0.01/0.05	c Switching off LPR mode.
0.01/0.05	o -44	0.018
0.01/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.05	c        0    200     1242     3923    3     2528    1413      1      0 0.02
0.01/0.05	o -45	0.02
454.97/455.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
454.97/455.12	c       31    200     1274     8879    6     2637    1413     33   1550 0.02
454.97/455.12	c      131    200     1374    24023   17     2837    1555    133   5038 0.03
454.97/455.12	c      381    200     1624    62002   38     3337    1711    383   8860 0.04
454.97/455.12	c      856    200     2099   134107   63     4287    1883    858  10974 0.08
454.97/455.12	c     1671    200     2914   257808   88     5917    2072   1673  11066 0.15
454.97/455.12	c     2991    200     4234   458006  108     8557    2280   2993   9465 0.32
454.97/455.12	c     5072    200     2535   199994   78     5115    2509   1294   8397 0.60
454.97/455.12	c     8295    200     5758   688928  119    11561    2760   4517   8387 0.99
454.97/455.12	c    13231    200     2640   214673   81     5325    3037   1399   6912 1.91
454.97/455.12	c    20737    200     5986   721585  120    12017    3341   4745   6504 3.19
454.97/455.12	c    32099    200     4389   480298  109     8823    3676   3148   5970 5.38
454.97/455.12	c    49244    200     3579   358685  100     7203    4044   2338   5443 9.05
454.97/455.12	c    75064    200     6053   734058  121    12151    4449   4812   5018 14.96
454.97/455.12	c   113896    200     5909   709967  120    11863    4894   4668   4633 24.58
454.97/455.12	c   172249    200     8216  1060977  129    16477    5384   6975   4324 39.83
454.97/455.12	c   259881    200     5094   587906  115    10233    5923   3853   4224 61.52
454.97/455.12	c   391433    200     7673   977294  127    15391    6516   6432   3781 103.52
454.97/455.12	c   588866    200     4500   496470  110     9045    7168   3259   3708 158.79
454.97/455.12	c   885119    200     7917  1017189  128    15879    7885   6676   3466 255.32
454.97/455.12	c  1329601    200    10992  1481559  134    22029    8674   9751   3305 402.28
454.97/455.12	o -46	455.004
1800.07/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.40	c  1474402    200     9082  1193183  131    18255    1413   7841   3240 455.00
1800.07/1800.40	c  1474503    200     2050   126309   61     4146    1555    809   3240 455.05
1800.07/1800.40	c  1474754    200     2301   164177   71     4648    1711   1060   3240 455.07
1800.07/1800.40	c  1475229    200     2776   235703   84     5598    1883   1535   3241 455.11
1800.07/1800.40	c  1476043    200     3590   358419   99     7226    2072   2349   3242 455.18
1800.07/1800.40	c  1477364    200     4911   557749  113     9868    2280   3670   3244 455.35
1800.07/1800.40	c  1479445    200     3212   300358   93     6470    2509   1971   3246 455.64
1800.07/1800.40	c  1482668    200     2532   197404   77     5110    2760   1291   3250 456.13
1800.07/1800.40	c  1487604    200     3442   334518   97     6930    3037   2201   3255 456.90
1800.07/1800.40	c  1495112    200     2761   231967   84     5568    3341   1520   3263 458.10
1800.07/1800.40	c  1506473    200     5483   640173  116    11012    3676   4242   3273 460.24
1800.07/1800.40	c  1523617    200     4687   520990  111     9420    4044   3446   3285 463.75
1800.07/1800.40	c  1549436    200     7165   894847  124    14376    4449   5924   3303 469.07
1800.07/1800.40	c  1588269    200     6992   869648  124    14030    4894   5751   3322 477.99
1800.07/1800.40	c  1646621    200     4190   448138  106     8426    5384   2949   3336 493.58
1800.07/1800.40	c  1734254    200     6423   783828  122    12892    5923   5182   3382 512.66
1800.07/1800.40	c  1865806    200     8971  1166706  130    17988    6516   7730   3416 546.16
1800.07/1800.40	c  2063240    200     5660   669003  118    11366    7168   4419   3412 604.54
1800.07/1800.40	c  2359493    200     9206  1202529  130    18458    7885   7965   3377 698.54
1800.07/1800.40	c  2803976    200     6075   731291  120    12196    8674   4834   3338 839.98
1800.07/1800.40	c  3470803    200     9843  1298973  131    19732    9542   8602   3373 1028.79
1800.07/1800.40	c  4471148    200     9435  1236715  131    18916   10497   8194   3323 1345.41
1800.07/1800.40	c Caught signal: 15
1800.07/1800.40	v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 x79 x80 -x81 x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 x151 -x152 -x153 -x154 x155 x156 x157 -x158 x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 x173 -x174 -x175 x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 x185 -x186 -x187 x188 -x189 x190 -x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199 x200 
1800.07/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.40	c   43  5649105 812253  6794124    11463  1540953  10222   3138 1800.08
1800.07/1800.40	c Objective: -46
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	c Total time: 1800.08 s

Verifier Data 

OK	-46

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-3737243-1338714620/watcher-3737243-1338714620 -o /tmp/evaluation-result-3737243-1338714620/solver-3737243-1338714620 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737243-1338714620.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.00 1.30 1.67 3/173 23331
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=2428 CPUtime=0 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) D 23328 23331 23291 0 -1 4194304 76 0 0 0 0 0 0 0 20 0 1 0 337590505 2486272 31 33554432000 134512640 135840783 4294222304 4294220296 7233783 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 607 31 24 325 0 25 0

[startup+0.0534691 s]
/proc/loadavg: 1.00 1.30 1.67 3/173 23331
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=6040 CPUtime=0.01 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 819 0 3 0 1 0 0 0 20 0 1 0 337590505 6184960 751 33554432000 134512640 135840783 4294222304 4294189120 134549125 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 1510 751 345 325 0 446 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6040

[startup+0.100216 s]
/proc/loadavg: 1.00 1.30 1.67 3/173 23331
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=7072 CPUtime=0.05 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 1096 0 3 0 5 0 0 0 20 0 1 0 337590505 7241728 1028 33554432000 134512640 135840783 4294222304 4294219280 1582375 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 1768 1028 351 325 0 704 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7072

[startup+0.300183 s]
/proc/loadavg: 1.00 1.30 1.67 3/173 23331
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=10504 CPUtime=0.25 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 1973 0 3 0 25 0 0 0 20 0 1 0 337590505 10756096 1905 33554432000 134512640 135840783 4294222304 4294219280 1582375 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 2626 1905 351 325 0 1562 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10504

[startup+0.700182 s]
/proc/loadavg: 1.00 1.30 1.67 3/173 23331
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=15276 CPUtime=0.65 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 3142 0 3 0 65 0 0 0 20 0 1 0 337590505 15642624 3074 33554432000 134512640 135840783 4294222304 4294219712 134573502 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 3819 3074 351 325 0 2755 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 15276

[startup+1.50019 s]
/proc/loadavg: 1.08 1.31 1.67 3/178 23336
/proc/meminfo: memFree=28741700/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=16176 CPUtime=1.46 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 3385 0 3 0 145 1 0 0 20 0 1 0 337590505 16564224 3317 33554432000 134512640 135840783 4294222304 4294221656 13494457 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 4044 3317 351 325 0 2980 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 16176

[startup+3.10021 s]
/proc/loadavg: 1.08 1.31 1.67 3/178 23336
/proc/meminfo: memFree=28729672/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=16804 CPUtime=3.06 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 3522 0 3 0 305 1 0 0 20 0 1 0 337590505 17207296 3454 33554432000 134512640 135840783 4294222304 4294221664 134550791 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 4201 3454 351 325 0 3137 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16804

[startup+6.3002 s]
/proc/loadavg: 1.15 1.33 1.68 3/178 23336
/proc/meminfo: memFree=28726556/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=18092 CPUtime=6.26 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 3859 0 3 0 625 1 0 0 20 0 1 0 337590505 18526208 3791 33554432000 134512640 135840783 4294222304 4294221616 134550913 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 4523 3791 351 325 0 3459 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18092

[startup+12.7002 s]
/proc/loadavg: 1.22 1.34 1.68 3/178 23336
/proc/meminfo: memFree=28723024/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=18860 CPUtime=12.66 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 4057 0 3 0 1265 1 0 0 20 0 1 0 337590505 19312640 3989 33554432000 134512640 135840783 4294222304 4294221664 134551048 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 4715 3989 351 325 0 3651 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 18860

[startup+25.5002 s]
/proc/loadavg: 1.39 1.37 1.68 3/178 23336
/proc/meminfo: memFree=28722092/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=20604 CPUtime=25.45 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 4481 0 3 0 2544 1 0 0 20 0 1 0 337590505 21098496 4407 33554432000 134512640 135840783 4294222304 4294221664 134550863 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 5151 4407 351 325 0 4087 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 20604

[startup+51.1003 s]
/proc/loadavg: 1.60 1.42 1.69 3/177 23336
/proc/meminfo: memFree=28717632/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=21628 CPUtime=51.04 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 4744 0 3 0 5103 1 0 0 20 0 1 0 337590505 22147072 4669 33554432000 134512640 135840783 4294222304 4294221616 134550910 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 5407 4669 351 325 0 4343 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 21628

[startup+102.307 s]
/proc/loadavg: 1.82 1.50 1.70 3/177 23336
/proc/meminfo: memFree=28713224/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=22688 CPUtime=102.24 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 5020 0 3 0 10223 1 0 0 20 0 1 0 337590505 23232512 4944 33554432000 134512640 135840783 4294222304 4294221664 134550913 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 5672 4944 351 325 0 4608 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 22688

[startup+162.3 s]
/proc/loadavg: 1.93 1.59 1.72 3/177 23336
/proc/meminfo: memFree=28708820/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=25260 CPUtime=162.22 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 5648 0 3 0 16221 1 0 0 20 0 1 0 337590505 25866240 5572 33554432000 134512640 135840783 4294222304 4294221664 134551084 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 6315 5572 351 325 0 5251 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 25260

[startup+222.3 s]
/proc/loadavg: 1.97 1.66 1.74 3/177 23336
/proc/meminfo: memFree=28708568/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=25240 CPUtime=222.21 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 5660 0 3 0 22220 1 0 0 20 0 1 0 337590505 25845760 5583 33554432000 134512640 135840783 4294222304 4294221664 134550913 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 6310 5583 351 325 0 5246 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 25240

[startup+282.3 s]
/proc/loadavg: 1.99 1.72 1.75 3/177 23337
/proc/meminfo: memFree=28706024/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=26744 CPUtime=282.2 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6042 0 3 0 28219 1 0 0 20 0 1 0 337590505 27385856 5948 33554432000 134512640 135840783 4294222304 4294221728 134546112 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 6686 5948 351 325 0 5622 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 26744

[startup+342.3 s]
/proc/loadavg: 1.99 1.77 1.76 3/177 23337
/proc/meminfo: memFree=28709184/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=26736 CPUtime=342.19 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6047 0 3 0 34218 1 0 0 20 0 1 0 337590505 27377664 5952 33554432000 134512640 135840783 4294222304 4294219568 134547575 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 6684 5952 351 325 0 5620 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 26736

[startup+402.3 s]
/proc/loadavg: 1.99 1.81 1.77 3/177 23337
/proc/meminfo: memFree=28707880/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=26724 CPUtime=402.18 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6053 0 3 0 40217 1 0 0 20 0 1 0 337590505 27365376 5958 33554432000 134512640 135840783 4294222304 4294221664 134550884 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 6681 5958 351 325 0 5617 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 26724

[startup+462.3 s]
/proc/loadavg: 1.99 1.84 1.78 3/177 23337
/proc/meminfo: memFree=28706392/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=28136 CPUtime=462.17 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6450 0 3 0 46216 1 0 0 20 0 1 0 337590505 28811264 6313 33554432000 134512640 135840783 4294222304 4294221440 1579733 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7034 6313 351 325 0 5970 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 28136

[startup+522.3 s]
/proc/loadavg: 1.99 1.87 1.79 3/177 23337
/proc/meminfo: memFree=28704840/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=28136 CPUtime=522.16 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6450 0 3 0 52215 1 0 0 20 0 1 0 337590505 28811264 6313 33554432000 134512640 135840783 4294222304 4294221664 134551084 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7034 6313 351 325 0 5970 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 28136

[startup+582.3 s]
/proc/loadavg: 1.99 1.89 1.81 3/178 23341
/proc/meminfo: memFree=28704536/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=28136 CPUtime=582.15 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6450 0 3 0 58214 1 0 0 20 0 1 0 337590505 28811264 6313 33554432000 134512640 135840783 4294222304 4294221664 134551368 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7034 6313 351 325 0 5970 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 28136

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 1.94 1.84 3/177 23341
/proc/meminfo: memFree=28704032/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=28136 CPUtime=822.12 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6450 0 3 0 82211 1 0 0 20 0 1 0 337590505 28811264 6313 33554432000 134512640 135840783 4294222304 4294221728 134546112 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7034 6313 351 325 0 5970 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 28136

[startup+882.3 s]
/proc/loadavg: 1.99 1.95 1.84 3/176 23341
/proc/meminfo: memFree=28704164/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=28188 CPUtime=882.11 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6457 0 3 0 88210 1 0 0 20 0 1 0 337590505 28864512 6318 33554432000 134512640 135840783 4294222304 4294221664 134551084 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7047 6318 351 325 0 5983 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 28188

[startup+942.3 s]
/proc/loadavg: 1.99 1.95 1.85 3/177 23342
/proc/meminfo: memFree=28704156/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=28180 CPUtime=942.1 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6458 0 3 0 94209 1 0 0 20 0 1 0 337590505 28856320 6319 33554432000 134512640 135840783 4294222304 4294221664 134550921 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7045 6319 351 325 0 5981 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 28180

[startup+1002.3 s]
/proc/loadavg: 1.99 1.96 1.85 3/177 23342
/proc/meminfo: memFree=28704280/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=28180 CPUtime=1002.09 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6460 0 3 0 100208 1 0 0 20 0 1 0 337590505 28856320 6321 33554432000 134512640 135840783 4294222304 4294221664 134551186 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7045 6321 351 325 0 5981 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 28180

[startup+1062.3 s]
/proc/loadavg: 2.03 1.98 1.86 3/177 23342
/proc/meminfo: memFree=28700928/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=29952 CPUtime=1062.08 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6907 0 3 0 106207 1 0 0 20 0 1 0 337590505 30670848 6767 33554432000 134512640 135840783 4294222304 4294221664 134550872 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7488 6767 351 325 0 6424 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 29952

[startup+1122.3 s]
/proc/loadavg: 2.01 1.98 1.87 3/177 23342
/proc/meminfo: memFree=28701052/32873844 swapFree=6876/6876
[pid=23331] ppid=23328 vsize=29952 CPUtime=1122.07 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6907 0 3 0 112206 1 0 0 20 0 1 0 337590505 30670848 6767 33554432000 134512640 135840783 4294222304 4294221604 13890189 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7488 6767 351 325 0 6424 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 29952

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.88 3/178 23345
/proc/meminfo: memFree=28700276/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=29932 CPUtime=1182.06 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6907 0 3 0 118205 1 0 0 20 0 1 0 337590505 30650368 6762 33554432000 134512640 135840783 4294222304 4294221660 134521208 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7483 6762 351 325 0 6419 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 29932

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.88 3/177 23346
/proc/meminfo: memFree=28698076/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=29932 CPUtime=1242.05 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6907 0 3 0 124204 1 0 0 20 0 1 0 337590505 30650368 6762 33554432000 134512640 135840783 4294222304 4294221664 134551116 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7483 6762 351 325 0 6419 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 29932

[startup+1302.3 s]
/proc/loadavg: 2.08 1.99 1.89 3/177 23346
/proc/meminfo: memFree=28697888/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=29932 CPUtime=1302.05 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 6907 0 3 0 130204 1 0 0 20 0 1 0 337590505 30650368 6762 33554432000 134512640 135840783 4294222304 4294219432 134584989 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7483 6762 351 325 0 6419 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 29932

[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.90 3/177 23346
/proc/meminfo: memFree=28696028/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31908 CPUtime=1362.03 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7390 0 3 0 136202 1 0 0 20 0 1 0 337590505 32673792 7245 33554432000 134512640 135840783 4294222304 4294221616 134550913 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7977 7245 351 325 0 6913 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 31908

[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.90 3/177 23346
/proc/meminfo: memFree=28695964/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31908 CPUtime=1422.03 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7395 0 3 0 142202 1 0 0 20 0 1 0 337590505 32673792 7249 33554432000 134512640 135840783 4294222304 4294219616 134547664 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7977 7249 351 325 0 6913 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 31908

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 23347
/proc/meminfo: memFree=28695708/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31948 CPUtime=1482.01 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7404 0 3 0 148200 1 0 0 20 0 1 0 337590505 32714752 7258 33554432000 134512640 135840783 4294222304 4294221664 134551048 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7987 7258 351 325 0 6923 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 31948

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/177 23348
/proc/meminfo: memFree=28696212/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31916 CPUtime=1542.01 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7404 0 3 0 154200 1 0 0 20 0 1 0 337590505 32681984 7258 33554432000 134512640 135840783 4294222304 4294221664 134551048 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7979 7258 351 325 0 6915 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 31916

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.92 3/177 23348
/proc/meminfo: memFree=28696212/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31916 CPUtime=1602 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7404 0 3 0 160199 1 0 0 20 0 1 0 337590505 32681984 7258 33554432000 134512640 135840783 4294222304 4294221728 134546112 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7979 7258 351 325 0 6915 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 31916

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 23348
/proc/meminfo: memFree=28693916/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31916 CPUtime=1661.99 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7404 0 3 0 166198 1 0 0 20 0 1 0 337590505 32681984 7258 33554432000 134512640 135840783 4294222304 4294221664 134551052 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7979 7258 351 325 0 6915 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 31916

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 23348
/proc/meminfo: memFree=28693792/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31888 CPUtime=1721.98 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7404 0 3 0 172197 1 0 0 20 0 1 0 337590505 32653312 7251 33554432000 134512640 135840783 4294222304 4294221660 134520568 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7972 7251 351 325 0 6908 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 31888

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23351
/proc/meminfo: memFree=28693116/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31884 CPUtime=1781.97 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7404 0 3 0 178196 1 0 0 20 0 1 0 337590505 32649216 7250 33554432000 134512640 135840783 4294222304 4294221664 134551058 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7971 7250 351 325 0 6907 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 31884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23352
/proc/meminfo: memFree=28693412/32873844 swapFree=6872/6872
[pid=23331] ppid=23328 vsize=31884 CPUtime=1800.07 cores=1,3,5,7
/proc/23331/stat : 23331 (bsolo3.0.17) R 23328 23331 23291 0 -1 4202496 7404 0 3 0 180006 1 0 0 20 0 1 0 337590505 32649216 7250 33554432000 134512640 135840783 4294222304 4294221376 1579756 0 0 4096 16384 0 0 0 17 5 0 0 3 0 0
/proc/23331/statm: 7971 7250 351 325 0 6907 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 31884

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1800.07
CPU system time (s): 0.018997
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 31992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.018997
maximum resident set size= 29032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7408
page faults= 3
swaps= 0
block input operations= 232
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 1852

runsolver used 3.46247 second user time and 10.0835 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 11:10:20
IDJOB=3737243
IDBENCH=48208
IDSOLVER=2318
FILE ID=node106/3737243-1338714620
RUNJOBID= node106-1338714620-23308
PBS_JOBID= 14636759
Free space on /tmp= 70860 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737243-1338714620/watcher-3737243-1338714620 -o /tmp/evaluation-result-3737243-1338714620/solver-3737243-1338714620 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737243-1338714620.opb            

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

MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d
RANDOM SEED=773839155

node106.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.065
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.13
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.065
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.065
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.065
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.92
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.065
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.065
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.065
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.065
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:        28770076 kB
Buffers:          297748 kB
Cached:          2954456 kB
SwapCached:         2004 kB
Active:          1008408 kB
Inactive:        2247976 kB
Active(anon):       1840 kB
Inactive(anon):     4984 kB
Active(file):    1006568 kB
Inactive(file):  2242992 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:             13272 kB
Writeback:             0 kB
AnonPages:          9396 kB
Mapped:             8172 kB
Shmem:                 0 kB
Slab:             707728 kB
SReclaimable:     149840 kB
SUnreclaim:       557888 kB
KernelStack:        1384 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103836 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= 70848 MiB
End job on node106 at 2012-06-03 11:40:23