Trace number 3737650

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
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-14
Best CPU time to get the best result obtained on this benchmark160.333
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
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)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

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-3737650-1338724727.opb
0.00/0.00	c File size is 16429 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.003 s
0.00/0.01	c Var: 1328 Constr: 2608 1278/102/1228 Lit: 8896 Watch. Lit: 7570
0.00/0.01	c Obj. Vars: 50 (3.76506 % of total variables)
0.19/0.20	c Pre-processing Time: 0.2 s
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1328     2608     8896    3     7570   14540      0      0 0.20
0.19/0.20	c Switching off LPR mode.
0.19/0.20	o -1	0.201
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1328     2609     8946    3     7573   14573      1      0 0.20
0.19/0.20	o -2	0.201
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1328     2610     8996    3     7577   14623      2      0 0.20
0.19/0.20	o -3	0.202
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1328     2611     9046    3     7582   14690      3      0 0.20
0.19/0.20	o -4	0.202
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        2   1328     2614     9232    3     7592   14707      6      9 0.20
0.19/0.21	c      102   1328     2714    15415    5     7792   16178    106    488 0.21
0.19/0.21	o -5	0.211
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c      122   1328     2735    16550    6     7839   14723    127    578 0.21
0.29/0.37	c      222   1328     2835    22341    7     8039   16196    227   1018 0.22
0.29/0.37	c      472   1328     3085    37890   12     8539   17816    477   2017 0.23
0.29/0.37	c      947   1328     3560    67840   19     9489   19598    952   3642 0.26
0.29/0.37	c     1760   1328     4373   117014   26    11115   21558   1765   5677 0.31
0.29/0.37	o -6	0.369
31.48/31.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.48/31.50	c     2568   1328     5182   168268   32    12739   14740   2574   6959 0.37
31.48/31.50	c     2668   1328     5282   174975   33    12939   16215   2674   7039 0.38
31.48/31.50	c     2918   1328     5532   194064   35    13439   17837   2924   7276 0.40
31.48/31.50	c     3393   1328     6007   234239   38    14389   19621   3399   7573 0.45
31.48/31.50	c     4206   1328     6820   284927   41    16015   21584   4212   8279 0.51
31.48/31.50	c     5526   1328     8140   366149   44    18655   23743   5532   8634 0.64
31.48/31.50	c     7607   1328    10221   502495   49    22817   26118   7613   9110 0.83
31.48/31.50	c    10830   1328    13444   714190   53    29263   28730  10836   8629 1.25
31.48/31.50	c    15766   1328    18380  1040288   56    39135   31604  15772   7398 2.13
31.48/31.50	c    23272   1328    25886  1537718   59    54147   34765  23278   6306 3.69
31.48/31.50	c    34633   1328    37247  2272025   60    76869   38242  34639   4414 7.84
31.48/31.50	c    51777   1328    26199  1578886   60    54758   42067  23591   3528 14.68
31.48/31.50	c    77596   1328    20224  1328316   65    42808   46274  17616   2888 26.86
31.48/31.50	o -7	31.493
49.68/49.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.68/49.75	c    94005   1328    36634  2469917   67    75635   14673  34026   2984 31.49
49.68/49.75	c    94105   1328    10047   522981   52    22455   16141   7439   2867 32.82
49.68/49.75	c    94355   1328    10297   543045   52    22955   17756   7689   2872 32.85
49.68/49.75	c    94830   1328    10772   580327   53    23905   19532   8164   2880 32.92
49.68/49.75	c    95643   1328    11585   637730   55    25531   21486   8977   2895 33.04
49.68/49.75	c    96963   1328    12905   727686   56    28171   23635  10297   2916 33.25
49.68/49.75	c    99044   1328    14986   867140   57    32333   25999  12378   2953 33.53
49.68/49.75	c   102267   1328    18209  1063231   58    38779   28599  15601   2999 34.10
49.68/49.75	c   107203   1328    23145  1389373   60    48651   31459  20537   3044 35.22
49.68/49.75	c   114709   1328    30651  1900817   62    63663   34605  28043   3041 37.72
49.68/49.75	c   126070   1328    17420   991106   56    37201   38066  14812   2980 42.30
49.68/49.75	c   143214   1328    34564  2034991   58    71489   41873  31956   3095 46.26
49.68/49.75	o -8	49.744
330.24/330.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
330.24/330.34	c   151870   1328    43221  2619335   60    88811   14690  40613   3053 49.74
330.24/330.34	c   151970   1328    10055   509050   50    22472   16160   7447   2892 52.53
330.24/330.34	c   152220   1328    10305   523717   50    22972   17777   7697   2896 52.55
330.24/330.34	c   152695   1328    10780   556754   51    23922   19555   8172   2902 52.61
330.24/330.34	c   153508   1328    11593   606080   52    25548   21511   8985   2912 52.70
330.24/330.34	c   154828   1328    12913   683968   52    28188   23663  10305   2928 52.86
330.24/330.34	c   156910   1328    14995   817284   54    32352   26030  12387   2950 53.18
330.24/330.34	c   160133   1328    18218  1025298   56    38798   28634  15610   2974 53.84
330.24/330.34	c   165069   1328    23154  1364992   58    48670   31498  20546   3005 54.93
330.24/330.34	c   172575   1328    30660  1899947   61    63682   34648  28052   3006 57.40
330.24/330.34	c   183936   1328    17398  1043779   59    37158   38113  14790   2931 62.74
330.24/330.34	c   201080   1328    34542  2232314   64    71446   41925  31934   2936 68.47
330.24/330.34	c   226899   1328    28635  1852548   64    59632   46118  26027   2832 80.12
330.24/330.34	c   265732   1328    31650  1945353   61    65662   50730  29042   2700 98.39
330.24/330.34	c   324085   1328    49775  3239564   65   101912   55804  47167   2587 125.26
330.24/330.34	c   411717   1328    46721  3281260   70    95804   61385  44113   2403 171.28
330.24/330.34	c   543269   1328    26005  1686924   64    54372   67524  23397   2151 252.45
330.24/330.34	o -9	330.282
441.22/441.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
441.22/441.36	c   662029   1328    30996  2097755   67    64363   14707  28388   2004 330.28
441.22/441.36	c   662129   1328    10064   499646   49    22491   16178   7456   1999 331.23
441.22/441.36	c   662379   1328    10314   514047   49    22991   17796   7706   1999 331.27
441.22/441.36	c   662854   1328    10789   539741   50    23941   19576   8181   2000 331.33
441.22/441.36	c   663667   1328    11602   584364   50    25567   21534   8994   2002 331.45
441.22/441.36	c   664987   1328    12922   662642   51    28207   23688  10314   2004 331.68
441.22/441.36	c   667068   1328    15003   791774   52    32369   26057  12395   2009 332.01
441.22/441.36	c   670291   1328    18226   992802   54    38815   28663  15618   2014 332.69
441.22/441.36	c   675228   1328    23163  1308491   56    48689   31530  20555   2023 333.72
441.22/441.36	c   682734   1328    30669  1805513   58    63701   34684  28061   2035 335.39
441.22/441.36	c   694095   1328    17432   923918   53    37227   38153  14824   2034 341.10
441.22/441.36	c   711239   1328    34576  2105708   60    71515   41969  31968   2053 346.34
441.22/441.36	c   737058   1328    28720  1675016   58    59803   46166  26112   2065 356.82
441.22/441.36	c   775890   1328    31613  1944240   61    65589   50783  29005   2092 370.79
441.22/441.36	c   834242   1328    49541  3202057   64   101445   55862  46933   2121 393.23
441.22/441.36	c   921874   1328    46407  3369509   72    95177   61449  43799   2090 440.95
441.22/441.36	o -10	441.294
448.12/448.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
448.12/448.24	c   922607   1328    47141  3404483   72    96655   14723  44533   2090 441.29
448.12/448.24	c   922707   1328    10072   599385   59    22508   16196   7464   2072 445.30
448.12/448.24	c   922957   1328    10322   614346   59    23008   17816   7714   2072 445.33
448.12/448.24	c   923432   1328    10797   642557   59    23958   19598   8189   2073 445.36
448.12/448.24	c   924245   1328    11610   684888   58    25584   21558   9002   2075 445.40
448.12/448.24	c   925565   1328    12930   754778   58    28224   23714  10322   2077 445.49
448.12/448.24	c   927646   1328    15011   861062   57    32386   26086  12403   2081 445.65
448.12/448.24	c   930869   1328    18234  1030016   56    38832   28695  15626   2087 445.96
448.12/448.24	c   935805   1328    23170  1307499   56    48704   31565  20562   2094 446.75
448.12/448.24	o -11	448.164
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c   942870   1328    30236  1730435   57    62847   14740  27628   2103 448.17
1800.08/1800.40	c   942970   1328    10080   454796   45    22525   16215   7472   2101 448.81
1800.08/1800.40	c   943220   1328    10330   470815   45    23025   17837   7722   2101 448.84
1800.08/1800.40	c   943695   1328    10805   497762   46    23975   19621   8197   2102 448.88
1800.08/1800.40	c   944508   1328    11618   543952   46    25601   21584   9010   2103 448.96
1800.08/1800.40	c   945828   1328    12938   616958   47    28241   23743  10330   2106 449.09
1800.08/1800.40	c   947909   1328    15019   737141   49    32403   26118  12411   2109 449.38
1800.08/1800.40	c   951132   1328    18242   919573   50    38849   28730  15634   2114 449.84
1800.08/1800.40	c   956068   1328    23178  1190435   51    48721   31604  20570   2122 450.45
1800.08/1800.40	c   963575   1328    30685  1621980   52    63735   34765  28077   2130 452.18
1800.08/1800.40	c   974936   1328    17329   853510   49    37023   38242  14721   2134 456.64
1800.08/1800.40	c   992080   1328    34473  1918593   55    71311   42067  31865   2149 461.50
1800.08/1800.40	c  1017899   1328    28538  1584817   55    59441   46274  25930   2154 472.48
1800.08/1800.40	c  1056731   1328    31449  1875161   59    65263   50902  28841   2171 486.58
1800.08/1800.40	c  1115083   1328    49331  3130921   63   101027   55993  46723   2170 513.83
1800.08/1800.40	c  1202715   1328    46126  2715787   58    94617   61593  43518   2167 554.88
1800.08/1800.40	c  1334267   1328    24911  1447067   58    52187   67753  22303   2125 627.78
1800.08/1800.40	c  1531699   1328    51353  3290147   64   105071   74529  48745   2091 732.50
1800.08/1800.40	c  1827951   1328    29042  2001540   68    60449   81982  26434   1986 920.04
1800.08/1800.40	c  2272433   1328    46849  2955927   63    96063   90181  44241   1893 1200.14
1800.08/1800.40	c  2939260   1328    80864  5998500   74   164093   99200  78256   1668 1761.60
1800.08/1800.40	c Caught signal: 15
1800.08/1800.40	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x52 -x84 -x75 -x77 x64 -x88 -x76 -x79 -x86 -x95 -x58 -x59 -x67 -x96 -x51 x55 x65 -x54 -x53 x92 x100 -x68 -x69 -x80 -x62 -x66 -x70 -x74 -x90 x98 x73 -x83 -x71 -x81 -x57 -x61 -x91 -x93 -x94 -x99 -x82 -x56 x72 -x87 -x60 -x97 x89 -x78 x63 x85 
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   98  2984257   1514  2995673    37739  2265043  35131   1657 1800.09
1800.08/1800.40	c Objective: -11
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	c Total time: 1800.09 s

Verifier Data 

OK	-11

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-3737650-1338724727/watcher-3737650-1338724727 -o /tmp/evaluation-result-3737650-1338724727/solver-3737650-1338724727 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737650-1338724727.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 9420
/proc/meminfo: memFree=23363068/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=2888 CPUtime=0 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 338599936 2957312 57 33554432000 134512640 135840783 4292948224 4292946208 11490244 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 1118 62 47 325 0 35 0

[startup+0.0586099 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9420
/proc/meminfo: memFree=23363068/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=5232 CPUtime=0.05 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 639 0 0 0 5 0 0 0 20 0 1 0 338599936 5357568 570 33554432000 134512640 135840783 4292948224 4292931404 15828016 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 1308 570 345 325 0 244 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5232

[startup+0.100242 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9420
/proc/meminfo: memFree=23363068/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=5232 CPUtime=0.09 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 639 0 0 0 9 0 0 0 20 0 1 0 338599936 5357568 570 33554432000 134512640 135840783 4292948224 4292931404 15828016 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 1308 570 345 325 0 244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9420
/proc/meminfo: memFree=23363068/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=6544 CPUtime=0.29 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 986 0 0 0 29 0 0 0 20 0 1 0 338599936 6701056 917 33554432000 134512640 135840783 4292948224 4292946448 2479399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 1636 917 351 325 0 572 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6544

[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9420
/proc/meminfo: memFree=23363068/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=11060 CPUtime=0.68 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 2086 0 0 0 68 0 0 0 20 0 1 0 338599936 11325440 2017 33554432000 134512640 135840783 4292948224 4292946112 2479399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 2765 2017 351 325 0 1701 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11060

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23351016/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=16748 CPUtime=1.48 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 3513 0 0 0 148 0 0 0 20 0 1 0 338599936 17149952 3444 33554432000 134512640 135840783 4292948224 4292946448 2479399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 4187 3444 351 325 0 3123 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16748

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23339964/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=24780 CPUtime=3.09 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 5538 0 0 0 308 1 0 0 20 0 1 0 338599936 25374720 5469 33554432000 134512640 135840783 4292948224 4292947584 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 6195 5469 351 325 0 5131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24780

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23314428/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=34232 CPUtime=6.28 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 7891 0 0 0 627 1 0 0 20 0 1 0 338599936 35053568 7822 33554432000 134512640 135840783 4292948224 4292947584 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 8558 7822 351 325 0 7494 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34232

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23279508/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=42392 CPUtime=12.68 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 9975 0 0 0 1266 2 0 0 20 0 1 0 338599936 43409408 9867 33554432000 134512640 135840783 4292948224 4292947536 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 10598 9867 351 325 0 9534 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42392

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23236356/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=49004 CPUtime=25.48 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 11683 0 0 0 2545 3 0 0 20 0 1 0 338599936 50180096 11532 33554432000 134512640 135840783 4292948224 4292947648 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 12251 11532 351 325 0 11187 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49004

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23210780/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=49264 CPUtime=51.08 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 11717 0 0 0 5105 3 0 0 20 0 1 0 338599936 50446336 11566 33554432000 134512640 135840783 4292948224 4292947648 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 12316 11566 351 325 0 11252 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49264

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9424
/proc/meminfo: memFree=23152256/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=52976 CPUtime=102.28 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 12723 0 0 0 10224 4 0 0 20 0 1 0 338599936 54247424 12525 33554432000 134512640 135840783 4292948224 4292947584 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 13244 12525 351 325 0 12180 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 52976

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9447
/proc/meminfo: memFree=23077736/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=62280 CPUtime=162.26 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 15124 0 0 0 16221 5 0 0 20 0 1 0 338599936 63774720 14819 33554432000 134512640 135840783 4292948224 4292947584 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 15570 14819 351 325 0 14506 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 62280

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9447
/proc/meminfo: memFree=22998644/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=70460 CPUtime=222.25 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 17231 0 0 0 22219 6 0 0 20 0 1 0 338599936 72151040 16864 33554432000 134512640 135840783 4292948224 4292947460 2474114 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 17615 16864 351 325 0 16551 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 70460

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22921296/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=73784 CPUtime=282.24 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 18078 0 0 0 28218 6 0 0 20 0 1 0 338599936 75554816 17711 33554432000 134512640 135840783 4292948224 4292947584 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 18446 17711 351 325 0 17382 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 73784

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22834032/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=77568 CPUtime=342.23 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 19076 0 0 0 34216 7 0 0 20 0 1 0 338599936 79429632 18641 33554432000 134512640 135840783 4292948224 4292947584 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 19392 18641 351 325 0 18328 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 77568

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22734488/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=77568 CPUtime=402.23 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 19076 0 0 0 40216 7 0 0 20 0 1 0 338599936 79429632 18641 33554432000 134512640 135840783 4292948224 4292947648 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 19392 18641 351 325 0 18328 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 77568

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22611880/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=77568 CPUtime=462.22 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 19076 0 0 0 46215 7 0 0 20 0 1 0 338599936 79429632 18641 33554432000 134512640 135840783 4292948224 4292947536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 19392 18641 351 325 0 18328 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 77568

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22449236/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=77568 CPUtime=522.21 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 19076 0 0 0 52214 7 0 0 20 0 1 0 338599936 79429632 18641 33554432000 134512640 135840783 4292948224 4292947584 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 19392 18641 351 325 0 18328 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 77568

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9449
/proc/meminfo: memFree=22257544/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=77568 CPUtime=582.2 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 19076 0 0 0 58213 7 0 0 20 0 1 0 338599936 79429632 18641 33554432000 134512640 135840783 4292948224 4292947536 134550890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 19392 18641 351 325 0 18328 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 77568

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9452
/proc/meminfo: memFree=22257664/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=77596 CPUtime=822.16 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 19232 0 0 0 82209 7 0 0 20 0 1 0 338599936 79458304 18648 33554432000 134512640 135840783 4292948224 4292947584 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 19399 18648 351 325 0 18335 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 77596

[startup+882.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25410124/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=82820 CPUtime=882.14 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 20546 0 0 0 88207 7 0 0 20 0 1 0 338599936 84807680 19954 33554432000 134512640 135840783 4292948224 4292947584 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 20705 19954 351 325 0 19641 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 82820

[startup+942.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25359112/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=82820 CPUtime=942.1 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 20576 0 0 0 94203 7 0 0 20 0 1 0 338599936 84807680 19954 33554432000 134512640 135840783 4292948224 4292947584 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 20705 19954 351 325 0 19641 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 82820

[startup+1002.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 9492
/proc/meminfo: memFree=25325392/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=85992 CPUtime=1002.1 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 21451 0 0 0 100202 8 0 0 20 0 1 0 338599936 88055808 20747 33554432000 134512640 135840783 4292948224 4292947584 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 21498 20747 351 325 0 20434 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 85992

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9492
/proc/meminfo: memFree=25300096/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=85992 CPUtime=1062.09 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 21452 0 0 0 106201 8 0 0 20 0 1 0 338599936 88055808 20747 33554432000 134512640 135840783 4292948224 4292947584 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 21498 20747 351 325 0 20434 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 85992

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9492
/proc/meminfo: memFree=25279016/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=85992 CPUtime=1122.08 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 21452 0 0 0 112200 8 0 0 20 0 1 0 338599936 88055808 20747 33554432000 134512640 135840783 4292948224 4292947584 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 21498 20747 351 325 0 20434 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 85992

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9493
/proc/meminfo: memFree=25258316/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=87112 CPUtime=1182.07 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 21732 0 0 0 118199 8 0 0 20 0 1 0 338599936 89202688 21027 33554432000 134512640 135840783 4292948224 4292947536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 21778 21027 351 325 0 20714 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 87112

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9493
/proc/meminfo: memFree=25198412/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=91104 CPUtime=1242.06 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 22824 0 0 0 124198 8 0 0 20 0 1 0 338599936 93290496 22028 33554432000 134512640 135840783 4292948224 4292947648 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 22776 22028 351 325 0 21712 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 91104

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9496
/proc/meminfo: memFree=25133140/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=93744 CPUtime=1302.05 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 23501 0 0 0 130197 8 0 0 20 0 1 0 338599936 95993856 22705 33554432000 134512640 135840783 4292948224 4292947584 134551326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 23436 22705 351 325 0 22372 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 93744

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9496
/proc/meminfo: memFree=25043744/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=94956 CPUtime=1362.04 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 23815 0 0 0 136195 9 0 0 20 0 1 0 338599936 97234944 23019 33554432000 134512640 135840783 4292948224 4292947536 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 23739 23019 351 325 0 22675 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 94956

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9496
/proc/meminfo: memFree=24984244/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=98892 CPUtime=1422.03 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 24768 0 0 0 142194 9 0 0 20 0 1 0 338599936 101265408 23972 33554432000 134512640 135840783 4292948224 4292947584 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 24723 23972 351 325 0 23659 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 98892

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9497
/proc/meminfo: memFree=24922784/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=98892 CPUtime=1482.02 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 24768 0 0 0 148193 9 0 0 20 0 1 0 338599936 101265408 23972 33554432000 134512640 135840783 4292948224 4292947584 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 24723 23972 351 325 0 23659 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 98892

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9497
/proc/meminfo: memFree=24876668/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=98892 CPUtime=1542.01 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 24768 0 0 0 154192 9 0 0 20 0 1 0 338599936 101265408 23972 33554432000 134512640 135840783 4292948224 4292947584 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 24723 23972 351 325 0 23659 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 98892

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9497
/proc/meminfo: memFree=24833316/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=98892 CPUtime=1602 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 24768 0 0 0 160191 9 0 0 20 0 1 0 338599936 101265408 23972 33554432000 134512640 135840783 4292948224 4292947536 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 24723 23972 351 325 0 23659 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 98892

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9497
/proc/meminfo: memFree=24807368/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=100572 CPUtime=1662 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 25188 0 0 0 166190 10 0 0 20 0 1 0 338599936 102985728 24392 33554432000 134512640 135840783 4292948224 4292947584 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 25143 24392 351 325 0 24079 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 100572

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9497
/proc/meminfo: memFree=24784924/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=100572 CPUtime=1721.99 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 25199 0 0 0 172189 10 0 0 20 0 1 0 338599936 102985728 24399 33554432000 134512640 135840783 4292948224 4292947584 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 25143 24399 351 325 0 24079 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 100572

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9498
/proc/meminfo: memFree=24748964/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=107592 CPUtime=1781.98 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 26967 0 0 0 178187 11 0 0 20 0 1 0 338599936 110174208 26167 33554432000 134512640 135840783 4292948224 4292946296 2481729 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 26898 26167 351 325 0 25834 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 107592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9498
/proc/meminfo: memFree=24735696/32873648 swapFree=6852/6852
[pid=9420] ppid=9418 vsize=110640 CPUtime=1800.08 cores=1,3,5,7
/proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 8706 0 -1 4202496 27833 0 0 0 179997 11 0 0 20 0 1 0 338599936 113295360 26934 33554432000 134512640 135840783 4292948224 4292947548 2484752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9420/statm: 27660 26934 351 325 0 26596 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 110640

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.97
CPU system time (s): 0.121981
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 110640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.121981
maximum resident set size= 108132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27836
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= 57
involuntary context switches= 1855

runsolver used 3.14952 second user time and 9.39457 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-03 13:58:47
IDJOB=3737650
IDBENCH=48277
IDSOLVER=2318
FILE ID=node112/3737650-1338724727
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_10_4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737650-1338724727/watcher-3737650-1338724727 -o /tmp/evaluation-result-3737650-1338724727/solver-3737650-1338724727 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737650-1338724727.opb            

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=882625643

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:        23363796 kB
Buffers:          549388 kB
Cached:          5920360 kB
SwapCached:            0 kB
Active:          3901108 kB
Inactive:        4736100 kB
Active(anon):    2156420 kB
Inactive(anon):    10924 kB
Active(file):    1744688 kB
Inactive(file):  4725176 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6612 kB
Writeback:             0 kB
AnonPages:       2173348 kB
Mapped:            15728 kB
Shmem:               200 kB
Slab:             729908 kB
SReclaimable:     173856 kB
SUnreclaim:       556052 kB
KernelStack:        1464 kB
PageTables:         8368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2280668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1300480 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 14:28:49