Trace number 3743509

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.17Signal 985.673 1155.25

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX300_K67_cod1.opb
MD5SUMf6abb5dab8498b879a85f97ed19c694b
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67580
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
Biggest coefficient in the objective function 999
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 8048436
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 999
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 8048436
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.05	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.05	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.05	c type "bsolo -h" for help
0.00/0.05	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.05	c Memory Limit set to 15500 MB
0.00/0.05	c Instance file HOME/instance-3743509-1338783861.opb
0.00/0.05	c File size is 2658849 bytes.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.24/0.30	c Highest Coefficient sum: 8.04844e+06
0.24/0.30	c Parsing was ok!!
0.24/0.30	c Total parsing time: 0.252 s
0.24/0.32	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161074
0.24/0.32	c Obj. Vars: 16038 (39.648 % of total variables)
26.13/26.26	c Pre-processing Time: 26.202 s
26.23/26.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.23/26.31	c        0  19686    33499   187590    5   137506  622567      0      0 26.20
26.23/26.31	o -13037	26.254
27.52/27.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.52/27.64	c        1  19686    33501   201022    6   137634  648997      2      0 26.26
27.52/27.64	c      102  19686    33602   202183    6   137786  713897    103      3 26.43
27.52/27.64	c      352  19686    33852   204958    6   138313  785287    353     13 26.86
27.52/27.64	o -33940	27.58
27.92/28.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.92/28.08	c      627  19686    34128   220292    6   138970  648997    629     22 27.59
27.92/28.08	c      728  19686    34229   220974    6   139076  713897    730     26 27.83
27.92/28.08	o -41927	28.021
30.33/30.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.33/30.45	c      793  19686    34295   236955    6   139398  648997    796     28 28.03
30.33/30.45	c      893  19686    34395   728406   21   139599  713897    896     31 28.41
30.33/30.45	c     1143  19686    34645   745048   21   140089  785287   1146     39 28.79
30.33/30.45	c     1619  19686    35121   811559   23   141017  863816   1622     54 29.78
30.33/30.45	o -42728	30.388
463.70/463.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
463.70/463.92	c     1931  19686    35434   930946   26   141750  648997   1935     63 30.40
463.70/463.92	c     2031  19686    35534   931728   26   141808  713897   2035     66 30.58
463.70/463.92	c     2281  19686    35784   963540   26   142378  785287   2285     73 31.03
463.70/463.92	c     2756  19686    36259  1027186   28   143329  863816   2760     86 31.94
463.70/463.92	c     3569  19686    37072  1151132   31   144955  950198   3573    106 33.60
463.70/463.92	c     4889  19686    38392  1342060   34   147596  500000   4893    133 36.65
463.70/463.92	c     6970  19686    40473  1621815   40   151758  550001   6974    171 40.75
463.70/463.92	c    10193  19686    43696  2095720   47   158201  605002  10197    216 47.17
463.70/463.92	c    15129  19686    48632  2802735   57   168069  665503  15133    262 57.55
463.70/463.92	c    22636  19686    56139  3899082   69   183084  732054  22640    309 73.05
463.70/463.92	c    33997  19686    67500  5643257   83   205795  805260  34001    348 97.46
463.70/463.92	c    51141  19686    84644  8811856  104   240083  885787  51145    320 159.71
463.70/463.92	c    76963  19686   110466 14924551  135   291728  974366  76967    300 256.17
463.70/463.92	o -42881	463.733
745.34/745.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
745.34/745.68	c   111141  19686   144645 119457611  825   360262  648997 111146    239 463.75
745.34/745.68	c   111241  19686   144745 119465598  825   360365  713897 111246    239 464.00
745.34/745.68	c   111491  19686   144995 119497911  824   360865  785287 111496    239 464.58
745.34/745.68	c   111966  19686   145470 119559352  821   361815  863816 111971    240 465.72
745.34/745.68	c   112779  19686   146283 119663726  818   363442  950198 112784    241 467.48
745.34/745.68	c   114099  19686   147603 119836694  811   366074  500000 114104    242 470.52
745.34/745.68	c   116180  19686   149684 120108070  802   370224  550001 116185    244 475.58
745.34/745.68	c   119403  19686   152907 120536126  788   376668  605002 119408    247 481.85
745.34/745.68	c   124339  19686   157843 121208631  767   386558  665503 124344    253 491.21
745.34/745.68	c   131845  19686   165349 122280640  739   401540  732054 131850    260 505.72
745.34/745.68	c   143206  19686   176710 245796242 1390   424402  805260 143211    197 725.87
745.34/745.68	o -42939	745.429
805.62/805.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
805.62/805.93	c   150349  19686   183854 246705766 1341   438755  648997 150355    201 745.44
805.62/805.93	c   150449  19686   183954 246711789 1341   438842  713897 150455    201 745.72
805.62/805.93	c   150699  19686   184204 246743041 1339   439342  785287 150705    201 746.22
805.62/805.93	c   151174  19686   184679 246791949 1336   440279  863816 151180    202 747.23
805.62/805.93	c   151987  19686   185492 246893091 1331   441904  950198 151993    202 748.86
805.62/805.93	c   153307  19686   186812 247057877 1322   444541  500000 153313    204 751.50
805.62/805.93	c   155388  19686   188893 247309656 1309   448702  550001 155394    205 755.65
805.62/805.93	c   158611  19686   192116 247712476 1289   455149  605002 158617    208 761.87
805.62/805.93	c   163547  19686   197052 248331739 1260   465052  665503 163553    212 771.19
805.62/805.93	c   171053  19686   204558 249275500 1218   480055  732054 171059    217 785.41
805.62/805.93	o -43587	805.668
806.22/806.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
806.22/806.51	c   180975  19686   214481 250490081 1167   500103  648997 180982    224 805.68
806.22/806.51	c   181075  19686   214581 250492049 1167   500048  713897 181082    224 805.85
806.22/806.51	o -43994	806.247
806.72/807.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
806.72/807.03	c   181220  19686   214727 250512230 1166   500622  648997 181228    224 806.26
806.72/807.03	c   181320  19686   214827 250513388 1166   500593  713897 181328    224 806.52
806.72/807.03	o -44153	806.768
811.53/811.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
811.53/811.83	c   181382  19686   214890 250527245 1165   501037  648997 181391    224 806.78
811.53/811.83	c   181483  19686   214991 250538113 1165   501076  713897 181492    224 807.07
811.53/811.83	c   181733  19686   215241 250548858 1164   501570  785287 181742    224 807.72
811.53/811.83	c   182211  19686   215719 250727836 1162   502563  863816 182220    225 809.01
811.53/811.83	o -44992	811.565
813.32/813.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
813.32/813.66	c   182949  19686   216458 251640797 1162   504307  648997 182959    225 811.58
813.32/813.66	c   183049  19686   216558 251650065 1162   504292  713897 183059    225 811.82
813.32/813.66	c   183299  19686   216808 251668944 1160   504795  785287 183309    225 812.43
813.32/813.66	o -47216	813.393
832.52/832.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
832.52/832.86	c   183747  19686   217257 251718643 1158   505860  648997 183758    225 813.40
832.52/832.86	c   183847  19686   217357 251870031 1158   506118  713897 183858    225 813.84
832.52/832.86	c   184097  19686   217607 251912451 1157   506412  785287 184108    226 814.46
832.52/832.86	c   184572  19686   218082 251998608 1155   507373  863816 184583    226 815.39
832.52/832.86	c   185385  19686   218895 252285888 1152   509152  950198 185396    226 817.09
832.52/832.86	c   186705  19686   220215 252542372 1146   511756  500000 186716    227 819.61
832.52/832.86	c   188786  19686   222296 252903655 1137   515806  550001 188797    229 823.90
832.52/832.86	c   192009  19686   225519 253368331 1123   522263  605002 192020    231 829.63
832.52/832.86	o -47752	832.594
982.76/983.18	terminate called after throwing an instance of 'std::bad_alloc'
982.76/983.18	  what():  std::bad_alloc
982.76/983.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
982.76/983.18	c   193134  19686   226645 253745129 1119   524783  648997 193146    231 832.61
982.76/983.18	c   193234  19686   226745 253758362 1119   524820  713897 193246    232 832.80
982.76/983.18	c   193486  19686   226997 253764151 1117   525119  785287 193498    232 833.28
982.76/983.18	c   193961  19686   227472 255101215 1121   526429  863816 193973    232 835.11
982.76/983.18	c   194774  19686   228285 255171770 1117   527815  950198 194786    232 836.63
982.76/983.18	c   196094  19686   229605 255346757 1112   530446  500000 196106    233 839.56
982.76/983.18	c   198175  19686   231686 255623020 1103   534609  550001 198187    234 843.95
982.76/983.18	c   201398  19686   234909 256053159 1090   541060  605002 201410    236 851.78
982.76/983.18	c   206334  19686   239845 256715221 1070   550930  665503 206346    239 861.52
982.76/983.18	c   213840  19686   247351 257747505 1042   565932  732054 213852    243 878.31
982.76/983.18	c   225201  19686   258712 307682605 1189   588942  805260 225213    242 929.82
982.76/983.18	c   242345  19686   275856 310130806 1124   623086  885787 242357    252 961.61

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-3743509-1338783861/watcher-3743509-1338783861 -o /tmp/evaluation-result-3743509-1338783861/solver-3743509-1338783861 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743509-1338783861.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: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=2428 CPUtime=0 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) D 2851 2854 2813 0 -1 4194304 76 0 0 0 0 0 0 0 20 0 1 0 344511596 2486272 30 33554432000 134512640 135840783 4293397312 4293395304 9588983 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/2854/statm: 607 30 24 325 0 25 0

[startup+0.0422149 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) D 2851 2854 2813 0 -1 4194304 166 0 3 0 0 0 0 0 20 0 1 0 344511596 4583424 119 33554432000 134512640 135840783 4293397312 4293396232 9528641 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 3 0 0
/proc/2854/statm: 1119 119 101 325 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4476

[startup+0.10022 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=10068 CPUtime=0.04 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 1348 0 4 0 4 0 0 0 20 0 1 0 344511596 10309632 1248 33554432000 134512640 135840783 4293397312 4293394528 10097959 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 2517 1248 474 325 0 803 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10068

[startup+0.300191 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=16932 CPUtime=0.24 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 3469 0 4 0 24 0 0 0 20 0 1 0 344511596 17338368 3290 33554432000 134512640 135840783 4293397312 4292914584 134585953 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 4233 3290 972 325 0 2519 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 16932

[startup+0.700175 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20744 CPUtime=0.64 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5151 0 4 0 64 0 0 0 20 0 1 0 344511596 21241856 4322 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5186 4322 342 325 0 4122 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 20744

[startup+1.50024 s]
/proc/loadavg: 0.92 0.98 1.16 3/175 2858
/proc/meminfo: memFree=26681964/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20744 CPUtime=1.44 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5152 0 4 0 144 0 0 0 20 0 1 0 344511596 21241856 4323 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 20744

[startup+3.10018 s]
/proc/loadavg: 0.92 0.98 1.16 3/175 2858
/proc/meminfo: memFree=26681080/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20744 CPUtime=3.03 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5152 0 4 0 303 0 0 0 20 0 1 0 344511596 21241856 4323 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 20744

[startup+6.30014 s]
/proc/loadavg: 1.01 1.00 1.16 3/175 2858
/proc/meminfo: memFree=26681600/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20876 CPUtime=6.23 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5166 0 4 0 623 0 0 0 20 0 1 0 344511596 21377024 4337 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5219 4337 342 325 0 4155 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 20876

[startup+12.7003 s]
/proc/loadavg: 1.09 1.02 1.17 3/175 2858
/proc/meminfo: memFree=26680132/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=21404 CPUtime=12.63 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5316 0 4 0 1263 0 0 0 20 0 1 0 344511596 21917696 4487 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 21404

[startup+25.5002 s]
/proc/loadavg: 1.29 1.06 1.18 3/175 2858
/proc/meminfo: memFree=26681016/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=21404 CPUtime=25.43 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5317 0 4 0 2542 1 0 0 20 0 1 0 344511596 21917696 4487 33554432000 134512640 135840783 4293397312 4292910864 134551104 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 21404

[startup+51.1002 s]
/proc/loadavg: 1.53 1.14 1.20 3/175 2858
/proc/meminfo: memFree=26636720/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=49196 CPUtime=51.02 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 12963 0 4 0 5098 4 0 0 20 0 1 0 344511596 50376704 11448 33554432000 134512640 135840783 4293397312 4293396672 134550863 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 12299 11448 349 325 0 11235 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 49196

[startup+102.307 s]
/proc/loadavg: 1.83 1.28 1.25 3/175 2858
/proc/meminfo: memFree=26544364/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=97340 CPUtime=102.21 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 24976 0 4 0 10215 6 0 0 20 0 1 0 344511596 99676160 23461 33554432000 134512640 135840783 4293397312 4293396672 134551079 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 24335 23461 349 325 0 23271 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 97340

[startup+162.3 s]
/proc/loadavg: 1.94 1.41 1.29 3/175 2858
/proc/meminfo: memFree=26457004/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=137272 CPUtime=162.18 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 34993 0 4 0 16210 8 0 0 20 0 1 0 344511596 140566528 33462 33554432000 134512640 135840783 4293397312 4293396672 134550872 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 34318 33462 349 325 0 33254 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 137272

[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.33 3/176 2859
/proc/meminfo: memFree=26363900/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=189404 CPUtime=222.14 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 48052 0 4 0 22202 12 0 0 20 0 1 0 344511596 193949696 46476 33554432000 134512640 135840783 4293397312 4293396672 134551076 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 47351 46476 349 325 0 46287 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 189404

[startup+282.3 s]
/proc/loadavg: 2.02 1.62 1.38 3/175 2860
/proc/meminfo: memFree=26259692/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=238652 CPUtime=282.13 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 60395 0 4 0 28197 16 0 0 20 0 1 0 344511596 244379648 58813 33554432000 134512640 135840783 4293397312 4293396672 134551084 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 59663 58813 349 325 0 58599 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 238652

[startup+342.3 s]
/proc/loadavg: 2.01 1.68 1.41 3/176 2863
/proc/meminfo: memFree=26009924/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=408268 CPUtime=342.11 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 102768 0 4 0 34187 24 0 0 20 0 1 0 344511596 418066432 101186 33554432000 134512640 135840783 4293397312 4293396624 134551186 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 102067 101186 349 325 0 101003 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 408268

[startup+402.3 s]
/proc/loadavg: 2.08 1.77 1.46 3/175 2863
/proc/meminfo: memFree=25318812/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=1042368 CPUtime=402.11 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 261293 0 4 0 40162 49 0 0 20 0 1 0 344511596 1067384832 259711 33554432000 134512640 135840783 4293397312 4293396624 134551104 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 260592 259711 349 325 0 259528 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1042368

[startup+462.3 s]
/proc/loadavg: 2.03 1.81 1.49 3/175 2863
/proc/meminfo: memFree=24720292/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=1542540 CPUtime=462.1 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 386298 0 4 0 46139 71 0 0 20 0 1 0 344511596 1579560960 384717 33554432000 134512640 135840783 4293397312 4293237104 134586518 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 385635 384733 349 325 0 384571 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1542540

[startup+522.3 s]
/proc/loadavg: 2.01 1.84 1.52 3/175 2863
/proc/meminfo: memFree=24484968/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=1726340 CPUtime=522.09 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 432286 0 4 0 52130 79 0 0 20 0 1 0 344511596 1767772160 430704 33554432000 134512640 135840783 4293397312 4293237184 134586849 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 431585 430704 349 325 0 430521 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1726340

[startup+582.3 s]
/proc/loadavg: 2.00 1.86 1.54 3/175 2864
/proc/meminfo: memFree=23989244/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=2167000 CPUtime=582.08 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 542451 0 4 0 58111 97 0 0 20 0 1 0 344511596 2219008000 540869 33554432000 134512640 135840783 4293397312 4293396624 134551048 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 541750 540869 349 325 0 540686 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 2167000

[startup+642.3 s]
/proc/loadavg: 2.00 1.89 1.57 3/175 2864
/proc/meminfo: memFree=23445852/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=2633184 CPUtime=642.08 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 658997 0 4 0 64094 114 0 0 20 0 1 0 344511596 2696380416 657415 33554432000 134512640 135840783 4293397312 4293396608 134572687 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 658296 657415 349 325 0 657232 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 2633184

[startup+702.3 s]
/proc/loadavg: 2.00 1.90 1.59 3/175 2864
/proc/meminfo: memFree=23068772/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3008796 CPUtime=702.06 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 752900 0 4 0 70078 128 0 0 20 0 1 0 344511596 3081007104 751318 33554432000 134512640 135840783 4293397312 4293396624 134551330 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 752199 751318 349 325 0 751135 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 3008796

[startup+762.307 s]
/proc/loadavg: 2.00 1.92 1.62 3/175 2864
/proc/meminfo: memFree=22882004/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3181700 CPUtime=762.04 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 796154 0 4 0 76069 135 0 0 20 0 1 0 344511596 3258060800 794547 33554432000 134512640 135840783 4293397312 4293396624 134551347 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 795425 794547 349 325 0 794361 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 3181700

[startup+822.3 s]
/proc/loadavg: 2.00 1.93 1.64 3/175 2864
/proc/meminfo: memFree=22809492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3248328 CPUtime=822.02 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 812831 0 4 0 82064 138 0 0 20 0 1 0 344511596 3326287872 811223 33554432000 134512640 135840783 4293397312 4293394416 10097959 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 812082 811223 349 325 0 811018 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 3248328

[startup+882.3 s]
/proc/loadavg: 2.08 1.97 1.67 3/174 2864
/proc/meminfo: memFree=22712800/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3320072 CPUtime=882.01 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 830777 0 4 0 88059 142 0 0 20 0 1 0 344511596 3399753728 829168 33554432000 134512640 135840783 4293397312 4293396608 134572689 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 830018 829168 349 325 0 828954 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 3320072

[startup+942.3 s]
/proc/loadavg: 2.03 1.97 1.68 3/176 2868
/proc/meminfo: memFree=22016528/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3963200 CPUtime=941.98 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 991436 0 4 0 94033 165 0 0 20 0 1 0 344511596 4058316800 989827 33554432000 134512640 135840783 4293397312 4293396624 134551084 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 990800 989827 349 325 0 989736 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 3963200

[startup+1002.3 s]
/proc/loadavg: 2.47 2.07 1.73 2/176 2869
/proc/meminfo: memFree=14733012/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=984.86 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 374 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 984.86
Current children cumulated vsize (KiB) 4185468

[startup+1062.3 s]
/proc/loadavg: 4.07 2.60 1.94 2/176 2869
/proc/meminfo: memFree=13369536/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1122.3 s]
/proc/loadavg: 4.72 3.06 2.13 2/176 2869
/proc/meminfo: memFree=13364224/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

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

[startup+1127.2 s]
/proc/loadavg: 4.74 3.09 2.15 2/176 2869
/proc/meminfo: memFree=13363588/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1140 s]
/proc/loadavg: 4.80 3.19 2.20 2/176 2869
/proc/meminfo: memFree=13361960/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1146.4 s]
/proc/loadavg: 4.81 3.22 2.21 2/176 2869
/proc/meminfo: memFree=13361324/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1149.6 s]
/proc/loadavg: 4.83 3.25 2.22 2/176 2869
/proc/meminfo: memFree=13361324/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1152.8 s]
/proc/loadavg: 4.83 3.25 2.22 2/176 2869
/proc/meminfo: memFree=13360828/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1154.4 s]
/proc/loadavg: 4.84 3.27 2.24 2/176 2869
/proc/meminfo: memFree=13360952/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1154.81 s]
/proc/loadavg: 4.84 3.27 2.24 4/176 2869
/proc/meminfo: memFree=13363060/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468

[startup+1155.2 s]
/proc/loadavg: 4.84 3.27 2.24 4/176 2869
/proc/meminfo: memFree=13363060/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=0 CPUtime=985.61 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4204036 1046637 0 4 0 98112 449 0 0 20 0 1 0 344511596 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 985.61
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1155.25
CPU time (s): 985.673
CPU user time (s): 981.13
CPU system time (s): 4.54331
CPU usage (%): 85.3211
Max. virtual memory (cumulated for all children) (KiB): 4185468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 981.13
system time used= 4.54331
maximum resident set size= 4180108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046637
page faults= 4
swaps= 0
block input operations= 904
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1018987
involuntary context switches= 1111

runsolver used 2.03469 second user time and 5.46717 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-04 06:24:21
IDJOB=3743509
IDBENCH=91500
IDSOLVER=2318
FILE ID=node121/3743509-1338783861
RUNJOBID= node121-1338783861-2830
PBS_JOBID= 14636843
Free space on /tmp= 71248 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX300_K67_cod1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743509-1338783861/watcher-3743509-1338783861 -o /tmp/evaluation-result-3743509-1338783861/solver-3743509-1338783861 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743509-1338783861.opb            

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

MD5SUM BENCH= f6abb5dab8498b879a85f97ed19c694b
RANDOM SEED=1990437544

node121.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.042
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.08
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.042
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.042
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.92
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.042
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.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        26715764 kB
Buffers:          667204 kB
Cached:          4593648 kB
SwapCached:            0 kB
Active:          1967180 kB
Inactive:        3307672 kB
Active(anon):       1984 kB
Inactive(anon):    10760 kB
Active(file):    1965196 kB
Inactive(file):  3296912 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18676 kB
Writeback:             0 kB
AnonPages:         16968 kB
Mapped:            13340 kB
Shmem:               200 kB
Slab:             744404 kB
SReclaimable:     188208 kB
SUnreclaim:       556196 kB
KernelStack:        1360 kB
PageTables:         3848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:      92100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 67340 MiB
End job on node121 at 2012-06-04 06:43:37