Trace number 3743569

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 1145.58 1276.97

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K67_cod3.opb
MD5SUM6298e385d17f7fb5ad3d78ee895ec81c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-454564
Best CPU time to get the best result obtained on this benchmark1800.07
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 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 55663410
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 55663410
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3743569-1338786820.opb
0.00/0.00	c File size is 2798861 bytes.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.19/0.27	c Highest Coefficient sum: 5.56634e+07
0.19/0.27	c Parsing was ok!!
0.19/0.27	c Total parsing time: 0.27 s
0.19/0.29	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161075
0.19/0.29	c Obj. Vars: 28908 (71.4642 % of total variables)
26.48/26.54	c Pre-processing Time: 26.529 s
26.58/26.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.58/26.60	c        0  30277    33499   187590    5   137507  622567      0      0 26.53
26.58/26.60	o -61594	26.591
31.68/31.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.68/31.79	c        1  30277    33501   211613    6   137695  670179      2      0 26.60
31.68/31.79	c      101  30277    33601   212824    6   137840  737197    102      3 26.93
31.68/31.79	c      352  30277    33852   216257    6   138324  810917    353     12 27.43
31.68/31.79	c      827  30277    34327   266446    7   139348  892009    828     28 28.65
31.68/31.79	c     1640  30277    35140   380788   10   140968  981210   1641     53 30.78
31.68/31.79	o -144135	31.78
1141.23/1141.58	terminate called after throwing an instance of 'std::bad_alloc'
1141.23/1141.58	  what():  std::bad_alloc
1141.23/1141.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1141.23/1141.58	c     2148  30277    35649   419045   11   142046  670179   2150     67 31.79
1141.23/1141.58	c     2251  30277    35752   419941   11   142166  737197   2253     70 32.03
1141.23/1141.58	c     2501  30277    36002   422301   11   142648  810917   2503     77 32.30
1141.23/1141.58	c     2976  30277    36477   890220   24   143737  892009   2978     85 34.70
1141.23/1141.58	c     3789  30277    37290  1003399   26   145339  981210   3791    104 36.20
1141.23/1141.58	c     5109  30277    38610  1164210   30   147977  500000   5111    131 38.91
1141.23/1141.58	c     7190  30277    40691  1404575   34   152090  550001   7192    167 42.97
1141.23/1141.58	c    10413  30277    43914  1913477   43   158533  605002  10415    205 50.61
1141.23/1141.58	c    15349  30277    48850  2727323   55   168399  665503  15351    249 61.55
1141.23/1141.58	c    22856  30277    56357  4045468   71   183418  732054  22858    283 80.57
1141.23/1141.58	c    34218  30277    67719  6115938   90   206148  805260  34220    294 116.10
1141.23/1141.58	c    51362  30277    84863  8902525  104   240426  885787  51364    314 163.15
1141.23/1141.58	c    77181  30277   110682 12669682  114   292065  974366  77183    354 217.93
1141.23/1141.58	c   116013  30277   149514 64952748  434   369820  500000 116015    313 370.00
1141.23/1141.58	c   174365  30277   207866 103731518  499   486673  550001 174367    295 590.36
1141.23/1141.58	c   261997  30277   295498 142574075  482   661875  605002 261999    320 816.67

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-3743569-1338786820/watcher-3743569-1338786820 -o /tmp/evaluation-result-3743569-1338786820/solver-3743569-1338786820 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743569-1338786820.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/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 344807490 2723840 47 33554432000 134512640 135840783 4288540064 4288538100 9585604 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 665 47 37 325 0 32 0

[startup+0.088226 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=11388 CPUtime=0.08 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 1753 0 0 0 8 0 0 0 20 0 1 0 344807490 11661312 1649 33554432000 134512640 135840783 4288540064 4288538000 10097959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 2847 1649 543 325 0 1099 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11388

[startup+0.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=11656 CPUtime=0.09 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 1828 0 0 0 9 0 0 0 20 0 1 0 344807490 11935744 1724 33554432000 134512640 135840783 4288540064 4288539056 134524931 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 2914 1724 570 325 0 1166 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11656

[startup+0.300144 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20584 CPUtime=0.29 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5214 0 0 0 29 0 0 0 20 0 1 0 344807490 21078016 4290 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5146 4290 342 325 0 4082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20584

[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20584 CPUtime=0.69 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5214 0 0 0 69 0 0 0 20 0 1 0 344807490 21078016 4290 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5146 4290 342 325 0 4082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20584

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25932940/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20716 CPUtime=1.49 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5245 0 0 0 149 0 0 0 20 0 1 0 344807490 21213184 4321 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5179 4321 342 325 0 4115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20716

[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25931824/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20716 CPUtime=3.09 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5246 0 0 0 309 0 0 0 20 0 1 0 344807490 21213184 4322 33554432000 134512640 135840783 4288540064 4288053392 10095518 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5179 4322 342 325 0 4115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20716

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25930160/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20716 CPUtime=6.28 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5246 0 0 0 628 0 0 0 20 0 1 0 344807490 21213184 4322 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5179 4322 342 325 0 4115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20716

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25926252/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=21376 CPUtime=12.68 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5409 0 0 0 1268 0 0 0 20 0 1 0 344807490 21889024 4485 33554432000 134512640 135840783 4288540064 4288053392 10096439 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5344 4485 342 325 0 4280 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21376

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25923176/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=21376 CPUtime=25.48 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5409 0 0 0 2547 1 0 0 20 0 1 0 344807490 21889024 4485 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5344 4485 342 325 0 4280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21376

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25894284/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=43580 CPUtime=51.08 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 11643 0 0 0 5104 4 0 0 20 0 1 0 344807490 44625920 10044 33554432000 134512640 135840783 4288540064 4288539360 134572710 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 10895 10044 349 325 0 9831 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43580

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25830424/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=90120 CPUtime=102.27 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 23267 0 0 0 10221 6 0 0 20 0 1 0 344807490 92282880 21668 33554432000 134512640 135840783 4288540064 4288539424 134551098 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 22530 21668 349 325 0 21466 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90120

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25764580/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=136008 CPUtime=162.26 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 34723 0 0 0 16217 9 0 0 20 0 1 0 344807490 139272192 33124 33554432000 134512640 135840783 4288540064 4288537520 134573434 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 34002 33124 349 325 0 32938 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 136008

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25686336/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=191692 CPUtime=222.25 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 48659 0 0 0 22213 12 0 0 20 0 1 0 344807490 196292608 47060 33554432000 134512640 135840783 4288540064 4288539360 134572580 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 47923 47060 349 325 0 46859 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 191692

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25377952/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=481532 CPUtime=282.24 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 121116 0 0 0 28200 24 0 0 20 0 1 0 344807490 493088768 119517 33554432000 134512640 135840783 4288540064 4288539424 134551065 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 120383 119517 349 325 0 119319 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 481532

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25115200/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=723068 CPUtime=342.23 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 181484 0 0 0 34191 32 0 0 20 0 1 0 344807490 740421632 179885 33554432000 134512640 135840783 4288540064 4288539360 134572665 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 180767 179885 349 325 0 179703 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 723068

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3028
/proc/meminfo: memFree=24907348/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=903756 CPUtime=402.23 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 226687 0 0 0 40184 39 0 0 20 0 1 0 344807490 925446144 225088 33554432000 134512640 135840783 4288540064 4288539360 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 225939 225088 349 325 0 224875 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 903756

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3028
/proc/meminfo: memFree=24764536/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1018944 CPUtime=462.21 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 255453 0 0 0 46178 43 0 0 20 0 1 0 344807490 1043398656 253854 33554432000 134512640 135840783 4288540064 4288539360 134572687 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 254736 253854 349 325 0 253672 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1018944

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3028
/proc/meminfo: memFree=24585632/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1182432 CPUtime=522.21 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 296325 0 0 0 52172 49 0 0 20 0 1 0 344807490 1210810368 294726 33554432000 134512640 135840783 4288540064 4288539360 134572684 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 295608 294726 349 325 0 294544 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1182432

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3028
/proc/meminfo: memFree=24410016/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1335544 CPUtime=582.19 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 334603 0 0 0 58165 54 0 0 20 0 1 0 344807490 1367597056 333004 33554432000 134512640 135840783 4288540064 4288539376 134551383 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 333886 333004 349 325 0 332822 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1335544

[startup+642.3 s]

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

[pid=3022] ppid=3020 vsize=1422424 CPUtime=642.17 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 356343 0 0 0 64158 59 0 0 20 0 1 0 344807490 1456562176 354724 33554432000 134512640 135840783 4288540064 4288539360 134572583 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 355606 354724 349 325 0 354542 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 1422424

[startup+702.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3068
/proc/meminfo: memFree=25159080/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1508784 CPUtime=702.15 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 377951 0 0 0 70151 64 0 0 20 0 1 0 344807490 1544994816 376322 33554432000 134512640 135840783 4288540064 4288539376 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 377196 376322 349 325 0 376132 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 1508784

[startup+762.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3068
/proc/meminfo: memFree=25039076/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1583728 CPUtime=762.15 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 396704 0 0 0 76147 68 0 0 20 0 1 0 344807490 1621737472 395074 33554432000 134512640 135840783 4288540064 4288539232 9722623 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 395932 395074 349 325 0 394868 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 1583728

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3069
/proc/meminfo: memFree=24711232/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1864064 CPUtime=822.13 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 466792 0 0 0 82135 78 0 0 20 0 1 0 344807490 1908801536 465158 33554432000 134512640 135840783 4288540064 4288539296 134574878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 466016 465158 349 325 0 464952 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 1864064

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3069
/proc/meminfo: memFree=24087796/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=2450644 CPUtime=882.1 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 613432 0 0 0 88113 97 0 0 20 0 1 0 344807490 2509459456 611779 33554432000 134512640 135840783 4288540064 4288539376 134551093 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 612661 611779 349 325 0 611597 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 2450644

[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 3069
/proc/meminfo: memFree=23574340/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=2925396 CPUtime=942.09 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 732129 0 0 0 94094 115 0 0 20 0 1 0 344807490 2995605504 730467 33554432000 134512640 135840783 4288540064 4288539424 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 731349 730467 349 325 0 730285 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 2925396

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 3073
/proc/meminfo: memFree=23058468/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=3399852 CPUtime=1002.08 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 850746 0 0 0 100078 130 0 0 20 0 1 0 344807490 3481448448 849081 33554432000 134512640 135840783 4288540064 4288539424 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 849963 849081 349 325 0 848899 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 3399852

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 3073
/proc/meminfo: memFree=22636284/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=3763704 CPUtime=1062.06 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 941711 0 0 0 106064 142 0 0 20 0 1 0 344807490 3854032896 940044 33554432000 134512640 135840783 4288540064 4288539360 134572679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 940926 940044 349 325 0 939862 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 3763704

[startup+1122.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/175 3073
/proc/meminfo: memFree=22299788/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4087432 CPUtime=1122.04 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 1017696 0 0 0 112053 151 0 0 20 0 1 0 344807490 4185530368 1016021 33554432000 134512640 135840783 4288540064 4288539376 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1021858 1016021 349 325 0 1020794 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 4087432

[startup+1182.3 s]
/proc/loadavg: 3.42 2.38 2.12 2/176 3074
/proc/meminfo: memFree=13833756/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

[startup+1242.3 s]
/proc/loadavg: 4.48 2.87 2.30 2/176 3074
/proc/meminfo: memFree=13873620/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

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

[startup+1255 s]
/proc/loadavg: 4.56 2.94 2.33 2/176 3074
/proc/meminfo: memFree=13867900/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

[startup+1267.8 s]
/proc/loadavg: 4.66 3.04 2.37 2/176 3074
/proc/meminfo: memFree=13861344/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

[startup+1271 s]
/proc/loadavg: 4.69 3.07 2.39 2/176 3074
/proc/meminfo: memFree=13860244/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

[startup+1274.2 s]
/proc/loadavg: 4.69 3.07 2.39 2/176 3074
/proc/meminfo: memFree=13859624/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

[startup+1275.8 s]
/proc/loadavg: 4.71 3.10 2.40 2/176 3074
/proc/meminfo: memFree=13859376/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

[startup+1276.6 s]
/proc/loadavg: 4.71 3.10 2.40 2/177 3075
/proc/meminfo: memFree=13861600/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760

[startup+1276.8 s]
/proc/loadavg: 4.71 3.10 2.40 2/177 3075
/proc/meminfo: memFree=13861600/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=0 CPUtime=1145.41 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4204036 1040274 0 0 0 113979 562 0 0 20 0 1 0 344807490 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1145.41
Current children cumulated vsize (KiB) 0

[startup+1276.9 s]
/proc/loadavg: 4.71 3.10 2.40 2/177 3075
/proc/meminfo: memFree=13861600/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=0 CPUtime=1145.51 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4204036 1040274 0 0 0 113979 572 0 0 20 0 1 0 344807490 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1145.51
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1276.97
CPU time (s): 1145.58
CPU user time (s): 1139.79
CPU system time (s): 5.79112
CPU usage (%): 89.7113
Max. virtual memory (cumulated for all children) (KiB): 4186760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1139.79
system time used= 5.79112
maximum resident set size= 4154392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1040274
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= 978925
involuntary context switches= 1183

runsolver used 1.9537 second user time and 4.92525 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-04 07:13:40
IDJOB=3743569
IDBENCH=91808
IDSOLVER=2318
FILE ID=node121/3743569-1338786820
RUNJOBID= node121-1338783861-2830
PBS_JOBID= 14636843
Free space on /tmp= 71244 MiB

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

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

MD5SUM BENCH= 6298e385d17f7fb5ad3d78ee895ec81c
RANDOM SEED=1333252203

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:        25950100 kB
Buffers:          675552 kB
Cached:          4596124 kB
SwapCached:            0 kB
Active:          2726504 kB
Inactive:        3308844 kB
Active(anon):     751264 kB
Inactive(anon):    10760 kB
Active(file):    1975240 kB
Inactive(file):  3298084 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9344 kB
Writeback:             0 kB
AnonPages:        766436 kB
Mapped:            15480 kB
Shmem:               200 kB
Slab:             751016 kB
SReclaimable:     195008 kB
SUnreclaim:       556008 kB
KernelStack:        1464 kB
PageTables:         5116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     863000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    589824 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= 67376 MiB
End job on node121 at 2012-06-04 07:34:57