Trace number 3737573

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)-7 1800.05 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_4.opb
MD5SUM0c3fb28b3ecb8f1eba2bffa356ef5364
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark9.47556
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2932
Sum of products size (including duplicates)5864
Number of different products1466
Sum of products size2932

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-3737573-1338722924.opb
0.00/0.00	c File size is 34864 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.007 s
0.00/0.01	c Var: 3032 Constr: 6016 2982/102/2932 Lit: 20824 Watch. Lit: 17794
0.00/0.01	c Obj. Vars: 50 (1.64908 % of total variables)
2.59/2.68	c Pre-processing Time: 2.682 s
2.59/2.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.68	c        0   3032     6016    20824    3    17794   48588      0      0 2.68
2.59/2.68	c Switching off LPR mode.
2.59/2.69	o -1	2.683
2.59/2.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.69	c        0   3032     6017    20874    3    17797   48621      1      0 2.68
2.59/2.69	o -2	2.684
2.59/2.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.69	c        0   3032     6018    20924    3    17801   48671      2      0 2.68
2.59/2.69	o -3	2.685
2.59/2.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.69	c        0   3032     6019    20974    3    17806   48738      3      0 2.69
2.59/2.69	o -4	2.686
2.59/2.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.69	c        0   3032     6020    21024    3    17812   48821      4      0 2.69
2.59/2.69	o -5	2.692
110.47/110.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
110.47/110.52	c       17   3032     6038    21829    3    17853   48838     22      6 2.69
110.47/110.52	c      117   3032     6138    25621    4    18053   53722    122     42 2.72
110.47/110.52	c      367   3032     6388    38707    6    18553   59095    372    134 2.74
110.47/110.52	c      842   3032     6863    63690    9    19503   65005    847    304 2.77
110.47/110.52	c     1655   3032     7676   106910   13    21129   71506   1660    588 2.81
110.47/110.52	c     2975   3032     8996   178181   19    23769   78657   2980   1025 2.90
110.47/110.52	c     5056   3032    11077   296191   26    27931   86523   5061   1664 3.04
110.47/110.52	c     8279   3032    14300   466936   32    34377   95176   8284   2506 3.30
110.47/110.52	c    13215   3032    19236   730815   37    44249  104694  13220   3465 3.81
110.47/110.52	c    20721   3032    26742  1183026   44    59261  115164  20726   3828 5.41
110.47/110.52	c    32082   3032    38103  1865656   48    81983  126681  32087   3529 9.09
110.47/110.52	c    49226   3032    55247  3015260   54   116271  139350  49231   2894 17.01
110.47/110.52	c    75046   3032    81067  4746171   58   167911  153286  75051   2052 36.56
110.47/110.52	c   113878   3032   119899  7461572   62   245575  168615 113883   1093 104.15
110.47/110.52	o -6	110.502
429.76/429.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
429.76/429.92	c   118102   3032   124124  7715612   62   254031   48855 118108   1068 110.50
429.76/429.92	c   118202   3032    18794   901338   47    43356   53741  12778    918 128.73
429.76/429.92	c   118452   3032    19044   915098   48    43856   59116  13028    919 128.75
429.76/429.92	c   118927   3032    19519   943801   48    44806   65028  13503    923 128.82
429.76/429.92	c   119741   3032    20333   996774   49    46434   71531  14317    928 128.97
429.76/429.92	c   121061   3032    21653  1069731   49    49074   78685  15637    936 129.33
429.76/429.92	c   123142   3032    23734  1184550   49    53236   86554  17718    949 129.68
429.76/429.92	c   126365   3032    26957  1355938   50    59682   95210  20941    971 130.11
429.76/429.92	c   131301   3032    31893  1626234   50    69554  104732  25877   1002 131.00
429.76/429.92	c   138807   3032    39399  2089291   53    84566  115206  33383   1039 133.48
429.76/429.92	c   150169   3032    50761  2739473   53   107290  126727  44745   1100 136.44
429.76/429.92	c   167314   3032    67906  3806761   56   141580  139400  61890   1123 148.94
429.76/429.92	c   193133   3032    93725  5655224   60   193218  153341  87709   1021 189.15
429.76/429.92	c   231965   3032   132557  8108656   61   270882  168676 126541    967 239.87
429.76/429.92	c   290317   3032    33124  1809638   54    72016  185544  27108    751 386.24
429.76/429.92	o -7	429.783
1800.04/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.40	c   337830   3032    80638  5179194   64   167051   48721  74622    786 429.78
1800.04/1800.40	c   337930   3032    18806   916394   48    43381   53594  12790    770 438.60
1800.04/1800.40	c   338180   3032    19056   928454   48    43881   58954  13040    770 438.65
1800.04/1800.40	c   338659   3032    19535   949333   48    44839   64850  13519    771 438.78
1800.04/1800.40	c   339472   3032    20348  1001473   49    46465   71336  14332    773 438.92
1800.04/1800.40	c   340794   3032    21670  1097249   50    49109   78470  15654    776 439.13
1800.04/1800.40	c   342877   3032    23753  1228779   51    53275   86318  17737    780 439.42
1800.04/1800.40	c   346100   3032    26976  1393666   51    59721   94950  20960    787 439.77
1800.04/1800.40	c   351036   3032    31912  1652162   51    69593  104446  25896    796 440.57
1800.04/1800.40	c   358543   3032    39419  2164373   54    84607  114891  33403    810 442.59
1800.04/1800.40	c   369904   3032    50780  2806776   55   107329  126381  44764    829 445.75
1800.04/1800.40	c   387048   3032    67924  3855354   56   141617  139020  61908    845 457.73
1800.04/1800.40	c   412867   3032    93743  5528954   58   193255  152923  87727    837 492.93
1800.04/1800.40	c   451699   3032   132575  8046294   60   270919  168216 126559    792 569.85
1800.04/1800.40	c   510051   3032    33164  1769191   53    72097  185038  27148    736 692.48
1800.04/1800.40	c   597683   3032   120796  7430102   61   247361  203542 114780    753 793.41
1800.04/1800.40	c   729235   3032    59958  3464948   57   125685  223897  53942    691 1054.06
1800.04/1800.40	c   926667   3032    45104  2545805   56    95977  246287  39088    574 1613.60
1800.04/1800.40	c Caught signal: 15
1800.04/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 x50 -x52 -x84 -x75 x77 -x64 -x88 -x76 -x79 -x86 -x95 x55 -x65 -x54 -x53 -x92 -x100 -x68 -x69 -x80 -x74 -x73 -x83 -x71 -x81 -x57 -x61 -x63 -x67 -x78 -x85 -x89 -x91 -x99 -x51 x70 -x62 x82 -x93 -x94 x98 x90 -x72 -x87 x96 -x56 -x58 -x60 -x97 -x66 -x59 
1800.04/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.40	c   51  1082757  10676  1123366   201194 12328638 195178    601 1800.04
1800.04/1800.40	c Objective: -7
1800.04/1800.40	s SATISFIABLE
1800.04/1800.40	c Total time: 1800.04 s

Verifier Data 

OK	-7

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-3737573-1338722924/watcher-3737573-1338722924 -o /tmp/evaluation-result-3737573-1338722924/solver-3737573-1338722924 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737573-1338722924.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.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=2776 CPUtime=0 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 338419681 2842624 48 33554432000 134512640 135840783 4286769088 4286767072 11493623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 694 51 39 325 0 32 0

[startup+0.00999594 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=5000 CPUtime=0 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 338419681 5120000 479 33554432000 134512640 135840783 4286769088 4286767696 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1250 480 334 325 0 177 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5000

[startup+0.100255 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=0.09 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 9 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731680 134550797 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6172

[startup+0.300223 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=0.29 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 29 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731680 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6172

[startup+0.700225 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=0.69 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 69 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731624 1584837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6172

[startup+1.50023 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 9327
/proc/meminfo: memFree=23846628/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=1.49 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 149 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731680 134551285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6172

[startup+3.10023 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 9327
/proc/meminfo: memFree=23846380/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=10828 CPUtime=3.08 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 2091 0 0 0 308 0 0 0 20 0 1 0 338419681 11087872 1969 33554432000 134512640 135840783 4286769088 4286766784 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 2707 1969 351 325 0 1643 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10828

[startup+6.30026 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 9327
/proc/meminfo: memFree=23829052/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=26280 CPUtime=6.29 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 5959 0 0 0 628 1 0 0 20 0 1 0 338419681 26910720 5837 33554432000 134512640 135840783 4286769088 4286767312 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 6570 5837 351 325 0 5506 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26280

[startup+12.7002 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 9327
/proc/meminfo: memFree=23810624/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=42612 CPUtime=12.69 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 10036 0 0 0 1266 3 0 0 20 0 1 0 338419681 43634688 9914 33554432000 134512640 135840783 4286769088 4286767120 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 10653 9914 351 325 0 9589 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42612

[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 9327
/proc/meminfo: memFree=23789024/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=63660 CPUtime=25.48 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 15293 0 0 0 2544 4 0 0 20 0 1 0 338419681 65187840 15171 33554432000 134512640 135840783 4286769088 4286768400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 15915 15171 351 325 0 14851 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63660

[startup+51.1003 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 9327
/proc/meminfo: memFree=23764812/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=88516 CPUtime=51.08 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 21519 0 0 0 5101 7 0 0 20 0 1 0 338419681 90640384 21397 33554432000 134512640 135840783 4286769088 4286768400 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 22129 21397 351 325 0 21065 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88516

[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 9330
/proc/meminfo: memFree=23740032/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=112852 CPUtime=102.27 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 27605 0 0 0 10216 11 0 0 20 0 1 0 338419681 115560448 27483 33554432000 134512640 135840783 4286769088 4286768448 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 28213 27483 351 325 0 27149 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112852

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9330
/proc/meminfo: memFree=23734488/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=117508 CPUtime=162.27 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 28890 0 0 0 16214 13 0 0 20 0 1 0 338419681 120328192 28652 33554432000 134512640 135840783 4286769088 4286768448 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 29377 28652 351 325 0 28313 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 117508

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9331
/proc/meminfo: memFree=23734408/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=117508 CPUtime=222.25 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 28896 0 0 0 22212 13 0 0 20 0 1 0 338419681 120328192 28652 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 29377 28652 351 325 0 28313 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 117508

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9332
/proc/meminfo: memFree=23709756/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=142568 CPUtime=282.19 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 35198 0 0 0 28203 16 0 0 20 0 1 0 338419681 145989632 34907 33554432000 134512640 135840783 4286769088 4286768224 1579690 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 35642 34907 351 325 0 34578 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 142568

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9332
/proc/meminfo: memFree=23688676/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=164172 CPUtime=342.17 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 40612 0 0 0 34197 20 0 0 20 0 1 0 338419681 168112128 40306 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41043 40306 351 325 0 39979 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 164172

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9332
/proc/meminfo: memFree=23686444/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165628 CPUtime=402.16 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41137 0 0 0 40195 21 0 0 20 0 1 0 338419681 169603072 40664 33554432000 134512640 135840783 4286769088 4286768448 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41407 40664 351 325 0 40343 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 165628

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9332
/proc/meminfo: memFree=23686820/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=462.15 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41209 0 0 0 46194 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 165936

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9333
/proc/meminfo: memFree=23686696/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=522.14 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41209 0 0 0 52193 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768448 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 165936

[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 9333
/proc/meminfo: memFree=23686944/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=582.13 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41209 0 0 0 58192 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768400 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 165936

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9337
/proc/meminfo: memFree=23687052/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=822.1 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41377 0 0 0 82189 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768400 134551318 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 165936

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9376
/proc/meminfo: memFree=25324460/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=882.09 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41377 0 0 0 88188 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 165936

[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9376
/proc/meminfo: memFree=25182116/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=179320 CPUtime=942.07 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 44729 0 0 0 94184 23 0 0 20 0 1 0 338419681 183623680 44088 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 44830 44088 351 325 0 43766 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 179320

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9376
/proc/meminfo: memFree=25010700/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=198536 CPUtime=1002.05 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 49565 0 0 0 100178 27 0 0 20 0 1 0 338419681 203300864 48901 33554432000 134512640 135840783 4286769088 4286768400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 49634 48901 351 325 0 48570 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 198536

[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 9376
/proc/meminfo: memFree=24836504/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1062.04 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 106176 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134551383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 201188

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 9376
/proc/meminfo: memFree=24651780/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1122.04 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 112176 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 201188

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9377
/proc/meminfo: memFree=24432944/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1182.03 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 118175 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 201188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9377
/proc/meminfo: memFree=24278468/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1242.02 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 124174 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 201188

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9380
/proc/meminfo: memFree=24213392/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1302.01 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 130173 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 201188

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=24136300/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1362 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 136172 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 201188

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=24065276/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1422 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 142172 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 201188

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23979496/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=208992 CPUtime=1481.98 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 52386 0 0 0 148168 30 0 0 20 0 1 0 338419681 214007808 51520 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 52248 51520 351 325 0 51184 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 208992

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23859988/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=222244 CPUtime=1541.97 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 55682 0 0 0 154164 33 0 0 20 0 1 0 338419681 227577856 54816 33554432000 134512640 135840783 4286769088 4286768400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 55561 54816 351 325 0 54497 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 222244

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23737256/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1601.96 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 160163 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768512 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 225292

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23603116/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1661.95 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 166162 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768400 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 225292

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23443184/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1721.94 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 172161 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768448 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 225292

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9382
/proc/meminfo: memFree=23225716/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1781.93 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 178160 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 225292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9382
/proc/meminfo: memFree=23149424/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1800.04 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 179971 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768400 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 225292

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.71
CPU system time (s): 0.336948
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 226180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.336948
maximum resident set size= 223280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56689
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= 105
involuntary context switches= 1852

runsolver used 3.36349 second user time and 9.29259 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-03 13:28:44
IDJOB=3737573
IDBENCH=48259
IDSOLVER=2318
FILE ID=node112/3737573-1338722924
RUNJOBID= node112-1338713910-8723
PBS_JOBID= 14636749
Free space on /tmp= 71212 MiB

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

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

MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364
RANDOM SEED=1699195319

node112.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		: 2666.763
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	: 5333.52
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		: 2666.763
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		: 2666.763
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		: 2666.763
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		: 2666.763
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.92
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		: 2666.763
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.92
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		: 2666.763
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		: 2666.763
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:       32873648 kB
MemFree:        23848760 kB
Buffers:          549188 kB
Cached:          5920252 kB
SwapCached:            0 kB
Active:          3415560 kB
Inactive:        4736088 kB
Active(anon):    1671176 kB
Inactive(anon):    10924 kB
Active(file):    1744384 kB
Inactive(file):  4725164 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6640 kB
Writeback:             0 kB
AnonPages:       1687940 kB
Mapped:            15840 kB
Shmem:               200 kB
Slab:             729968 kB
SReclaimable:     173880 kB
SUnreclaim:       556088 kB
KernelStack:        1456 kB
PageTables:         7512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1795600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1331200 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= 71204 MiB
End job on node112 at 2012-06-03 13:58:47