Trace number 3743461

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.17? (TO) 1799.29 1901.07

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod3.opb
MD5SUM00d33b404ccfa37a52c39e2042459966
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-5888
Best CPU time to get the best result obtained on this benchmark1800.03
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 28908
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1720554
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1720554
Number of bits of the biggest sum of numbers21
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.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-3743461-1338781761.opb
0.00/0.00	c File size is 2772455 bytes.
0.18/0.27	c Highest Coefficient sum: 1.72055e+06
0.18/0.27	c Parsing was ok!!
0.18/0.27	c Total parsing time: 0.272 s
0.18/0.29	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161080
0.18/0.29	c Obj. Vars: 28908 (71.4642 % of total variables)
27.58/27.64	c Pre-processing Time: 27.632 s
27.58/27.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.58/27.64	c        0  30298    33499   187590    5   137512  622567      0      0 27.63
27.58/27.64	c Switching off LPR mode.
27.68/27.70	o -1355	27.695
40.58/40.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.58/40.69	c        1  30298    33501   211634    6   137760  670221      2      0 27.71
40.58/40.69	c      101  30298    33601   228454    6   137947  737244    102      3 28.23
40.58/40.69	c      352  30298    33852   249662    7   138427  810969    353     12 28.91
40.58/40.69	c      827  30298    34327   284153    8   139375  892066    828     27 29.71
40.58/40.69	c     1641  30298    35141   355552   10   141000  981273   1642     51 31.72
40.58/40.69	c     2961  30298    36461   518112   14   143642  500000   2962     85 34.47
40.58/40.69	c     5042  30298    38542   771551   20   147767  550001   5043    124 40.43
40.58/40.69	o -1889	40.686
530.48/530.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
530.48/530.63	c     5123  30298    38624   803522   20   148024  670221   5125    125 40.70
530.48/530.63	c     5223  30298    38724   819526   21   148301  737244   5225    127 41.03
530.48/530.63	c     5474  30298    38975   863368   22   148738  810969   5476    130 41.98
530.48/530.63	c     5949  30298    39450  7179893  181   149867  892066   5951    106 55.61
530.48/530.63	c     6762  30298    40263  7382192  183   151340  981273   6764    118 57.23
530.48/530.63	c     8082  30298    41583  7693148  185   153975  500000   8084    132 60.78
530.48/530.63	c    10163  30298    43664  7902125  180   158113  550001  10165    158 64.11
530.48/530.63	c    13386  30298    46887 61184415 1304   164827  605002  13388     84 158.28
530.48/530.63	c    18322  30298    51823 62668560 1209   174574  665503  18324    108 169.23
530.48/530.63	c    25828  30298    59329 63886202 1076   189592  732054  25830    131 196.42
530.48/530.63	c    37189  30298    70690 65229696  922   212368  805260  37191    168 220.40
530.48/530.63	c    54333  30298    87834 67677923  770   246706  885787  54335    205 264.61
530.48/530.63	c    80152  30298   113653 165789972 1458   298164  974366  80154    152 526.73
530.48/530.63	o -2302	530.528
1782.54/1783.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1782.54/1783.09	c    81889  30298   115391 165888109 1437   301563  670221  81892    154 530.54
1782.54/1783.09	c    81990  30298   115492 165889993 1436   301834  737244  81993    154 530.95
1782.54/1783.09	c    82240  30298   115742 166001504 1434   302667  810969  82243    154 532.49
1782.54/1783.09	c    82715  30298   116217 166048397 1428   303569  892066  82718    154 533.86
1782.54/1783.09	c    83528  30298   117030 166125439 1419   305119  981273  83531    156 535.30
1782.54/1783.09	c    84848  30298   118350 166274814 1404   307749  500000  84851    157 539.67
1782.54/1783.09	c    86930  30298   120432 166485469 1382   311824  550001  86933    159 543.40
1782.54/1783.09	c    90153  30298   123655 166836356 1349   318239  605002  90156    163 549.97
1782.54/1783.09	c    95089  30298   128591 167355934 1301   328169  665503  95092    170 558.59
1782.54/1783.09	c   102597  30298   136099 168163869 1235   343217  732054 102600    177 577.88
1782.54/1783.09	c   113958  30298   147460 170329008 1155   365939  805260 113961    184 617.44
1782.54/1783.09	c   131102  30298   164604 174290749 1058   400225  885787 131105    186 704.48
1782.54/1783.09	c   156921  30298   190423 179709134  943   451864  974366 156924    185 847.78
1782.54/1783.09	c   195754  30298   229256 190485054  830   529626  500000 195757    164 1191.72
1782.54/1783.09	o -2305	1782.63
1794.32/1794.86	terminate called after throwing an instance of 'std::bad_alloc'
1794.32/1794.86	  what():  std::bad_alloc
1794.32/1794.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1794.32/1794.86	c   241371  30298   274874 322082902 1171   620773  670221 241375    135 1782.65
1794.32/1794.86	c   241471  30298   274974 322089896 1171   620842  737244 241475    135 1782.99
1794.32/1794.86	c   241722  30298   275225 322113804 1170   621281  810969 241726    135 1783.58
1794.32/1794.86	c   242197  30298   275700 322124062 1168   622321  892066 242201    135 1784.68
1794.32/1794.86	c   243010  30298   276513 322292452 1165   624056  981273 243014    135 1789.03

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-3743461-1338781761/watcher-3743461-1338781761 -o /tmp/evaluation-result-3743461-1338781761/solver-3743461-1338781761 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743461-1338781761.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17261
/proc/meminfo: memFree=30622572/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 344301082 4583424 156 33554432000 134512640 135840783 4289514928 4289514268 9651544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 1119 157 136 325 0 39 0

[startup+0.0221869 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17261
/proc/meminfo: memFree=30622572/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=16232 CPUtime=0.01 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 758 0 0 0 1 0 0 0 20 0 1 0 344301082 16621568 695 33554432000 134512640 135840783 4289514928 4289513584 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 4058 696 365 325 0 2317 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16232

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17261
/proc/meminfo: memFree=30622572/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=11624 CPUtime=0.09 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 1820 0 0 0 9 0 0 0 20 0 1 0 344301082 11902976 1717 33554432000 134512640 135840783 4289514928 4289512864 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 2906 1717 564 325 0 1165 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11624

[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17261
/proc/meminfo: memFree=30622572/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=20584 CPUtime=0.28 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 5208 0 0 0 28 0 0 0 20 0 1 0 344301082 21078016 4292 33554432000 134512640 135840783 4289514928 4289028620 6607920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 5146 4292 344 325 0 4082 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20584

[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17261
/proc/meminfo: memFree=30622572/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=20584 CPUtime=0.68 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 5208 0 0 0 68 0 0 0 20 0 1 0 344301082 21078016 4292 33554432000 134512640 135840783 4289514928 4289028620 6607920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 5146 4292 344 325 0 4082 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20584

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17262
/proc/meminfo: memFree=30606428/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=20716 CPUtime=1.49 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 5239 0 0 0 148 1 0 0 20 0 1 0 344301082 21213184 4323 33554432000 134512640 135840783 4289514928 4289028480 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 5179 4323 344 325 0 4115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20716

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17262
/proc/meminfo: memFree=30605932/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=20716 CPUtime=3.09 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 5240 0 0 0 308 1 0 0 20 0 1 0 344301082 21213184 4324 33554432000 134512640 135840783 4289514928 4289028620 6607920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 5179 4324 344 325 0 4115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20716

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17262
/proc/meminfo: memFree=30605320/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=20716 CPUtime=6.28 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 5240 0 0 0 627 1 0 0 20 0 1 0 344301082 21213184 4324 33554432000 134512640 135840783 4289514928 4289028620 6607920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 5179 4324 344 325 0 4115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20716

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17262
/proc/meminfo: memFree=30603096/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=21376 CPUtime=12.68 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 5403 0 0 0 1267 1 0 0 20 0 1 0 344301082 21889024 4487 33554432000 134512640 135840783 4289514928 4289028480 134550624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 5344 4487 344 325 0 4280 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21376

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17262
/proc/meminfo: memFree=30600112/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=21376 CPUtime=25.48 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 5403 0 0 0 2546 2 0 0 20 0 1 0 344301082 21889024 4487 33554432000 134512640 135840783 4289514928 4289028620 6607920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 5344 4487 344 325 0 4280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21376

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17265
/proc/meminfo: memFree=30544992/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=75864 CPUtime=51.07 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 19676 0 0 0 5101 6 0 0 20 0 1 0 344301082 77684736 18085 33554432000 134512640 135840783 4289514928 4289514224 134572730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 18966 18085 351 325 0 17902 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 75864

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17265
/proc/meminfo: memFree=30175816/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=433120 CPUtime=102.27 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 108994 0 0 0 10206 21 0 0 20 0 1 0 344301082 443514880 107400 33554432000 134512640 135840783 4289514928 4289514288 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 108280 107400 351 325 0 107216 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 433120

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17265
/proc/meminfo: memFree=29794916/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=800888 CPUtime=162.26 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 200941 0 0 0 16192 34 0 0 20 0 1 0 344301082 820109312 199342 33554432000 134512640 135840783 4289514928 4289514240 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 200222 199342 351 325 0 199158 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 800888

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17265
/proc/meminfo: memFree=29729472/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=851484 CPUtime=222.24 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 213604 0 0 0 22188 36 0 0 20 0 1 0 344301082 871919616 212002 33554432000 134512640 135840783 4289514928 4289514240 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 212871 212002 351 325 0 211807 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 851484

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17266
/proc/meminfo: memFree=29671344/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=899380 CPUtime=282.23 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 225569 0 0 0 28185 38 0 0 20 0 1 0 344301082 920965120 223965 33554432000 134512640 135840783 4289514928 4289514224 134572665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 224845 223965 351 325 0 223781 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 899380

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17266
/proc/meminfo: memFree=29356288/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=1202420 CPUtime=342.22 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 301330 0 0 0 34171 51 0 0 20 0 1 0 344301082 1231278080 299725 33554432000 134512640 135840783 4289514928 4289514000 1579934 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 300605 299725 351 325 0 299541 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1202420

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17266
/proc/meminfo: memFree=29024120/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=1522268 CPUtime=402.21 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 381296 0 0 0 40156 65 0 0 20 0 1 0 344301082 1558802432 379687 33554432000 134512640 135840783 4289514928 4289514224 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 380567 379687 351 325 0 379503 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1522268

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17266
/proc/meminfo: memFree=28694680/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=1837548 CPUtime=462.19 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 460116 0 0 0 46142 77 0 0 20 0 1 0 344301082 1881649152 458507 33554432000 134512640 135840783 4289514928 4289514288 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 459387 458507 351 325 0 458323 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1837548

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17305
/proc/meminfo: memFree=28895948/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2127720 CPUtime=522.18 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 532664 0 0 0 52129 89 0 0 20 0 1 0 344301082 2178785280 531050 33554432000 134512640 135840783 4289514928 4289514224 134572675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 531930 531050 351 325 0 530866 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 2127720

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17306
/proc/meminfo: memFree=28826056/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2167992 CPUtime=582.16 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 542773 0 0 0 58125 91 0 0 20 0 1 0 344301082 2220023808 541144 33554432000 134512640 135840783 4289514928 4289514224 134572716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 541998 541144 351 325 0 540934 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2167992

[startup+642.3 s]

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

/proc/loadavg: 2.01 2.01 2.00 3/177 17332
/proc/meminfo: memFree=28411416/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2330684 CPUtime=882.11 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 583471 0 0 0 88106 105 0 0 20 0 1 0 344301082 2386620416 581814 33554432000 134512640 135840783 4289514928 4289514288 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 582671 581814 351 325 0 581607 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 2330684

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17332
/proc/meminfo: memFree=27955992/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2355976 CPUtime=942.09 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 589776 0 0 0 94103 106 0 0 20 0 1 0 344301082 2412519424 588119 33554432000 134512640 135840783 4289514928 4289514288 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 588994 588119 351 325 0 587930 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 2355976

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17332
/proc/meminfo: memFree=27251452/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2378648 CPUtime=1002.08 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 595465 0 0 0 100099 109 0 0 20 0 1 0 344301082 2435735552 593808 33554432000 134512640 135840783 4289514928 4289514288 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 594662 593808 351 325 0 593598 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 2378648

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17332
/proc/meminfo: memFree=26768624/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2407464 CPUtime=1062.07 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 602664 0 0 0 106095 112 0 0 20 0 1 0 344301082 2465243136 601006 33554432000 134512640 135840783 4289514928 4289514288 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 601866 601006 351 325 0 600802 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 2407464

[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/176 17332
/proc/meminfo: memFree=26660160/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2434932 CPUtime=1122.06 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 609528 0 0 0 112092 114 0 0 20 0 1 0 344301082 2493370368 607869 33554432000 134512640 135840783 4289514928 4289506528 1580292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 608733 607869 351 325 0 607669 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2434932

[startup+1182.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 17334
/proc/meminfo: memFree=26585284/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2456164 CPUtime=1182.04 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 614839 0 0 0 118088 116 0 0 20 0 1 0 344301082 2515111936 613178 33554432000 134512640 135840783 4289514928 4289514224 134572583 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 614041 613178 351 325 0 612977 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 2456164

[startup+1242.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/178 17337
/proc/meminfo: memFree=26525396/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2477912 CPUtime=1242.03 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 620275 0 0 0 124084 119 0 0 20 0 1 0 344301082 2537381888 618613 33554432000 134512640 135840783 4289514928 4289514288 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 619478 618613 351 325 0 618414 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 2477912

[startup+1302.3 s]
/proc/loadavg: 2.17 2.10 2.03 3/177 17337
/proc/meminfo: memFree=26473864/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2496084 CPUtime=1302.03 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 624813 0 0 0 130082 121 0 0 20 0 1 0 344301082 2555990016 623151 33554432000 134512640 135840783 4289514928 4289514224 134571436 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 624021 623151 351 325 0 622957 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2496084

[startup+1362.3 s]
/proc/loadavg: 2.10 2.09 2.03 3/177 17337
/proc/meminfo: memFree=26429624/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2516068 CPUtime=1362.02 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 629812 0 0 0 136078 124 0 0 20 0 1 0 344301082 2576453632 628149 33554432000 134512640 135840783 4289514928 4289514288 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 629017 628149 351 325 0 627953 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2516068

[startup+1422.31 s]
/proc/loadavg: 2.03 2.07 2.02 3/177 17337
/proc/meminfo: memFree=26374596/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2542072 CPUtime=1421.99 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 636358 0 0 0 142073 126 0 0 20 0 1 0 344301082 2603081728 634659 33554432000 134512640 135840783 4289514928 4289514288 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 635518 634659 351 325 0 634454 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 2542072

[startup+1482.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/177 17338
/proc/meminfo: memFree=26339284/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2558120 CPUtime=1481.95 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 640411 0 0 0 148067 128 0 0 20 0 1 0 344301082 2619514880 638664 33554432000 134512640 135840783 4289514928 4289514288 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 639530 638664 351 325 0 638466 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 2558120

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 17338
/proc/meminfo: memFree=26303848/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2575104 CPUtime=1541.91 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 644713 0 0 0 154062 129 0 0 20 0 1 0 344301082 2636906496 642923 33554432000 134512640 135840783 4289514928 4289514288 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 643776 642923 351 325 0 642712 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 2575104

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 17338
/proc/meminfo: memFree=26150860/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=2703248 CPUtime=1601.88 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 676760 0 0 0 160053 135 0 0 20 0 1 0 344301082 2768125952 674932 33554432000 134512640 135840783 4289514928 4289514224 134572591 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 675812 674932 351 325 0 674748 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 2703248

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 17338
/proc/meminfo: memFree=25484636/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=3328052 CPUtime=1661.86 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 832973 0 0 0 166028 158 0 0 20 0 1 0 344301082 3407925248 831133 33554432000 134512640 135840783 4289514928 4289514288 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 832013 831133 351 325 0 830949 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 3328052

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 17338
/proc/meminfo: memFree=25010504/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=3766772 CPUtime=1721.83 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 942654 0 0 0 172009 174 0 0 20 0 1 0 344301082 3857174528 940813 33554432000 134512640 135840783 4289514928 4289514240 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 941693 940813 351 325 0 940629 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 3766772

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 17339
/proc/meminfo: memFree=24605036/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=4165560 CPUtime=1781.83 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) R 17259 17261 16841 0 -1 4202496 1035391 0 0 0 177995 188 0 0 20 0 1 0 344301082 4265533440 1033549 33554432000 134512640 135840783 4289514928 4289514288 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17261/statm: 1041390 1033549 351 325 0 1040326 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 4165560

[startup+1842.3 s]
/proc/loadavg: 3.65 2.45 2.14 2/181 17343
/proc/meminfo: memFree=16260848/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=4187072 CPUtime=1799.2 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) S 17259 17261 16841 0 -1 4204032 1040868 0 1 0 179248 672 0 0 20 0 1 0 344301082 4287561728 1039026 33554432000 134512640 135840783 4289514928 4289228184 6607920 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/17261/statm: 1046768 1039026 380 325 0 1045704 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 4187072



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 4.83 2.99 2.34 3/178 17343
/proc/meminfo: memFree=16308576/32873844 swapFree=7116/7116
[pid=17261] ppid=17259 vsize=4187072 CPUtime=1799.2 cores=1,3,5,7
/proc/17261/stat : 17261 (bsolo3.0.17) S 17259 17261 16841 0 -1 4204032 1040868 0 1 0 179248 672 0 0 20 0 1 0 344301082 4287561728 1039026 33554432000 134512640 135840783 4289514928 4289228184 6607920 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/17261/statm: 1046768 1039026 380 325 0 1045704 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 4187072

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

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

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1901.07
CPU time (s): 1799.29
CPU user time (s): 1792.48
CPU system time (s): 6.80596
CPU usage (%): 94.6462
Max. virtual memory (cumulated for all children) (KiB): 4187072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.48
system time used= 6.80596
maximum resident set size= 4156104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1040868
page faults= 1
swaps= 0
block input operations= 136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 985758
involuntary context switches= 1824

runsolver used 3.15152 second user time and 10.6334 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-04 05:49:22
IDJOB=3743461
IDBENCH=91185
IDSOLVER=2318
FILE ID=node146/3743461-1338781761
RUNJOBID= node146-1338775068-16858
PBS_JOBID= 14636828
Free space on /tmp= 70872 MiB

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

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

MD5SUM BENCH= 00d33b404ccfa37a52c39e2042459966
RANDOM SEED=997141899

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30622588 kB
Buffers:          331596 kB
Cached:           701384 kB
SwapCached:         1792 kB
Active:           920276 kB
Inactive:         511380 kB
Active(anon):     399564 kB
Inactive(anon):     1664 kB
Active(file):     520712 kB
Inactive(file):   509716 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:              9288 kB
Writeback:             0 kB
AnonPages:        406692 kB
Mapped:            10344 kB
Shmem:                 0 kB
Slab:             678316 kB
SReclaimable:     118068 kB
SUnreclaim:       560248 kB
KernelStack:        1448 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     521644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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= 67052 MiB
End job on node146 at 2012-06-04 06:21:05