Trace number 3737144

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)-108 1800.09 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
MD5SUM0247ef4de041bbff376811a7e6bf0408
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-115
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products3158
Sum of products size6316

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.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737144-1338713780.opb
0.00/0.00	c File size is 85927 bytes.
0.00/0.02	c Highest Coefficient sum: 500
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.017 s
0.00/0.02	c Var: 6816 Constr: 13632 6816/500/6316 Lit: 50528 Watch. Lit: 37896
0.00/0.02	c Obj. Vars: 500 (7.33568 % of total variables)
0.03/0.05	c Pre-processing Time: 0.05 s
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0    500     3158     9474    3     6316    1052      0      0 0.05
0.03/0.05	c Switching off LPR mode.
0.03/0.05	o -107	0.05
11.28/11.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.28/11.32	c        0    500     3159     9974    3     6425    2052      1      0 0.05
11.28/11.32	c      100    500     3259    49024   15     6625    2258    101   1562 0.06
11.28/11.32	c      351    500     3510   146854   41     7127    2484    352   3441 0.10
11.28/11.32	c      826    500     3985   332105   83     8077    2733    827   4720 0.17
11.28/11.32	c     1639    500     4798   649192  135     9703    3007   1640   5321 0.31
11.28/11.32	c     2960    500     6119  1164475  190    12345    3308   2961   5174 0.57
11.28/11.32	c     5041    500     8200  1975949  240    16507    3639   5042   4894 1.03
11.28/11.32	c     8264    500    11423  3233680  283    22953    4003   8265   4450 1.86
11.28/11.32	c    13200    500     7585  1735904  228    15277    4404   4427   3680 3.59
11.28/11.32	c    20706    500     6119  1164373  190    12345    4845   2961   3661 5.66
11.28/11.32	c    32067    500     8287  2010718  242    16681    5330   5129   3005 10.67
11.28/11.32	o -108	11.322
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c    34481    500    10702  2953391  275    21619    2052   7544   3045 11.32
1800.08/1800.40	c    34581    500    10802  2992337  277    21819    2258   7644   3047 11.35
1800.08/1800.40	c    34831    500    11052  3089675  279    22319    2484   7894   3056 11.40
1800.08/1800.40	c    35306    500    11527  3274520  284    23269    2733   8369   3076 11.47
1800.08/1800.40	c    36119    500     4526   542091  119     9160    3007   1368   3056 11.82
1800.08/1800.40	c    37439    500     5846  1055292  180    11800    3308   2688   3101 12.07
1800.08/1800.40	c    39520    500     7927  1864675  235    15962    3639   4769   3155 12.53
1800.08/1800.40	c    42744    500    11151  3119508  279    22410    4003   7993   3133 13.64
1800.08/1800.40	c    47680    500     7320  1630445  222    14748    4404   4162   3160 15.09
1800.08/1800.40	c    55186    500     5859  1059862  180    11826    4845   2701   3048 18.10
1800.08/1800.40	c    66547    500     8025  1903656  237    16158    5330   4867   2999 22.19
1800.08/1800.40	c    83691    500     6316  1237495  195    12740    5864   3158   2954 28.33
1800.08/1800.40	c   109511    500    12758  3744200  293    25624    6451   9600   2893 37.84
1800.08/1800.40	c   148343    500    11624  3301391  284    23356    7097   8466   2284 64.94
1800.08/1800.40	c   206697    500     8090  1928534  238    16288    7807   4932   2042 101.20
1800.08/1800.40	c   294330    500    10392  2822724  271    20892    8588   7234   2076 141.74
1800.08/1800.40	c   425883    500     9222  2369550  256    18552    9447   6064   1977 215.37
1800.08/1800.40	c   623316    500    11242  3156109  280    22592   10392   8084   1841 338.42
1800.08/1800.40	c   919568    500     8577  2116456  246    17262   11432   5419   1857 495.07
1800.08/1800.40	c  1364051    500    16219  5091113  313    32546   12576  13061   1915 711.95
1800.08/1800.40	c  2030879    500    17404  5547237  318    34916   13834  14246   1629 1246.57
1800.08/1800.40	c Caught signal: 15
1800.08/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 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 x288 x289 x290 -x291 x292 x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 x343 -x344 -x345 x346 x347 -x348 -x349 -x350 -x351 x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 x362 -x363 -x364 x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 x379 -x380 x381 x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 x405 x406 -x407 x408 x409 x410 x411 -x412 -x413 x414 -x415 x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 x498 -x499 -x500 
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   32  2734808 662254  4012993    15865  4951296  12707   1519 1800.09
1800.08/1800.40	c Objective: -108
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	c Total time: 1800.09 s

Verifier Data 

OK	-108

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-3737144-1338713780/watcher-3737144-1338713780 -o /tmp/evaluation-result-3737144-1338713780/solver-3737144-1338713780 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737144-1338713780.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: 1.58 1.64 1.84 3/176 18549
/proc/meminfo: memFree=30278604/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=4772 CPUtime=0 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 492 0 0 0 0 0 0 0 20 0 1 0 337503889 4886528 429 33554432000 134512640 135840783 4288423120 4288421728 2499879 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 1193 430 334 325 0 108 0

[startup+0.0407251 s]
/proc/loadavg: 1.58 1.64 1.84 3/176 18549
/proc/meminfo: memFree=30278604/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=8172 CPUtime=0.03 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 1364 0 0 0 3 0 0 0 20 0 1 0 337503889 8368128 1280 33554432000 134512640 135840783 4288423120 4288340444 5542960 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 2043 1280 345 325 0 979 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8172

[startup+0.100227 s]
/proc/loadavg: 1.58 1.64 1.84 3/176 18549
/proc/meminfo: memFree=30278604/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=9512 CPUtime=0.09 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 1750 0 0 0 9 0 0 0 20 0 1 0 337503889 9740288 1643 33554432000 134512640 135840783 4288423120 4288422480 134551312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 2378 1643 351 325 0 1314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9512

[startup+0.300187 s]
/proc/loadavg: 1.58 1.64 1.84 3/176 18549
/proc/meminfo: memFree=30278604/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=15432 CPUtime=0.28 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 3214 0 0 0 28 0 0 0 20 0 1 0 337503889 15802368 3107 33554432000 134512640 135840783 4288423120 4288422480 134551071 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 3858 3107 351 325 0 2794 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15432

[startup+0.700199 s]
/proc/loadavg: 1.58 1.64 1.84 3/176 18549
/proc/meminfo: memFree=30278604/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=25984 CPUtime=0.69 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 5850 0 0 0 68 1 0 0 20 0 1 0 337503889 26607616 5743 33554432000 134512640 135840783 4288423120 4288422432 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 6496 5743 351 325 0 5432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25984

[startup+1.50021 s]
/proc/loadavg: 1.61 1.64 1.84 3/177 18550
/proc/meminfo: memFree=30246976/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=42588 CPUtime=1.49 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 10027 0 0 0 147 2 0 0 20 0 1 0 337503889 43610112 9920 33554432000 134512640 135840783 4288423120 4288422672 134552107 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 10647 9920 351 325 0 9583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42588

[startup+3.10022 s]
/proc/loadavg: 1.61 1.64 1.84 3/177 18550
/proc/meminfo: memFree=30222548/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=61080 CPUtime=3.09 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 14648 0 0 0 306 3 0 0 20 0 1 0 337503889 62545920 14541 33554432000 134512640 135840783 4288423120 4288422432 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 15270 14541 351 325 0 14206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61080

[startup+6.30022 s]
/proc/loadavg: 1.61 1.64 1.84 3/177 18550
/proc/meminfo: memFree=30192416/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=63884 CPUtime=6.28 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 15333 0 0 0 625 3 0 0 20 0 1 0 337503889 65417216 15226 33554432000 134512640 135840783 4288423120 4288422480 134550878 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 15971 15226 351 325 0 14907 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63884

[startup+12.7002 s]
/proc/loadavg: 1.67 1.66 1.84 3/177 18550
/proc/meminfo: memFree=30167112/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=61148 CPUtime=12.68 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 15889 0 0 0 1265 3 0 0 20 0 1 0 337503889 62615552 14561 33554432000 134512640 135840783 4288423120 4288422432 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 15287 14561 351 325 0 14223 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61148

[startup+25.5011 s]
/proc/loadavg: 1.72 1.67 1.84 3/177 18550
/proc/meminfo: memFree=30109088/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=68404 CPUtime=25.49 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 17697 0 0 0 2545 4 0 0 20 0 1 0 337503889 70045696 16369 33554432000 134512640 135840783 4288423120 4288422480 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 17101 16369 351 325 0 16037 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68404

[startup+51.1003 s]
/proc/loadavg: 1.82 1.69 1.84 3/177 18550
/proc/meminfo: memFree=30091804/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=74112 CPUtime=51.08 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 19121 0 0 0 5104 4 0 0 20 0 1 0 337503889 75890688 17793 33554432000 134512640 135840783 4288423120 4288422480 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 18528 17793 351 325 0 17464 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74112

[startup+102.307 s]
/proc/loadavg: 1.92 1.74 1.85 3/177 18550
/proc/meminfo: memFree=30088748/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=77444 CPUtime=102.27 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 19994 0 0 0 10223 4 0 0 20 0 1 0 337503889 79302656 18617 33554432000 134512640 135840783 4288423120 4288422480 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 19361 18617 351 325 0 18297 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 77444

[startup+162.3 s]
/proc/loadavg: 1.97 1.79 1.86 3/177 18550
/proc/meminfo: memFree=30080224/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=84932 CPUtime=162.26 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 21956 0 0 0 16221 5 0 0 20 0 1 0 337503889 86970368 20507 33554432000 134512640 135840783 4288423120 4288422432 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 21233 20507 351 325 0 20169 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 84932

[startup+222.3 s]
/proc/loadavg: 1.99 1.82 1.86 3/178 18554
/proc/meminfo: memFree=30057800/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=89320 CPUtime=222.24 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 23069 0 0 0 22219 5 0 0 20 0 1 0 337503889 91463680 21602 33554432000 134512640 135840783 4288423120 4288422480 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 22330 21602 351 325 0 21266 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 89320

[startup+282.301 s]
/proc/loadavg: 1.99 1.85 1.87 3/178 18555
/proc/meminfo: memFree=30059840/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=89204 CPUtime=282.21 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 23105 0 0 0 28216 5 0 0 20 0 1 0 337503889 91344896 21587 33554432000 134512640 135840783 4288423120 4288422480 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 22301 21587 351 325 0 21237 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 89204

[startup+342.3 s]
/proc/loadavg: 1.99 1.88 1.87 3/177 18577
/proc/meminfo: memFree=30055232/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=93952 CPUtime=342.2 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 24280 0 0 0 34215 5 0 0 20 0 1 0 337503889 96206848 22758 33554432000 134512640 135840783 4288423120 4288422432 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 23488 22758 351 325 0 22424 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 93952

[startup+402.301 s]
/proc/loadavg: 1.99 1.89 1.88 3/177 18577
/proc/meminfo: memFree=30041716/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=93952 CPUtime=402.19 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 24307 0 0 0 40214 5 0 0 20 0 1 0 337503889 96206848 22774 33554432000 134512640 135840783 4288423120 4288422480 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 23488 22774 351 325 0 22424 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 93952

[startup+462.3 s]
/proc/loadavg: 1.99 1.91 1.89 3/177 18577
/proc/meminfo: memFree=30041840/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=93992 CPUtime=462.18 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 24350 0 0 0 46213 5 0 0 20 0 1 0 337503889 96247808 22774 33554432000 134512640 135840783 4288423120 4288422480 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 23498 22774 351 325 0 22434 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 93992

[startup+522.3 s]
/proc/loadavg: 1.99 1.92 1.89 3/177 18578
/proc/meminfo: memFree=30021168/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=99284 CPUtime=522.18 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 25792 0 0 0 52212 6 0 0 20 0 1 0 337503889 101666816 24093 33554432000 134512640 135840783 4288423120 4288422480 134550913 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 24821 24093 351 325 0 23757 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 99284

[startup+582.3 s]
/proc/loadavg: 1.99 1.94 1.90 3/177 18578
/proc/meminfo: memFree=30020536/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=99364 CPUtime=582.17 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 25829 0 0 0 58211 6 0 0 20 0 1 0 337503889 101748736 24123 33554432000 134512640 135840783 4288423120 4288422480 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18549/statm: 24841 24123 351 325 0 23777 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 99364

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/178 18582
/proc/meminfo: memFree=29998144/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=104948 CPUtime=822.12 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27444 0 0 0 82206 6 0 0 20 0 1 0 337503889 107466752 25509 33554432000 134512640 135840783 4288423120 4288422432 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26237 25509 351 325 0 25173 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 104948

[startup+882.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 18582
/proc/meminfo: memFree=29998904/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=104972 CPUtime=882.12 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27461 0 0 0 88205 7 0 0 20 0 1 0 337503889 107491328 25526 33554432000 134512640 135840783 4288423120 4288422480 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26243 25526 351 325 0 25179 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 104972

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 18582
/proc/meminfo: memFree=29998532/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=105048 CPUtime=942.11 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27472 0 0 0 94204 7 0 0 20 0 1 0 337503889 107569152 25534 33554432000 134512640 135840783 4288423120 4288417680 134574355 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26262 25534 351 325 0 25198 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 105048

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 18582
/proc/meminfo: memFree=29998532/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=104996 CPUtime=1002.1 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27480 0 0 0 100203 7 0 0 20 0 1 0 337503889 107515904 25534 33554432000 134512640 135840783 4288423120 4288422480 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26249 25534 351 325 0 25185 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 104996

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 18582
/proc/meminfo: memFree=29998660/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=105000 CPUtime=1062.09 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27493 0 0 0 106202 7 0 0 20 0 1 0 337503889 107520000 25523 33554432000 134512640 135840783 4288423120 4288422432 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26250 25523 351 325 0 25186 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 105000

[startup+1122.3 s]
/proc/loadavg: 2.04 1.99 1.91 3/177 18583
/proc/meminfo: memFree=29998536/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=105012 CPUtime=1122.08 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27505 0 0 0 112201 7 0 0 20 0 1 0 337503889 107532288 25525 33554432000 134512640 135840783 4288423120 4288417552 134586916 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26253 25525 351 325 0 25189 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 105012

[startup+1182.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 18583
/proc/meminfo: memFree=29998172/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=105040 CPUtime=1182.07 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27551 0 0 0 118200 7 0 0 20 0 1 0 337503889 107560960 25542 33554432000 134512640 135840783 4288423120 4288422480 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26260 25542 351 325 0 25196 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 105040

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 18583
/proc/meminfo: memFree=29998172/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=104956 CPUtime=1242.06 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 27559 0 0 0 124199 7 0 0 20 0 1 0 337503889 107474944 25524 33554432000 134512640 135840783 4288423120 4288422480 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 26239 25524 351 325 0 25175 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 104956

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 18583
/proc/meminfo: memFree=29991724/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111212 CPUtime=1302.05 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29183 0 0 0 130198 7 0 0 20 0 1 0 337503889 113881088 27089 33554432000 134512640 135840783 4288423120 4288422480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27803 27089 351 325 0 26739 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 111212

[startup+1362.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/177 18583
/proc/meminfo: memFree=29974240/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111256 CPUtime=1362.04 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29195 0 0 0 136197 7 0 0 20 0 1 0 337503889 113926144 27100 33554432000 134512640 135840783 4288423120 4288422544 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27814 27100 351 325 0 26750 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 111256

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 18587
/proc/meminfo: memFree=29973480/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111256 CPUtime=1422.03 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29195 0 0 0 142196 7 0 0 20 0 1 0 337503889 113926144 27100 33554432000 134512640 135840783 4288423120 4288422480 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27814 27100 351 325 0 26750 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 111256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 18587
/proc/meminfo: memFree=29973880/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111332 CPUtime=1482.02 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29202 0 0 0 148195 7 0 0 20 0 1 0 337503889 114003968 27107 33554432000 134512640 135840783 4288423120 4288422480 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27833 27107 351 325 0 26769 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 111332

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 18587
/proc/meminfo: memFree=29973880/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111312 CPUtime=1542.01 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29218 0 0 0 154194 7 0 0 20 0 1 0 337503889 113983488 27114 33554432000 134512640 135840783 4288423120 4288422432 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27828 27114 351 325 0 26764 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 111312

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 18587
/proc/meminfo: memFree=29973800/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111360 CPUtime=1602 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29253 0 0 0 160193 7 0 0 20 0 1 0 337503889 114032640 27114 33554432000 134512640 135840783 4288423120 4288422480 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27840 27114 351 325 0 26776 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 111360

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 18587
/proc/meminfo: memFree=29974172/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111272 CPUtime=1661.99 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29267 0 0 0 166192 7 0 0 20 0 1 0 337503889 113942528 27092 33554432000 134512640 135840783 4288423120 4288422432 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27818 27092 351 325 0 26754 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 111272

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18587
/proc/meminfo: memFree=29974056/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111272 CPUtime=1721.98 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29270 0 0 0 172191 7 0 0 20 0 1 0 337503889 113942528 27092 33554432000 134512640 135840783 4288423120 4288422416 134571456 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27818 27092 351 325 0 26754 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 111272

[startup+1782.3 s]
/proc/loadavg: 1.94 1.98 1.92 3/177 18627
/proc/meminfo: memFree=30086464/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111236 CPUtime=1781.97 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29304 0 0 0 178190 7 0 0 20 0 1 0 337503889 113905664 27095 33554432000 134512640 135840783 4288423120 4288422480 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27809 27095 351 325 0 26745 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 111236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.95 1.98 1.92 3/177 18627
/proc/meminfo: memFree=29858428/32873648 swapFree=6860/6860
[pid=18549] ppid=18547 vsize=111236 CPUtime=1800.08 cores=0,2,4,6
/proc/18549/stat : 18549 (bsolo3.0.17) R 18547 18549 18429 0 -1 4202496 29304 0 0 0 180001 7 0 0 20 0 1 0 337503889 113905664 27095 33554432000 134512640 135840783 4288423120 4288422544 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18549/statm: 27809 27095 351 325 0 26745 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 111236

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.01
CPU system time (s): 0.076988
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 111468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.076988
maximum resident set size= 108580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29307
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= 60
involuntary context switches= 2154

runsolver used 3.48047 second user time and 9.05462 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 10:56:20
IDJOB=3737144
IDBENCH=48187
IDSOLVER=2318
FILE ID=node124/3737144-1338713780
RUNJOBID= node124-1338713740-18445
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

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

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

MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408
RANDOM SEED=1398524923

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30279132 kB
Buffers:          193120 kB
Cached:          1376852 kB
SwapCached:         8268 kB
Active:           650176 kB
Inactive:        1176732 kB
Active(anon):     251308 kB
Inactive(anon):     8240 kB
Active(file):     398868 kB
Inactive(file):  1168492 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              6620 kB
Writeback:             0 kB
AnonPages:        256432 kB
Mapped:            10368 kB
Shmem:                 0 kB
Slab:             629784 kB
SReclaimable:      74244 kB
SUnreclaim:       555540 kB
KernelStack:        1464 kB
PageTables:         4168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     372404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node124 at 2012-06-03 11:26:23